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:
“Ah! I have penetrated to those meadows on the morning of many a first spring day, jumping from hummock to hummock, from willow root to willow root, when the wild river valley and the woods were bathed in so pure and bright a light as would have waked the dead, if they had been slumbering in their graves, as some suppose. There needs no stronger proof of immortality. All things must live in such a light. O Death, where was thy sting? O Grave, where was thy victory, then?”
—Henry David Thoreau (1817–1862)
“When children feel good about themselves, it’s like a snowball rolling downhill. They are continually able to recognize and integrate new proof of their value as they grow and mature.”
—Stephanie Martson (20th century)
“War is a beastly business, it is true, but one proof we are human is our ability to learn, even from it, how better to exist.”
—M.F.K. Fisher (1908–1992)