Ein Verfahren, das für eine endlich erzeugte k-Algebra A (bzw. eine affine k-Varietät) eine polynomiale Unteralgebra S ≃ k[t1,…,td] in A erzeugt, so dass A über S integral und damit endlich ist; geometrisch liefert dies einen endlichen surjektiven Morphismus von Spec A auf den affinen d-Raum.

Prinzip

Man wählt eine generische lineare Koordinatenänderung (oder generische lineare Formen), so dass der Koordinatenring als Modul endlich über der von d algebraisch unabhängigen linearen Kombinationen erzeugten Unteralgebra wird, wobei d die Krull-Dimension von A ist. Generizität gewährleistet Integrität und Endlichkeit.

Demonstration

Für A = k[x,y]/(y^2 - x^3) setzt man S = k[x] mit Einbettung x ↦ x. Das Element y erfüllt die monische Gleichung y^2 - x^3 = 0 mit Koeffizienten in S, also ist A über S integral; folglich projiziert Spec A endlich und surjektiv auf A^1_k via x. Für eine zweidimensionale affine Fläche wählt man zwei generische lineare Formen, um S ≃ k[t1,t2] zu erhalten.

Fehlanwendung

Die gleiche lineare Projektion anzuwenden, ohne Generizität zu prüfen, kann eine Unterring liefern, über dem A nicht endlich ist; fälschlich anzunehmen, Noethers Normalisierung liefere eine birationale Isomorphie statt nur einer endlichen Abbildung, ist im Allgemeinen falsch.

Konsequenz

Fragen über A (Dimension, Integrität, Vielfachheiten, generische Fasern) lassen sich auf Fragen über Polynomringe gleicher Dimension zurückführen; rechnerische Methoden und Invarianten werden oft zugänglich, indem man über S arbeitet und die endliche Erweiterung verfolgt.

Umkehrung

Kehrt man die Idee um und wählt eine nicht-generische Projektion oder weniger lineare Formen als die Dimension, so erhält man gewöhnlich eine Abbildung, die weder endlich noch surjektiv ist; A ist dann häufig nicht integral über dem gewählten Unterring.

Abgrenzung

Gilt für endlich erzeugte Algebren über einem Körper (affine Schemata endlichem Typs). Nicht direkt anwendbar auf nicht-noethersche Ringe, unendlich-dimensionale Algebren oder beliebige nicht-affine Schemata ohne weitere Anpassungen.

Semantische Spannung

Noethers Normalisierung wird oft mit der Normalisierung (integraler Abschluss von A im Quotientenkörper) verwechselt; erstere liefert eine endliche Abbildung in den affinen Raum, letztere den integralen Abschluss — verwandte, aber verschiedene Konstruktionen.

Synthese

Noethers Normalisierung findet eine polynomiale Koordinaten-Unteralgebra gleicher Dimension, über der die ursprüngliche affine Algebra endlich wird; diese generische lineare Projektion reduziert strukturelle und algorithmische Fragen auf Polynomringe.