Körper/Genau zwei Ideale/Fakt/Beweis

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Beweis

Wenn ein Körper ist, so gibt es das Nullideal und das Einheitsideal, die voneinander verschieden sind. Sei ein von verschiedenes Ideal in . Dann enthält ein Element , das eine Einheit ist. Damit ist und damit .

Sei umgekehrt ein kommutativer Ring mit genau zwei Idealen. Dann kann nicht der Nullring sein. Sei nun ein von verschiedenes Element in . Das von erzeugte Hauptideal ist und muss daher mit dem anderen Ideal, also mit dem Einheitsideal übereinstimmen. Das heißt insbesondere, dass ist. Das bedeutet also für ein , so dass eine Einheit ist.