Diskreter Bewertungsring/Erste Eigenschaften/Fakt/Beweis
Beweis
Ein diskreter Bewertungsring ist kein Körper. In einem Hauptidealbereich, der kein Körper ist, wird jedes maximale Ideal von einen Primelement erzeugt, und die Primerzeuger zu verschiedenen maximalen Idealen können nicht assoziiert sein. Also gibt es genau ein maximales Ideal. Nach Fakt ist ein Hauptidealbereich insbesondere ein Dedekindbereich, sodass es als weiteres Primideal nur noch das Nullideal gibt.