Hauptidealbereich/Restklassencharakterisierung von prim/Fakt/Beweis

Beweis

Die Äquivalenz (1) (2) gilt in jedem kommutativen Ring (auch für ), siehe Aufgabe, und (3) impliziert natürlich (2). Es sei also (1) erfüllt und sei von verschieden. Wir bezeichnen einen Repräsentanten davon in ebenfalls mit . Es ist dann und es ergibt sich eine echte Idealinklusion . Ferner können wir schreiben, da wir in einem Hauptidealring sind. Es folgt . Da keine Einheit ist und prim (also nach Fakt auch irreduzibel) ist, muss eine Einheit sein. Es ist also , und das bedeutet modulo , also in , dass eine Einheit ist. Also ist ein Körper.