Gorensteinring
(Omdirigert frå Gorenstein ring)
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.