Kurs:Studienprojekt:Modultheorie über Hauptidealbereichen (Osnabrück 2011-2012)/Modultheorie/Hauptidealbereiche/Endlicher Modul/Direkte Summe zyklischer Moduln/Fakt/Faktreferenznummer