In §A-7 and §A-8, we learned about the definition and properties of the -th roots of unity and the -th cyclotomic polynomial over complex numbers (i.e., ) as follows:
The -th cyclotomic polynomial is defined as a polynomial whose roots are the primitive -th roots of unity. That is,
In this section, we will explain the -th cyclotomic polynomial over (ring), which is structured as follows:
Definition A-9 Roots of Unity and Cyclotomic Polynomial over Rings
The -th cyclotomic polynomial is defined as a polynomial whose roots are the primitive -th roots of unity. That is,
Polynomial over | Polynomial over | |
(Complex Number) | (Ring) | |
Definition | All such that , (which are | All such that |
of the | computed as for integer | |
-th | where ) | |
Root of Unity | ||
Definition | Those -th roots of unity such that | Those -th roots of unity such that |
of the | , and | , and |
Primitive | ||
-th | ||
Root of | ||
Unity | ||
Definition | The polynomial whose roots are the -th primitive roots of unity as follows:
| |
of the | (see Definition A-8.1 in §A-8.1)
| |
-th | ||
Cyclotomic | ||
Polynomial | ||
Finding | For , compute all such that | Find one satisfactory that is a root of |
Primitive | and | the -th cyclotomic polynomial, and |
-th | (Theorem A-7.2.4 in §A-7.2) | compute all such that |
Roots of | and | |
Unity | ||
Note that in the -th cyclotomic polynomial in both cases of over and over , each of their roots (i.e., the primitive -th root of unity) has the order (i.e., over , and over ). Also note that each root can generate all roots of the -th cyclotomic polynomial by computing such that .
Table 2 compares the properties of the roots of unity and the -th cyclotomic polynomial over (complex numbers) and over (ring).