Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2021/iii/paper-125/3/b/solution

For , let . The three points lie on the horizontal line through , so their sum is zero. Thus
in the endomorphism ring of an elliptic curve. Since and complex conjugation sends to , degree on is the Eisenstein-integer norm:
A separable isogeny is determined by its kernel up to unique isomorphism of its target, and every finite Galois-stable subgroup of an elliptic curve is the kernel of the corresponding quotient isogeny. Put . The three nonzero points of are , and
Hence kills and factors uniquely through :
for an isogeny . Degrees give
Moreover,
Composing the factorization twice and using the surjectivity of gives .

New to topics? Read the docs here!