Restklassenringe (Z)/Einheitengruppe/Primitive Elemente/Anzahl/Fakt

Es sei $p$ eine Primzahl. Dann gibt es in $\mathbb{Z}/(p)$ genau $\phi (p-1)$ primitive Elemente.

Zum Beweis, Alternativen Beweis erstellen