Polinomios Ciclotómicos p-esimos

Jorge López Blasco

Denición (1):
Si p ∈ Z es primo. Denimos el Polinomio Ciclotómico de orden p como:

φp (x) = xp−1 + xp−2 + · · · + x + 1 ∈ Q(x)

Es decir, el polinomio unitario que tiene como raices las raices enesima de
la unidad. Así nuestro objetivo será ver que φp (x) es irreducible en Q(x).
Tenemos ademas que:

xp − 1 = (xp−1 + · · · + x + 1)(x − 1) = φp (x)(x − 1)

Lema (1):
Sea K anillo y a ∈ K . Consideramos la aplicación:

ta : K[x] −→ K[x]
ta (f (x)) = f (x + a)
Entonces ta es un isomorsmo de anillos. Y f ∈ K[x] es irreducible si y
solo si ta (f (x)) es irreducible.

Demostración Lema (1):

Empecemos viendo que ta es un isomorsmo de anillos.

Tenemos que ta es un homomorsmo de anillos ya que:

ta (f (x) + g(x)) = ta (f (x)) + ta (g(x))

y ademas

ta (f (x)g(x)) = ta (f (x))ta (g(x))

1
 Por otro lado, ta ja los elementos de K, es decir, los polinomios mónicos
constantes de K[x], ya que ta − t−a = idK[x] .

Luego ta es un isomorsmo de anillos.

Veamos ahora que ∀f (x) ∈ K[x] − {0}, δ(f (x)) = δ(ta (f (x)).

Sea f (x) ∈ K[x] reducible, de modo que:

∃h(x), g(x) ∈ K[x]|f (x) = g(x)h(x) y δ(h), δ(g) < δ(f ).

Entonces ta (f (x)) = ta (g(x)h(x)) = ta (g(x))ta (h(x))

Así tenemos que δ(ta (f (x))) = δ((f (x)) > δ(g(x))δ(h(x)) donde δ(g(x)) =
δ(ta (g(x))) y δ(h(x)) = δ(ta (h(x))) asi ta (f (x)) es reducible y queda probado.

Notación (1):
Denotamos f (x) = xp − 1. Tenemos que f (x) = φp (x)(x − 1).

Consideramos:

p   p  
p
X p i X p i
f (x + 1) = (x + 1) − 1 = x −1= x +1−1=
i=0
i i=1
i
p−1   p−1  
(1)
p
X p i p
X p i−1
=x + x =x +x x
i=1
i i=1
i

De donde
p−1  
p−1
X p i−1
φp (x + 1) = x + x
i=1
i

2
 Denición (2):
Sea f (x) = a0 + · · · am xm ∈ K[x]. Denimos la dervada formal de f (x)
como:
f 0 (x) = a1 + 2a2 x + · · · + mam xm−1 ∈ K[x]
Se tiene que a ∈ K es una raiz de f (x) ∈ K[x] (i.e f (a) = 0) si y solo
si (x − a)|f (x). Por tanto si a ∈ K es una raiz de f (x) podemos escribir
f (x) = (x − a)m g(x) donde g(a) 6= 0 Decimos que a es raiz múltiple de f (x)
si m ≥ 2.

Lema (2):
Si f, g ∈ K[x] se cumple:

1. (f + g)0 = f 0 + g 0
2. (f g)0 = f 0 g + f g 0
3. ((x − a)m )0 = m(x − a)m−1

Demostración Lema (2):

Se demuestran facilmente aplicando la denición donde si tenemos:

f (x) = a0 + · · · am xm ∈ K[x]
g(x) = b0 + · · · bm xm ∈ K[x]
1.

(f + g) = (a0 + b0 ) + (a1 x + b1 x) + · · · + (am xm + bm xm )

De donde:

(f + g)0 = (a1 + b1 ) + (2a2 x + 2b2 x) · · · + (mam xm−1 + mbm xm−1 ) =

= (a1 + 2a2 x + · · · + mam xm−1 ) + (b1 + 2b2 x + · · · + mbm xm−1 ) = f 0 + g 0
(2)

3
2. m
X
(f g) = ai xi g(x)
i=0
Donde si derivamos:

Xm
(f g)0 = ( ai xi g(x))0 =
i=0
= (a0 (b0 + · · · bm x )) + (a1 x(b0 + · · · bm x )) + · · · + (am x (b0 + · · · bm xm ))0 =
m 0 m 0 m

a0 (b1 + 2b2 x + · · · + mbm xm−1 ) + a1 (b1 + 2b2 x + · · · + mbm xm−1 )

+ · · · + am mxm−1 (b1 + 2b2 x + · · · + mbm xm−1 ) = f 0 g + gf 0
(3)
3. Resulta de la denición de derivada formal.

Teorema (1):
Sea E/K extensión de cuerpos y f (x) ∈ K[x] tal que f 0 6= 0:
1 Sea a ∈ E . Entonces a será raiz múltiple de f si y solo si f (a) = 0 =
f 0 (a).
2 Si (f, f 0 ) = 1. Entonces f no tiene raices multiples en E.
3 Si f es irreducible. Entonces f no tiene raices multiples en K[x].

Demostración Teorema (1):

1. Veamos la doble implicación:

⇒ Supongamos a ∈ E raiz múltiple de f (x). Entonces f (x) = (x −

a)m g(x) con g(a) 6= 0 Así tenemos que f (x)0 = m(x − a)m−1 g(x) + (x −
a)m g 0 (x) de donde f 0 (a) = m(a − a)m−1 g(a) + (a − a)m g 0 (a) = 0

⇐ Supongamos ahora que a ∈ E cumple que f (a) = 0 = f 0 (a). Como

f (a) = 0, tenemos que f (x) = (x − a)m g(x) con g(a) 6= 0. Así f (x)0 =
m(x−a)m−1 g(x)+(x−a)m g 0 (x) de donde 0 = f 0 (a) = m(a−a)m−1 g(a)
y como g(a) 6= 0 tenemos que m > 2. Y la raiz a es múltiple.

4
2. Supongamos (f, f 0 ) = 1. Sabemos que existen los polinomios a, b ∈
K[x] tales que af + bf 0 = 1 Por tanto f y f' no pueden tener raices
comunes. Por el primer apartado, el resultado de (2) se sigue.

3. Supongamos que f es irreducible. Como 0 6= f 0 tiene grado menor que

f, se tiene que (f, f 0 ) = 1 Así, el apartado (3) se sigue del apartado (2).