Paper 1, Section II, H
(i) Let be an affine variety over an algebraically closed field. Define what it means for to be irreducible, and show that if is a non-empty open subset of an irreducible , then is dense in .
(ii) Show that matrices with distinct eigenvalues form an affine variety, and are a Zariski open subvariety of affine space over an algebraically closed field.
(iii) Let be the characteristic polynomial of . Show that the matrices such that form a Zariski closed subvariety of . Hence conclude that this subvariety is all of .
Typos? Please submit corrections to this page on GitHub.