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.
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
for
. These are known as the
th roots of unity. These harken back to the language of generators, since we see that
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:
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
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.
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
where
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

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.