# 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},\ldots,x_{n}\in A$, algebraically independent over $F$, such that $K$ is integral over $F[x_{1},\ldots,x_{n}]$.

Title Noether normalization lemma NoetherNormalizationLemma 2013-03-22 14:14:36 2013-03-22 14:14:36 dooder0001 (4288) dooder0001 (4288) 7 dooder0001 (4288) Theorem msc 16-00 Noetherian normalization lemma