Kurs:Algebraische Kurven (Osnabrück 2017-2018)/Kommutative Ringtheorie/Diskreter Bewertungsring/Definition/Definitionreferenznummer