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).