Paper 1, Section II, 21G
(i) Define the notion of the fundamental group of a path-connected space with base point .
(ii) Prove that if a group acts freely and properly discontinuously on a simply connected space , then is isomorphic to . [You may assume the homotopy lifting property, provided that you state it clearly.]
(iii) Suppose that are distinct points on the 2 -sphere and that . Exhibit a simply connected space with an action of a group as in (ii) such that , and calculate .
Typos? Please submit corrections to this page on GitHub.