Gorenstein Property

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.