Kurs:Studienprojekt:Modultheorie über Hauptidealbereichen (Osnabrück 2011-2012)/Gruppentheorie/Kommutativ/Endlich erzeugt/Hauptsatz/Fakt/Faktreferenznummer