Definition 22.11
Kurs:Zahlentheorie (Osnabrück 2008)/Vorlesung 22 Kommutative Ringtheorie/Diskreter Bewertungsring/Definition