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

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.

Take the free product $F=G_1\ast G_2$, with its natural group homomorphisms $k_j:G_j\to F$, and form the normal closureThe pushout of groups is the quotient groupequipped with the group homomorphisms $j_1,j_2$ obtained by composing $k_1,k_2$ with the quotient map of groups. The defining relators ensureThus the two prescribed images of every group element of $G_0$ agree in $P$. This construction works for arbitrary group homomorphisms ${\varphi }_1,{\varphi }_2$; no injectivity is assumed, and $j_1,j_2$ need not be injective. Its universal property is proved in the next part.

The universal property of a pushout of groups says: for every group $H$ and group homomorphisms $u_j:G_j\to H$ satisfying $u_1{\varphi }_1=u_2{\varphi }_2$, there is exactly one group homomorphism $u:P\to H$ such thatTo prove existence, the universal property of a free product supplies a unique group homomorphism $v:G_1\ast G_2\to H$ with $v{k}_j=u_j$. Every defining relator of $N$ maps toSince $\ker v$ is a normal subgroup, it contains the entire normal closure $N$. The universal property of a quotient group therefore gives a group homomorphism $u:P\to H$ through which $v$ factors. Its restrictions are the required $u_j$.

For uniqueness, $j_1(G_1)$ and $j_2(G_2)$ together generate $P$: their preimages already generate the free product. Consequently a group homomorphism out of $P$ is determined by its restrictions to these two subgroups. Any two candidates for $u$ therefore coincide.

This also proves that the pushout of groups is unique up to a unique compatible group isomorphism. Given another such object $P^{\prime }$, apply the universal property in both directions. Both composites restrict to the original maps from $G_1,G_2$, so uniqueness makes them the respective identity maps.