Gorenstein‑Eigenschaft

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.