A field element ω is a primitive root of unity if
for
and
Examples
1. -1 is a primitive (square) root of unity in the real numbers
2. In the complex numbers i is a primitive root of unity
3. 3 is a primitive root of unity in the field
4. 11 is a primitive (
) root of unit in the field of integers modulo
.
![[Graphics:../Images/FFT_gr_19.gif]](../Images/FFT_gr_19.gif)
Since p is prime,
![[Graphics:../Images/FFT_gr_22.gif]](../Images/FFT_gr_22.gif)
This says that
This factorization tells us that there is an element of order in the group
. It happens that 11 is one of the primitive
(
) roots of unit in
.
Theorem: In an field F, the only solutions to the equation are
Proof: A solution to is a root of the polynomial
which has the factorization
. This shows that
are root and if
is any other element of F,
and
are both nonzero, so
so is not a root.
Theorem: If is a primitive
root of unity and N is even, then
(1)
(2)
(3) is a primitive
root of unity
(4)