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.
Contents
Motivation
The main reason why one even cares about the Cyclotomic polynomials begins with the study of splitting fields.
Definition: The extension of a field
is a splitting field for
if
can be written as the product of irreducible factors in
, and
does not factor into a product of irreducible factors in any other proper subfield of
containing
.
To ease any worries, any field is guaranteed an extension
, so the existence of such a splitting field is not problematic. An example to consider would be the splitting field of
over the field
. This, of course, would just be
since its roots in
are both in
. So this raises the question: what is the splitting field of
over
based on this definition?
The Cyclotomic Field
Recall that over there are
distinct solutions of the equation
, 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)\]](http://latex.artofproblemsolving.com/5/f/3/5f312cd44511c8174fd903dd7dbc911eb43e5605.png)
for . These are known as the
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.\]](http://latex.artofproblemsolving.com/b/5/1/b51706cab2b4fba8d840bbd422f73eb12f20de4a.png)
In fact, the collection of the th roots of unity forms a cyclic group under multiplication, which we will call
.
Now we are in the language of groups. Since is cyclic, it certainly has generators, so we shall define them. We call the generators of
the primitive
th roots of unity, which we denote as
. The other primitive roots of unity are of course
where
where
, so it follows that there are
primitive roots of unity. This makes sense because if we let
then
.
Back to the language of fields. As we saw in the case of , we can view this splitting field for
over
as a field generated over
by the field
. Specifically, our splitting field is going to be generated by
.
Definition: The splitting field of over
is called the cyclotomic field of the
th roots of unity, which we denote by
.
The Cyclotomic Polynomial at First Glance
The Cyclotomic polynomials come into play when we look at . More specifically, over
we get the following factorization:
![\[x^{p}-1=(x-1)(x^{p-1}+x^{p-2}+x^{p-3}+\ldots+x+1\]](http://latex.artofproblemsolving.com/9/4/6/946ede7fa6ccf3b1330261d54063815ae35651ab.png)
but since for any
, we see that
must be a root of
. This is such a special property that we give this polynomial a special name. The Cyclotomic Polynomials of order
are given by
![\[\Phi_p(x)=x^{p-1}+x^{p-2}+\ldots+x+1.\]](http://latex.artofproblemsolving.com/0/c/0/0c03a6e1d3ae95c093818d5a3f0d40462a926971.png)
This would just be a mathematical novelty if not for this crucial theorem.
Theorem: The Cyclotomic Polynomial is irreducible over
for all
.
Proof: The proof is rather iconic. Let be prime. We can write the cyclotomic polynomial in a more helpful form:

Recall by that by the Binomial Theorem we have

where for
. By considering
we have

and dividing the right hand side by gives

which is irreducible over by eisenstein's criterion. The implication that
being irreducible in
can easily be seen with
, so by Gauss' lemma the result follows.
Since is irreducible over
, it follows that
is the splitting field for
. Hence,
. But this is only for
. What happens if we generalize this for all
?
The Cyclotomic Polynomials Fully Defined
We define the th cyclotomic polynomial
as the polynomial whose roots are the
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).\]](http://latex.artofproblemsolving.com/c/2/a/c2ac140ad2e6c071c67e905b962b6f25c6897e66.png)
Let be a subgroup of
of order
. 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).\]](http://latex.artofproblemsolving.com/0/d/b/0db16adcb3de688739ef423353771fb357ad97a8.png)
This allows us to compute the Cyclotomic Polynomial of order recursively. However, there is a nicer way that requires less expansion.
Theorem: .
Proof: For context, the Möbius Inversion Formula states that if and
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)\]](http://latex.artofproblemsolving.com/c/5/c/c5cab9cd55876c0684e2ee631ded8b595826d26a.png)
where denotes the Möbius Function. We begin with the following formula that states
![\[x^n-1=\prod_{d|n}\Phi_d(x).\]](http://latex.artofproblemsolving.com/3/8/2/382f94952d7cb3a771e43e134f14138d6d972110.png)
We now take the logarithm of both sides of this equation. We see that

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

and unexponentiating by considering this equation in gives

which is exactly what we wanted to show.
As a corollary to the previous theorem, this implies that 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.