Paper 2, Section II, I
Part II, 2017
(a) (i) Define the push-out of the following diagram of groups.
When is a push-out a free product with amalgamation?
(ii) State the Seifert-van Kampen theorem.
(b) Let (recalling that is the real projective plane), and let .
(i) Compute the fundamental group of the space .
(ii) Show that there is a surjective homomorphism , where is the symmetric group on three elements.
(c) Let be the covering space corresponding to the kernel of .
(i) Draw and justify your answer carefully.
(ii) Does retract to a graph? Justify your answer briefly.
(iii) Does deformation retract to a graph? Justify your answer briefly.