Es sei ein
kommutativer Ring
und sei
-
eine
kurze exakte Sequenz
von
-Moduln.
Es gebe ein
-Modul-Erzeugendensystem
von
mit
Elementen und ein
-Modul-Erzeugendensystem von
mit
Elementen. Zeige, dass es ein
-Modul-Erzeugendensystem von
mit
Elementen gibt.