It is an
amazing fact that if
F is a
finite field, its
multiplicative group F* is a
cyclic group! See a
proof that the multiplicative group of a finite field is cyclic.
Explanation: F* is the abelian group consisting of all non-zero elements of F, equipped with F's multiplication operation. The claim is that there exists an element f in F for which every non-zero element of F has the form fk for some integer k.