Restklassenringe (Z)/Quadratreste/-1/Fakt/Beweis

Beweis

Die erste Aussage ist klar, sei also ${}p$ ungerade. Nach Fakt ist die Einheitengruppe zyklisch der geraden Ordnung ${}p-1$. Identifiziert man ${}({\left(\mathbb {Z} /(p)\right)}^{\times },1,\cdot )$ mit ${}(\mathbb {Z} /(p-1),0,+)$, so entspricht ${}-1$ dem Element ${}{\frac {p-1}{2}}$, und ${}-1$ besitzt genau dann eine Quadratwurzel, wenn ${}{\frac {p-1}{2}}$ in ${}\mathbb {Z} /(p-1)$ ein Vielfaches von ${}2$ ist. Dies ist aber genau dann der Fall, wenn ${}{\frac {p-1}{2}}$ selbst gerade ist, was zu ${}p=1\mod 4$ äquivalent ist.

Zur bewiesenen Aussage