Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2015/ii/paper-1/21f/iii/solution

Write the target coordinates as . Every image point satisfies and . Conversely any point satisfying these equations is obtained by taking , . Hence the image is the closed affine variety
The substitution homomorphism has kernel exactly the ideal : reduce any polynomial by these two relations to a polynomial in , which vanishes after substitution only if it is zero. Equivalently the quotient by is , so is prime. Since is algebraically closed, or directly by the same polynomial-vanishing argument, .

New to topics? Read the docs here!