Lemma 1.16
Kurs:Studienprojekt:Modultheorie über Hauptidealbereichen (Osnabrück 2011-2012)/Vorlesung 1 Kommutative Algebra/Modulhomomorphismus/Festlegung auf Erzeugendensystem/Fakt