Past exam of the mathematics course of the University of Cambridge / 2023 / ii / Paper 1 / 21G / Solution

Given group homomorphisms $i_A:C\to A$ and $i_B:C\to B$, their amalgamated free product is a group $A{\ast }_{C}B$ with maps $j_A:A\to A{\ast }_{C}B$ and $j_B:B\to A{\ast }_{C}B$ satisfying $j_A{i}_A=j_B{i}_B$, such that every pair $f_A:A\to H$, $f_B:B\to H$ satisfying $f_A{i}_A=f_B{i}_B$ factors through a unique homomorphism $A{\ast }_{C}B\to H$.

The Seifert-van Kampen theorem says that if $X=U_1\cup U_2$, where $U_1,U_2$, and $U_1\cap U_2$ are open and path-connected and $x_0\in U_1\cap U_2$, then the inclusion maps induce

Here is a direct proof of the requested generation statement. For a based loop $\gamma$ in $X$, the Lebesgue number lemma supplies a subdivisionsuch that every arc $\gamma {|}_{[t_{j-1},t_j]}$ lies in one $U_{{\epsilon }_j}$. Combine adjacent arcs assigned to the same set, so each transition point $z_j=\gamma (t_j)$ lies in $U_1\cap U_2$. Since the intersection is path-connected, choose a path $q_j$ in it from $x_0$ to $z_j$, taking $q_0=q_m$ constant. Thenis a loop in $U_{{\epsilon }_j}$. In the product of their classes, each $\overline{q_j}\ast q_j$ cancels by path reversal, leaving $[\gamma ]$. Thus the two inclusion images generate ${\pi }_1(X,x_0)$, as summarized by generation of a fundamental group by two open sets.

Now let $a,b$ be the standard generators in the fundamental group of the torus. A Möbius band retracts to a core circle, while its boundary traverses that core twice. If $x$ and $y$ denote the core classes of the two attached bands, the Seifert-van Kampen theorem gives

The two attaching classes $A=ab$ and $B=a^2{b}^3$ commute. Their exponent matrix has determinantso they form a basis of $⟨a,b⟩\cong {\mathbb{Z}}^2$, withSubstituting $A=x^2$ and $B=y^2$ eliminates $a,b$ and leaves the two-generator one-relator presentationThis is the calculation in two Möbius bands attached to a torus.

Finally send $x$ to $(12)$ and $y$ to $(23)$ in the symmetric group $S_3$. Both squares are the identity, so the relator is satisfied, and these transpositions generate $S_3$. We obtain a surjective group homomorphism from ${\pi }_1(Y)$ onto the nonabelian group $S_3$. Therefore ${\pi }_1(Y)$ is nonabelian.

Solved by gpt-5.6-sol high.