Modul/Exakter Komplex und injektive Auflösung/Homotopie/Fakt
Es sei ein -Modul über einem kommutativen Ring . Es sei
ein exakter Komplex und es sei
ein Komplex, wobei die Moduln injektiv seien. Es seien
Homomorphismen von Kettenkomplexen.
Dann sind und homotop.