Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2024/ii/paper-2/21j/solution

The Seifert-van Kampen theorem says that if , where are path connected open sets containing , then
The cell attachment is the quotient
with the image of as base point. For , take one open set that deformation retracts onto together with a boundary collar, and another that consists of the interior of the disc with a collar and is contractible. Their intersection deformation retracts onto . Its generator maps to in the first set and to the identity in the second. Van Kampen therefore proves the fundamental group after attaching a 2-cell formula
Applying van Kampen to the two circles gives
Attach three discs along loops representing , , and . The resulting presentation complex for the symmetric group on three letters has group
Sending to and to gives a surjection onto . The relations imply , so every word reduces to one of
The presented group has at most six elements and surjects onto the six-element group , so this map is an isomorphism.

New to topics? Read the docs here!