Multiplicative group of a finite field is cyclic (source code)

= Multiplicative group of a finite field is cyclic

The nonzero elements of every finite field form a cyclic group. For a field with $q$ elements, combine elements realizing each prime-power factor of the group exponent to obtain an element of exponent order; the root bound for $X^m-1$ then forces that order to be $q-1$.