Diskreter Bewertungsring/Erste Eigenschaften/Fakt

Ein diskreter Bewertungsring ist

ein lokaler, noetherscher Hauptidealbereich mit genau zwei Primidealen, nämlich ${}0$ und dem maximalen Ideal ${}{\mathfrak {m}}$.

Zum Beweis, Alternativen Beweis erstellen