Past exam of the topology and groups course of the University of Oxford / 2023 / 2 / a / i / Solution

A group presentation of $G$ consists of a set $S$ of symbols and a subset $R\subseteq F(S)$ of relators, together with a group isomorphismHere $F(S)$ is the free group on $S$, and $⟨⟨R⟩⟩$ is the normal closure of $R$. The images of $S$ form a generating set of a group; the relators prescribe which words become the identity element.

For the canonical presentation of a group, use one symbol $s_g$ for every group element $g\in G$. The universal property of a free group gives a surjective group homomorphismLet $R(G)=\ker \epsilon$, namely all words whose evaluation in $G$ is the identity element. ThenIndeed $R(G)$ is already a normal subgroup, so its normal closure is itself, and the first isomorphism theorem identifies the resulting quotient group with $G$. This is the course's canonical presentation of a group.

An equivalent, smaller collection of relators is $s_g{s}_h{s}_{gh}^{-1}$ for all $g,h\in G$. These encode the multiplication table. They imply $s_1=1$ and $s_g^{-1}=s_{g^{-1}}$, so every word reduces to the single symbol recording its product. This proves directly that they normally generate $R(G)$, although the canonical collection above consists of every word in that group homomorphism kernel.