Kommutativer Ring/Modul/Injektive Auflösung/Definition

Injektive Auflösung (Moduln)

Eine injektive Auflösung eines $R$-Moduls $M$ über einem kommutativen Ring $R$ ist ein exakter Komplex

$0⟶M⟶I_0⟶I_1⟶I_2⟶\dots$

von $R$-Moduln, wobei die $I_n$, $n\ge 0$, injektive Moduln sind.