Diskreter Bewertungsring/Erste Eigenschaften/Fakt/Beweis

Aus Wikiversity
Zur Navigation springen Zur Suche springen
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, so dass es als weiteres Primideal nur noch das Nullideal gibt.

Zur bewiesenen Aussage