Lemma 17.5
Kurs:Singularitätentheorie (Osnabrück 2019)/Vorlesung 17 Noetherscher Ring/Maximales Ideal/Idealpotenz mal Modul/Restklassenmodul/Direkt und lokal/Fakt