\begin{definition}[Definition:Root of Unity]
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 = \left\{{z \in F: z^n = 1}\right\}$
\end{definition}