Kurs:Studienprojekt:Modultheorie über Hauptidealbereichen (Osnabrück 2011-2012)/Modultheorie/Hauptidealbereich/Modul n Erzeuger/Untermoduln n Erzeuger/Fakt/Faktreferenznummer