Ein kommutativ, noethersk er Gorenstein viss han har endeleg injektiv dimension over seg sjølv.

Definisjonar Det er fleire ekvivalente definisjonar for Gorenstein ringar. Me nemner eit par av dei her. Anta no i tillegg at er ein lokal ring. Let vera restkroppen til og let vera krulldimensjonen til

for ein for alle og for alle og

Eksempel der er ein kropp for ein kvar kropp

Eigenskapar

Kvar gorensteinring er Cohen–Macaulay

Sjå også

Totalt refleksive modular Cohen–Macaulay-ring Gorensteindimensjon

Kjelder

Kategori:Homologisk algebra Kategori:Ringteori Kategori:Algebraiske strukturar