Eigenschaft eines noetherschen Rings (oder lokalen Rings), die durch eine Symmetrie seiner homologischen Invarianten gekennzeichnet ist; im lokalen noetherschen Fall ist ein Ring Gorenstein, wenn er als Modul über sich selbst endliche injektive Dimension hat, häufig gleich der Krull‑Dimension.

Prinzip

Homologische Selbstdualität: Der Ring verhält sich wie sein eigenes dualisierendes Objekt, sodass Ext‑Gruppen und lokale Kohomologie symmetrische Muster zeigen und das kanonische Modul einfach ist.

Demonstration

Ein regulärer lokaler Ring ist Gorenstein. Allgemeiner ist eine Hypersurface R = S/(f) mit S regulär und f einem Nicht‑Nullteiler Gorenstein; solche R haben ein einköpfiges kanonisches Modul und symmetrisches Ext‑Verhalten.

Fehlanwendung

Gorenstein mit Cohen–Macaulay gleichzusetzen; zwar ist jeder Gorenstein‑Noethersche lokale Ring Cohen–Macaulay, aber die Umkehrung gilt im Allgemeinen nicht (es gibt Cohen–Macaulay‑Ringe, die nicht Gorenstein sind).

Konsequenz

Gorenstein‑Ringe besitzen ein einfaches dualisierendes Modul mit starken Symmetrieeigenschaften; dies vereinfacht Dualitätssätze, liefert vorhersagbares Ext‑Verhalten und erleichtert die Klassifikation von Singularitäten.

Umkehrung

Ein nicht‑Gorenstein Ring kann Cohen–Macaulay sein, aber die Selbstdualität fehlt; die injektive Dimension ist größer oder unendlich und das kanonische Modul komplizierter oder nicht vorhanden.

Abgrenzung

Wird üblicherweise für noethersche Ringe (insbesondere lokal oder graduiert) formuliert; in nicht‑noetherschen oder nichtkommutativen Kontexten muss die Definition mit Vorsicht angepasst werden.

Semantische Spannung

Spannung zwischen Gorenstein, Cohen–Macaulay und vollständiger Schnitt: diese Bedingungen überlappen, sind aber verschieden; Gorenstein liegt in vielen Hierarchien streng zwischen vollständigen Schnitten und Cohen–Macaulay.

Synthese

Die Gorenstein‑Eigenschaft fasst eine homologische Selbstdualität zusammen: der Ring hat endliche injektive Dimension und ein einfaches kanonisches Modul, was symmetrische Ext‑ und Dualitätsphänomene zur Folge hat.