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

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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.

Zum Beweis, Alternativen Beweis erstellen