Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2020/ii/paper-2/21f/c/solution

Let and take the connected two-sheeted covering graph corresponding to the kernel of
It has two vertices, a -loop at each vertex, and two lifted -edges joining the vertices. Choose one lifted -edge as a spanning tree. The other three edges give the based loops
Collapsing the spanning tree identifies the cover with a wedge of three circles, so these loops freely generate its fundamental group. Hence they generate an explicit subgroup
isomorphic to , in agreement with the Reidemeister–Schreier theorem.

New to topics? Read the docs here!