Diskreter Bewertungsring/Erste Eigenschaften/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Ein diskreter Bewertungsring ist

ein lokaler, noetherscher Hauptidealbereich mit genau zwei Primidealen, nämlich und dem maximalen Ideal .

Zum Beweis, Alternativen Beweis erstellen