Propriété Gorenstein

Propriété d'un anneau noethérien (ou local) caractérisée par une symétrie de ses invariants homologiques ; dans le cas local noethérien un anneau est Gorenstein s'il a une dimension injective finie en tant que module sur lui‑même, souvent égale à sa dimension de Krull.