Endliche kommutative Algebra/Endlicher Modul/Fakt/Beweis

Beweis

Es sei ein -Modul-Erzeugendensystem von und ein -Modul-Erzeugendensystem von . Dann bilden die Produkte , , , ein -Modul-Erzeugendensystem von .