Definition 43.1
Kurs:Kommutative Algebra/Teil II/Vorlesung 43
Kommutative Ringtheorie/Diskreter Bewertungsring/Definition