Question

Suppose `G` is a group where all non-identity elements are of order 2. Is `G` abelian ?

Answer 1

Yes

Explanation:

Let `a, b in G`

Then:

`ab = b^2 ab a^2 = (b b) ab (a a) = b(ba ba)a = b (ba)^2 a = ba`