In mathematics, the Noether normalization lemma is a result of commutative algebra, introduced by Emmy Noether in 1926.[1] It states that for any field k, and any finitely generated commutative k-algebra A, there exist elements y1, y2, ..., yd in A that are algebraically independent over k and such that A is a finitely generated module over the polynomial ring S = k [y1, y2, ..., yd]. The integer d is equal to the Krull dimension of the ring A; and if A is an integral domain, d is also the transcendence degree of the field of fractions of A over k.
The theorem has a geometric interpretation. Suppose A is the coordinate ring of an affine variety X, and consider S as the coordinate ring of a d-dimensional affine space . Then the inclusion map induces a surjective finite morphism of affine varieties : that is, any affine variety is a branched covering of affine space.
When k is infinite, such a branched covering map can be constructed by taking a general projection from an affine space containing X to a d-dimensional subspace.
More generally, in the language of schemes, the theorem can equivalently be stated as: every affine k-scheme (of finite type) X is finite over an affine n-dimensional space. The theorem can be refined to include a chain of ideals of R (equivalently, closed subsets of X) that are finite over the affine coordinate subspaces of the corresponding dimensions.[2]
The Noether normalization lemma can be used as an important step in proving Hilbert's Nullstellensatz, one of the most fundamental results of classical algebraic geometry. The normalization theorem is also an important tool in establishing the notions of Krull dimension for k-algebras.
^Noether 1926
^Eisenbud 1995, Theorem 13.3
and 26 Related for: Noether normalization lemma information
In mathematics, the Noethernormalizationlemma is a result of commutative algebra, introduced by Emmy Noether in 1926. It states that for any field k...
science Normalizing constant, in probability theory a constant to make a non-negative function a probability density function Noethernormalizationlemma, result...
and at Bryn Mawr College Noether's theorem (or Noether's first theorem) Noether's second theorem Noethernormalizationlemma Noetherian rings Nöther crater...
finitely generated k-algebra. The result is due to Noether and can be shown using the Noethernormalizationlemma as follows. It is clear that it is enough to...
Mumford conjecture. In this paper Noether also introduced the Noethernormalizationlemma, showing that a finitely generated domain A over a field k has...
her achievements. Noether's bound NoethernormalizationlemmaNoether problem Noether's isomorphism theorems Noether's theorem Noether's second theorem...
Sturmian words. Noethernormalizationlemma The Noethernormalizationlemma is a result of commutative algebra, introduced by Emmy Noether in 1926. It states...
quasi-projective scheme over k is of finite type over k. The Noethernormalizationlemma says, in geometric terms, that every affine scheme X of finite...
theorem Primary ideal Primary decomposition and the Lasker–Noether theorem Noethernormalizationlemma Going up and going down Spectrum of a ring Zariski tangent...
specifically abstract algebra, the isomorphism theorems (also known as Noether's isomorphism theorems) are theorems that describe the relationship between...
extension Q ( B ) / Q ( A ) . {\displaystyle Q(B)/Q(A).} The Noethernormalizationlemma implies that if R is an integral domain that is a finitely generated...
if R is finitely generated as an algebra (for instance by the Noethernormalizationlemma). Let R be a Noetherian ring, I an ideal and gr I ( R ) = ⊕...
two years after the first Negro National League had disbanded Noethernormalizationlemma — a theorem in commutative algebra Narnaul railway station —...
closed. In Mumford's red book, the theorem is proved by means of Noether'snormalizationlemma. For an algebraic approach where the generic freeness plays...
is the projective analog of Noether'snormalizationlemma. (In fact, it yields a geometric proof of the normalizationlemma.) The same procedure can be...
Sylow theorems Hall subgroup Wreath product Butterfly lemma Center of a group Centralizer and normalizer Characteristic subgroup Commutator Composition series...
dévissage. Another version of generic freeness can be proved using Noether'snormalizationlemma. EGA IV2, Théorème 6.9.1 EGA IV2, Corollaire 6.9.3 EGA IV2,...
{\displaystyle u\in T_{n}} such that g = f u {\displaystyle g=fu} . (Noethernormalization) If a ⊂ T n {\displaystyle {\mathfrak {a}}\subset T_{n}} is an ideal...
containing I has a minimal element, which is a minimal prime over I. Emmy Noether showed that in a Noetherian ring, there are only finitely many minimal...
one maximal ideal; this follows from Zorn's lemma. A ring is called Noetherian (in honor of Emmy Noether, who developed this concept) if every ascending...
e^{\frac {i(x-y)^{2}}{2T}},} which, with the same normalization as before (not the sum-squares normalization – this function has a divergent norm), obeys a...
the 20th century David Hilbert, Oskar Bolza, Gilbert Ames Bliss, Emmy Noether, Leonida Tonelli, Henri Lebesgue and Jacques Hadamard among others made...
over itself, in other words every ideal is finitely generated. 3. Noethernormalization represents a finitely generated algebra over a field as a finite...