Ein Lemma, das besagt, daß jede endlich erzeugte k‑Algebra A über einem Körper k eine endliche injektive k‑Algebrenabbildung von einem Polynomunterring k[y1,…,yd] besitzt, wobei d = trdeg_k(Frac(A)); äquivalent wird A nach einer allgemeinen linearen Koordinatentransformation integral und endlich über einem Polynomunterring in d Variablen.

Prinzip

Durch generische Projektion auf einen Koordinatenunterraum findet man algebraisch unabhängige Elemente, so daß die ursprüngliche Algebra endlich über der von ihnen erzeugten Polynomalgebra wird; dies reduziert komplizierte Algebren auf endliche Erweiterungen von Polynomringen.

Demonstration

Für den Koordinatenring k[x,y]/(y^2−x^3−x) einer ebenen Kurve liefert Noethersche Normalisierung eine lineare Veränderung, die eine Koordinate zu einer Transzendenzbasis macht; der Koordinatenring wird endlich über k[t] und ist damit ein endlich erzeugtes Modul über einem Polynomring in einer Variablen.

Fehlanwendung

Die Annahme, Normalisierung liefere einen Isomorphismus zu einem Polynomring statt nur eine endliche integrale Erweiterung, oder der Versuch, dieselbe Konstruktion ohne Endlichkeitsannahmen (z. B. unendliche Erzeugung) anzuwenden, führt zu Fehlern.

Konsequenz

Liegt eine fundamentale Reduktion für die Dimensionstheorie vor: zeigt, daß die Dimension mit dem Transzendenzgrad übereinstimmt für endlich erzeugte Algebren über Körpern, erlaubt Techniken vom Polynomring zu übertragen und ist ein Baustein vieler struktureller Beweise.

Umkehrung

Die Umkehrung—jede endliche Erweiterung eines Polynomrings erscheint als endlich erzeugte Algebra des gegebenen Transzendenzgrades—is weitgehend tautologisch; der Gehalt des Lemmas ist jedoch das Auffinden eines geeigneten Polynomunterrings in einer beliebigen Algebra von endlichem Typ.

Abgrenzung

Üblich formuliert für endlich erzeugte Algebren über einem Körper (oder allgemeiner für Algebren vom endlichen Typ über einem noetherschen Integritätsbereich mit Vorsicht); es kann über beliebigen Grundringen fehlschlagen oder Anpassungen erfordern.

Semantische Spannung

Spannung zwischen den Begriffen 'integral über' und 'endlich über': Noethersche Normalisierung garantiert eine endliche integrale Erweiterung eines Polynomunterrings, nicht daß die Algebra selbst ein Polynomring ist—Verwechslung schwächt die korrekte Anwendung.

Synthese

Noethersches Normalisierungsllemma liefert einen endlichen Polynomunterring innerhalb einer endlich erzeugten Algebra, macht geometrische Objekte zu endlichen Abbildungen des affinen Raums der minimalen Dimension und reduziert damit viele Fragen auf den Polynomfall.