The Noether Normalization Lemma states that for any finitely generated commutative algebra over a field, there exist algebraically independent elements of that algebra such that the whole algebra becomes a finitely generated module over the polynomial ring they generate. Named for Emmy Noether, it is a foundational structural result of commutative algebra, giving every affine variety a finite map onto an affine space and underlying much of the geometric approach to ring theory.
Facts
StatementLet k be a field and A = k[y1', ..., ym'] be a finitely generated k-algebra. Then for some integer d, 0 <= d <= m, there exist y1, ..., yd in A algebraically independent over k such that A is finite over k[y1, ..., yd]. 1 Connections
Sources
1. Noether normalization lemma, Wikipedia
Statement and proof section
Let k be a field and A = k[y1', ..., ym'] be a finitely generated k-algebra. Then for some integer d, 0 <= d <= m, there exist y1, ..., yd in A algebraically independent over k such that A is finite over k[y1, ..., yd].
Lead section
In mathematics, the Noether normalization lemma (sometimes referred to as a theorem rather than a lemma) is a result of commutative algebra, introduced by Emmy Noether in 1926.
View the SourceReader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.