Modul/Injektive Auflösung/Komplex/Anfangshomomorphismus/Fakt

Es seien und -Moduln über einem kommutativen Ring . Es sei

ein exakter Komplex,

eine injektive Auflösung und

ein -Modulhomomorphismus.

Dann gibt es -Modulhomomorphismen

die mit den Homomorphismen in den Komplexen kommutieren.