Restklassenringe von Z/Körper/Integer/Primzahl/Fakt/Beweis

Beweis

${}(1)\Rightarrow (2)$. Da jede Einheit ein Nichtnullteiler ist, ist jeder Körper insbesondere ein Integritätsbereich.
${}(2)\Rightarrow (3)$. Es ist ${}n=\operatorname {char} (\mathbb {Z} /(n))$ und dies ist im integren Fall eine Primzahl, wie in Fakt gezeigt wurde.
${}(3)\Rightarrow (1)$. Es sei also ${}n=p$ eine Primzahl und ${}{\overline {a}}\,\in \mathbb {Z} /(p)$ eine von ${}0$ verschiedene Restklasse. Diese wird durch eine ganze Zahl ${}a$ zwischen ${}1$ und ${}p-1$ repräsentiert. Da ${}p$ prim ist, ist ${}a=1$ oder aber kein Teiler von ${}p$. In jedem Fall sind ${}a$ und ${}p$ teilerfremd und nach Fakt gibt es eine Darstellung der ${}1$. D.h. es gibt ganze Zahlen ${}r,s\in \mathbb {Z}$ mit

${}ra+sp=1\,.$

Diese Gleichung gilt auch, wenn man die Restklassenbildung modulo ${}p$ darauf los lässt. Es gilt also

${}{\overline {r}}\,{\overline {a}}\,+{\overline {s}}\,{\overline {p}}\,={\overline {1}}\,\,$

in ${}\mathbb {Z} /(p)$. Dort ist aber ${}{\overline {p}}\,={\overline {0}}\,=0$, so dass man den zweiten Summanden ignorieren kann und lediglich

${}{\overline {r}}\,{\overline {a}}\,={\overline {1}}\,=1\,$

übrig bleibt. Diese Gleichung zeigt, dass ${}{\overline {a}}\,$ eine Einheit ist (mit ${}{\overline {r}}\,$ als Inversem).

Zur bewiesenen Aussage