Noether normalization lemma

Let $F$ be a field and $K$ a finitely-generated commutative algebra over $F$. There there exists a non-negative integer $n$ and elements $x_1,\mathrm{\dots },x_n\in A$, algebraically independent over $F$, such that $K$ is integral over $F[x_1,\mathrm{\dots },x_n]$.

Title	Noether normalization lemma
Canonical name	NoetherNormalizationLemma
Date of creation	2013-03-22 14:14:36
Last modified on	2013-03-22 14:14:36
Owner	dooder0001 (4288)
Last modified by	dooder0001 (4288)
Numerical id	7
Author	dooder0001 (4288)
Entry type	Theorem
Classification	msc 16-00
Synonym	Noetherian normalization lemma