Paper 1, Section II, F
Part II, 2015
Let be an algebraically closed field.
(i) Let and be affine varieties defined over . Given a map , define what it means for to be a morphism of affine varieties.
(ii) With still affine varieties over , show that there is a one-to-one correspondence between , the set of morphisms between and , and , the set of -algebra homomorphisms between and .
(iii) Let be given by . Show that the image of is an affine variety , and find a set of generators for .