Restklassenringe von Z/Charakterisierung Körper/Prim/Fakt/Beweis2

Beweis

Bei ${}n=0$ ist der Restklassenring gleich ${}\mathbb {Z}$ selbst und kein Körper. Bei ${}n=1$ besteht der Restklassenring aus nur einem Element und es ist ${}{\overline {0}}\,={\overline {1}}\,$. Dies ist bei einem Körper explizit ausgeschlossen, und ${}1$ ist keine Primzahl. Es sei also von nun an ${}n\geq 2$. Wenn ${}n$ keine Primzahl ist, so gibt es eine Darstellung

${}n=rs\,$

mit kleineren Zahlen

${}1<r,s<n\,.$

Im Restklassenring ${}\mathbb {Z} /(n)$ bedeutet dies, dass die Restklassen ${}{\overline {r}}\,$ und ${}{\overline {s}}\,$ nicht ${}0$ sind, dass aber ihr Produkt

${}{\overline {r}}\,{\overline {s}}\,={\overline {rs}}\,={\overline {n}}\,=0\,$

ist. Das kann nach Fakt in einem Körper nicht sein.

Sei nun ${}n$ eine Primzahl. Wir müssen zeigen, dass jede von ${}0$ verschiedene Restklasse ${}{\overline {r}}\,$, ${}0<r<n$, ein inverses Element besitzt. Da ${}n$ prim ist, sind ${}r$ und ${}n$ teilerfremd. Nach dem Lemma von Bezout gibt es ganze Zahlen ${}a,b$ mit

${}ar+bn=1\,.$

Dies führt im Restklassenring zur Identität

${}{\begin{aligned}{\overline {1}}\,&={\overline {ar+bn}}\,\\&={\overline {a}}\,{\overline {r}}\,+{\overline {b}}\,{\overline {n}}\,\\&={\overline {a}}\,{\overline {r}}\,,\end{aligned}}$

die besagt, dass ${}{\overline {r}}\,$ und ${}{\overline {a}}\,$ invers zueinander sind.

Zur bewiesenen Aussage