Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2007/iii/paper-24/1/a/solution
Past exam of the mathematics course of the University of Cambridge 2007 iii Paper 24 1 a Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-14
Put and . The lens space is the quotientThe cyclic group has order . Its action is free: if fixes a point with , then ; if , then and , which again implies by coprimality. A finite free smooth action gives a closed orientable three-manifold, and the quotient projection is a covering space.
Since is simply connected, this is the universal covering and its deck group is the cyclic group of order . HenceFor the quotient is and the group is trivial. With this unoriented quotient convention, replacing by reverses the chosen generator and leaves the quotient unchanged; oriented surgery conventions may record the signs differently.
New to topics? Read the docs here!