Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2008/ii/paper-1/21f/i/solution

The van Kampen theorem says: if with open and path connected, path connected, and a base point in the intersection, then is the free product modulo the normal subgroup generated by identifying the two images of every element of . Equivalently it is the pushout of the two inclusion-induced fundamental-group maps.

New to topics? Read the docs here!