Zahlentheorie/Primzahlen/Kleiner Fermat/Fakt/Beweis

Beweis

Ist ${}a$ nicht durch ${}p$ teilbar, so definiert ${}a$ ein Element ${}{\bar {a}}$ in der Einheitengruppe ${}{\left(\mathbb {Z} /(p)\right)}^{\times }$; diese Gruppe hat die Ordnung ${}p-1$, und nach dem Satz von Lagrange gilt ${}{\bar {a}}^{p-1}=1$. Durch Multiplikation mit ${}a$ ergibt sich die Behauptung. Für Vielfache von ${}p$ gilt die Aussage ebenso, da dann beidseitig ${}0$ steht.

Zur bewiesenen Aussage