Normalität (kommutative Algebra)

Im mathematischen Teilgebiet der Algebra heißt ein Integritätsbereich normal, wenn er ganzabgeschlossen in seinem Quotientenkörper ist. Das heißt: Ist $\alpha \in {\mathrm {Quot}}(A)$ und $\alpha$ ganz über , so ist bereits $\alpha \in A$ . Allgemein heißt ein beliebiger kommutativer Ring normal, wenn alle seine lokalen Ringe normale Integritätsbereiche sind. Für Integritätsbereiche stimmen die beiden Definitionen überein.

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.

Eigenschaften

Jeder faktorielle Ring ist normal.
Jeder reguläre Ring ist normal.
Lokalisierungen normaler Ringe sind wieder normal.

Wird vorausgesetzt, dass der Ring noethersch ist, so gilt:

Ein normaler Ring ist ein endliches Produkt normaler Integritätsbereiche.
Ein normaler Integritätsbereich ist der Schnitt seiner Lokalisierungen an Primidealen der Höhe 1:

$A=\bigcap _{{\operatorname {ht}{\mathfrak p}=1}}A_{{\mathfrak p}}.$

Die Lokalisierungen an Primidealen der Höhe 1 sind diskrete Bewertungsringe.

Beispiele

Der Ring $\mathbb {Z}$ der ganzen Zahlen ist normal.
Der Ring ${\mathbb {Z}}[i]=\{a+bi|a,b\in {\mathbb {Z}}\}$ mit $i^{2}=-1$ der ganzen Gaußschen Zahlen ist ebenfalls normal.
Der Ring $A:={\mathbb {Z}}[di]$ fur ist nicht normal, weil i im Quotientenkörper von A liegt und ganz über A ist, aber nicht in A liegt.

Serresches Normalitätskriterium

Ein noetherscher Ring ist genau dann normal, wenn die Bedingungen R₁ und S₂ erfüllt sind.

Die Regularitätsbedingung R_k für eine ganze Zahl $k\geq 0$ besagt, dass die Lokalisierungen an Primidealen der Höhe $\leq k$ regulär sind. R₁ bedeutet für einen noetherschen Integritätsbereich lediglich, dass die Lokalisierungen an Primidealen der Höhe 1 diskrete Bewertungsringe sind; für beliebige noethersche Ringe ist noch Reduziertheit, d.h. die Abwesenheit nichttrivialer nilpotenter Elemente, erforderlich.

Die Serre-Bedingung S_k für eine natürliche Zahl $k\geq 1$ besagt, dass die Tiefe jedes lokalen Ringes größer oder gleich dem Minimum aus seiner Dimension und ist, in Formeln

$\operatorname {tf}A_{{\mathfrak p}}\geq \min\{k,\dim A_{{\mathfrak p}}\}.$

Die Kombination aus R₁ und S₂ kann auch wie folgt zusammengefasst werden:

Für Primideale der Höhe $\leq 1$ ist der lokale Ring regulär, d.h. ein Körper oder ein diskreter Bewertungsring.
Für Primideale der Höhe $\geq 2$ ist die Tiefe des lokalen Ringes mindestens 2.

Insbesondere gilt also: Ein eindimensionaler noetherscher Integritätsbereich ist genau dann normal, wenn die Lokalisierungen an den maximalen Idealen diskrete Bewertungsringe sind. Derartige Ringe heißen Dedekindringe.

Anwendungen

In der algebraischen Geometrie wird ein Schema als normal bezeichnet, wenn alle lokalen Ringe ${\mathcal {O}}_{{X,x}}$ normal sind.

Ist ein beliebiges integres Schema und $K(X)$ der zugehörige Funktionenkörper, dann kann ein weiteres Schema $X^{norm}\rightarrow X$ , die Normalisierung von , wie folgt konstruiert werden: Ist $U\subset X$ eine offene, affine Teilmenge, also das Spektrums eines Rings , dann bilde den ganzen Abschluss ${\tilde {R}}$ von in $K(X)$ . Die Spektren der Ringe ${\tilde {R}}$ lassen sich zu einem Schema $X^{norm}$ verkleben. Der Morphismus $X^{norm}\rightarrow X$ wird dabei induziert von den Inklusionen $R\rightarrow {\tilde {R}}$ . Die so erhaltene Normalisierung hat die Eigenschaft, regulär in Kodimension 1 zu sein. Ist also eine Kurve, so besitzt $X^{norm}$ keine Singularitäten. (Unter milden Bedingungen ist $X^{norm}\rightarrow X$ eine Auflösung der Singularitäten im Sinne der algebraischen Geometrie.)

Basierend auf einem Artikel in:

Wikipedia.de