Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2024/iii/paper-125/5/a/solution

An isogeny of elliptic curves is a nonconstant morphism preserving identity points; it is automatically a finite surjective group homomorphism. On the affine chart , put
The equation of is , and the proposed map is
It lands on because
The rational formulas extend across to a morphism sending to . It is nonconstant, hence an isogeny. On function fields, satisfies , so the degree is at most three; generically the three cube roots give three distinct preimages. Equivalently, the points with form its three-element geometric kernel. Therefore

New to topics? Read the docs here!