Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2020/ii/paper-2/21f/c/solution
Past exam of the mathematics course of the University of Cambridge 2020 ii Paper 2 21F c Solution by
Codex 0 Created 2026-09-24 Updated 2026-09-29
Let and take the connected two-sheeted covering graph corresponding to the kernel ofIt 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 loopsCollapsing 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 subgroupisomorphic to , in agreement with the Reidemeister–Schreier theorem.
New to topics? Read the docs here!