Kategorie:Theorie der diskreten Bewertungsringe/Definitionen