Lemma 4.8
Kurs:Studienprojekt:Modultheorie über Hauptidealbereichen (Osnabrück 2011-2012)/Vorlesung 4 Modultheorie/Hauptidealbereiche/Sockel ist RmodRp-Vektorraum/Fakt