Endliche kommutative Algebra/Endlicher Modul/Fakt/Beweis
Erscheinungsbild
Beweis
Es sei ein -Modul-Erzeugendensystem von und ein -Modul-Erzeugendensystem von . Dann bilden die Produkte , , , ein -Modul-Erzeugendensystem von .
Es sei ein -Modul-Erzeugendensystem von und ein -Modul-Erzeugendensystem von . Dann bilden die Produkte , , , ein -Modul-Erzeugendensystem von .