A group's elements all have inverses