Definition:Root of Unity/Primitive

Definition
Let $n \in \Z_{> 0}$ be a strictly positive integer.

Let $F$ be a field.

Let $U_n$ denote the set of all $n$-th roots of unity.

Also see

 * Definition:Primitive Complex Root of Unity
 * Equivalence of Definitions of Primitive Root of Unity