Definition:Root of Unity

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

Let $F$ be a field.

The $n$th roots of unity of $F$ are defined as:


 * $U_n = \set {z \in F: z^n = 1}$