Injektiver Modul/Extmoduln/Trivial/Fakt

Es sei ${}I$ ein injektiver Modul über dem kommutativen Ring ${}R$.

Dann ist

${}\operatorname {Ext} ^{n}(M,I)=0\,$

für jeden ${}R$-Modul ${}M$ und jedes ${}n\geq 1$.

Zum Beweis, Alternativen Beweis erstellen