Zum Inhalt springen

Körper/Genau zwei Ideale/Fakt/Beweis

Aus Wikiversity
Beweis

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

Es sei umgekehrt ein kommutativer Ring mit genau zwei Idealen. Dann kann nicht der Nullring sein. Es 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  ,  sodass eine Einheit ist.