##  [Gorenstein Property](/gorenstein-property-0) 

 Definition

A property of a Noetherian ring (or local ring) characterized by a symmetry of homological invariants; in the local Noetherian case a ring is Gorenstein if it has finite injective dimension as a module over itself, often coinciding with the Krull dimension.

 

 

 

 

 

 





## Principle

Principle

Self-duality in homological terms: the ring behaves like its own dualizing object, so Ext and local cohomology exhibit symmetric patterns and a canonical module is particularly simple.

 

 

 

 

 





## Demonstration

Demonstration

A regular local ring is Gorenstein. More generally, a hypersurface ring R = S/(f) where S is regular and f a nonzerodivisor is Gorenstein; such rings have a one‑dimensional canonical module and symmetric Ext behavior.

 

 

 

 

## Misapplication

Misapplication

Treating Gorenstein as equivalent to Cohen–Macaulay; while every Gorenstein Noetherian local ring is Cohen–Macaulay, the converse need not hold (there are Cohen–Macaulay rings that are not Gorenstein).

 

 

 

 

 





## Consequence

Consequence

Gorenstein rings admit a dualizing module with strong symmetry properties; this simplifies duality statements, gives predictable Ext patterns and often simplifies classification of singularities.

 

 

 

 

## Reversal

Reversal

A non‑Gorenstein ring may be Cohen–Macaulay but lack the self‑duality; injective dimension is larger or infinite and canonical module may be more complicated or absent.

 

 

 

 

 





## Boundary

Boundary

Usually formulated for Noetherian rings (particularly local or graded); in non‑Noetherian settings or for noncommutative rings one must adapt the definition and hypotheses carefully.

 

 

 

 

 





## Semantic Tension

Semantic Tension

Tension between Gorenstein, Cohen–Macaulay and complete intersection: these conditions overlap but are distinct; Gorenstein sits strictly between complete intersection and Cohen–Macaulay in many hierarchies.

 

 

 

 

 





## Synthesis

Synthesis

Gorenstein property captures a homological self‑duality: the ring has finite injective dimension and a simple canonical module, yielding symmetric Ext and duality phenomena that constrain its singularities and cohomology.