## [Gorenstein‑Eigenschaft](/de/node/63869) Definition 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 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 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 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 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 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 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 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 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.