Noether normalization lemma

In mathematics, the Noether normalization lemma is a result of commutative algebra, introduced by Emmy Noether in 1926. A simple version states that for any field k, and any finitely generated commutative k-algebra A, there exists a nonnegative integer d and algebraically independent elements y₁, y₂, ..., y_d in A such that A is a finitely generated module over the polynomial ring S:=k[y₁, y₂, ..., y_d].