Totalt refleksive modular

Dei totalt refleksive modulane til ein ring $R$ er alle $R$-modulane der visse Ext-funktorar forsvinn. Dei kan bli sett på som ei generalisering av Cohen–Macaulay-modulane av $R$ når $R$ ikkje er Gorenstein.

I spesialtilfellet kor $R$ er Gorenstein er dei totalt refleksive modulane til $R$ nettopp Cohen–Macaulay-modulane til $R$.

Definisjon

La $R$ vera ein kommutativ, noethersk ring med eining $1\neq 0$. Ein endeleggenerert $R$-modul $M$ er totalt refleksiv viss følgjande aksiom held

• $\operatorname {Ext} _{R}^{i}(M,R)=0$ for alle $i\geq 1$

• $\operatorname {Ext} _{R}^{i}(M^{*},R)=0$ for alle $i\geq 1$

• $M$ er refleksiv: $M\simeq M^{**}$ via homorfien $\delta :M\to M^{**}$, $\delta (m)(x)=mx$

Sjå også

• Gorensteinring

• Cohen–Macaulay-modular

Kjelder

• Lars Winther Christensen (2000). Gorenstein dimensions. Springer.