1

In "Embedding Theorems for Groups", Higman, Neumann, Neumann state that "the only group containing elements of finite order, with only two classes of conjugacte elements is the cyclic groups of order two".

In the finite case this is easy. In the infinite case I was just able to prove that such a group must be a $2$-group. Of course it is also simple. What I miss?

W4cc0
  • 4,160

1 Answers1

3

As you noted, any such group is a 2-group. Since all non-identity elements are conjugate, they must all have order 2, and so the group is abelian.