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\longrightarrow M\longrightarrow I_{0}\longrightarrow I_{1}\longrightarrow I_{2}\longrightarrow \ldots$

von ${}R$-Moduln, wobei die ${}I_{n}$, ${}n\geq 0$, injektive Moduln sind.