Endliche freie Auflösung/Zwischenkerne/Aufgabe

Aus Wikiversity

Es sei ein kommutativer Ring, ein -Modul und

eine endliche freie Auflösung. Zeige, dass sämtliche Kerne zu

eine endliche freie Auflösung besitzen.