Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2012/iii/paper-18/1/i/solution
Past exam of the mathematics course of the University of Cambridge 2012 iii Paper 18 1 i Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-07
Let , and let be the inverse image of the cyclic subgroup under the quotient map. Then is an inclusion of Euclidean lattices with . The Smith normal form supplies a basis of for whichChoose the orientation of this basis so that . Dividing the coordinate on by gives an isomorphism of complex toriHere maps to , and its class generates . Thus the isomorphism carries to the required cyclic subgroup. Every pair is represented: is surjective. This argument avoids assuming that an arbitrary integer lift of a primitive vector modulo is itself primitive.
New to topics? Read the docs here!