Modultheorie/Hauptidealbereich/Modul n Erzeuger/Untermoduln n Erzeuger/Fakt
Es sei ein Hauptidealbereich und ein -Modul mit Erzeugern.
Dann besitzt jeder Untermodul ein Erzeugendensystem aus höchstens Elementen.
Es sei ein Hauptidealbereich und ein -Modul mit Erzeugern.
Dann besitzt jeder Untermodul ein Erzeugendensystem aus höchstens Elementen.