Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2015/ii/paper-1/18h/solution
Past exam of the mathematics course of the University of Cambridge 2015 ii Paper 1 18H Solution by
Codex 0 Created 2026-09-24 Updated 2026-10-06
A useful closed-cover version of the Seifert-van Kampen theorem is the following. Let with path-connected closed subspaces and basepoint in their intersection. Assume there are open neighbourhoods covering that deformation retract onto , while deformation retracts onto , with the induced inclusions compatible up to based homotopy. ThenThe neighbourhood hypothesis, available for the present finite subcomplex gluing, matters: arbitrary closed covers need not satisfy this theorem.
A Möbius band retracts onto its core circle, with generator ; its boundary represents . The torus has generators and relation . The attaching circle is the circle. Reversing the attaching homeomorphism merely replaces by its inverse and changes no isomorphism type. The closed-cover theorem givesMapping , surjects onto , so the group is infinite. Imposing the extra relation gives the quotient , a nonabelian free product, since alternating reduced words and differ. A quotient of an abelian group would be abelian, so the fundamental group is nonabelian.
New to topics? Read the docs here!