Modul/Exakter Komplex und injektive Auflösung/Homotopie/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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.

Zum Beweis, Alternativen Beweis erstellen