Return to Revisions

This addresses the "broader scope" of the question and possibly the comments of Uday on Donu's answer: An injective morphism from an affine algebraic variety over an algebraically closed field to itself is also surjective. Moreover, probably even more surprising is the fact that in the case that the field has characteristic zero (and of course algebraically closed), an injective endomorphism is actually a polynomial automorphism (that is the inverse is also a polynomial map!). See e.g. Chapter 4 of van den Essen's "Polynomial Automorphisms" for proofs of both these statements. Also from the same book: the map $x \mapsto x^3$ from $\mathbb{Q} \to \mathbb{Q}$ shows the necessity of algebraic closedness of the field, and the Frobenius automorphism $x \mapsto x^p$ of an algebraically closed field of characteristic $p > 0$ shows that the second statement is false for positive characteristic. Also, note that both statements are automatically true for proper varieties.