Definición: Las raı́ces n-ésimas de la unidad son los números complejos z que verifican z n = 1, es

k
decir, los números complejos de la forma: ξnk := e2πi n . De esta manera tenemos una descomposición
en C[x]:
Yn
n
x −1= (x − ξnk ).
k=1

Definición: Una raı́z n-ésima de la unidad puede ser raı́z m-ésima de la unidad para algún m
divisor de n. Las raı́ces primitivas n-ésimas de la unidad son aquellas tales que el mı́nimo entero
positivo para el que z m = 1 es n. Equivalentemente, son los números complejos de la forma:
k
ξnk = e2πi n , con (k, n) = 1.

Definición: El polinomio ciclotómico n-ésimo es el polinomio mónico cuyas raı́ces son las raı́ces
primitivas de la unidad, es decir:
Y
Φn (x) = (x − ξnk ).
(k,n)=1

Para cada raı́z n-ésima de la unidad ξnk existe un entero positivo mı́nimo m, divisor de n, para el
que (ξnk )m = 1 (exactamente m = n/(k, n)), de manera que esa raı́z será raı́z m-ésima primitiva
de la unidad. Clasificar las raı́ces n-ésimas de la unidad según este valor m es equivalente a la
descomposición:
Y xn − 1
xn − 1 = Φm (x), de manera que Φn (x) = Y .
m|n Φm (x)
m|n,m<n

Teorema: Los polinomios ciclotómicos tienen coeficientes enteros, es decir:

Φn (x) ∈ Z[x].

Demostración: Por inducción en n. Para n = 1 tenemos Φ1 (x) = x − 1; supongamos entonces

que Φm (x) ∈ Z[x] para todo m menor que n y probemos que Φn (x) tiene coeficientes enteros.
Denotamos:
Y
P (x) = Φm (x), de manera que xn − 1 = P (x)Φn (x).
m|n,m<n

Por hipótesis de inducción, P (x) es un polinómio mónico con coeficientes enteros (es producto de
polinomios de ese tipo). Podemos entonces realizar la división euclı́dea de xn − 1 ∈ Z[x] entre P (x),
obteniendo:
xn − 1 = P (x)C(x) + R(x), donde C(x) ∈ Z[x], y deg(R) < deg(P ).
Supongamos que R(x) sea no nulo. Como R(x) = xn − 1 − P (x)C(x) se anula en cualquier raı́z de
P (x) (pues también son raı́ces de xn − 1) y las raı́ces de P (x) son todas simples, obtenemos que
R(x) tiene que tener grado al menos igual al de P (x): contradicción. Entonces R(x) = 0 y

P (x)Φn (x) = xn − 1 = P (x)C(x), luego Φn (x) = C(x) ∈ Z[x]