Proof
The following proof is due to Nagata and is taken from Mumford's red book. A proof in the geometric flavor is also given in the page 127 of the red book and this mathoverflow thread.
The ring A in the lede is generated as k-algebra by elements, say, such that are algebraically independent over k and the rest are algebraic over . We shall induct on m. If, then the assertion is trivial. Assume now . It is enough to show that there is a subring S of A that is generated by elements and is such that A is finite over S, for, by inductive hypothesis, we can find algebraically independent elements of S such that S is finite over . Since, there is a nonzero polynomial f in m variables over k such that
- .
Given an integer r which is determined later, set
Then the preceding reads:
- .
Now, the highest term in of looks
Thus, if r is larger than any exponent appearing in f, then the highest term of in also has the form as above. In other words, is integral over . Since are also integral over that ring, A is integral over S. It follows A is finite over S.
Read more about this topic: Noether Normalization Lemma
Famous quotes containing the word proof:
“The fact that several men were able to become infatuated with that latrine is truly the proof of the decline of the men of this century.”
—Charles Baudelaire (1821–1867)
“If any doubt has arisen as to me, my country [Virginia] will have my political creed in the form of a “Declaration &c.” which I was lately directed to draw. This will give decisive proof that my own sentiment concurred with the vote they instructed us to give.”
—Thomas Jefferson (1743–1826)
“A short letter to a distant friend is, in my opinion, an insult like that of a slight bow or cursory salutation—a proof of unwillingness to do much, even where there is a necessity of doing something.”
—Samuel Johnson (1709–1784)