Satz 4.15
Kurs:Algebraische Zahlentheorie (Osnabrück 2020-2021)/Vorlesung 4 Kommutative Ringtheorie/Lokalisierung/Lokaler Ring/Fakt
