I know the following are true.
1) There is an inverse of a 2) There is an identity element (e*a) = a
In this case, e = 1 and the inverse of a is 1/|2|. However, if a is the only element in G and a is |2|, wouldn't that imply that x can only be x=|2|, for x ∈ G?
I'm not quite sure how to begin the proof either, I'm used to starting with "ab" cases and a binary function and then working the case down to ab=ba.
Hint: what is the order of conjugate of a in G?