Noetherscher Normalisierungssatz
aus Wikipedia, der freien Enzyklopädie
Der noethersche Normalisierungssatz (nach Emmy Noether) ist eine Strukturaussage aus dem mathematischen Teilgebiet der kommutativen Algebra. In geometrischer Sprache besagt er, dass es von einem geometrischen Objekt stets eine Abbildung in einen affinen Raum gibt, deren Fasern endlich sind.
Dieser Artikel beschäftigt sich mit kommutativer Algebra. Insbesondere sind alle betrachteten Ringe kommutativ und haben ein Einselement. Für weitere Details siehe Kommutative Algebra.
[Bearbeiten] Formulierung
Es sei k ein Körper und A eine k-Algebra endlichen Typs. Dann gibt es algebraisch unabhängige Elemente 
, so dass A eine endliche ![k[x_1,\ldots,x_n]](../../../math/a/8/0/a802654746898da09561a31e76007fe9.png)
-Algebra ist.
Dabei bedeutet "algebraisch unabhängig", dass die Abbildung
![k[X_1,\ldots,X_n]\to A,\quad X_i\mapsto x_i](../../../math/a/2/b/a2b1b286fe54fad5559834e2951835cc.png)
aus dem Polynomring ![k[X_1,\ldots,X_n]](../../../math/c/9/0/c901657f34686cd7c6d58c0019836751.png)
nach A injektiv ist.
