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

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

Definisjon La vera ein kommutativ, noethersk ring med eining . Ein endeleggenerert -modul er totalt refleksiv viss følgjande aksiom held

for alle

for alle

er refleksiv: via homorfien ,

Sjå også Gorensteinring

Cohen–Macaulay-modular

Kjelder

Kategori: Algebraiske strukturar Kategori: Homologisk algebra