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)