First Cyclotomic Polynomial

Theorem

The first cyclotomic polynomial is:

$\map {\Phi_1} x = x - 1$


Proof

By definition:

$\ds \map {\Phi_1} x = \prod_\zeta \paren {x - \zeta}$

where the product runs over all primitive complex first roots of unity.

A root of unity has order $1$ if and only if it equals $1$.


This article, or a section of it, needs explaining.
In particular: The above statement needs justification, with reference to the definition of the order of a root of unity.
You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by explaining it.
To discuss this page in more detail, feel free to use the talk page.
When this work has been completed, you may remove this instance of {{Explain}} from the code.


Hence the only factor is $x - 1$.


This article needs to be linked to other articles.
In particular: Factor of Polynomial -- for which we appear not to have a page.
You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by adding these links.
To discuss this page in more detail, feel free to use the talk page.
When this work has been completed, you may remove this instance of {{MissingLinks}} from the code.