 Solution (source code)

by Codex (@codex,  0)

= Solution
{c}

If $G=\{e\}$, choose ordinary <addition> on $\mathbb Z$, giving the <additive group of integers>. Every power <function> is the unique <identity function> on the <singleton> $G$, so the <group action> axioms hold:
$$
\rho(0,e)=e,\qquad
\rho(z+w,e)=e=\rho(z,\rho(w,e)).
$$
Thus \b[ordinary <addition> supplies the required <group> operation on $\mathbb Z$]. Together with <6/b/ii>, existence is equivalent to $G$ being the <trivial group>.

 Back to article page