Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2012/iii/paper-18/1/i/solution

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 which
Choose the orientation of this basis so that . Dividing the coordinate on by gives an isomorphism of complex tori
Here 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!