Matemticas de la simetra

BAJO CONSTRUCCION ESTE ES U N TRABAJO QUE APENAS HA C OMENZADO

MIRCOLES, 14 DE DICIEMBRE DE 2011

Los grupos Galois

ARCHIVO DEL BLOG

2011 (17)
diciembre (17)
Indice

Una clave fundamental para demostrar que no es posible encontrar, ni

Un problema clsico del lgebra

siquiera en principio, una frmula general para resolver ecuaciones de quinto

Matemticas sin nmeros

grado en adelante mediante operaciones aritmticas de suma, resta,

Los grupos cclicos

Subgrupos
Grupos numricos
Los grupos de permutacin
Los trasladados (cosets)
Los subgrupos normales

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.

Las series de composicin

Partiendo de un polinomio, es posible que algunas de las races del polinomio

El cubo de Rubik

estn conectadas por medio de varias ecuaciones algebraicas. Considrese la

Los grupos Galois

ecuacin cuadrtica:

La imposibilidad de una frmula

quntica

ax + bx + c = 0

El producto de dos grupos

Dividiendo todo entre el coeficiente a, la ecuacin cuadrtica toma el

Generadores de grupos. Grafos

de Cayley

siguiente aspecto:

Desarrollos posteriores
Referencias de inters

x + (b/a) x + (c/a) = 0____(1)

Como la ecuacin cuadrtica tiene dos races x1 y x2, podemos expresar la
ecuacin original de la siguiente manera:

DATOS PERSONALES

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

A RM A N DO M AR T NE Z T LL E Z
V ER TO D O M I P ER F I L

Igualando (1) y (2) se tiene de inmediato:

x1 + x2 = b/a

x1 x2 = -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 x1 y x2 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) = A4 + B4 + 4AB+ 60
P(A, B, C) = A3 + B3 +C3 - 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
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:
ax3 + 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:
x3 + (b/a)x + (c/a)x + (d/a) = 0___(3)
Como la ecuacin cbica general tiene tres races x1, x2, y x3, podemos
expresar la ecuacin original de la siguiente manera:
(x - x1)(x - x2)(x - x3) = 0
Multiplicando esto para eliminar los parntesis, obtenemos:
x3 -(x1 + x2 + x3)x + (x1 x2 + x1 x3 + x2 x3)x - x1 x2 x3 = 0____(4)
Igualando (3) y (4) se tiene de inmediato:
x1 + x2 + x3 = -b/a
x1 x2 + x1 x3 + x2 x3 = c/a
x1 x2 x3 = -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 x1, pero al factorizar (x-x1) 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 x2. La
aplicacin sucesiva del teorema garantiza por lo tanto la existencia de n races.
Esto quiere decir que toda ecuacin general de la forma:
xn + an-1xn-1 + an-2xn-2 + an-3xn-3 +...+ a1x + a0 =0
siempre puede ser descompuesta en factores lineares:
(x - x1)(x - x2)(x - x3)(x - x4) ... (x-xn) = 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 x1, x2, x3 y x4 presentar el siguiente aspecto:
x4 - (x1 + x2 + x3 + x4)x3 + (x1 x2 + x1 x3 + x2 x3 + x1 x4 + x2 x4 + x3 x4)x
- (x1 x2 x3 + x1 x2 x4 + x1 x3 x4 + x2 x3 x4)x
+ x1 x2 x3 x4 = 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:
x5 - 15x4 +85x35A -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 en x1 , x1 ... xn es un polinomio en los polinomios simtricos
elementales.
en donde los polinomios simtricos elementales tales como:
x1 + x2 + x3
x1 x2 + x1 x3 + x2 x3
x1 x2 x3
son los coeficientes de la expansin:
(x - x1)(x - x2)(x - x3)
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 + y3
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:
x3 + y3 = (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, 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 S5 y A5, 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 los
subgrupos 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:
x1 x2 + x3 x4
Si intercambiamos los subndices 2 y 3, obtenemos una expresin diferente:
x1 x3 + x2 x4
Del mismo modo, si intercambiamos los subndices 1 y 3, tambin obtenemos
una expresin diferente a la expresin original:
x2 x3 + x1 x4
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:
x1 + x2 + x3
Puesto que el grupo de permutacin S3 -tambin conocido como S(3)- incluye
todas las permutaciones posibles de x1, x2 y x3 para esta expresin, se dice
que dicho polinomio es invariante bajo S3.
Se puede demostrar que el valor numrico de x1 + x2 + x3 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 x1, x2 y x3 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:
x4 - 10x + 1 = (x - 5) - 24 = 0
Esta ecuacin de cuarto grado tiene cuatro races:

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 lgebra abstracta
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.
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:
x5 - 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 Sn, especficamente para
el caso general de las ecuaciones de quinto grado.
P U B L I C A D A S P O R A RM A ND O M A R T N EZ T L L EZ A L A / S 2 2: 2 3

N O H AY C O M E N TA R I O S :
Publicar un comentario en la entrada

Entrada ms reciente

Pgina principal

Suscribirse a: Enviar comentarios (Atom)

Entrada antigua