Gorensteinring

aus Wikipedia, der freien Enzyklopädie
Zur Navigation springen Zur Suche springen

Ein Gorensteinring ist ein Ring, der in der kommutativen Algebra, einem Teilgebiet der Mathematik, untersucht wird. Ein Gorensteinring ist ein Cohen-Macaulay-Ring mit bestimmten zusätzlichen Eigenschaften. Eine Gorensteinsingularität ist eine Singularität, deren lokaler Ring ein Gorensteinring ist.

Benannt wurden die Ringe nach Daniel Gorenstein, obwohl dieser immer behauptete, nicht einmal die Definition zu verstehen.[1]

Dieser Artikel beschäftigt sich mit kommutativer Algebra. Insbesondere sind alle betrachteten Ringe kommutativ und haben ein Einselement. Ringhomomorphismen bilden Einselemente auf Einselemente ab. Für weitere Details siehe Kommutative Algebra.

Ist ein noetherscher lokaler -dimensionaler Ring mit maximalem Ideal , so nennt man eine Menge ein Parametersystem von , wenn diese Menge ein - primäres Ideal erzeugt. (Man kann zeigen, dass ein noetherscher lokaler Ring immer ein Parametersystem besitzt.)

Ist

ein lokaler Cohen-Macaulay-Ring mit maximalem Ideal ,
ein Parametersystem und
das entsprechende -primäre Ideal,

so ist die Zahl

unabhängig vom gewählten Parametersystem.

Diese Zahl wird der Typ von genannt.

Ein lokaler Gorensteinring ist ein Cohen-Macaulay-Ring vom Typ 1.

Einen noetherschen Ring nennt man Gorensteinring, wenn alle seine Lokalisierungen von maximalen Idealen lokale Gorensteinringe sind.

(Diese Definition folgt Kunz 1980. Häufig wird ein Gorensteinring über die injektive Dimension definiert, siehe unten.)

  • Ist ein lokaler Cohen-Macaulay-Ring so ist genau dann ein Gorensteinring, wenn das von einem Parametersystem erzeugte Ideal irreduzibel ist.
  • Ein lokaler noetherscher Ring ist genau dann ein Gorensteinring, wenn seine injektive Dimension endlich ist.
  • Jeder lokale Ring, der vollständiger Durchschnitt ist, ist ein Gorensteinring. Insbesondere ist jeder reguläre lokale Ring ein Gorensteinring.
  • Ist ein Körper, so wird die Varietät, die aus der X-Achse und der Y-Achse besteht, durch den Koordinatenring beschrieben.
Der Schnittpunkt wird durch den Ring
beschrieben. Er ist eine Singularität, denn ist eindimensional, aber das maximale Ideal von kann nur durch zwei Elemente erzeugt werden. Andererseits ist ein Gorensteinring, da jedes im maximalen Ideal enthaltene reguläre Element eine irrduzible Untervarietät erzeugt.
  • Der Ring ist ein -dimensionaler lokaler Ring. Er ist daher Cohen-Macaulay. Er ist aber nicht Gorenstein, da das Nullideal zwar -primär, aber nicht irreduzibel ist, da es der Schnitt der Ideale und ist.

Einzelnachweise

[Bearbeiten | Quelltext bearbeiten]
  1. D. Eisenbud: Commutative Algebra. Springer, 2004, ISBN 0-387-94269-6, S. 525.