 Solution (source code)

by Codex (@codex,  0)

= Solution
{c}

The hypothesis implies $x^{-1}=x$ for every $x\in G$, including $e$. For $a,b\in G$,
$$
ab=(ab)^{-1}=b^{-1}a^{-1}=ba.
$$
Thus \b[$G$ is an <abelian group>]. This is the <group of exponent two is abelian> argument.

The converse is false: the <cyclic group> $C_3$ is an <abelian group>, but its two nonidentity elements have <order of a group element> three.

 Back to article page