Gorensteinring – Wikipedia
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.
Definition
[Bearbeiten | Quelltext bearbeiten]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.)
Eigenschaften
[Bearbeiten | Quelltext bearbeiten]- 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.
Beispiele
[Bearbeiten | Quelltext bearbeiten]- 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.
Literatur
[Bearbeiten | Quelltext bearbeiten]- Ernst Kunz: Einführung in die kommutative Algebra und algebraische Geometrie. Vieweg, 1980, ISBN 3-528-07246-6.
- Michael Francis Atiyah, Ian Macdonald: Introduction to Commutative Algebra. Addison-Wesley, 1969, ISBN 0-201-00361-9.
- Rainer Brüske, Friedrich Ischebeck, Ferdinand Vogel: Kommutative Algebra. Bibliographisches Institut, 1989, ISBN 3-411-14041-0.
- Hideyuki Matsumura: Commutative algebra. Cummings, 1980, ISBN 0-8053-7026-9.
- Winfried Bruns, Jürgen Herzog: Cohen-Macaulay rings (= Cambridge studies in advanced mathematics. Band 39). Cambridge University Press, 1993 (englisch).
Einzelnachweise
[Bearbeiten | Quelltext bearbeiten]- ↑ D. Eisenbud: Commutative Algebra. Springer, 2004, ISBN 0-387-94269-6, S. 525.