Cyclotomic polynomial

The Cyclotomic Polynomials are a family of polynomials that are observed frequently in number theory and algebra. While most sources on the internet introduce them on a preliminary level, there is far more rigor and connections to different disciplines which will all be shared here.


The main reason why one even cares about the Cyclotomic polynomials begins with the study of splitting fields.

Definition: The extension $K$ of a field $F$ is a splitting field for $f(x)\in F[x]$ if $f(x)$ can be written as the product of irreducible factors in $K[x]$, and $f(x)$ does not factor into a product of irreducible factors in any other proper subfield of $K$ containing $F$.

To ease any worries, any field $F$ is guaranteed an extension $K$, so the existence of such a splitting field is not problematic. An example to consider would be the splitting field of $f(x)=x^2-2$ over the field $\mathbb{Q}$. This, of course, would just be $\mathbb{Q}(\sqrt{2})$ since its roots in $\mathbb{Q}$ are both in $\mathbb{Q}(\sqrt{2})$. So this raises the question: what is the splitting field of $x^n-1$ over $\mathbb{Q}$ based on this definition?

The Cyclotomic Field

Recall that over $\mathbb{C}$ there are $n$ distinct solutions of the equation $x^n=1$, which are

\[e^{2\pi i k/n}=\text{cis}\left(\frac{2\pi k}{n}\right)=\cos\left(\frac{2\pi k}{n}\right)+i\sin\left(\frac{2\pi k}{n}\right)\]

for $k\in\{0,1,\ldots, n-1\}$. These are known as the $n$th roots of unity. These harken back to the language of generators, since we see that

\[(e^{2\pi i k/n})^n=e^{n(2\pi i k/n)}=e^{2\pi i k}=1.\]

In fact, the collection of the $n$th roots of unity forms a cyclic group under multiplication, which we will call $\mathbb{U}$.

Now we are in the language of groups. Since $\mathbb{U}$ is cyclic, it certainly has generators, so we shall define them. We call the generators of $\mathbb{U}$ the primitive $n$th roots of unity, which we denote as $\zeta_n$. The other primitive roots of unity are of course $\zeta_n^m$ where $1\le m<n$ where $\gcd(m,n)=1$, so it follows that there are $\varphi(n)$ primitive roots of unity. This makes sense because if we let $\zeta_n=e^{2\pi i/n}$ then $\zeta_n^k=e^{2\pi i k/n}$.

Back to the language of fields. As we saw in the case of $\mathbb{U}$, we can view this splitting field for $x^n-1$ over $\mathbb{Q}$ as a field generated over $\mathbb{Q}$ by the field $\mathbb{C}$. Specifically, our splitting field is going to be generated by $\zeta_n$.

Definition: The splitting field of $x^n-1$ over $\mathbb{Q}$ is called the cyclotomic field of the $n$th roots of unity, which we denote by $\mathbb{Q}(\zeta_n)$.

The Cyclotomic Polynomial at First Glance

The Cyclotomic polynomials come into play when we look at $n=p$. More specifically, over $\mathbb{Q}$ we get the following factorization:


but since $\zeta_p\ne 1$ for any $p$, we see that $\zeta_p$ must be a root of $x^{p-1}+x^{p-2}+x^{p-3}+\ldots+x+1$. This is such a special property that we give this polynomial a special name. The Cyclotomic Polynomials of order $p$ are given by


This would just be a mathematical novelty if not for this crucial theorem.

Theorem: The Cyclotomic Polynomial $\Phi_p(x)$ is irreducible over $\mathbb{Q}$ for all $p$.

Proof: The proof is rather iconic. Let $p$ be prime. We can write the cyclotomic polynomial in a more helpful form:

$\Phi_p(x)=x^{p-1}+x^{p-2}+x^{p-3}\cdots x^2+x+1=\frac{x^p-1}{x-1}\implies  (x-1)\Phi_p(x)=x^p-1.$

Recall by that by the Binomial Theorem we have


where $p~|~\binom{p}{n}$ for $0<n<p$. By considering $\Phi_p(x+1)$ we have

\begin{align*} x\Phi_p(x+1)&=(x+1)^p-1\\ &=\sum_{n=0}^{p}\binom{p}{n}x^{p-n}-1\\ &=x^p+px^{p-1}+\binom{p}{2}x^{p-2}+\cdots +px \end{align*}

and dividing the right hand side by $x$ gives

$\Phi_p(x+1)=x^{p-1}+px^{p-2}+\binom{p}{2}x^{p-3}+\cdots +p$

which is irreducible over $\mathbb{Z}$ by eisenstein's criterion. The implication that $\Phi_p(x+1)$ being irreducible in $\mathbb{Z}$ can easily be seen with $\Phi_p(x)$, so by Gauss' lemma the result follows. $\square$

Since $\Phi_p(x)$ is irreducible over $\mathbb{Q}$, it follows that $\mathbb{Q}(\zeta_p)$ is the splitting field for $\Phi_p(x)$. Hence, $[\mathbb{Q}(\zeta_p) : \mathbb{Q}]=p-1$. But this is only for $n=p$. What happens if we generalize this for all $n$?

The Cyclotomic Polynomials Fully Defined

We define the $n$th cyclotomic polynomial $\Phi_n(x)$ as the polynomial whose roots are the $n$th roots of unity.

\[\Phi_n(x)=\prod_{\zeta~\text{primitive}~\in\mathbb{U}}(x-\zeta)=\prod_{1\le a<n, \gcd(a,n)=1}(x-\zeta_n^a).\]

Let $\mathbb{U}_d$ be a subgroup of $\mathbb{U}$ of order $d$. By definition we see that

\[x^n-1=\prod_{\zeta^n=1}(x-\zeta)\implies x^n-1=\prod_{d|n}\left(\prod_{\zeta~\text{primitive}~\in\mathbb{U}_d}(x-\zeta)\right)=\prod_{d|n}\Phi_d(x).\]

This allows us to compute the Cyclotomic Polynomial of order $n$ recursively. However, there is a nicer way that requires less expansion.

Theorem: $\Phi_n(x)=\prod_{d|n}(x^d-1)^{\mu(n/d)}$.

Proof: For context, the Möbius Inversion Formula states that if $g(n)$ and $f(n)$ are arithmetic functions then

\[g(n)=\sum_{d|n}f(d)\implies f(n)=\sum_{d|n}\mu(d)g\left(\frac{n}{d}\right)=\sum_{d|n}\mu\left(\frac{n}{d}\right)g(d)\]

where $\mu(n)$ denotes the Möbius Function. We begin with the following formula that states


We now take the logarithm of both sides of this equation. We see that

\begin{align*} \log(x^n-1)&=\log\left(\prod_{d|n}\Phi_d(x)\right)\\ &=\sum_{d|n}\log(\Phi_d(x)). \end{align*}

Now we apply Möbius. By the formula we see that

\begin{align*} \log(x^n-1)&=\sum_{d|n}\log(\Phi_d(x))\\  \log(\Phi_n(x))&=\sum_{d|n}\log(x^d-1)\mu\left(\frac{n}{d}\right)  \end{align*}

and unexponentiating by considering this equation in $\exp(x)$ gives

\begin{align*} \Phi_n(x)=\prod_{d|n}(x^d-1)^{\mu(n/d)} \end{align*}

which is exactly what we wanted to show. $\square$

As a corollary to the previous theorem, this implies that $\deg(\Phi_n(x))=\varphi(n)$ rather easily. This helps aid in computation, and once again ties this strange polynomial to number theory. The Cyclotomic Polynomial has some ties to algebraic number theory in particular, and also has some nice results in Galois theory.

Invalid username
Login to AoPS