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 f^k for some integer k.

• finite
• field
• multiplicative group
• cyclic group
• proof that the multiplicative group of a finite field is cyclic
• abelian group
• zero
• multiplication
• operation
• integer

• amazing fact