Definition 24.1 Kurs:Kommutative Algebra/Teil I/Vorlesung 24
Kommutative Ringtheorie/Diskreter Bewertungsring/Definition