Primitive root modulo n
ID: primitive-root-modulo-n
For an integer modulus , a primitive root is a unit whose multiplicative order is . Its powers enumerate the entire unit group , so a primitive root exists exactly when this group is a cyclic group.
Modulo seven, successive powers of three give , reaching all six units. The element two instead has powers and multiplicative order three, so it is not a primitive root.[ref]
Orders of Units in Modular Arithmetic by Keith Conrad. §1, Example 1.1 and Definition 1.3, printed p. 1: orders of units modulo seven
Existence depends on . Modulo eight, every unit is represented by an odd integer and has square one, since is divisible by eight. No such element can generate a group of four units. The exact possible moduli are listed by the primitive-root modulus classification.
New to topics? Read the docs here!