Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2025/ii/paper-3/20f/a/solution

One form of the Seifert-van Kampen theorem says that if , with open and path-connected and containing the base point, then is the pushout of
For the fundamental group after attaching a 2-cell, take to be together with a collar of the attached disc and to be a slightly enlarged open disc. Then , is simply connected, and ; its generator maps to in . Van Kampen therefore gives
Take , whose fundamental group is the free group , and attach one 2-cell along the loop represented by . The resulting connected presentation complex satisfies

New to topics? Read the docs here!