1

variste Galois



Nombres: Juana Villarroel
Katherine Olivares
Curso: 2 Ciclo G





2






ndice


Introduccin 3
Biografa...4
Los grupos de Galois. 5
Conclusin..11
Fuentes de informacin11




























3





Introduccin


A lo largo de la historia, han existido diferentes personajes que han destacado y dado grandes
aportes a la matemtica. En esta ocasin se desarrollar la vida del caballero posiblemente
abandonado por la fortuna, con la vida ms triste y corta de los hombres pertenecientes a la raza de
grandes matemticos que en el mundo han sido. Un pobre hombre. Slo vivi veinte aos y an as
le dio tiempo a desarrollar y formalizar una de las ideas ms brillantes y con ms aplicacin prctica
de la historia de las matemticas y, de paso, impulsar, ordenar y sistematizar el estudio del lgebra.
Dando referencia al concepto de Grupo. Se hablar de Evariste Galois.
El nacimiento de la teora de Galois estuvo motivada por el intento de responder a la siguiente
cuestin:
Por qu no existe una frmula para la resolucin de ecuaciones polinmicas de quinto grado (o
superior) en trminos de los coeficientes del polinomio, usando operaciones algebraicas (suma,
resta, multiplicacin, divisin) y la extraccin de races (races cuadradas, cbicas, etc); tal como
existe para las ecuaciones de segundo, tercer y cuarto grado?































4




Biografa

variste Galois
(Bourg-la-Reine, Francia, 1811 - Pars, 1832) Matemtico francs. Hijo de una familia de polticos y juristas,
fue educado por sus padres hasta los doce aos, momento en el que ingres en el Collge Royal de Louis-le-
Grand, donde enseguida mostr unas extraordinarias aptitudes para las matemticas.
Con slo dieciseis aos, interesado en hallar las condiciones necesarias para definir si una ecuacin
algebraica era susceptible de ser resuelta por el mtodo de los radicales, empez a esbozar lo que ms
adelante se conocera con el nombre genrico de teora de Galois, analizando todas las permutaciones
posibles de las races de una ecuacin que cumplieran unas condiciones determinadas.
Mediante dicho proceso, que en terminologa actual equivale al de hallar el grupo de automorfismos de un
cuerpo, sent las bases de la moderna teora de grupos, una de las ramas ms importantes del lgebra.
Galois intuy que la solubilidad mediante radicales estaba sujeta a la solubilidad del grupo de automorfismos
relacionado.
A pesar de sus revolucionarios descubrimientos, o tal vez por esa misma causa, todas las memorias que
public con sus resultados fueron rechazadas por la Academia de las Ciencias, algunas de ellas por
matemticos tan eminentes como Cauchy, Fourier o Poisson. Subsiguientes intentos de entrar en la Escuela
Politcnica se saldaron con sendos fracasos, lo cual le sumi en una profunda crisis personal, agravada en
1829 por el suicidio de su padre.
En 1829 y 1830 hace conocer sus primeros trabajos sobre fracciones continuas, cuestiones de anlisis,teora
de las ecuaciones y teora de nmeros, as como un resumen de una segunda memoria presentada a la
Academia para optar al gran premio de matemtica, el que tambin se pierde. Con el propsito de dedicarse a
la enseanza privada, anuncia un curso de lgebra superior que abarcara "Una nueva teora de los nmeros
imaginarios, la teora de las ecuaciones resolubles por radicales, lateora de nmeros y la teora de
las funciones elpticas, tratadas por lgebra pura". El curso no tuvo oyentes y Galois ingresa en el ejrcito, a la
vez que redacta una memoria, la ltima, hoy llamada "Teora de Galois", que remite a la Academia y
que Poisson califica de "incomprensible"
Miembro activo de la oposicin antimonrquica, se vio implicado en un duelo cuyas motivaciones an hoy
permanecen confusas. Previendo su ms que posible muerte en el lance, trabaj febrilmente en una especie
de testamento cientfico que dirigi a su amigo Auguste Chevalier. A los pocos das tuvo lugar el duelo y el
matemtico, herido en el vientre, muri unas horas despus, apenas cumplidos los veintin aos.
Se dedic entonces a la poltica activa y fue arrestado y hecho prisionero por sus republicanismo. Al recobrar
la libertad se ve envuelto en una cuestin de honor y muere en un duelo de espadas contra el campen de
esgrima del ejrcito francs. Sus ltimas palabras dirigidas a su hermano fueron: No llores! Necesito todo mi
coraje para morir a los veinte aos.
Poco antes de fallecer en Pars, a la edad de 21 aos, variste Galois escribi de forma precipitada algunas
de sus teoras algebraicas. Con la publicacin de sus manuscritos entre 1846 y 1870, aument su reputacin.
Muchas de sus construcciones, que hoy se denominan grupo de Galois, cuerpos de Galois y teora de Galois,
permanecen como conceptos fundamentales en el lgebra moderna.












5



Los grupos Galois

Una clave fundamental para demostrar que no es posible encontrar, ni siquiera en principio, una frmula
general para resolver ecuaciones de quinto grado en adelante mediante operaciones aritmticas de suma,
resta, multiplicacin, divisin y extraccin de races (cuadradas, cbicas, etc.) llevadas a cabo sobre los
coeficientes de la ecuacin quntica es el descubrimiento de Galois de que cada ecuacin algebraica tiene su
propio perfil de simetra. Galois logr asociar con cada tipo de ecuacin una especie de cdigo gentico
para dicha ecuacin, el grupo Galois de la ecuacin. Antes de proseguir adelante, debemos darnos primero
una idea clara de lo que es el grupo Galois de una ecuacin.
Partiendo de un polinomio, es posible que algunas de las races del polinomio estn conectadas por medio de
varias ecuaciones algebraicas. Considrese la ecuacin cuadrtica:
ax + bx + c = 0

Dividiendo todo entre el coeficiente a, la ecuacin cuadrtica toma el siguiente aspecto:
x + (b/a) x + (c/a) = 0____(1)

Como la ecuacin cuadrtica tiene dos races x
1
y x
2
, podemos expresar la ecuacin original de la siguiente
manera:
(x - x
1
)(x - x
2
) = 0

Multiplicando esto para eliminar los parntesis, obtenemos:
x -(x
1
+ x
2
)x + x
1
x
2
= 0____(2)

Igualando (1) y (2) se tiene de inmediato:
x
1
+ x
2
= b/a
1
x
2
= -c/a

A manera de ejemplo, si la ecuacin cuadrtica es:
x - 4x + 1 = 0

Entonces tendr las siguiente soluciones A y B:



Y en este caso:
A + B = 4
AB = 1

Este par de ecuaciones tiene coeficientes racionales. No hay races cuadradas o cbicas o de tipo alguno en
dichas expresiones.
Una cosa destaca en este ltimo resultado. Si intercambiamos las races A y B en el ejemplo (o x
1
y x
2
en el
caso general), la ecuacin A+B.=.4 se convierte en la ecuacin B+A.=.4 y la ecuacin AB.=.1 se convierte en
la ecuacin BA.=.1. Ambas ecuaciones permanecen iguales tras el intercambio. Ambas son ejemplos de lo
que llamamos polinomios simtricos. Ejemplos de polinomios simtricos son los siguientes:
P(A, B) = A
4
+ B
4
+ 4AB+ 60
P(A, B, C) = A
3
+ B
3
+C
3
- AB - BC - AC
P(A, B, C, D) = A + B + C + D - ABCD

En cambio, el siguiente no es un polinomio simtrico:
P(A,B) = A - B
6


Porque si intercambiamos A y B, obtenemos un polinomio distinto:
P(B,A) = B - A


Se concluye que el grupo Galois del polinomio x-4x+1 consiste de dos permutaciones: la permutacin
identidad que deja a A y a B intactos, y la permutacin de transposicin que intercambia a A y a B. Este es un
grupo cclico de orden 2 (contiene dos elementos).

En general, para cualquier ecuacin cuadrtica, si dicha ecuacin tiene nicamente una raz, como la
ecuacin:
x - 6x + 9 = (x - 3) = 0

Entonces su grupo Galois es trivial, ya que contiene nicamente la permutacin identidad. Si la ecuacin
cuadrtica tiene dos races racionales distintas, como la ecuacin:
x - 7x +10 = (x -2)(x - 5) = 0

Entonces su grupo Galois tambin ser trivial, contendr nicamente la permutacin identidad. En cambio, si
la ecuacin contiene dos races irracionales (incluyendo el caso de races con nmeros imaginarios o
complejos), como la que vimos al principio:
x - 4x + 1 = 0

Entonces el grupo Galois de dicha ecuacin cuadrtica contendr dos permutaciones. Como este es un grupo
de orden 2 y uno de los elementos es el elemento identidad, mis lectores ya saben cmo construr la tabla
para este tipo de grupo.
El procedimiento anteriormente mostrado para obtener dos relaciones matemticas distintas entre las dos
races de una ecuacin cuadrtica se puede generalizar para ecuaciones de grado mayor. Por ejemplo,
considrese la ecuacin cbica general:
ax
3
+ bx + cx + d = 0

Al igual que como lo hicimos en el caso de la ecuacin cuadrtica, podemos dividir todo entre el primer
coeficiente para darle el siguiente aspecto:
x
3
+ (b/a)x + (c/a)x + (d/a) = 0___(3)

Como la ecuacin cbica general tiene tres races x
1
, x
2
, y x
3
, podemos expresar la ecuacin original de la
siguiente manera:
(x - x
1
)(x - x
2
)(x - x
3
) = 0

Multiplicando esto para eliminar los parntesis, obtenemos:
x
3
-(x
1
+ x
2
+ x
3
)x + (x
1
x
2
+ x
1
x
3
+ x
2
x
3
)x - x
1
x
2
x
3
= 0____(4)

Igualando (3) y (4) se tiene de inmediato:
x
1
+ x
2
+ x
3 =
-b/a
x
1
x
2
+ x
1
x
3
+ x
2
x
3
= c/a
x
1
x
2
x
3
= -d/a

Hablando en trminos generales, el teorema fundamental del lgebra garantiza la existencia
de n races (reales o complejas) para una ecuacin de grado n (aunque no d ninguna pista sobre cmo tales
races puedan ser encontradas). En realidad, el teorema garantiza la existencia de por lo menos una raz x
1
,
pero al factorizar (x-x
1
) de la ecuacin original se obtiene una ecuacin de un grado menor n-1 sobre la cual el
teorema fundamental del lgebra puede ser aplicado nuevamente, lo cual d una segunda raz x
2
. La
aplicacin sucesiva del teorema garantiza por lo tanto la existencia de n races. Esto quiere decir que toda
ecuacin general de la forma:
x
n
+ a
n-1
x
n-1
+ a
n-2
x
n-2
+ a
n-3
x
n-3
+...+ a
1
x + a
0
=0
7


Siempre puede ser descompuesta en factores lineares:
(x - x
1
)(x - x
2
)(x - x
3
)(x - x
4
) ... (x-x
n
) = 0
Como lo hemos venido haciendo.
Para la ecuacin bicuadrtica (esta es una expresin un poco pomposa para designar a las ecuaciones
generales de cuarto grado), la expansin en funcin de sus cuatro races x
1
, x
2
,x
3
y x
4
presentar el siguiente
aspecto:
x
4
- (x
1
+ x
2
+ x
3
+ x
4
)x
3
+ (x
1
x
2
+ x
1
x
3
+ x
2
x
3
+ x
1
x
4
+ x
2
x
4
+ x
3
x
4
)x
- (x
1
x
2
x
3
+ x
1
x
2
x
4
+ x
1
x
3
x
4
+ x
2
x
3
x
4
)x
+ x
1
x
2
x
3
x
4
= 0

Este mtodo general, que para un problema como obtener una ecuacin general cuyas races sean los
nmeros 1, 2, 3, 4 y 5 nos permite obtener rpidamente la ecuacin:
x
5
- 15x
4
+85x
35
A -225x +274x -120 = 0

Fue desarrollado por Francois Viete en 1591 en su libro In artem analyticem isagoge.
Un teorema importante, formulado por el matemtico francs Joseph Louis Lagrange (1736-1813), ampla de
la manera siguiente lo que acabamos de ver:
Teorema fundamental de los polinomios simtricos: Todo polinomio simtrico enx
1
, x
1
... x
n
es un polinomio en
los polinomios simtricos elementales.
en donde los polinomios simtricos elementales tales como:
x
1
+ x
2
+ x
3

x
1
x
2
+ x
1
x
3
+ x
2
x
3

x
1
x
2
x
3


Son los coeficientes de la expansin:
(x - x
1
)(x - x
2
)(x - x
3
)

Puesto de otra manera, el teorema nos garantiza que todo polinomio simtrico puede ser expresado como un
polinomio en los polinomios simtricos elementales. Tomemos a manera de ejemplo los siguientes dos
polinomios simtricos que permanecen igual en forma si intercambiamos las literales x y y:
x + y
x
3
+ y
3


De acuerdo con el teorema fundamental de los polinomios simtricos, estos dos polinomios simtricos pueden
ser expresados en funcin de polinomios simtricos elementales de la siguiente manera:
x + y = (x + y) - 2xy = +

En donde y son polinomios simtricos elementales:
= x + y
= -2xy

y, del mismo modo:
x
3
+ y
3
= (x + y) -3xy(x + y) =
3
- 3

En donde y tambin son polinomios simtricos elementales
= x + y
= xy

El lector puede ejercitarse un poco representando el siguiente polinomio simtrico:
x + y + z

En funcin de polinomios simtricos elementales.
Aunque este teorema fundamental de los polinomios simtricos fue enunciado por vez primera por Lagrange,
8

aparentemente ya era conocido un siglo atrs por el cientfico ingls Sir Isaac Newton (1643-1727) junto con
un procedimiento para representar los polinomios simtricos. De cualquier modo, Lagrange fue el primer en
darse cuenta sobre las simetras que resultaban al permutar las races de una ecuacin. Este fue
precisamente el punto principal de partida a partir del cual el creador de la teora de grupos, Evariste Galois,
estableciendo isomorfismos con los grupos de permutacin S
5
yA
5
, logr demostrar formalmente la
imposibilidad de poder obtener una frmula general para resolver una ecuacin de quinto grado en
adelante. Es posible que el mismo Lagrange habra podido resolver el problema, pero para ello necesitaba un
concepto que an no exista, un concepto que tena que ser inventado por Evariste Galois, el concepto de
lossubgrupos normales.

Y qu podemos hacer en el caso de que un polinomio no sea simtrico? En tal situacin, siempre podemos
preguntarnos cul es el conjunto de todas aquellas permutaciones de los ndices de las races que dejen al
polinomio igual. Es obvio que que este conjunto formar un grupo, llamado el grupo del polinomio. A manera
de ejemplo, considrese el siguiente polinomio que a primera vista se nota que no es un polinomio simtrico:
x
1
x
2
+ x
3
x
4


Si intercambiamos los subndices 2 y 3, obtenemos una expresin diferente:
x
1
x
3
+ x
2
x
4


Del mismo modo, si intercambiamos los subndices 1 y 3, tambin obtenemos una expresin diferente a la
expresin original:
x
2
x
3
+ x
1
x
4


Sin embargo, las permutacin de los subndices 1 y 2, as como la permutacin de los subndices 3 y 4, dejan
al polinomio igual. Estas dos permutaciones son entonces las que constituyen el grupo de este polinomio.
Repasemos ahora el siguiente polinomio simtrico elemental:
x
1
+ x
2
+ x
3


Puesto que el grupo de permutacin S
3
-tambin conocido como S(3)- incluye todas las permutaciones
posibles de x
1
, x
2
y x
3
para esta expresin, se dice que dicho polinomio esinvariante bajo S
3
.
Se puede demostrar que el valor numrico de x
1
+ x
2
+ x
3
formado por las races de cualquier ecuacin de
tercer grado con coeficientes racionales (expresables en forma de cocientes de enteros) ser tambin un
nmero racional. Asimismo, el valor obtenido mediante otros polinomios formados con las races de una
ecuacin pueden ser racionales para algunas ecuaciones e irracionales para otras, dependiendo del valor
numrico de los coeficientes de la ecuacin. Si el valor de una funcin tal es racional, entonces existe un
grupo de permutaciones de las races x
1
, x
2
y x
3
que no cambian el valor de la funcin. El grupo Galois de una
ecuacin es el mayor grupo de permutaciones que cumple con este requerimiento para cualquier funcin
polinmica racional de las races. Para cualquier funcin polinmica de las races que tenga un valor racional,
cada permutacin en el grupo Galois de la ecuacin dejar ese valor inalterado. Puesto de otra manera,
cuando la permutacin de las races en el polinomio no cambia el valor de cualquier funcin polinmica de las
races, las races son indistinguibles para dicha permutacin. As, entre mayor sea el nmero de elementos de
un grupo Galois, tanto ms permutaciones habr para las cuales las races sern indistinguibles. Por esta
razn el grupo Galois es una manera efectiva de representar las propiedades de simetra de una ecuacin.
A continuacin trataremos de determinar el grupo Galois de una ecuacin un poco ms elaborada que la
ecuacin general cuadrtica que vimos previamente:
x
4
- 10x + 1 = (x - 5) - 24 = 0

Esta ecuacin de cuarto grado tiene cuatro races:




9


Existen (4)(3)(2)(1) = 24 maneras diferentes de poder permutar estas cuatro races. Sin embargo, no todas
estas permutaciones sern miembros del grupo Galois de la ecuacin curtica por ser incapaces de mantener
la simetra bajo un intercambio. Los miembros del grupo Galois deben ser capaces de preservar cualquier
ecuacin algebraica con coeficientes racionales que involucren a A, B, C y D. Una de tales ecuaciones es:
A + D = 0


Ya que si intercambiamos A y D obtendremos lo mismo:
D + A = 0

En cambio, la permutacin:
(A, B, C, D) (A, B, D, C)

no est permitida, ya que transforma la relacin vlida A+D=0 en una relacin no-vlida, la relacin A+C=0,
puesto que:


Otra relacin que satisfacen las races es:
(A + B) = 8

Esta relacin permite eliminar de la lista de candidatos a otras permutaciones tales como:
(A, B, C, D) (A, C, B, D)

Continuando de esta manera, tenemos que las nicas permutaciones que califican para ser includas en la
lista como permutaciones vlidas son (empezando con la permutacin identidad que es la primera de la lista):
(A, B, C, D) (A, B, C, D)
(A, B, C, D) (C, D, A, B)
(A, B, C, D) (B, A, D, C)
(A, B, C, D) (D, C, B, A)

Este grupo de permutaciones, o mejor dicho este grupo Galois, es isomorfo al 4-grupo de Klein, el cual
estudiamos en la entrada Matemticas sin nmeros. Recordemos cmo dicha tabla se obtuvo all
considerando todas las rotaciones posibles de 180 grados de los ejes coordenados (x,y,z). All la tabla era un
asunto propio de la geometra analtica, aqu es un asunto propio de algo relevante a las ecuaciones
algebraicas. Puede pedirse mayor disparidad que esta? Esta amplia generalidad de la teora de los grupos
cuyas aplicaciones se extienden a cualquier rea en donde haya viso alguno de simetra permite extender
todos sus resultados, que son universales, hacia muchas aplicaciones diversas que no tienen absolutamente
nada que ver entre s excepto las relaciones de los grupos que las conectan. Esta enorme generalidad, esta
enorme abstraccin que elimina los detalles de las aplicaciones particulares para enfocarse en lo esencial, es
lo que marca el inicio del lgebraabstracta moderna.
Con los ejemplos que hemos visto, podemos dar una idea del mtodo de ataque para determinar el grupo de
Galois de una ecuacin cualquiera de grado n. Si la ecuacin es de grado n, entonces tendr n races que
podemos llamar A, B, C, D, etc. Habr un total de n!permutaciones posibles. Eliminamos de la lista todas
aquellas permutaciones que rompan con la simetra que debe habe entre las relaciones posibles de dichar
races. Una vez reducida la lista al mnimo, las permutaciones que sobrevivan como vlidas sern las que
determinen el orden del grupo.
Sabiendo ya lo que es el grupo Galois de una ecuacin, podemos empezar a dirigirnos hacia la resolucin del
problema de determinar si es posible obtener alguna frmula general para la resolucin analtica (exacta) de
ecuaciones de quinto grado en adelante. Evariste Galois pudo demostrar que las propiedades del grupo
Galois de cada ecuacin son las que determinan si la ecuacin algebraica en cuestin se puede resolver o no
mediante una frmula. Esto se puede enunciar del modo ms categrico posible de la siguiente manera:
La condicin necesaria para que una ecuacin algebraica sea soluble mediante una frmula es que su grupo
Galois tambin sea soluble.
10

Si el grupo Galois de una ecuacin algebraica, si su "perfil de simetra" no es soluble, entonces tampoco lo
ser la misma ecuacin mediante frmula alguna que involucre operaciones aritmticas elementales.
Y exactamente qu es lo que significa el que un grupo Galois sea soluble o no? La definicin de esto nos la
dej el mismo Galois. Galois llam a un grupo soluble si cada uno de los factores de composicin generados
por sus subgrupos normales descendentes maximales es un nmero primo. Hablaremos ms sobre esto
llegado el momento.
Antes de Galois, si se quera saber si una ecuacin se puede resolver o no mediante una frmula, la tctica
utilizada era tratar de resolver dicha ecuacin, tratar de encontrar su frmula general. Pero el trabajo de Galois
demostr que esto era una ruta equivocada. Ciertamente, se saba ya gracias al teorema fundamental del
lgebra demostrado por Gauss que toda ecuacin de grado n tiene necesariamente por lo menos una raz.
Pero como ya se dijo, este teorema no nos dice cmo podemos encontrar la raz o las races de una ecuacin,
ya sea mediante una frmula general o mediante algn artificio o truco que an no ha sido descubierto. Si una
frmula general de resolucin para cierta ecuacin algebraica no exista, ni siquiera en principio, entonces
todos los esfuerzos por resolverla estaban condenados de antemano al fracaso. Puesto que las propiedades
del grupo de Galois de una ecuacin estn basadas en las propiedades de simetra de la ecuacin, si el grupo
de Galois no es soluble, la ecuacin tampoco lo ser mediante frmula alguna. As de fcil.
Dada la enorme importancia del concepto del grupo de Galois para asentar las propiedades de simetra de
una ecuacin algebraica, a continuacin se irn sealando los grupos de Galois de varias ecuaciones para
que el concepto quede claro antes de atacar el problema de la ecuacin quntica directamente.
al cual se le conoce hoy como el grupo Galois de una ecuacin. Anteriormente, todas las ecuaciones
algebraicas eran clasificadas por su grado (primer grado, segundo grado o cuadrtica, tercer grado o cbica,
etc.). Pero Galois encontr que la simetra era una caracterstica ms importante.
Al igual que como en todos los grupos anteriormente estudiados, el grupo Galois de una ecuacin tambin
puede ser representado mediante una tabla finita. Por ejemplo, para la siguiente ecuacin:
x
5
- 5x +12
su "tabla de multiplicacin" es la siguiente:


Obsrvese que el elemento identidad es el elemento A.
La importancia de la tabla de multiplicar para un grupo Galois es que siempre contiene la informacin
necesaria para saber si la ecuacin algebraica que representa es soluble por radicales.
Obtener el grupo Galois para una ecuacin algebraica cualquiera generalmente no es un asunto fcil, aunque
siempre se puede llevar a cabo sin necesidad de conocer los valores de las races de la ecuacin. Sin
embargo, tal clculo no fue necesario para Evariste Galois, porque slo necesitaba demostrar que hay
ecuaciones de grado n cuyo grupo Galois es el grupo ms grande posible de permutaciones de las races, o
sea S
n
, especficamente para el caso general de las ecuaciones de quinto grado.








11







Conclusin

Sus investigaciones abrieron las puertas de una teora cuyas aplicaciones desbordan con mucho los lmites de
la teora de ecuaciones: la teora de grupos. Prescindiendo por completo de las circunstancias en que se
desarroll su trabajo, no cabe duda de que Galois hiciera nacer una de las ideas ms originales de la historia
de las matemticas.
La aportacin de Evariste Galois a las matemticas no es sencilla de entender por su complejidad y la
novedad, incluso para los tiempos actuales, que encierra en su interior. No fue completamente comprendida
por los matemticos de su poca, algunos sencillamente la ignoraron, y hasta finales del siglo XIX no se
descubri su profundidad y alcance.

Fuente de informacin

http://www.biografiasyvidas.com/biografia/g/galois.htm

matematicas-de-la-simetria.blogspot.com/2007/11/los-grupos-galois.html