Diskrete Bewertungsringe/Charakterisierung/1/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Sei ein noetherscher lokaler Integritätsbereich mit der Eigenschaft, dass es genau zwei Primideale gibt. Dann sind folgende Aussagen äquivalent.

  1. ist ein diskreter Bewertungsring.
  2. ist ein Hauptidealbereich.
  3. ist faktoriell.
  4. ist normal.
  5. ist ein Hauptideal.
Zum Beweis, Alternativen Beweis erstellen