Propiedad Gorenstein

Propiedad de un anillo noetheriano (o local) caracterizada por una simetría de sus invariantes homológicos; en el caso local noetheriano un anillo es Gorenstein si tiene dimensión inyectiva finita como módulo sobre sí mismo, a menudo igual a la dimensión de Krull.