Hauptidealbereich/Restklassencharakterisierung von prim/Fakt/Beweis

Beweis

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

Zur bewiesenen Aussage