Kurs:Studienprojekt:Modultheorie über Hauptidealbereichen (Osnabrück 2011-2012)/Modultheorie/Ideale sind Untermoduln des Ringes/Fakt/Faktreferenznummer