Kommutative Ringtheorie/Diskreter Bewertungsring/Definition/Begriff