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 Classification
Statement Form Statement Form Statement Form Connections
Has Statement Form
In Branch
Source Noether normalization lemma, Wikipedia
Proved By
Sources
1. Noether normalization lemma, Wikipedia
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.
In Branch: Commutative Algebra, Lead sentence
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.