properties of primitive roots
Definition.
Let be an integer. An integer is said to be a primitive root of if and the multiplicative order
of is exactly , where is the Euler phi function. In other words, and for any .
Theorem.
An integer has a primitive root if and only if is or for some . In particular, every prime has a primitive root.
Proposition.
Let be an integer.
- 1.
If is a primitive root of then the set is a complete set of representatives for .
- 2.
If then is a primitive root of if and only if for every prime divisor
of .
- 3.
If is a primitive root of , then if and only if . Thus if and only if divides .
- 4.
If is a primitive root of , then is a primitive root of if and only if .
- 5.
If has a primitive root then has exactly incongruent primitive roots.