Definition 21.1
Kurs:Algebraische Kurven (Osnabrück 2008)/Vorlesung 21 Kommutative Ringtheorie/Diskreter Bewertungsring/Definition
