Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2007/iii/paper-24/1/a/solution

Put and . The lens space is the quotient
The 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 . Hence
For 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!