Normalität (kommutative Algebra)

Normalität (kommutative Algebra)

Im mathematischen Teilgebiet der Algebra heißt ein Integritätsbereich A normal, wenn er ganzabgeschlossen in seinem Quotientenkörper ist. Das heißt: Ist \alpha \in \mathrm{Quot}(A) und α ganz über A, 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.

Inhaltsverzeichnis

Eigenschaften

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.

Beispiele

  • Der Ring \mathbb{Z} der ganzen Zahlen ist normal.
  • Der Ring \mathbb{Z}[i] = \{a + bi | a, b \in \mathbb{Z}\} mit i2 = − 1 der ganzen Gaußschen Zahlen ist ebenfalls normal.
  • Der Ring A := \mathbb{Z}[di] fur d > 1 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 R1 und S2 erfüllt sind.

Die Regularitätsbedingung Rk für eine ganze Zahl k\geq0 besagt, dass die Lokalisierungen an Primidealen der Höhe \leq k regulär sind. R1 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 Sk für eine natürliche Zahl k\geq1 besagt, dass die Tiefe jedes lokalen Ringes größer oder gleich dem Minimum aus seiner Dimension und k ist, in Formeln

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

Die Kombination aus R1 und S2 kann auch wie folgt zusammengefasst werden:

  • Für Primideale der Höhe \leq1 ist der lokale Ring regulär, d. h. ein Körper oder ein diskreter Bewertungsring.
  • Für Primideale der Höhe \geq2 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.

Quellen


Wikimedia Foundation.

Игры ⚽ Поможем написать курсовую

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Elementarteilersatz — In der Algebra bezeichnet man Integritätsbereiche als Hauptidealringe oder Hauptidealbereiche, wenn jedes Ideal ein Hauptideal ist. Die wichtigsten Beispiele für Hauptidealringe sind der Ring der ganzen Zahlen sowie Polynomringe in einer… …   Deutsch Wikipedia

  • Hauptidealbereich — In der Algebra bezeichnet man Integritätsbereiche als Hauptidealringe oder Hauptidealbereiche, wenn jedes Ideal ein Hauptideal ist. Die wichtigsten Beispiele für Hauptidealringe sind der Ring der ganzen Zahlen sowie Polynomringe in einer… …   Deutsch Wikipedia

  • Dedekind-Ring — Ein Dedekindring (nach Richard Dedekind, auch ZPI Ring) ist eine Verallgemeinerung des Ringes der ganzen Zahlen. Die Anwendungen dieses Begriffes finden sich hauptsächlich in den mathematischen Teilgebieten der algebraischen Zahlentheorie und der …   Deutsch Wikipedia

  • ZPI-Ring — Ein Dedekindring (nach Richard Dedekind, auch ZPI Ring) ist eine Verallgemeinerung des Ringes der ganzen Zahlen. Die Anwendungen dieses Begriffes finden sich hauptsächlich in den mathematischen Teilgebieten der algebraischen Zahlentheorie und der …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”