Modultheorie/Ideale r Erzeuger/Modul n Erzeuger/Untermoduln nr Erzeuger/Fakt
Es sei ein kommutativer Ring, in dem jedes Ideal von höchstens Elementen erzeugt werden kann. Es sei außerdem ein -Modul mit Erzeugern.
Dann besitzt jeder Untermodul ein Erzeugendensystem aus höchstens Elementen.