Insolubilidad de un Polinomio de Grado 5

Neciosup Neciosup, Esteban Daniel.

Olivares Mendoza, José Alejandro.
Pinedo Sempértegui, Edgard Ulises.
Suxe Pérez, Denis.

12 de marzo de 2018
Índice general

1. Aspecto de la Investigación 2
1.1. Planteamieto del Problema Cientı́fico: . . . . . . . . . . . . . . . . . . 2
1.2. Revisión Bibliográfica: . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.2.1. Antecedentes: . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.2.2. Base Teórica: . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.3. Formulación del Problema Cientı́fico . . . . . . . . . . . . . . . . . . . 4
1.4. Objetivos: . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.5. Justificación e Importancia: . . . . . . . . . . . . . . . . . . . . . . . . 4
1.6. Hipótesis: . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.7. Definición de términos y conceptos: . . . . . . . . . . . . . . . . . . . 4
1.7.1. Polinomio . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.7.2. Cuerpo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.7.3. Cuerpo de los Polinomios . . . . . . . . . . . . . . . . . . . . 5
1.7.4. Polinomios Irreducibles . . . . . . . . . . . . . . . . . . . . . 5
1.7.5. Extensión de Cuerpos . . . . . . . . . . . . . . . . . . . . . . 6
1.7.6. Extensión por Radicales . . . . . . . . . . . . . . . . . . . . . 7
1.7.7. Grupos Solubles . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.7.8. Grupo de Galois . . . . . . . . . . . . . . . . . . . . . . . . . 7

2. Cuerpo del Proyecto 8

2.1. Solubilidad por Radicales . . . . . . . . . . . . . . . . . . . . . . . . . 8
2.2. Ejemplos de Polinomios Solubles por Radicales . . . . . . . . . . . . . 8
2.3. Grupo de Galois de un Polinomio . . . . . . . . . . . . . . . . . . . . 9
2.4. Insolubilidad de un Polinomio de Grado 5 . . . . . . . . . . . . . . . . 11
2.4.1. Polinomio de Grado mayor que 4: . . . . . . . . . . . . . . . . 11

1
Capı́tulo 1

Aspecto de la Investigación

1.1. Planteamieto del Problema Cientı́fico:

En 1799 Gauss publica su tesis en la Universidad de Helmstädt que lleva el tı́tu-
lo de ”Nueva Demostración del Teorema Que Toda Función Algebraica Racional y
Entera de Una Variable Puede Resolverse en Factores Reales de Primero o Segundo
Grado”. Este teorema, al que más tarde se referirá Gauss como el Teorema Fundamen-
tal del Álgebra era conocido en su tiempo como el teorema de D’alembert; pero Gauss
demostró que todos los intentos de demostración anteriores, incluyendo el de Euler y
Lagrange, eran incorrectos. La tesis doctoral de Gauss demostraba que toda ecuación
polinómica f (x) = 0, tiene al menos una raı́z, ya sea los coeficientes reales o comple-
jos.

Dos años despues de la presentación de su tesis, Gauss publicó su libro más conoci-
do, un tratado de números en latı́n Disquisitiones arithmeticae. Esta obra es la respon-
sable del desarrollo del lenguaje y de las notaciones de la parte de la teorı́a de números
conocida como el álgebra de las congruencias, entre otras muchas cosas. Disquisitiones
sirvió también para que con dieciseis años un chico noruego llamado Neils Hnrik Abel
despertara su gran interés por las matemáticas y tres años más tarde, en 1824 publi-
case un ensayo titulado Sobre la Resolución Algebraica de Ecuaciones. en su trabajo
Abel llega a la conclusión de la insolubilidad de la ecuación de quinto grado, es de-
cir, demuestra que no puede existir ninguna fórmula general expresada en términos de
operaciones algebraicas explı́citas que nos de las raices de la ecuación si el grado del
polinomio es mayor que cuatro. Sin embargo, se sabı́a que habı́a gran cantidad de ecua-
ciones en grados arbitrariamente grandes que eran solubles por radicales. La meta ahora
era determinar qué ecuaciones eran solubles por radicales

Es aquı́ donde entra la historia del joven matemático Évariste Galois

2
CAPÍTULO 1. ASPECTO DE LA INVESTIGACIÓN 3

A los 16 años comenzó a considerar un problema fundamental del álgebra: la resolu-

ción de ecuaciones por radicales. Hemos visto que las ecuaciones polinomiales de grado
2 y 3 pueden resolverse por medio de radicalese, esto es, expresiones en los coeficientes
de la ecuación que incluyen sumas, restas, multiplicaciones, divisiones y extacciones
de raices(cuadradas y cúbicas). Este tanbién es posible para las ecuacioens de grado 4.
Pero no para todas las ecuaciones de grado 5. Esto habı́a sido probado recientemente
por el jóven matemático noruego Neils Abel, pero Galois no lo sabı́a. En realidad lo que
intentaba encontrar era un resultado más general. Asociando cada polinomio al grupo
de todas las posibles permutaciones de las raı́ces que determinan automorfismos en los
números complejos (el llamado grupo de Galois de la ecuación.), buscaba condiciones
en el grupo que implicaran la solubilidadde la ecuación polinomial por medio de radi-
cales.

A partir de 1827 la vida de Galois estuvo llena de infortunios. Mientras estaba en

el Louis-le-Grand, Galois preparó tres publicaciones que corrieron con pésima suerte.
En 1829 envió la primera memoria destinada a su publicación a Cauchy, el matemático
francés más influyente del momento. Este perdió el manuscrito. Igual suerte corrió su
segundo artı́culo que esta vez envió a Fourie, quien murió a los pocos dı́as de haber-
lo recibido. Mientras tanto, su padre se habı́a suicidado por problemas polı́ticos y él
fue rechazado para ingresar a la Escuela Politécnica, la universidad de mayor prestigio
donde podı́a estudiar un matemático. Decidió entrar a la Escuela Normal Superior para
prepararse como maestro.

El criterio aportado por Galois para la resolubilidad por radicales de las ecuaciones
polinómicas rebasa el marco del problema que trataba al crear el concepto abstracto de
grupo.

1.2. Revisión Bibliográfica:

1.2.1. Antecedentes:
Gauss (1799) ”Nueva demostración del teorema que cada funcioón algebraica racional
y entera de una variable puede resolverse en factores reales de primer o segundo
grado.”Ésta tesis más tarde serı́a el teorema fundamental del álgebra.

Neils Henrik Abel ”Solución algebraica de ecuaciones..En este trabajo, Abel llegó a la
conclusión de la insolubilidad de la ecuación de quinto grado.

John B. Fraleigh ”Álgebra Abstracta”, insolubilidad de la quintilla.

CAPÍTULO 1. ASPECTO DE LA INVESTIGACIÓN 4

1.2.2. Base Teórica:

Álgebra Lineal

Teorı́a de Grupos y Anillos

1.3. Formulación del Problema Cientı́fico

¿Será necesariamente soluble un polinomio de grado 5?.

1.4. Objetivos:
Calcular el grupo de Galois de un polinomio.

Llegar a demostrar la insolubilidad por radicales a un polinomio de grado 5.

1.5. Justificación e Importancia:

1.6. Hipótesis:
Insolubilidad de un polinomio de grado 5 asociado a un Grupo de Galois

1.7. Definición de términos y conceptos:

1.7.1. Polinomio
Definición 1. Un polinomio es una suma de monomios. Los polinomios están constitui-
dos po un conjunto finito de variables no determinadas (o desconocidos) y constantes
llamados coeficientes, con las operaciones de suma, resta y multiplicación, ası́ como
también exponentes enteros positivos.
Los polinomios pueden tener una o más variables.

Grado de un Polinomio: En álgebra, el grado de un polinomio es el grado máxi-

mode los exponentes de las variables de los monomios que la componen.
Ejemplo:
p(x) = x5 + 4x2 − x7 + 6x3 − 5 =⇒ grad(p(x)) = 7
CAPÍTULO 1. ASPECTO DE LA INVESTIGACIÓN 5

1.7.2. Cuerpo
Definición 2. Un cuerpo es una estructura algebraica conformada por un conjunto
K no vacı́o y dos operaciones algebraicas llamadas adición y multiplicación, que se
pueden realizar entre cualesquiera dos elementos de K, y cumplen las propiedades :
asociativa, conmutativa y distributiva, además de la existencia de un inverso aditivo y
de un inverso multiplicativo, los cuales permiten efectuar la operaciones inversas de
resta o sustracción y división
Propiedades:
Todo cuerpo es dominio de integridad.

Si (K, +, ?) es un cuerpo, entonces, (K, +) y (K{0}, ?) son grupos abelianos.

Ejemplo:
Los números racionales Q = a—a, b con Z, b diferentes de 0 donde está incluido el
¯
conjunto Z de los números enteros.

1.7.3. Cuerpo de los Polinomios

Definición 3. sea f ∈ F [x], un polinomio con coeficientes en un cuerpo. Sea K una
extensión del cuerpo F de modo que f se descompone en producto de factores lineales
(es decir, de grado 1) de K[x]. En estas condiciones se da que:
a: f se descompone en K.
b: k es un cuerpo de descomposición de f , se f se descompone en K y no
existe otro cuerpo K 0 de modo que F ⊂ K 0 ⊂ K
Ejemplo: C es el cuerpo de descomposición del polinomio x2 + 1 ∈ R[x]

1.7.4. Polinomios Irreducibles

Definición 4. Un polinomio p(x) ∈ K[x] de grado mayor o igual que 1 se dice que
es irreducible sobre K si al expresar p(x) como producto de dos polinomios de K[x],
siempre es uno de los factores de grado 0.
Una propiedad interesante de los polinomios irreducibles aparece en el siguiente
resultado:
Proposición 1. Sean p(x), f (x), g(x) ∈ K[x] tales que p(x) es irreducible spbre K y
p(x)|f (x)g(x). Entonces, p(x)|f (x) ó p(x)|g(x).
Otro de los resultados interesantes que tenemos es la factorización en polinomios
irreducibles sobre K[x] de cualquier polinomio p(x) de grado mayor o igual que 1.
CAPÍTULO 1. ASPECTO DE LA INVESTIGACIÓN 6

Proposición 2. Factorización de un polinomio en irreducibles. Sea f (x) ∈ K[x] un

polinomio de grado mayor o igual a 1. Entonces, existen p1 (x); ...; pm (x) ∈ K[x] poli-
nomios irreducibles sobre K tales que:

f (x) = p1 (x), ..., pm (x).

Además, en el producto anterior los factores están univocamente determinados salvo

el orden o factores constantes α ∈ K − {0}.

1.7.5. Extensión de Cuerpos

Recordemos:

Ideal: Sea R un anillo y sea I ⊂ R. Diremos que I es un ideal de R.


a.b ∈ I
1. Si ∀a ∈ I, b ∈ R ⇒
b.a ∈ I
2. hI, +i un grupo abeliano.

Ideal Primo: Sea R un anillo conmutativo; se dice que el ideal I es primo, si ∀a, b ∈ R,
a.b ∈ I ⇒ a ∈ I ∨ b ∈ I.

Ideal Maximal: Sea R un anillo. M 6= R es un ideal maximal, si no existe un ideal

maximal tal que M $ N $ R.

Ideal Principal: Sea R un anillo. Se dirá que I es un ideal principal, si puede generarse
con un solo elemento a ∈ R. Es decir, si a ∈ R/Ihai ⇒ I es un ideal principal.

Definición 5. Sea F un cuerpo. Si K es un cuerpo que contiene a F , entonces K es una

extensión de F .

Notación:

”K/F ”: K es una extensión de F .

”K : F ”: K es una extensión de F .

Definición 6. El cuerpo K es una extensión de F , si ∃ un monomorfismo ϕ : F −→ K

Definición 7. Sea K/F . En esta situación K es un F −espacio vectorial, la dimensión

dimF K de K como F −espacio vectorialse llama el grado de la extensión.

Notación:

[K : F ] = dimF K grado de la extensión

CAPÍTULO 1. ASPECTO DE LA INVESTIGACIÓN 7

1.7.6. Extensión por Radicales

Definición 8. Diremos que un cuerpo L es una extensión radical de un cuerpo K si exis-
ten u1 , u2 , u3 , ..., ur y naturales n1 , n2 , n3 , ..., nr de modo tal que L = K(u1 , u2 , u3 , ..., ur ),
n
un1 1 ∈ K y uj j ∈ K(u1 , u2 , u3 , ..., uj−1 ) ∀j ≥ 2.

1.7.7. Grupos Solubles

Definición 9. Un grupo G se dice soluble, si existe una sucesión de subgrupos.

G = G0 ⊃ G1 ⊃ ... ⊃ Gn = {e}, Gi+1
Gi

Gi /Gi+1 es abeliano ∀i

Otra forma de definir la solubilidadde un grupo es a artir de los subgrupos conmu-

tadores.
Definimos G(0) = G y G(i+1) = [Gi, Gi], tendremos entonces una sucesión decreciente
de subgrupos, a la que llamaremos serie derivada:

G = G(0) ⊇ G(1) ⊇ G(2) ⊇ ..., donde G(i+1)
G(i) para todo i.

Las dos definiciones son equivalentes porque dados un grupo J y un subgrupo normal
N
J, se tiene que J/N es abeliano sı́ y sólo si [J, J] ⊆ N .
Ejemplo:
Una serie de composición para Z12 :
{0} ⊂ {0, 6} ⊂ {0, 3, 6, 9} ⊂ Z12

1.7.8. Grupo de Galois

Un grupo de Galois es un grupo asociado a un cierto tipo de extensión de cuerpo. El
estudio de las extensiones de cuerpos (y los polinomios que dan lugar a ello) mediante
el grupo de Galois ees conocido como Teoria de Galois.

Definición 10. Si F es una extensión de E, se define el Grupo de Galois de F sobre E

como el subconjunto de Aut(F ) dado por:

G(F/E) = {σ ∈ Aut(F ); σ(e) = e, ∀e ∈ E}

Definición 11. El grupo de los K-automorfismos de F (cuerpo de extensión de K) es

el llamado Grupo de Galois de F sobre K. Lo denotaremos AutK F .
Capı́tulo 2

Cuerpo del Proyecto

2.1. Solubilidad por Radicales

Ya se conoce el hecho de que un polinomio√cuadrático f (x) = ax2 + bx + x, a 6= 0
2
con coeficientes diferentes de ceros en C a (−b± 2ab −4ac) . Ası́, por ejemplo (x2 +2x+3) ∈
√
Q[x] tiene sus ceros en Q[− 2].
Como ya hemos visto anteriormente, vemos que un polinomio cúbico sobre Q también
puede expresarse en términos de radicales, incluso podemos ver que los ceros de un
polinomio de grado 4 sobre Q tanbién pueden expresarse en términos de radicales.

2.2. Ejemplos de Polinomios Solubles por Radicales

1. Polinomio de Grado 3
p(x) = x3 − 4x2 − 3x − 10
x3 − 4x2 − 3x − 10 = 0
p = D10 = {±1, ±2, ±5, ±10}
q = D1 = {±1}
Posibles raices racionales: pq = {±1, ±2, ±5, ±10}

1 −4 −3 −10
5 5 10 x = 5
1 1 2 0

(x − 5)(x2 + x + 2) = 0
(x − 5)(ax2 + bx + c) = 0
a = 1, b = 1, c = 2

8
CAPÍTULO 2. CUERPO DEL PROYECTO 9
√
−b± b2 −4ac
x=
√
2a
−(1)± (1)2 −4(1)(2)
x= 2(1)
√
x= − 2 ± 27 i √
1
√
x= {5, − 12 + 27 i, − 12 − 2
7
i}

2. Polinomio de grado 4
f (x) = x4 − 7x3 + 13x2 + 23x − 78
x4 − 7x3 + 13x2 + 23x − 78 = 0
p = D78 = {±1, ±2, ±3, ±6, ±13, ±26, ±39, ±78}
q = D1 = {±1}
Posibles raices racionales: pq = {±1, ±2, ±3, ±6, ±13, ±26, ±39, ±78}

1 −7 13 23 −78
x = −2 −2 18 −62 78
1 −9 31 −39 0
x=3 3 −18 39
1 −6 13 0

(x + 2)(x − 3)(x2 − 6x + 13) = 0

(x + 2)(x − 3)(ax2 + bx + c) = 0
a = 1, b = −6, c = 13
√
−b± b2 −4ac
x= 2a √
−(−6)± (−6)2 −4(1)(13)
x= 2(1)
x= 3 ± 24 i
x = 3 ± 2i
x = {−2, 3, 3 + 2i, 3 − 2i}

2.3. Grupo de Galois de un Polinomio

Definición 12. Sea K un cuerpo. El grupo de Galois de un polinomio f (x) ∈ K[x] es
el grupo Autk F , donde F es un polinomio de separación sobre K de F .

Observación: Aut(K) = {σ/σ : K → K es un automorfismo, σ es un isomorfismo}

Observación:

Si un polinomio de grado dos, x2 + a1 x + a2 es irreducible, entonces su grupo de

Galois es S2 .
CAPÍTULO 2. CUERPO DEL PROYECTO 10

Si un polinomio de grado dos es irreducible, entonces su grupo de Galois es trivial.

Ejemplo:
1. p(x) = x2 − 3x + 2 ∈ Q[x]
p(x) = (x − 2)(x + 1) ∈ Q[x]
es irreducible, pues se puede escribir como producto de polinomios
que pertenece a Q[x]
2. p(x) = x2 − √ 2 √
p(x) = (x − 2)(x + 2)
es irreducible; p = 2(# primo) por el Criterio de Eisenstein 2 no divide
a 1; 22 no divide a -2
2 divide a -2 ∴ Su grupo de Galois es S2
Polinomio de Grado 3

Proposición 3. Sea k un cuerpo, si f (x) = ax3 + bx2 + cx + d ∈ K[x] que tiene

tres raı́ces diferentes en algún cuerpo de separación, entonces el polinomio g(x) =
f (x − b/3) tiene la forma x3 + px + q y el discriminante de f es −4p3 − 27q 2
Observación: Su grupo de Galois es igual a A3 o S3
√
Si M ∈ K ⇒ G = A3
√
Si M no pertenece a K ⇒ G = S3
Ejemplo:
Sea el polinomio f (x) = x3 − 3x + 1 ∈ Q[x], es irreducible en Q[x].
Si f (x) ∈ Z[x], entonces f (x) se factoriza en un producto de dos polinomios de grados
menores r y s en Q[x], si y sólo si se tiene dicha factorización con polinomios de los
mismos grados r y s en Z[x].
Sea m = ±1
f (m) = f (1) = 13 − 3(1) + 1 = −1 6= 0
f (m) = f (−1) = (−1)3 − 3(−1) + 1 = −3 6= 0
f (m) 6= 0
∴ f (x) es irreducible en Q[x]
f (x) no es separable, pues no tiene raı́ces en Q[x]
Polinomio de Grado 4
Ejemplo:
Sea f (x) = x4 + 4x2 + 2 ∈ Q[x]
Este polinomio es irreducible por el criterio de Eisenstein.
Su correspondiente resolvente cúbica es:
CAPÍTULO 2. CUERPO DEL PROYECTO 11

x3 − 4x2 − 8x + 32
2
(x − 4)(x
√ − 8) √
∴ α = 4, β = 8, γ = − 8
√ √ Además√Q(α, β, γ)
= Q( 8) = Q(2 2) = Q( 2) es de dimensión 2 sobre Q
Luego, el grupo de Galois es isomorfo a D4 o Z4

Sea p = 2 un primo
2 no divide a 1
2 divide a 2
2 divide a 4
4 no divide a 2
Luego f (x) es irreducible.

2.4. Insolubilidad de un Polinomio de Grado 5

Una ecuación de grado 5 es soluble o no, es necesario conocer cuando un grupo de
Galois es soluble o no

2.4.1. Polinomio de Grado mayor que 4:

La pregunta que motivo todo este estudio es: Dado un polinomio en K[x], ¿existe
una fórmula la cual muestre todas las raı́ces?. Si el grado del polinomio es menor que
4, hemos estudiado que la respuesta es afirmativa, no existe tal fórmula. Por ejemplo
podemos demostrar que la quintilla (polinomio de grado 5) no es soluble en sentido
clásico (es decir, sobre cuerpos de caracterı́stica cero).

Teorema 1. Si p es primo y f es un polinomio de grado p sobre el campo de los números

racionales el cual tiene precisamente dos raı́cesno reales en el cuerpo de los números
complejos, entonces el grupo de Galois de f es isomorfo a Sp .

Ejemplo:
f (x) = x5 − 4x + 2Q[x] tiene grado primo 5
f (x) tiene tres raı́ces, ahora es irreducible por el criterio de Eisenstein.
p = 2 (# primo)
2 no es divide a 1
2 divide a 4
2 divide a 2
22 no divide a 2
entonces , estamos en condiciones de aplicar el teorema anterior y afirmar que su grupo
de Galois es S4 .