Unos ejercicios de la lista tercera del año pasado resueltos por

Fernando Muro.

La dificultad de hallar el polinomio mı́nimo de un número complejo α ∈

C algebraico sobre Q no suele estribar en encontrar un polinomio p(x) ∈
Q[x] que lo anule, p(α) = 0, sino en conseguir saber si el polinomio p(x) es
irreducible en Q[x].
Un polinomio p(x) ∈ Q[x] de grado ≤ 3 es irreducible si y sólo si tiene
alguna raı́z en Q. Esto es fácil de averiguar siguiendo el criterio que se explica
más abajo.
Si p(x) tiene grado 4 entonces puede no tener raı́ces en Q pero ser reduci-
ble. Para que esto ocurra, el polinomio p(x), que suponemos mónico, se tiene
que poder descomponer como

p(x) = (x2 + ax + b)(x2 + cx + d)

= x4 + (a + c)x3 + (ac + b + d)x2 + (ad + bc)x + bd; a, b, c, d ∈ Q.

Comprobar si este esto sucede para un polinomio p(x) dado se traduce en

cuatro ecuaciones (¡no lineales! ¡cuadráticas!) con cuatro incógnitas: a, b, c, d.
Si se consiguen resolver en Q, el polinomio será reducible. Si se puede probar
que no poseen solución, entonces p(x) es definitivamente irreducible.
Si conociésemos las cuatro raı́ces complejas de p(x) podrı́amos factorizarlo
en C[x],

p(x) = (x − α1 )(x − α2 )(x − α3 )(x − α4 ), α1 , α2 , α3 , α4 ∈ C.

Si ninguna de ellas es racional, la única posibilidad de que sea reducible es

que el producto de dos de estos factores lineales resulte ser un polinomio en
Q[x].
Veamos ahora un criterio más sofisticado para polinomios de cualquier
grado. Como todo entero no nulo es una unidad en Q, un polinomio p(x) ∈
Q[x] es irreducible si y sólo si lo es n · p(x), n ∈ Z \ {0}. Esto nos permite
quitar denominadores de p(x), si los tuviera, y quedarnos con un polinomio
en Z[x].
Supongamos que p(x) = an xn + an−1 xn−1 · · · + +a1 x + a0 ∈ Z[x] es de
grado n y ℓ ∈ Z es un primo que no divide a an . En este caso, si p(x) ∈ Z/ℓ[x]
es irreducible entonces p(x) también es irreducible en Q[x] (¡el recı́proco es
falso!). Invitamos al lector a probar esto como ejercicio. Referimos al libro
de Artin por si no lo consiguiese. Obsérvese que ℓ ∈ Z se puede elegir de
entre todos los primos que no dividan a an , por lo que la aplicabilidad de
este método depende de nuestra astucia.
Comprobar que un polinomio en p(x) ∈ Z/ℓ[x] es irreducible no tiene por
qué ser más sencillo que en Q[x]. Sı́ resulta más sencillo encontrar raı́ces,
porque Z/ℓ es finito. Si el grado de p(x) fuese 4, podrı́a no tener raı́ces y aún
ası́ ser reducible. En este caso se podrı́a proceder como se ha indicado más
arriba en Q[x].
Saber si un polinomio p(x) = an xn + an−1 xn−1 + · · · + a1 x + a0 ∈ Z[x] de
grado n tiene raı́ces en Q es sencillo. Supongamos que rs ∈ Q es una raı́z de
p(x) con (r, s) = (1). Entonces,
 r n  r n−1 r
an + an−1 + · · · + a1 + a0 = 0.
s s s
Multiplicando por sn y despejando obtenemos dos ecuaciones:

an r n + an−1 r n−1 s + · · · + a1 rsn−1 = −a0 sn ,

an−1 r n−1 s + · · · + a1 rsn−1 + a0 sn = −an r n .

En la primera ecuación, el entero de la izquierda es divisible por r, en la

segunda por s. Como r y s son primos entre sı́, deducimos que r|a0 y s|an .
Un número entero tiene una cantidad finita de divisores, ası́ que este método
arroja un número finito de racionales que pueden ser raı́ces de p(x). Segui-
damente, se evaluarı́a p(x) en los racionales ası́ hallados y se comprobarı́a
cuáles de ellos son en efecto raı́ces.
Hay métodos más avanzados capaces de determinar si un polinomio en
Q[x] es irreducible. Estos métodos, que se escapan del contenido de la asig-
natura, están programados en Mathematica. Consúltese la ayuda de dicho
programa referente al comando IrreduciblePolynomialQ y a otros coman-
dos que desde allı́ se enlaza.

Ejercicio 3.1.
√
Encontrad
√ el polinomio mı́nimo sobre Q de los números com-
plejos α = 2 y β = 5(i−1)
1+ 5
2
.

Encontrar un polinomio en Q[x] que anule a α es lo mismo que probar

que α satisface una ecuación polinómica con coeficientes racionales. Para
encontrar una, intentaremos eliminar ‘la parte no racional’ de α mediante las
operaciones propias de los cuerpos: suma y multiplicación (y sus inversas).
Si α fuese una raı́z cuadrada, bastarı́a con elevar al cuadrado. No lo es, pero
no dista de serlo, ya que
√
1 5
α− = .
2 2
De aquı́ sı́ que podemos eliminar la raı́z elevando al cuadrado:
 2 √ !2
1 5
α− = ,
2 2

de donde finalmente deducimos que

α2 − α − 1 = 0.

Por tanto, p(x) = x2 − x − 1 ∈ Q[x] es un polinomio que anula a α, p(α) = 0.

Es mónico, ası́ que para ver que es el polinomio mı́nimo de α basta comprobar
que es irreducible. Lo es porque es de grado 2 y no√tiene raı́ces racionales.
Sus raı́ces complejas (de hecho ambas reales) son 1±2 5 .
Procedemos análogamente con β. Pimero elevamos al cuadrado para qui-
tar raı́ces y luevo volvemos a elevar al cuadrado para eliminar i,

5(i2 − 2i + 1)
2 5
β = = − i,
4 2
4 25
β =− ,
4
4 25
β + = 0.
4
Vemos que β es raı́z de p(x) = x4 + 25 4
∈ Q[x]. Si este polinomio mónico
resultara ser irreducible, entonces será el polinomio mı́nimo. Las raı́ces de
p(x) son las raı́ces cuartas de − 25
4
, que son
r r r r
π
i 5 π 5 3π i 5 3π 5
e 4 , −e 4 i ,e 4 , −e 4 i .
2 2 2 2
Situémoslas en el plano complejo:

q q
3π π
5
e4i 5
2
b b e4i 2

q q
3π
i 5 π
i 5
−e 4
2 b b −e 4
2

Por tanto p(x) factoriza en C[x] como

r ! r ! r ! r !
π 5 π 5 3π 5 3π 5
p(x) = x − e 4 i x + e4i x−e4i x+e 4i .
2 2 2 2

El producto de dos de estos factores lineales nunca está en en Q[x]. Para verlo
basta observar que el coeficiente en x serı́a menos la suma de dos raı́ces y el
término independiente su producto, y ambos no pueden ser simultáneamente
racionales. Esto prueba que p(x) es irreducible.

p √
Ejercicio 3.2. Calculad [Q[ 1+ 3] : Q].

p El √
grado de esta extensión es el grado del polinomio mı́nimo de α =
1 + 3 sobre Q. Calculémoslo:
√
α2 = 1 + 3,
√
α2 − 1 = 3,
√
(α2 − 1)2 = ( 3)2 ,
α4 − 2α2 + 1 = 3,
α4 − 2α2 − 2 = 0.
Luego α es una raı́z de p(x) = x4 − 2x2 − 2 ∈ Q. Si este polinomio fue-
se irreducible, serı́a el polinomio mı́nimo de α. Viendo los divisores de 1 y
−2 deducimos que las únicas raı́ces racionales posibles de p(x) son ±1, ±2.
Ninguno de estos números es raı́z de p(x),

p(±1) = 1 − 2 − 2 = −3 6= 0, p(±2) = 16 − 8 − 2 = 6 6= 0.

Ası́, si p(x) fuese reducible tendrı́a que descomponerse de la siguiente forma

x4 − 2x2 − 2 = (x2 + ax + b)(x2 + cx + d); a, b, c, d ∈ Q.

Este problema se traduce en las siguientes ecuaciones:

a + c = 0, ac + b + d = −2 ad + bc = 0 bd = −2.

Veamos si tienen solución. La primera ecuación nos dice que

c = −a.

Sustituyendo en la tercera tenemos que

a(d − b) = 0.

Si a 6= 0 esto nos dice que d = b, con lo que la cuarta ecuación quedarı́a del
siguiente modo:

b2 = −2.

Esta ecuación no tiene soluciones racionales.

La única posibilidad es por tanto que a = 0. En este caso, la segunda
ecuación nos dirı́a que

b + d = −2.

Sustityuyendo d = −b − 2 en la tercera obtendrı́amos que

b(−b − 2) = −2.

Es decir,

b2 + 2b − 2 = 0.

Las soluciones a esta ecuación son

√
−2 ± 4 + 8 √
b= = −1 ± 3.
2
Al no ser racionales, concluı́mos finalmente que no hay soluciones a las cuatro
ecuaciones antes planteadas, luego p(x) es irreducible, es el polinomio mı́nimo
de α, y
[Q[α] : Q] = grado(p(x)) = 4.

Ejercicio 3.28.
√
2(i−1)
1. Encontrad el polinomio mı́nimo de β = 2
.

2. Averiguad si Q[i] ⊂ Q[β].

√
3. Hallad [Q[ 2, i] : Q].
√
4. Averiguad si Q[ 2, i] = Q[β].

Tenemos que

2(i2 − 2i + 1)
β2 = = −i,
4
β 4 = −1.

Como β es raı́z de p(x) = x4 +1 ∈ Q[x], si probamos que es irreducible enton-

ces será el polinomio mı́nimo. En efecto es irreducible, y esto se comprueba
de un modo similar al caso de β en el Ejercicio 3.1. Las raı́ces complejas de
π 3π
p(x) son ±e 4 i , ±e 4 i , luego
π π 3π 3π
p(x) = (x − e 4 i )(x + e 4 i )(x − e 4 i )(x + e 4 i ) ∈ C[x].

El producto de dos de estos factores lineales nunca está en en Q[x]. Para verlo
basta observar que el coeficiente en x serı́a menos la suma de dos raı́ces y el
término independiente su producto, y ambos no pueden ser simultáneamente
racionales. Esto prueba que p(x) es irreducible.
Hemos visto que i = −β 2 ∈ Q[β], luego Q[i] ⊂ Q[β].
Tenemos que
√ √ √ √
[Q[ 2, i] : Q] = [Q[ 2, i] : Q[ 2]][Q[ 2] : Q].
 √
El polinomio
√ mı́nimo de 2 sobre Q es claramente q1 (x) = x2 − 2, puesto
que q1 ( 2) = 0 y q1 (x) es irreducible en Q[x] al no tener raı́ces racionales.
Luego √
[Q[ 2] : Q] = grado(x2 − 2) = 2.
√
Análogamente, q2 (x) = x2 + 1 es el polinomio √ mı́nimo de i sobre Q[ 2]. En
efecto,√q2 (i) = 0 y q2 (x) es irreducible en (Q[ 2])[x] pues sus raı́ces no están
en Q[ 2] (son complejas puras). Por tanto,
√ √ √
[Q[ 2, i] : Q[ 2]] = grado(x2 + 1) = 2, [Q[ 2, i] : Q] = 2 · 2 = 4.
√
2(i−1)
√ √
Como β = 2
∈ Q[ 2, i] deducimos que Q[β] ⊂ Q[ 2, i]. Es más,
√ √ √
4 = [Q[ 2, i] : Q] = [Q[ 2, i] : Q[β]][Q[β] : Q] = [Q[ 2, i] : Q[β]] · 4.

Ası́ que √
[Q[ 2, i] : Q[β]] = 1.
√
Esto demuestra que Q[β] = Q[ 2, i].