Let p be a prime.
a) If gcd(k,p-1)=1, then 1^k, 2^k,..., (p - 1)^k form a reduced residue system mod p.
b) If 1^k, 2^k,..., (p - 1)^k form a reduced residue system mod p, then gcd(k,p-1)=1.[/color]
=================================
I proved part a by first showing that each of 1^k...