Gorensteinring
Utsjånad
Ein kommutativ, noethersk er Gorenstein viss han har endeleg injektiv dimension over seg sjølv.
Definisjonar
[endre | endre wikiteksten]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
[endre | endre wikiteksten]- der er ein kropp
- for ein kvar kropp
Eigenskapar
[endre | endre wikiteksten]- Kvar gorensteinring er Cohen–Macaulay
Sjå også
[endre | endre wikiteksten]Kjelder
[endre | endre wikiteksten]- Lars Winther Christensen (2000). Gorenstein dimensions. Springer. s. 6.