I teach a course of undergraduate algebraic geometry. I noticed that students have difficulty grasping the proof of Noether normalizsation Lemma (given in Reid's undergraduate algebraic geometry). Also, the proof given in Mumford red book is also nonelementary. Does anyone know of some easier proof of the result? Thank you

$\begingroup$ The proof given in Mumford seems to be pretty easy and natural. $\endgroup$ – Anton Fonarev Mar 27 '12 at 9:07

$\begingroup$ Is it easier than Reid's? $\endgroup$ – user16974 Mar 27 '12 at 9:34

4$\begingroup$ Why should any proof of Noether Normalization be nonelementary? You just make an induction and manipulate polynomials, look at their degrees etc. ... no deep and complicated ideas involved. Perhaps a better question would be to give a geometric motivation for the proof. $\endgroup$ – Martin Brandenburg Mar 27 '12 at 10:30

$\begingroup$ @Ali the difference between the two proofs is just in the class of transformations used to obtain a monic polynomial. I personally think that the one from the Red Book is a bit more natural. $\endgroup$ – Anton Fonarev Mar 27 '12 at 14:31

3$\begingroup$ Dear Ali, this answer mathoverflow.net/questions/42275/… provides a geometric proof of Noether normalization. I don't know if it is easier in some technical sense, but it reflects how I think about it, and remember it. Regards, $\endgroup$ – Emerton Mar 27 '12 at 19:01
Here is the proof from my class notes last time I taught the course. I don't remember where I borrowed it from. Hope it helps. It is tedious but elementary in the sense of Martin's comment. It is the special case where the base field is infinite. It might become clearer if you give the various steps as exercises to your class.
Noether normalization lemma: Given any infinite field $k$, and any finitely generated $k$algebra $B$, then we can decompose the extension $k$ in $B$, into $k$ in $A$ in $B$ where $A$ is isomorphic to a polynomial algebra over $k$, and $B$ is a modulefinite extension of $A$.
Proof: Proof by induction on the number of $k$algebra generators of $B$ over $k$. First do the case of one generator. If $B = k[c]$ and $c$ is transcendental over $k$ we are done. If $c$ is algebraic over $k$ then $B\cong k[T]/(f(T))$ where $f$ is the monic irreducible polynomial of least degree $d$ satisfied by $c$ over $k$. Then $B = k[c]$ is generated over $k$ by the elements $1,c,…,c_{d1}$, and in particular $B$ is a finite vector space over $k$. So take $A = k$, and we are done.
Now assume $B = k[c_1,...,c_n]$ where $n\geq 2$. Consider the canonical surjective $k$algebra map $k[T_1,...,T_n]\to B$ taking $T_i\mapsto c_i$. If this map is also injective we are done, since then we may take $A = B$.
If this map is not injective then some nonconstant polynomial $f$ maps to zero. If $f$, considered as a polynomial in $T_n$, is monic of degree $d\geq1$, then $k[c_1,\dots,c_n]$ is generated as a module over $k[c_1,\dots,c_{n1}]$ by the finite set of monomials of degree less than $d$ in $c_n$. In this case we are done, since by the inductive hypothesis $k[c_1,…,c_{n1}]$ is module finite over some subalgebra isomorphic to a polynomial algebra over $k$. Then by transitivity of finiteness, $B = k[c_1,...,c_n]$ is also finite over that same polynomial subalgebra of $B$.
We claim we can “change coordinates” linearly in $k[T_1,\dots,T_n]$, until the polynomial $f$ becomes monic in $T_n$. That will mean there is another $k$algebra surjection $$k[T_1,\dots,T_n]\to B=k[e_1,\dots,e_n],$$taking $T_i\mapsto e_i$ such that some element of the kernel is monic in $T_n$. Then we are done by the same inductive argument. So all we have to do is the change of variables argument, sometimes known as the Weierstrass preparation lemma.
Let $f(T_1,\dots,T_n)$ be any non constant polynomial, and consider the linear change of coordinates $$T_i\mapsto(T_i+a_iT_n), 1≤i≤n1,\quad \text{and}\quad T_n\mapsto T_n,$$ where the $a_i$’s are elements of $k$. Write $f$ as $f^d + $ lower degree terms, where $d =$ degree $f$, and $f^d$ is homogeneous of degree $d$.
Under this transformation, $f\mapsto f(T_1+a_1T_n,\dots,T_{n1}+a_{n1}T_n, T_n)$. We claim it is possible to choose the coefficients $a_i$ so that this new polynomial has non zero coefficient of $T_n^d$. Just expand, and get $$f(T_1+a_1T_n,\dots,T_{n1}+a_{n1}T_n, T_n)=f^d(T_1+a_1T_n,\dots,T_{n1}+a_{n1}T_n, T_n) + \text{lower degree terms}.$$
Then expand the top degree term and get
$$f^d(T_1+a_1T_n,\dots,T_{n1}+a_{n1}T_n, T_n) = f^d(a_1,\dots,a_{n1}, 1)T_n^d + \text{lower degree terms in }T_n.$$
Adding gives $$f(T_1+a_1T_n,\dots,T_{n1}+a_{n1}T_n, T_n) = f^d(a_1,\dots,a_{n1}, 1)T_n^d + \text{lower degree terms in }T_n.$$
Thus we only have to choose the $a_i$’s so that $f^d(a_1,\dots,a_{n1}, 1)\neq0$. Since $f^d$ is a nonzero homogeneous polynomial of degree $d\geq 1$, $f^d(a_1,\dots,a_{n1}, 1)$ is a nonzero polynomial of degree less than or equal to $d$ in the $a_i$’s. By induction on $d$, since our field $k$ is infinite, it does not vanish for all choices of the $a_i$’s. QED.

$\begingroup$ @roy smith: Thank you for your nice answer! $\endgroup$ – user16974 Mar 28 '12 at 14:22

$\begingroup$ You are welcome. As I guess is obvious, this proof shows that all you need to notice for the induction is that, 1) finiteness is transitive, 2) an integral element over R generates a finite R module, 3) by changing variables, we can achieve integrality. Pardon me, but I always prefer three line arguments to 50 line ones. $\endgroup$ – roy smith Mar 28 '12 at 17:37

$\begingroup$ Even more useful would be to relate this to the geometric argument linked above. $\endgroup$ – roy smith Mar 28 '12 at 18:24

$\begingroup$ By the way, if I remember correctly, this is the proof written in Ried's book. $\endgroup$ – Anton Fonarev Mar 28 '12 at 21:58

$\begingroup$ Thanks Anton. This is in his book on Undergraduate algebraic geometry, rather than his book on commutative algebra, which is why I missed it at first search. $\endgroup$ – roy smith Mar 29 '12 at 5:28