Product of Cyclotomic Polynomials

From ProofWiki
Jump to: navigation, search

Theorem

Let $n > 0$ be a (strictly) positive integer.


Then:

$\displaystyle \prod_{d \mathop \backslash n} \Phi_d \left({x}\right) = x^n-1$

where:

$\Phi_d \left({x}\right)$ denotes the $d$th cyclotomic polynomial
the product runs over all divisors of $n$.


Proof

From the Polynomial Factor Theorem and Complex Roots of Unity in Exponential Form:

$\displaystyle x^n - 1 = \prod_\zeta \left({x - \zeta}\right)$

where the product runs over all complex $n$th roots of unity.

In the left hand side, each factor $x - \zeta$ appears exactly once, in the factorization of $\Phi_d \left({x}\right)$ where $d$ is the order of $\zeta$.



Thus the polynomials are equal.

$\blacksquare$


Also see