If
\[a\]
is a primitive root of \[n\]
, so that the order of \[a\]
is \[\phi (n)\]
then \[a^{\phi (n)} \equiv 1 \; (mod \; n)\]
and this is not true for any smaller power than \[\phi (n)\]
then \[\{ a, \; a^2, ..., \; a^{\phi (n)} \}\]
is a reduced set of residues (mod n).Certainly all the
\[a^i, \; 1 \le a^i \le \phi (n)\]
in the above set are all distinct, since if \[a^i \equiv a^j \; (mod \; n), \; i \gt j\]
then \[a^i a^{\phi (n)} \equiv a^j \; (mod \; n) \rightarrow a^{i-j+ \phi (n)} \equiv 1 \; (mod \; n) \rightarrow i =j\]
.Also
\[gcd(a, n) =1 \rightarrow gcd(a^i,n)=1\]
so there are \[\phi (n)\]
elements in the above set.Example:
\[\phi (14)=6\]
.Take
\[a=3\]
then a complete set of residues (mod 14) is \[\{ 3^1, \; 3^2, \; 3^3, \; 3^4, \; 3^5, \; 3^6 \}\]
which reduced (mod 14) is the set \[\{ 3, \; 9, \; 13, \; 11, \; 5, \; 1 \}\]
, each element of which is relatively prime to 14.