You are on page 1of 85

Teora de Galois

H
Indice

1 Introduccin 1
1 Grupos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
2 Permutaciones y grupos simtricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
3 Cuerpos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
4 lgebra Lineal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12

2 Teora de Galois 19
1 Cuerpos de extensin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
2 Polinomios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
3 Elementos Algebraicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
4 Cuerpos de descomposicin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
5 Factorizacin de polinomios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
6 Caracteres de Grupo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
7 Aplicaciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
8 Extensiones normales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
9 Cuerpos Finitos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
10 Races de Unidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
11 Ecuaciones de Noether . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
12 Extensiones cuadrticas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
13 Cuerpos de Kummer . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
14 Extensiones Simples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
15 Existencia de un base normal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66
16 Teoremas de las irracionalidades naturales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
17 Solubilidad por radicales y aplicaciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
18 Cohomologias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 77
Prefacio

Las siguientes notas tienen el propsito de llevar el maravilloso trabajo Teora de Galois de Emil
Artin, que a nuestro criterio es una de las obras mas bellas sobre la teora de Galois, a aquellas personas
que deseen dar un vistazo general a los aspectos mas importantes de la teora de Galois. Es importante
destacar que es muy difcil encontrar un documento sobre Teora de Galois, que no se base en el libro de
Emil Artin. Ya el mismo Lang en su libro "lgebra", utiliza los teoremas que su profesor Artin, desarrollo
en su libro, y estos son grandes exponentes de la teora de nmeros algebraica y de la Teora de Galois.
El trabajo impecable de Artin, le har accesible a cualquier lector los temas fundamentales de la Teora
de Galois, as como tambin lo har al mas experimentado el cual podr deducir casi todas las conse-
cuencias importantes si realiza un estudio detallado del presente. Nos hemos sentido desilusionados al
ver que todo teorema que puede ser aadido a este material, es una consecuencia directa de alguno de
los que presenta Artin, y por ello pretendimos limitarnos a explicar algunos temas, y a agregar algunos
contenidos que creemos son necesarios.
Se podr notar que la notacin utilizada en el presente, no esta actualizada, pero en este caso lo hicimos
a propsito. Luego de haber implementado la notacin actuales, hemos visto que no se quitado ninguna
ambig"uedad y que lo nico que se logra es confundir al lector que esta comenzando a explorar el tema.
En el trabajo de Artin la simbologa, y no la notacin, es confusa debido a que el mismo fue escrito con
elementos primitivos. Esa simbologa ha sido reemplazada y se le ha dado un nfasis mas tcnico y actual,
y se ha seguido una convencin la cual el lector podr notar desde el comienzo del trabajo.
El objetivo del presente, es el de explicar algunos conceptos y profundizarlos, as como dar algunos ejemp-
los, ya que el trabajo de Emil Artin, carece de ellos. Se vera que en algunos casos se dan varios argumentos
distintos; creemos que esto es importante para el lector ya que le ayuda a no perderse los puntos que se
consideran fundamentales o bien de los cuales depende mucho del desarrollo que le precede.
Queremos hacer notar que la introduccin trata sobre temas bsicos del lgebra lineal, la teoriza de gru-
pos, permutaciones y de teoriza cuerpos, pero que la misma no es completa. El fin de la introduccin es
mostrarle al lector las herramientas que se utilizaran para el desarrollo de los temas principales, y as este
pueda profundizar a su parecer para poder comprender los temas centrales.
Es cierto que existen trabajos mas extensos y correctos, y que todo el material que hemos desarrollado
puede ser obtenido en algn tiempo finito por cualquier lector. Tambin es cierto que nuestro desarrollo
es primitivo, en el sentido de que los temas se tratan no formalmente como se deberan. Y por ultimo,
es cierto que todo el crdito de este trabajo se lo debe llevar el lector y no quien lo escribi. Pero este es
siempre el caso, ya que nadie inventa... solo descubre. Nada puede contener toda la matemtica de la
teora de Galois. Nada que haya sido desarrollado no puede ser hecho nuevamente. Nada puede ser lo
suficientemente exacto. Y no tiene sentido escribir si no existe el lector.
Sepannos disculpar, no somos excepcionales.

i
Capitulo 1

Introduccin

1 Grupos
El tema fundamental de nuestro estudio posterior, se basa en la naturaleza de una estructura
algebraica llamada grupo. Un grupo es un par (G, ), donde G es un conjunto no vaco, y es una
operacin binaria : G G G, que cumple:

Asociatividad: Para todo a, b, c G, (a b) c = a (b c).

Existencia del elemento identidad: Existe e G tal que g e = e g = g para todo g G.

Existencia del elemento inverso: Para todo g G, existe un elemento h tal que g h = h g = e.

Ntese que la propiedad de cerradura (ie: para todo a, b en G, a b pertenece a G) no es necesaria como
axioma debido a la definicin de la operacin .
Generalmente, el smbolo se omite y escribimos, ab para a b. Es importante aclarar que el smbolo
+ suele ser utilizado en el caso de la operacin sea conmutativa, en tal caso el grupo se llama grupo
Abeliano
Dado que el inverso de un elemento es nico, el inverso de un elemento a se nota por a 1 , o a cuando
se utiliza la notacin aditiva (ie: +).
El elemento identidad, se suele notar por e, y en algunos casos por 1 o 0 dependiendo de la operacin del
grupo.
Podemos analizar, un poco mas en profundidad los axiomas que caracterizan al grupo, si podemos crear
un grupo de un conjunto cualquiera, y encontrar una forma equivalente para definirlo.
Sea G un conjunto no vaco. Si a y b son elementos arbitrarios de G, entonces existe al menos un elemento
e a y un elemento e b tales que e a a = a y be b = b. Existen tambin x e y, tales que xb = e a y a y = e b . Por lo
tanto tenemos que:

e a = xb = x(be b ) = (xb)e b = e a e b = e a (a y) = (e a a)y = a y = e b

Por lo tanto existe un nico elemento identidad e. Mas aun, para cualquier elemento a existen a 0 y a 00
tales que a 0 a = aa 00 = e, por lo tanto podemos ver:

a 0 = a 0 e = a 0 (aa 00 ) = (a 0 a)a 00 = ea 00 = a 00

Por lo tanto, existe un nico inverso, a 0 .


Notemos que G es un grupo, ya que los axiomas anteriormente nombrados se satisfacen.

1
2 Grupos

Si G un grupo y sea H un subconjunto de G, entonces diremos que H es un subgrupo de G si es un grupo


con respecto a la operacin de G. Usualmente, utilizamos la notacin H G para indicar que H es un
subgrupo de G.
Sea H es un subconjunto no vaco de un grupo G. Supongamos que si s, t H , entonces tenemos que
st 1 H . Dado que t t 1 H , por hiptesis, tenemos que e H , as mismo si e H , entonces para todo
t H , se tiene que et 1 = t 1 H , y as demostramos la existencia de inversas en H . Por ultimo, como
t 1 H , esto muestra que s(t 1 )1 = st H y por lo tanto, se cumple la propiedad de cerradura.
Hasta ahora no hemos considerado la cantidad de elementos que puede tener el conjunto G. Diremos
que G es un grupo finito si G, como conjunto, tiene una cantidad finita de elementos. El orden de un
grupo es el numero de elementos en G, y lo notaremos mediante: |G|.
Si G es un grupo, se dice que G es un grupo cclico si g G tal que g = G. Y dicho elemento g es un
generador de G, y as mismo se dice que G es generado por g . Consideremos un subconjunto propio X
del grupo G. Si todo elemento g G puede ser expresado como el producto de elementos de X , entonces
diremos que tal subconjunto es un conjunto generador G. En el caso de X contenga la menor cantidad
de elementos, diremos que X es un conjunto generador mnimo. Veamos ahora, un teorema que describe
casi completamente las propiedades de un grupo finito.

TEOREMA 1.1. Sea N = |G|. Dado que G = g , tenemos que N = g . As

Los elementos e = g 0 , g 1 = g , g 2 , . . . , g N 2 , g N 1 forman una lista completa de diferentes elementos de


G = g

Dados i , j Z, se tiene que g i = g j si y solo si i j (mod N )

Dado un entero j , y sea i la reduccin de j modulo N , entonces g j = g i

Los distintos subgrupos de G son precisamente los subgrupos g d para todos los divisores d de N .

Para d |N el orden del subgrupo g d es el orden de g d , que es N /d .

El orden de g k para algn entero k 6= 0 es N / mcd(k, N )

Para todo entero n se tiene:


g n = g mcd(n,N )

El numero de generadores distintos de G son los elementos g r donde 1 r < N y mcd(r, N ) = 1. As se


tienen (N ) generadores, donde es la funcin phi de Euler.

El numero de elementos de orden n en un grupo cclico finito de orden N es 0 salvo que n|N en tal
caso es N /n

DEM Probemos que el orden de g k es N / mcd(k, N ). Primero, si (g k )l = e = g 0 , entonces kl 0 (mod N ).


Es decir, N |kl . Es decir que existe un entero m tal que kl = mN . Entonces, dividiendo ambos lados de la
igualdad por mcd(k, N ) tenemos que:

k N
l =m
mcd(k, N ) mcd(k, N )

Ntese que k 6= 0, por lo que mcd(k, N ) 6= 0. Ahora, dado que N / mcd(k, N ) y k/ mcd(k, N ) son coprimos,
N
por el teorema fundamental de la aritmtica, concluimos que: |l / Por lo tanto, el orden de g k
mcd(k, N )
es un mltiplo de N / mcd(k, N ). Por otro lado, tenemos:

(g k )N / mcd(k,N ) = (g N )k/ mcd(k,N ) = e k/ mcd(k,N ) = e


Introduccin 3

Ntese que hemos usado el hecho de que N / mcd(k, N ) y k/ mcd(k, N ) son enteros, por lo tanto todas las
expresiones estn bien definidas. As concluimos la demostracin.
Como un caso especial de lo anterior, si k | N entonces el orden de g k es N / mcd(k, N ) = N /k, como
hemos dicho antes.
Dado que ahora sabemos que |h| = |h| para todo h, entonces es cierto que g k = g k = N / mcd(k, N ).

Dado un entero k, mostraremos que g k = g mcd(k,N ) .


Sea d = (k, N ) y sean s, t Z, tales que d = sk + t N , tenemos que:

g d = g sk+t N = (g k )s (g N )t = (g k )s (e)t = (g k )s e = (g k )s

entonces g d g k . Por otro lado, g k = (g d )k/d , ya que d |k. Luego, g k g d y dado que los subgrupos
g k y g d son cerrados bajo la multiplicacin y bajo las inversas, para cualquier entero l se tiene que

(g k )l g d y (g d )l g k

Pero, g d es el conjunto de todos los enteros que son potencias de g d , entonces hemos mostrado que:

g d g k y g k g d

As, tenemos que g d = g k . Por lo tanto todos los


subgrupos
cclicos de g = G son de la forma g d
para algn entero positivo d que divide a N = |G| = g . Y cada divisor de N genera diferentes subgrupos.
Ahora, sea H un subgrupo arbitrario de G. Tenemos que mostrar que H es generado para algn g k . Sea
k el menor entero positivo tal que g k H . Nosotros decimos que g k = H . Para cualquier otro g m H
podemos escribir m = qk + r con 0 r < k, entonces:

g r = g mqk = g m (g k )q H

dado que H es un subgrupo. Dado que k es el menor entero positivo tal que g k H , y 0 r < k, esto
implica que r = 0 y por lo tanto m es un mltiplo de k y g k genera a H .
Como otro caso particular, notemos que g k = g si y solo si mcd(k, N ) = 1. Podemos considerar solo
los casos en los cuales 0 < k < N , dado que sino estaramos repitiendo elementos. As, el numero de
diferentes generadores de g son los elementos g k con 0 < k < N y mcd(k, N ) = 1. Por lo tanto, hay (N )
de ellos.
Luego, como g k = g k = g mcd(k,N ) = g mcd(k,N ) no es tan difcil contar el nmeros de elementos

de un orden dado en G = g , ya que si el orden de g = N , entonces existen (N ) generadores, ya que si


a G = g , entonces a k = z = 0, si y solo si k = N .

H G, y sea g G. La clase colateral izquierda de g con respecto a H en G es el conjunto g H =


Sea
g h : h H . Anlogamente, la clase colateral derecha de g con respecto a H en G es el conjunto H g =
hg : h H .
Por ndice de H en G, nos referiremos al numero de clases colaterales derechas (izquierdas) de H en G y
lo notaremos mediante [G : H ].
Es facial ver que si G un grupo finito, y H , K son subgrupos de G, y supongamos que H K . Entonces:

[G : K ] = [G : H ] [H : K ]

Notemos que el grupo G puede ser expresado como la unin de [G : K ] clases colaterales izquierdas de K .
As mismo, G es la unin de [G : H ] clases colaterales izquierdas de H . Ahora, sea g H = g h : h H una
clase colateral izquierda de H . Expresemos H como la unin de [H : K ] clases colaterales izquierdas de K ,
por [
H= h i K = h 1 K h 2 K . . . h [H :K ] K
i [H :K ]
4 Grupos

Entonces g H = g (i [H :K ] h i K ) = g h 1 K g h 2 K . . . g h [H :K ] K . Lo anterior no es otra cosa sino la unin


de clases colaterales izquierdas de K . Podemos comprobar que h i K h j K = para i 6= j . Entonces,
tenemos que h i K h j K = = g h i K g h j K = . Supongamos que g g h i K g h j K . Entonces, para
algn k 1 K , y k 2 K , tenemos que g h i k 1 = x = g h 2 k 2 . Multiplicando por la izquierda por g 1 podemos
ver que h i k 1 = h 2 k 2 . El lado izquierdo de la ecuacin (por hiptesis) es un elemento de h i K , y el lado
derecho es un elemento de h 2 K . Pero hemos asumido que h i K h j K = , entonces esto es imposible. Es
decir, hemos probado que g h i K g h j K = si h i K h j K = .
Ahora veremos un importante resultado sobre los ordenes de los subgrupos de un grupo dado, llamado
teorema de Lagrange

TEOREMA 1.2 (Teorema de Lagrange). Sea G un grupo finito. Sea H un subgrupo de G. El orden de H
divide al orden de G.

DEM Primero vamos a probar que la coleccin de todos las clases laterales izquierdas de H es una parti-
cin de G, es decir que todo elemento de G esta en alguna clase lateral izquierda de H , y si x H e y H son
clases laterales izquierdas, y x H y H 6= implica que x H = y H . Es fcil ver que x = xe x H , entonces
todo elemento de G esta en una clase lateral izquierda de H .
Ahora, supongamos que x H y H 6= para x, y G. Entonces para algunos h 1 , h 2 H , tenemos que
xh 1 = yh 2 . Multiplicando ambos lados de la ecuacin por h 21 tenemos:

(xh 1 )h 21 = (yh 2 )h 21

As, en el lado derecho de la ecuacin tenemos:

(yh 2 )h 21 = y(h 2 h 21 )
= ye
=y

Ahora, sea z = h 1 h 21 . Por la Asociatividad en G tenemos que y = (xh 1 )h 21 = x(h 1 h 21 ) = xz.


Dado que H es un subgrupo, z H , por lo tanto y H = yh : h H = (xz)h : h H = x(zh) : h H . Por un
lado tenemos que, dado que H es cerrado, para cada h H , tenemos zh H . Por lo tanto

y H = x(zh) : h H xh 0 : h 0 H = x H

Luego, y H x H . Pero la relacin entre x e y es simtrica, por lo tanto x H y H , y as x H = y H . Por


lo tanto, las clases colaterales izquierdas de H particionan a G. Ahora, vamos a mostrar que la cantidad
de elementos (cardinalidad) de las clases colaterales izquierdas de H son iguales. Para ello tenemos que
mostrar que existe una biyeccin entre H y x H para cualquier x G. Sea f una funcin definida por
f (g ) = xg . Para probar la inyectividad, vemos que si f (g ) = f (g 0 ) entonces xg = xg 0 y multiplicando a la
izquierda por x 1 , usando asociatividad, y definicin del inverso tenemos que:

xg = x0g
x 1 (xg ) = x 1 (xg 0 )
(x 1 x)g = (x 1 x)g 0
eg = eg 0
g =g

Ahora, para mostrar la suprayectividad, notamos que por la definicin de f , podemos ver que f (h) = xh
Y as todo elemento de x H es imagen de un elemento h H . Ahora, dado que f es biyectiva, todas las
clases colaterales izquierdas de H tienen el mismo numero de elementos, y por lo tanto H tambin. De
esta forma vemos que G es la unin de todos las clases colaterales izquierdas de H . Sea n el numero de
Introduccin 5

clases colaterales izquierdas de H . Entonces, como cada clase colateral tiene |H | elementos, podemos ver
que el numero de elementos de G , puede ser escrito como:
X
|G| = |x i H | = n |H |
i n

y por lo tanto |H | | |G|

Vamos a intentar hallar un importante resultado que es conocido como el teorema de Euler. Si n es un
entero positivo. Para x Z, tal que mcd(x, n) = 1, se tiene que x (n) 1 (mod n). Notemos que el conjunto
(Z/nZ) , de enteros modulo n que son coprimos con n, tiene (n) elementos. Por el teorema de Lagrange,
esto implica que el orden k de g (Z/nZ) divide a (n). Por lo tanto (n)/k es un entero y tenemos:

g (n) = (g k )(n)/k = e (n)/k = e

Sean (G, ) y (H , ) dos grupos cualesquiera. Una funcin : G H es un homomorfismo si

(g 1 g 2 ) = f (g 1 ) f (g 2 )

del homomorfismo es
g 1 , g 2 G. Sea eG la identidad en G y e H la identidad en H . El ncleo
para todo
Ker = g G : (g ) = e H y la imagen del homomorfismo al conjunto Im = h H : g Gtal que f (g ) = h .

Ahora, vamos a ver un importante teorema que caracteriza a los homomorfismos:

TEOREMA 1.3. Sea : G H un homomorfismo. Sea e G la identidad de G y e H la identidad de H .

(eG ) = e H

Si g G, entonces (g 1 ) = f (g )1

El ncleo de es un subgrupo de G

La imagen de es un subgrupo de H

Un homomorfismo : G H es inyectivo si y solo si el ncleo es trivial (ie : {eG })

DEM La imagen de (eG ) bajo de la identidad eG G tiene la propiedad:

(eG ) = (eG eG ) = (eG ) f (eG )

usando la propiedad de la identidad en G, vemos que multiplicando por (eG )1 , nos da que

(eG )1 (eG ) = (eG )1 ((eG ) (eG ))

Simplificando y ordenando tenemos que:

e H = ((eG )1 (eG )) (eG ) = e H (eG ) = (eG )

Esto demuestra que la identidad en H es la imagen de la identidad en G.


Para mostrar que (g 1 ) = (g )1 notamos que (g 1 ) (g ) = (g 1 g ) por la propiedad del homomor-
fismo, y eso es:
(g 1 ) (g ) = (g 1 g ) = (eG ) = e H
por la propiedad inversa y el hecho de que la identidad en H es imagen de la identidad en G. As mismo,
podemos calcular que (g )(g 1 ) = e H y por lo tanto la imagen de una inversa es la inversa de la imagen.
Para probar que el ncleo de un homomorfismo de grupos es un subgrupo de G tenemos que probar tres
6 Grupos

cosas. Primero debemos comprar que la identidad pertenece al ncleo. Esto es fcil, ya que (eG ) = e H .
Luego, hay que probar que si g esta en el ncleo , tambin lo esta g 1 . Graciosamente hemos visto que
(g 1 ) = (g )1 , as por lo tanto, si (g ) = e H , entonces:

(g 1 ) = (g )1 = e 1
H = eH

Por ultimo hay que mostrar que si x e y estn en el ncleo, entonces x y tambin lo esta. Entonces (x y) =
(x)(y) = e H e H = e H y as hemos terminado.
Ahora, sea X un subgrupo de G, y dejemos que

(X ) = (x) : x X

Para mostrar que (X ) es un subgrupo de H , tenemos que mostrar la presencia de la identidad, cerradura
y la existencia de inversos. Nuevamente hemos mostrado que (eG ) = e H , entonces, la imagen de un
subgrupo contiene la identidad. As mismo hemos mostrado que (g 1 ) = (g )1 , entonces la imagen
de un subgrupo es cerrado en cuanto a las inversas. Y por ultimo tenemos que (x y) = (x)(y) por
definicin, as que la imagen es cerrada bajo la multiplicacin.
Por ultimo probemos que un homomorfismo es inyectivo si y solo si su ncleo es trivial. Primero si es
inyectiva, entonces a lo sumo un elemento es asociado con e H H . Dado que sabemos que eG es asociado
con e H , debe ser que el nico elemento es eG . Luego, el ncleo es trivial.
Por otro lado, supongamos que el ncleo es trivial. Y supongamos que (x) = (y) y mostraremos que
x = y. Si multiplicamos a la izquierda la igualdad: (x) = (y) por (x)1 obtenemos: e H = (x)1 (x) =
(x)1 (y) y por la propiedad del homomorfismo tenemos que:

e H = (x)1 (y) = (x 1 y)

Y luego, x 1 y esta en el ncleo, y por lo tanto x 1 y = eG , multiplicando esta igualdad por x y simplificando
tenemos que x = y y as probamos la inyectividad.

Un subgrupo N de un grupo G se dice normal o invariante si y solo si alguna de las siguientes condiciones
(equivalentes) se sostienen:

g H g 1 H para todo g G.

g H g 1 = H para todo g G

g H = H g para todo g G

Toda clase colateral derecha de H en G es una clase colateral izquierda.

Nos gustara saber si, dados dos subgrupos de un grupo determinado, su producto es tambin un sub-
grupo, y en caso de que uno sea normal si dicho producto es normal. Dejemos H y N sean subgrupos de
G y N / G, entonces queremos mostrar que H N = {hn : h H , n N } es un subgrupo de G, y si H es nor-
mal, entonces H N es un subgrupo normal de G. El conjunto H N no es vaco, y (hn)(h 0 n 0 ) = hh 0 n 00 n 0 H N
por lo que es cerrado bajo la multiplicacin. Luego (hn)1 = n 1 h 1 = h 1 n 0 H N por lo que es cerrado
bajo las inversas. Si H y K son normales, entonces:

g H N g 1 = g H g 1 g N g 1 = H N

para todo g G. Y as terminamos la demostracin.


Ahora, es una cuestin trivial mostrar que el ncleo de un un homomorfismo f : G H es un subgrupo
normal de G. Dejemos que N = Ker f . Sea g G, y sea n N , entonces tenemos

f (g ng 1 ) = f (g ) f (n) f (g 1 ) = f (g )e f (g )1 = e
Introduccin 7

utilizando la definicin de homomorfismo, dado que sabemos que f (g 1 ) = f (g )1 . Luego, g ng 1 esta en


ncleo. Es decir, hemos mostrado que g N g 1 N .Hemos notado que existe una fuerte una relacin entre
el ncleo homomorfismo y los grupos normales. Seria prudente investigar si todo subgrupo normal viene
dado por el ncleo de algn homomorfismo, es decir si N / G entonces existe una estructura de grupo
en el conjunto de clases colaterales de N en G. Escribamos las clases colaterales como clases colaterales
izquierdas, y definamos (aN )(bN ) = (ab)N . Tenemos que comprobar:
i Esta bien definida

ii Tiene una estructura de grupo en el conjunto de clases colaterales


Supongamos que aN = a 0 N y bN = b 0 N . Tenemos que mostrar que abN = a 0 b 0 N . Pero tenemos que
a = a 0 n y b = b 0 n 0 para algn n, n 0 N . Luego: ab = a 0 nb 0 n 0 = a 0 b 0 n 00 n 0 a 0 b 0 N y por lo tanto abN y
a 0 b 0 N tienen un elemento en comn y por lo tanto son iguales.
El conjunto no es vaco, la ley asociativa se cumple, la clases colateral N es la identidad, y a 1 N es la in-
versa de aN . As vemos que la funcin definida por g 7 g N es un homomorfismo con ncleo N .
Sea G un grupo, y N /G. La relacin dada por g 1 g 2 cuando g 1 g 21 N es una relacin de equivalencia.
Las clases de equivalencia son clases colaterales. La clase de equivalencia de g se nota por g N . Notemos
que podemos inducir un grupo mediante la operacin g 1 N g 2 N = (g 1 g 2 )N . La coleccin de todas las
clases colaterales las llamaremos grupo cociente de G con N y lo notaremos por G/N .
La identidad eG/N en el grupo cociente es la clase colateral trivial, N = eN de N . Y la inversa de g N es
g 1 N .
La funcin : G G/N definida por a 7 aN , es un homomorfismo sobreyectivo con ncleo N , dicha
funcin se llama homomorfismo natural. Tiene la propiedad de que para cualquier homomorfismo :
G G 0 tal que (N ) = 1, existe un nico homomorfismo : G/N G 0 que hace que el siguiente dia-
grama conmute:
G C / G/N
CC
CC
C
CC
! 
G0

2 Permutaciones y grupos simtricos


Es importante, para la teora que desarrollaremos mas adelante, que se tenga muy en claro el
concepto de permutaciones y el de un grupo simtrico en n letras. Una idea fundamental que se debe
tener es la de las permutaciones de un conjunto X . Una permutacin de un conjunto es una biyeccin

: X X

La primera pregunta que uno se hace es: Cuantas permutaciones existen en un conjunto X dado? Si X
tiene n (distintos) elementos, x 1 , . . . , x n , y : X X , entonces existen n formas distintas de elegir y 1 tal
que (x 1 ) = y 1 , y existen n 1 elecciones para (x 2 ) = y 2 , y as sucesivamente. Es decir que el numero de
permutaciones de un conjunto de n elementos es n!.
En el estudio de permutaciones de conjuntos, es conveniente trabajar con el conjunto

{1, 2, 3, . . . , n 2, n 1, n}

Ya que es fcil ver que cualquier conjunto de n elementos es igual (en el sentido que existe una biyeccin
entre ambos).
La notacin mas utilizada para escribir al grupo (sin importarnos demasiado que es un grupo) de per-
mutaciones de n elementos es S n . S n es tambin llamado el grupo simtrico en n elementos.
8 Permutaciones y grupos simtricos

NOTA No se debe confundir el nombre "grupo simtrico" con el "grupo de simetras" de un objeto ge-
omtrico. Puede pasar que un grupo de simetras sea un grupo simtrico, pero el punto es que pueden
diferir y se debe tener cuidado.

Una forma convencional de escribir las permutaciones de {1, 2, . . . , n} es:



1 2 3 ... n
=
(1) (2) (3) ... (n)

Por lo tanto, si cambiamos un poco la notacin, la permutacin



1 2 3 ... n
=
i1 i2 i3 . . . in

es aquella tal que (k) = i k . Es fcil ver que existe una permutacin trivial, es decir:

1 2 3 ... n
e=
1 2 3 ... n

Parece obvio que una permutacin puede ser aplicada luego de otra. Es decir si g , h son permutaciones,
escribimos
g h
para la permutacin que obtenemos aplicando h y luego g . Esta es la composicin o producto de dos
permutaciones. Es importante ver que en general:

g h 6= h g

Luego veremos ejemplos. En cualquier caso, esta notacin es comptabile con la idea de composicin de
funciones. Para 1 i n, por definicin

(g h)(i ) = g (h(i ))

Como consecuencia de la definicin de permutaciones como funciones (biyectivas) de un conjunto a si


mismo, que la composicin de permutaciones es asociativa, es decir: Para cualesquiera permutaciones
g , h, k de un conjunto, se cumple que:

(g h) k = g (h k)

De hecho, para cualquier elemento x de un conjunto, la definicin de composicin de permutaciones nos


da:

((g h) k)(x) = (g h)(k(x))


= g (h(k(x)))
= g ((h k)(x))
= (g (h k))(x)

Notemos que esto se sostiene en grupos infinitos.


Tambin tenemos que para cualquier permutacin g existe una permutacin inversa g 1 que revierte el
efecto de g , es decir g g 1 = g 1 g = Id, donde Id es la permutacin trivial.
Es comn que se omita el en casos de que no exista ambig"uedad, as

g h = gh
Introduccin 9

Veamos un ejemplo:
1 2 3 1 2 3

2 3 1 3 2 1
Notemos que la permutacin de la derecha es aplicada primero. As nos queda:

1 2 3 1 2 3 1 2 3
=
2 3 1 3 2 1 1 3 2

Podemos ver que:


1 2 3 1 2 3 1 2 3 1 2 3
= 6=
3 2 1 2 3 1 2 1 3 1 3 2
Este sencillo ejemplo nos muestra la no-conmutatividad de la multiplicacin (o composicin) de per-
mutaciones, es decir g h 6= hg en general.
Las permutaciones mas sencillas son los ciclos de longitud k. Un k-ciclo es una permutacin tal que
para algn subconjunto de un conjunto dado, digamos A = {i 1 , . . . , i k } se tiene

(i 1 ) = i 2 , (i 2 ) = i 3 , . . . , (i k ) = i k+1 , . . . , (i k ) = i 1

Y los elementos que no pertenecen a A quedan igual, es decir: ( j ) = j para todo j A. Para abreviar,
podemos usar la siguiente notacin para definir un k-ciclo:

(i 1 i 2 . . . i k1 i k )

Veamos un ejemplo:

1 2 3
= (1 2)
2 1 3

1 2 3
= (1 3)
3 2 1

1 2 3
= (1 2 3)
2 3 1

Estos son, en orden, dos 2-ciclos, y un 3-ciclo.


Es cierto que existe una cierta ambig"uedad con respecto a esta notacin, es decir, por ejemplo:

(1 2 3) = (2 3 1) = (3 1 2)

Generalmente, existe k formas diferentes de escribir un k-ciclo con esta notacin. As mismo es fcil de
ver que:
Si g es un k-ciclo, entonces g k = Id, lo cual quiere decir que aplicar g a un conjunto k veces, es lo mismo
que aplicar la permutacin identidad o dejarlo igual.
Ahora, vamos a estudiar como interactan los ciclos con otros. La respuesta no es satisfactoria, pero por
si g = (i 1 . . . i k ) y h = ( j i . . . j l ) son un k-ciclo, y un l -ciclo, respectivamente, con listas disjuntas ( ie:
{i 1 , . . . , i k } y j 1 , . . . , j l ) interactan de forma interesante, ya que conmutan, es decir g h = hg . Estos ciclos
se llaman ciclos disjuntos. Y con esta idea, tenemos un resultado importante:
Cualquier permutacin puede ser escrita como el producto de ciclos disjuntos. A esto lo llamamos de-
scomposicin en ciclos disjuntos. Conociendo la descomposicin en ciclos disjuntos de una permutacin
g es la forma mas cercana para entender la naturaleza de g . Por suerte, esta descomposicin puede ser
determinada efectivamente y sistemticamente. Por ejemplo, consideremos:

1 2 3 4 5 6 7
g=
4 3 2 5 7 6 1
10 Permutaciones y grupos simtricos

Podemos trazar el camino de los elementos bajo repetidas aplicaciones de g . Veamos que le pasa al 1 si
repetimos la aplicacin de g . Primero, 1 4 y luego 4 5, y luego 5 7, finalmente 7 1, y como
hemos vuelto al 1 hemos terminado el ciclo, es decir (1 4 5 7). Ahora, nos enfocamos en algn numero que
no haya ocurrido en este ciclo, por ejemplo el 2. Primero 2 3, y luego 3 2, y tenemos otro ciclo:
(2 3). El unido numero que no ha aparecido en ninguno de estos ciclos es el 6 el cual es fijo por g . Luego,
tenemos la descomposicin en ciclos disjuntos:

1 2 3 4 5 6 7
g= = (1 4 5 7)(2 3) = (2 3)(1 4 5 7)
4 3 2 5 7 6 1
Esta descomposicin nos dice cuantas veces una permutacin debe ser aplicada para que g = e. Ese
numero es el mnimo comn mltiplo de las longitudes de los ciclos disjuntos.
El orden de una permutacin es el numero de veces que se debe aplicar una permutacin a un conjunto
para que la misma no tenga efecto.
Veamos un ejemplo. Examinemos todos los elementos de S 7 , y determinemos su estructura.
Primero, contemos los 7-ciclos I (i 1 . . . i 7 ): Existen 7 formas de elegir i 1 , 6 formas de elegir i 2 , y as. Pero
hay 7 formas diferentes de escribir cada 7 ciclo, entonces hay 7!/7, 7-ciclos distintos.
Luego, los 6-ciclos (i 1 . . . i 6 ): Existen 7 formas de elegir i 1 , 6 formas de elegir i 2 , . . ., 2 formas de elegir i 6 ,
pero existen 6 formas diferentes de escribir un 6-ciclo, entonces hay 7!/6 distintos 6-ciclos.
Luego, los 5-ciclos, (i 1 . . . i 5 ) como existen 3 formas de elegir i 5 , y hay 5 formas diferentes de escribir cada
5 ciclo, obtenemos que hay 7!/2!5 distintos 5 ciclos.
Para variar, contemos el numero de permutaciones que pueden ser escritas como el producto de un 5-
ciclo y un 2-ciclo. Hemos visto que hay 7!/2!5 distintos 5-ciclos. Pero cada eleccin de un 5-ciclo nos deja
solo una eleccin para el 2-ciclo que sea disjunto, entonces hay 7!/2!5 distintos productos de un 5-ciclo
y un 2-ciclo. Y hemos notado que el orden de un producto dos ciclos disjuntos es mcm(k, l ) que en este
caso mcm(5, 2) = 10. As, existen 7!/3!4 distintos 4-ciclos. Existen 7!/3!43!/2 elecciones de 4-ciclos y 2-
ciclos disjuntas. Y el orden del producto es de mcm(2, 4) = 4.Y as continuamos.
El numero de 3-ciclos, 2-ciclos y 2-ciclos disjuntos, es un poco mas engaoso de determinar, dado que
hay 2 formas de escribir un 2-ciclo, tenemos que hay:
7! 4! 2! 1
4!3 2!2 0!2 2!
Vemos que el orden de dicha permutacin es mcm(2, 2, 3) = 6. El numero de pares de 3-ciclos y 3-ciclos
7! 4! 1
disjuntos es similar: hay 2 3-ciclos iguales, por lo tanto hay . El orden de dicha permutacin es
4!3 1!3 2!
mcm(3, 3, 1) = 3. Vemos que hay 7!/5!2 2-ciclos distintos, cada uno de orden 2. Hay 7!/5!25!/3!21/2! pares
de 2-ciclos disjuntos.Finalmente hay:
7! 5! 3! 1
5!2 3!2 1!2 3!
triples de 2-ciclos disjuntos, donde la ultima divisin por 3! esta hecha para considerar los posibles orde-
namientos de tres 2-ciclos. As tenemos que mcm(2, 2, 2) = 2.
Veamos un ejemplo un poco mas extremo. Contemos el numero de productos disjuntos de tres 2-ciclos y
tres 5-ciclos en S 2 4. Por lo anterior, es
24! 22! 1 18! 13! 8! 1

22!2 20!2 3! 13!5 8!5 3!5 3!
As podemos dividir cualquier permutacin como el producto de 2-ciclos (generalmente no disjuntos). El
procedimiento es como se presenta a continuacin:
Primero, escribimos la permutacin como el producto de ciclos. Esto reduce el problema a escribir los
ciclos como el producto de 2-ciclos, y no es difcil ver que:
(i 1 i 2 . . . i k ) = (i 1 i 2 )(i 2 i 3 ) . . . (i k1 i k )
Introduccin 11

Es decir, un k-ciclo es el producto de k 1 2-ciclos (no disjuntos).


De esto vemos lo siguiente: Sea una permutacin. El numero n de 2-ciclos necesarios par expresar a
como el producto de n 2-ciclos no es nico, pero n modulo 2 si lo es.
Una permutacin que se pueda escribir como el producto de un numero impar de 2-ciclos se llama per-
mutacin impar. De forma anloga, una permutacin que pueda ser escrita como el producto de un
numero par de 2-ciclos se llama permutacin par
La coleccin A n de todas las permutaciones pares en el grupo simtrico S n se llama grupo alterno en n
elementos. Ntese que el producto o composicin de dos permutaciones pares es par.

TEOREMA 2.1. El producto de dos permutaciones o bien es par o bien es impar.

DEM Sea: Y
P (x 1 , . . . , x n ) = (x i x j )
i<j

un polinomio. Por ejemplo:

P (x 1 , x 2 , x 3 , x 4 ) = (x 1 x 2 )(x 1 x 3 )(x 1 x 4 )(x 2 x 3 )(x 2 x 4 )(x 3 x 4 )

As mismo, si es una permutacin de sobre el conjunto {1, 2, . . . , n} definimos la funcin

si es par

+1
sgn() =
1 si es impar

As, tenemos que:


P (x (1) , x (2) , . . . , x (n) )
sgn() =
P (x 1 , x 2 , . . . , x n )
Dado que el polinomio P (x (1) , x (2) , . . . , x (n) ) tiene los mismos factores que P (x 1 , . . . , x n ) excepto por los
signos, vemos que sgn() es o bien +1, o bien 1. Mas aun, si y son dos permutaciones, vemos que:

P (x ((1)) , x ((2)) , . . . , x ((n)) )


sgn() =
P (x 1 , x 2 , . . . , x n )
P (x (1) , x (2) , . . . , x (n) ) P (x (1) , x (2) , . . . , x (n) )
=
P (x 1 , x 2 , . . . , x n ) P (x 1 , x 2 , . . . , x n )
= sgn() sgn()

3 Cuerpos
Un cuerpo F es un conjunto que, con las operaciones de adicin y multiplicacin, forma un
grupo Abeliano, y sus elementos distintos de cero, forman un grupo multiplicativo, respectivamente.
Adems, las leyes distributivas se sostienen. Es comn, como en el caso de los grupos, definir un cuerpo
como (F, , +) donde F es un conjunto no-vaco y +, : F F F . El par (F, +) es un grupo Abeliano,
(F \ {0} , ) es un grupo multiplicativo, y las leyes distributivas se sostienen. Si notamos por z al elemento
identidad con respecto a la adicin, y a e el elemento identidad con respecto al producto, para excluir al
cuerpo trivial, diremos que es necesario que 0 6= 1.
En muchas literaturas, se definen a los cuerpos como conmutativos, es decir que el grupo (F \ {0} , ) sea
Abeliano. Nosotros trabajaremos con cuerpos conmutativos en su mayora, pero hay que hacer un espe-
cial incapie en los cuerpos que no lo son. Podemos citar, explcitamente los llamados axiomas de cuerpo
12 lgebra Lineal

i a + b F y a b F , para todo a, b F

ii a (b c) = (a b) c y a + (b + c) = (a + b) + c, para todo a, b, c F

iii a + b = b + a, para todo a, b F

iv a (b + c) = (a b) + (b c), para todo a, b, c F ,

v Existe e F tal que a F , e a = a e = a

vi Existe z F , tal que a F , z + a = a + z = a

vii Para cada a F , existe un a 1 F , tal que a a 1 = e

viii Para cada a F , existe un a F , tal que a + (a) = z

Ntese que si trabajsemos sobre cuerpos conmutativos, las propiedades (3) y (4) deberan definirse
anlogamente para la multiplicacin.
n
z }| {
Si F es un cuerpo, y existe un entero positivo n tal que 1 + 1 + ... + 1 = 0, y n es el menor posible, entonces
diremos que la caracterstica de F es n. Es importante destacar que los cuerpos infinitos (con un infinito
numero de elementos) no tiene caracterstica cero como la definicin sugiere. De hecho si F es un cuerpo
con caracterstica finita, podemos definir el anillo de todos los polinomios con coeficientes en F , y este
es un dominio de integridad (ie dominio entero). As, podemos construir un cociente de cuerpos F /F [x] ,
es decir el cuerpo de los polinomios racionales. Este cuerpo, si bien tiene caracterstica finita, tiene un
infinito numero de elementos. Este ejemplo no es necesario que se comprenda, pero es importante que
se muestren ejemplos de este estilo para resaltar un concepto.

4 lgebra Lineal
4.1 Espacios Vectoriales
Si (V, +) es un grupo Abeliano, donde V = {u, v, w, . . .}, y F es un cuerpo con elementos a, b, . . . y
si para todo a F y v V se tiene que el producto av es un elemento de V , entonces diremos que V es un
espacio vectorial izquierdo de F , si las siguientes condiciones se sostienen

i a(u + v) = au + av

ii (a + b)v = av + bv

iii a(bv) = (ab)v

iv 1F v = v

Se puede verificar sencillamente que si V es un espacio vectorial izquierdo sobre F , entonces 0F v = 0V , y


0V = 0V , donde 0F es el elemento identidad con respecto a la adicin en F , y 0V es el vector cero de V .
A veces, el producto entre elementos de F y V se escriben de la forma v, en tal caso V se llama un espacio
vectorial derecho sobre F . En lo siguiente nos referiremos a V es un espacio vectorial sobre F . Antes de
continuar vamos a describir explcitamente un espacio vectorial, como lo hemos hecho con los cuerpos.
Sea F un cuerpo, y sea V un espacio vectorial sobre F , entonces

i (u + v) + w = u + (v + w) para todo u, v, w V

ii u + v = v + u, para todo u, v V
Introduccin 13

iii Existe un elemento 0V V tal que u + 0V = u, para todo u V

iv Para cada u V , existe un elemento v V tal que u + v = 0V

v a (b u) = (a b) u para todo a, b F y u V

vi 1 u = u para todo u V

vii a (u + v) = (a u) + (a v) para todo a F y u, v V

viii (a + b) u = (a u) + (b u) para todo a, b F y u V

4.2 Ecuaciones lineales Homogneas


En un cuerpo F , a i j , i = 1, 2, . . . , m, j = 1, 2, . . . , n, son m n elementos. Frecuentemente es nece-
sario saber que condiciones garantizan la existencia de elementos en F tal que las siguientes ecuaciones
se satisfagan
a 11 x 1 + a 12 x 2 + . . . +a 1n x n = 0F
a 21 x 1 + a 22 x 2 + . . . +a 2n x n = 0F
.. .. .. (1.1)
. . .
a m1 x 1 + a m2 + . . . +a mn x n = 0F

Dichas ecuaciones, se llaman ecuaciones lineales homogneas, y el conjunto de elementos, {x 1 , x 2 , . . . , x n }


de F , para los cuales todas las ecuaciones son ciertas, se llama solucin. Si no todos los elementos
x 1 , x 2 , . . . , x n son 0, la solucin se dice no-trivial, en caso contrario se llama trivial.

TEOREMA 4.1. Un sistema de ecuaciones lineales homogneas tienen una solucin no trivial si el numero
de incgnitas excede al numero de ecuaciones

DEM Si no existen ecuaciones en n > 0 variables, entonces nuestras incgnitas no tienen restricciones
alguna, y podemos dejar que sean todas 1.
Ahora, procederemos por induccin. Supongamos que cada sistema de k ecuaciones con mas de k incg-
nitas tiene una solucin no trivial, cuando k < m. En el sistema de ecuaciones (1.1) asumimos que n > m,
y dejemos que
L i = a i 1 x 1 + a + i nx 2 + . . . + a i n x n , i = 1, 2, . . . , m

Estamos intentando encontrar elementos x 1 , x 2 , . . . , x n no todos 0 tal que L 1 = L 2 = . . . = L m = 0. Si a i j = 0,


para todo i , j , entonces, cualquier eleccin de x i s es una solucin. Si no todos los a i j son cero, entonces
podemos asumir que a 11 6= 0, ya que el orden de las ecuaciones o la indexacin de las incgnitas no tiene
influencia alguna en la existencia o no de la solucin. Podemos encontrar una solucin no trivial a nuestro
sistema de ecuaciones, si y solo si podemos encontrar una solucin no trivial al sistema:

L1 =0
1
L 2 a 21 a 11 L1 =0
1
L 3 a 31 a 11 L 1 =0
..
.
1
L m a m1 a 11 L1 =0

Si x 1 , . . . , x n es una solucin al sistema anterior entonces, dado que L 1 = 0, el segundo termino en cada
una de las ecuaciones anteriores es 0 y por lo tanto L 2 = L 3 = . . . = L m = 0. Por otro lado, si (1.1) es
14 lgebra Lineal

satisfecha, entonces el nuevo sistema esta satisfecho. Si una solucin no-trivial al sistema anterior de
m 1 ecuaciones, cuando se considera como ecuaciones en x 2 , . . . , x n , existe entonces tomando
1
x 1 = a 11 (a 12 x 2 + a 13 x 3 + . . . + a 1n x n )

nos dara una soluciona no trivial al sistema entero. Sin embargo, las ultimas m 1 ecuaciones tienen
solucin por nuestra hiptesis inductiva, y as el teorema queda demostrado

4.3 Vectores
En un espacio vectorial V sobre F , los vectores v1 , . . . , vn se dicen vectores dependientes si existen
elementos x 1 , . . . , x n no todos 0, de F , tal que

x 1 v1 + x 2 v2 + . . . + x n vn = 0V

Si los vectores v1 , . . . , vn no son dependientes, entonces se dirn vectores independientes.


La dimensin de un espacio vectorial V sobre un cuerpo F es el mximo numero de elementos indepen-
dientes de V . As, la dimensin de V es n si existen n elementos independientes en V , pero no hay un
conjunto de mas de n elementos independientes.
Un sistema v1 , . . . , vm de elementos de V se llama un conjunto generador de V si todo elemento v V ,
puede ser expresado en trminos de v1 , . . . , vm , es decir
m
X
a i vi , ai F
i =1

Es fcil ver que como un espacio vectorial es un grupo, entonces tiene sentido referirnos al conjunto
generador con el mismo significado que el conjunto generador de un grupo.
TEOREMA 4.2. En cualquier conjunto generador el mximo numero de vectores independientes es igual a
la dimensin del espacio vectorial

DEM Sea v1 , . . . , vm un conjunto generador del espacio vectorial V de dimensin n. Sea r el mximo
numero de elementos independientes en el conjunto generador. Podemos asumir, luego de alguna per-
mutacin de los ndices, que v1 , . . . , vr son independientes. Por la definicin de dimensin tenemos que
r n. Para todo j , tenemos que v1 , . . . , vr , . . . , vr + j son dependientes, y en la relacin

a 1 v1 + a 2 v2 + . . . + a r vr + . . . + a r j vr j = 0

tenemos que a r + j 6= 0, ya que si este fuera el caso, v1 , . . . , vr serian dependientes. Luego tenemos que

vr + j = a r1
+ j a 1 v1 + a 2 v2 + . . . + a r vr + . . .

De esto, tenemos que v1 , . . . , vr es tambin un conjunto generador ya que en la relacin lineal para cualquier
elemento de V los trminos que involucran a vr + j con j 6= 0, pueden ser reemplazadas por expresiones
lineales en v1 , . . . , vr .
Ahora, sean w1 , w2 , . . . , wt un sistema de vectores en V , donde t > r . Existen a i j tal que
r
X
wj = a i j vi , j = 1, 2, . . . , t
i =1

ya que los vectores v i s forman un conjunto generador. Si podemos mostrar que w1 , . . . , wt son dependi-
entes, entonces tendremos que r n, y as, r = n.
Ahora tenemos que mostrar una solucin no trivial en F para la ecuacin

x 1 w1 + x 2 w2 + . . . + x t wt = 0V
Introduccin 15

Es suficiente elegir las incgnitas x i s de forman que satisfagan las ecuaciones lineales

t
X
x j a i j = 0F , i = 1, 2, . . . , r
j =1

dado que estas expresiones van a ser coeficientes de vi cuando en

t
X
x j wj
j =1

P P
los vectores w j s son remplazados por i r a i j vi . Una solucin a las ecuaciones j t a i j x i = 0F , para
i = 1, . . . , r , siempre existe por el teorema (4.1)

Es importante notar que cualquieras n vectores v1 , . . . , vn independientes en un espacio vectorial de di-


mensin n forman un conjunto generador. Para cualquier vector v, los vectores v, v1 , . . . , vn son dependi-
entes y el coeficiente de v en la relacin de dependencia no puede ser 0. Resolviendo para v en trminos
de v1 , . . . , vn , tenemos que v1 , . . . , vn es un conjunto generador.
Un subconjunto W de un espacio vectorial V sobre F , se llama subespacio si es un subgrupo del espacio
vectorial y adems, para todo w W , y para todo a F , tenemos que (a w) W .
Si v1 , v2 , . . . , vs son elementos del espacio vectorial V , entonces el conjunto de todos los elementos de la
forma a 1 v1 + a 2 v2 + . . . + a s vs forma un subespacio de V . Es tambin evidente, por la definicin de la di-
mensin, que la dimensin de cualquier subespacio nunca excede la dimensin del espacio vectorial, es
decir Dim(W ) Dim(V ).
Una s-tupla de elementos (a 1 , . . . , a n ) en un cuerpo F se dir un vector fila. La totalidad de dichas s-tuplas
forman un espacio vectorial si definimos

i (a 1 , a 2 , . . . , a s ) = (b 1 , b 2 , . . . , b s ) si y solo si a i = b i , para i = 1, . . . , s

ii (a 1 , a 2 , . . . , a s ) + (b 1 , b 2 . . . , b s ) = (a 1 + b 1 .a 2 + b 2 , . . . , a s + b s )

iii Si c F , entonces c(a 1 , a 2 , . . . , a s ) = (c a 1 , c a 2 , . . . , c a s )

Cuando las s-tuplas son escritas verticalmente, las llamaremos vectores columnas,

a1

..
.
as

TEOREMA 4.3. El espacio vectorial de filas (columnas) F n de todas las n-tuplas de un cuerpo F es un
espacio vectorial de dimensin n sobre F

DEM Los n elementos


v1 = (1, 0, 0, . . . , 0)
v2 = (0, 1, 0, . . . , 0)
..
.
vn = (0, 0, 0, . . . , 1)

son independientes y generan a F n .


16 lgebra Lineal

Llamaremos a un arreglo rectangular,



a 11 a 12 ... a 1n
a a 22 ... a 2n
21
. .. ..
. ..
. . . .

a m1 a m2 ... a mn

de elementos de un cuerpo F , una matriz. Por el rango fila derecho (rango columna derecho) de una ma-
triz, nos referiremos al mximo numero de filas (columnas) que son linealmente independientes, cuando
la multiplicacin por un elemento c de un cuerpo es por derecha. De forma anloga, se define el rango
fila (columna) izquierdo.
Es decir, si consideramos el espacio vectorial de las filas (a i 1 , . . . , a i n ), es necesario mostrar que la relacin:
X
x i vi
i

donde vi recorre todas las filas, es linealmente independiente. Como hemos dicho que los cuerpos no son
conmutativos, dicha relacin puede existir por izquierda y no por derecha, ya que x i vi 6= vi x i en general.
TEOREMA 4.4. En cualquier matriz el rango columna derecho, es igual al rango fila izquierdo, y el rango
columna izquierda es igual al rango fila derecho. Si el cuerpo es conmutativo entonces estos cuatro son
iguales.

DEM Dejemos que C 1 , . . . ,C n sean los vectores columnas de la matriz, y R 1 , . . . , R n los vectores filas. El
vector columna 0V es
0F
0
F
.
.
.
0F
y cualquier dependencia C 1 x 1 + C 2 x 2 + . . . + C n x n = 0 es equivalente a encontrar una solucin a las ecua-
ciones
a 11 x 1 + a 12 x 2 + . . . +a 1n x n = 0F
a 21 x 1 + a 22 x 2 + . . . +a 2n x n = 0F
.. .. .. (1.2)
. . .
a m1 x 1 + a m2 + . . . +a mn x n = 0F
Cualquier cambio en el orden en el cual las filas de la matriz estn escritas nos da a lugar al mismo sis-
tema de ecuaciones, y por lo tanto, no cambia el rango columna de la matriz. As mismo, no cambia el
rango columna dado que la nueva matriz tiene el mismo conjunto de vectores filas. Llamemos c al rango
columna derecho, y r al rango fila izquierdo de la matriz. Por los comentarios anteriores podemos asumir
que las primeras r filas son vectores filas independientes. El espacio vectorial de filas generado por todas
las filas de la matriz tiene dimensin r y es tambin generado por las primeras r filas. Luego, cada fila que
siga a la r -esima, se puede expresar en termino de las primeras r filas. Por consiguiente, cualquier solu-
cin a las primeras r ecuaciones en (1.2) va a ser una solucin al sistema completo dado que cualquier de
las ultimas n r ecuaciones se puede obtener como una combinacin lineal de las primeras r . As mismo,
cualquier solucin a (1.2) sera una solucin a las primeras r ecuaciones. Esto implica que la matriz

a 11 a 12 . . . a 1n
a
21 a 22 . . . a 2n

.
. .. .. .. (1.3)
. . . .

ar 1 ar 2 ... ar n
Introduccin 17

que consiste de las primeras r filas de la matriz original, tiene el mismo rango columna derecho que la
original. Tambin tiene el mismo rango fila izquierdo que la original dado que las r filas fueron elegidas
independientemente. Pero el rango columna de la matriz (1.3) no puede ser mayor que r por el teorema
anterior (4.3). Luego, c r . De forma similar, dejando que c 0 sea el rango columna izquierdo, y r el rango
fila derecho, tenemos que c 0 r 0 .
Si transponemos la matriz original, es decir cambiamos las filas por las columnas y las columnas por filas,
entonces el rango fila derecho de la matriz transpuesta es igual al rango columna izquierdo de la matriz
original. Luego, tenemos que r c, y r 0 c, y as r = c, y r 0 = c 0

4.4 Ecuaciones lineales no-homogneas


El sistema de ecuaciones lineales no homogneas

a 11 x 1 + a 12 x 2 + ... +a 1n x n = s1
a 21 x 1 + a 22 x 2 + ... +a 2n x n = s2
.. .. .. .. (1.4)
. . . .
a m1 x 1 + a m2 x 2 + ... +a mn x n = sm

tiene una solucin, si y solo si


s1 a11 a 1n

.. .. ..
. . ... .
sm a m1 a mn

Esto quiere decir que existe una solucin si y solo si, el rango columna derecho de la matriz

a 11 a 12 ... a 1n
a a 22 ... a 2n
21
.
. .. .. .. (1.5)
. . . .

a m1 a m2 ... a mn

es igual al rango columna derecho de la matriz



a 11 a 12 ... a 1n s1
a a 22 ... a 2n s2
21
.
. .. .. .. .. (1.6)
. . . . .

a m1 a m2 ... a mn sm

dado que el espacio vectorial generado por la matriz original debe ser el igual al espacio vectorial gener-
ado por la matriz (1.6), y en cualquier caso, ambas dimensiones son iguales.
Por el teorema (4.4), esto implica que los rangos filas son iguales. Por otro lado, si el rango fila de la matriz
(1.6) es igual al de la matriz original, entonces los rangos columnas son iguales, y las ecuaciones tienen
solucin.
Si las ecuaciones (1.4) tienen solucin, entonces cualquier relaciones entre las filas de la matriz original
se sostiene sobre todas las filas de la matriz (1.6). Dadas las ecuaciones (1.4) esto implica que las combi-
naciones de iguales, son iguales. Por otro lado, si cada relacin que se sostiene entre las filas de ambas
matrices, entonces el rango fila de la matriz (1.6) debe ser el mismo al rango fila de la matriz original.
18 lgebra Lineal

TEOREMA 4.5. Si en la ecuacin (1.4) m = n, entonces existe una solucin si y solo si el sistema de ecua-
ciones homogneas
a 11 x 1 + a 12 x 2 + . . . +a 1n x n = 0F
a 21 x 1 + a 22 x 2 + . . . +a 2n x n = 0F
.. .. . ..
. . .. .
a n1 x 1 + a m2 x 2 + . . . +a nn x n = 0F
tiene una sola solucin, la trivial.
Capitulo 2

Teora de Galois

1 Cuerpos de extensin
Si E es un cuerpo y F es un subconjunto de E , el cual con las operaciones de adicin y multi-
plicacin definidas en F , forma un cuerpo, diremos que E es una extensin de F . Si E es una extensin
de F lo notaremos por F E . Si , , , . . . son elementos de E , entonces por F (, , , . . .) nos estamos
refiriendo al conjunto de elementos en E que pueden ser expresadas como cocientes de polinomios en
, , , . . . con coeficientes en F . Es fcil ver que F (, , , . . .) es un cuerpo, y es la menor extensin de F
la cual contiene a los elementos , , , . . .. Diremos que F (, , , . . .) el cuerpo obtenido despus de ad-
juntar (aadir) los elementos , , , . . . a F , o el cuerpo generado de F por los elementos , , , . . .. Vamos
a considerar a todos los cuerpos como conmutativos, es decir no que no trabajaremos con cuerpos de
divisin.
Si F E , entonces si obviamos la operacin de multiplicacin definida en los elementos de E podemos
considerar a E como un espacio vectorial sobre F . Por el grado de E sobre F , comnmente notado por
[E : F ], nos referimos la dimensin del espacio vectorial E sobre F . Si [E : F ] es finito, entonces E se dice
que es una extensin finita de F .

TEOREMA 1.1. Si F, B, E son tres cuerpos tales que F B E , entonces

[E : F ] = [B : F ] [E : B ]

DEM Sean v1 , v2 , v3 , . . . , vr elementos de E que son linealmente independientes con respecto a B y w1 , w2 ,


. . . , ws elementos de B que son linealmente independientes con respecto a F . Los productos wi v j donde
i = 1, 2, . . . , s y j = 1, 2, . . . , r son elementos de E los cuales son independientes con respecto a F . Si no fuera
P
el caso, entonces i , j a i j wi v j = 0, y por lo tanto
!
X X
a i j wi v j
i j

seria una combinacin lineal de los vectores v j con coeficientes en B y como v j son independientes con
P
respecto a B tenemos que i a i j wi = 0 para todo j . La independencia de wi con respecto a F requiere que
cada a i j = 0. Dado que hay r s elementos vi w j , hemos mostrado que para cada r [E : B ] y s [B : F ] el
grado [E : F ] r s. Por lo tanto tenemos que [E : F ] [B : F ] [E : B ]. Si tenemos que algn grado es infinito,
entonces no hay nada mas que probar.
Si ambos, [E : B ] y [B : F ] son finitos, de grados r y s respectivamente, podemos suponer que v j y wi son
sistemas generadores de E y B respectivamente, y hemos mostrado que el conjunto de productos wi v j es

19
20 Polinomios

un sistema generador de E sobre F . Todo v E , puede ser expresado linealmente en trminos de v j con
P
coeficientes en B . Luego, si u j B , tenemos que v = u j v j . Mas aun, cada u j siendo un elemento de B
puede ser expresado linealmente con coeficientes en F en trminos de wi , es decir,
X
u j = a i j wi , j = 1, 2, . . . , r
i
P
Luego, A = i,j a i j wi v j y los wi v j forman un sistema generador de E sobre F

COROLARIO 1.2. Si F F 1 F 2 . . . F n , entonces

[F n : F ] = [F 1 : F ] [F 2 : F 1 ] . . . [F n : F n1 ]

2 Polinomios
Una expresin de la forma a 0 + a 1 x + a 2 x 2 + . . . + a n x n se llama polinomio en F de grado n si los
coeficientes a 0 , . . . , a n son elementos del cuerpo F y a n 6= 0.
Un polinomio en F se dice reducible en F si es igual al producto de dos polinomios en F , de grados may-
ores o iguales a uno. Los polinomios que no son reducibles en F se llaman polinomios irreducibles en F .
Si f (x) = g (x) h(x) es una relacin que se sostiene entre los polinomios f (x), g (x) y h(x) en el cuerpo F ,
entonces podemos decir que g (x) divide a f (x) en F , o que g (x) es un factor de f (x). Es fcil ver que el
grado de f (x) es la suma de los grados de g (x) y h(x), por lo tanto si g (x) y h(x) no son constantes entonces
cada uno tiene grado menor a f (x). De esto vemos que siempre se puede representar un polinomio como
el producto de polinomios irreducibles en F .
Para dos polinomios cualesquiera, f (x) y g (x), el algoritmo de la divisin se sostiene, es decir, f (x) =
q(x) g (x) + r (x) donde q(x) y r (x) son polinomios nicos en F y el grado de r (x) es menor que el grado
de g (x) (ie 0 deg(r (x)) < deg(q(x))).
Podemos ver que r (x) esta determinado de forma nica, y que f (x) r (x) es divisible por g (x). Llamare-
mos a r (x) es el resto de f (x). As mismo, de la forma usual, se puede mostrar que si es una raz del
polinomio f (x) en F , entonces (x ) es un factor de f (x) y como consecuencia de esto, es que un poli-
nomio en un cuerpo no puede tener mas races que su grado.
Antes de proseguir, vamos a ver un criterio, el llamado Criterio de irreductibilidad de Eisenstein que nos
permite determinar cuando un polinomio es irreducible sobre un determinado cuerpo, al menos en su
forma elemental, el teorema dice
TEOREMA 2.1 (Criterio de Irreductibilidad de Eisenstein). Sea f un polinomio sobre un cuerpo F ,

f (x) = a 0 + a 1 x + a 2 x 2 + . . . + a n x n

Sea p F un elemento primo, tal que

p | am 0 m n 1
p2 - a0
p - an
entonces f es irreducible.

DEM Supongamos que


f = (b 0 + . . . + b s x s )(c 0 + . . . + c t x t )
donde s > 0 y t > 0. Dado que a 0 = b 0 c 0 , sabemos que p divide a uno, pero no a ambos elementos b 0 y c 0 ;
dejemos que p | c 0 . Por la hiptesis, p no divide a todos los c m . Sea k el menor indicie para el cual p - c k .
tenemos que
a k = b 0 c k + b 1 c k1 + . . . + b k c 0
Teora de Galois 21

As mismo, p | a k , y p divide a todos los sumandos excepto el de mas a la derecha, lo cual nos lleva a una
contradiccin.

LEMA 2.2. Si f (x) es un polinomio irreducible de grado n en F , entonces no existen dos polinomios de
grados menor que n en F cuyo producto es divisible por f (x).

DEM Supongamos lo contrario, es decir que g (x) y h(x) son polinomios de grados menores que n y cuyo
producto es divisible por f (x).
Sobre todos los polinomios que satisfacen esto, podemos suponer que g (x) tiene el menor grado. En-
tonces como f (x) es un factor de g (x) h(x), existe un polinomio k(x) tal que

k(x) f (x) = g (x)h(x)

Por el algoritmo de la divisin, tenemos que

f (x) = q(x)g (x) + r (x)

donde el grado de r (x) es menor que el grado de g (x) y r (x) 6= 0, dado que f (x) es irreducible. Multipli-
cando obtenemos por h(x) y transponiendo, tenemos que

r (x)h(x) = f (x)h(x) q(x)g (x)h(x) = f (x)h(x) q(x)k(x) f (x)

Luego, tenemos que r (x)h(x) es divisible por f (x), y como el grado de r (x) es menor al de g (x) esto con-
tradice la eleccin de g (x) y el lema queda demostrado.

Como hemos visto, muchos teoremas del lgebra elemental se sostienen en cualquier cuerpo F . Sin em-
bargo, el llamado Teorema Fundamental del lgebra, al menos en su forma tradicional, no se sostiene en
cuerpos arbitrarios. El mismo sera reemplazado por un teorema de Kronecker el cual garantiza para un
polinomio dado en un cuerpo F la existencia de un cuerpo de extensin en el cual el polinomio tiene
una raz. Mostraremos que en un cuerpo dado, un polinomio no solo puede ser factorizado en factores
irreducibles, sino que esta factorizacin es nica salvo por un factor constante. La unicidad depende del
teorema de Kronecker.

3 Elementos Algebraicos
A continuacin introduciremos un poco de teora sobre cuerpos algebraicos, que servir para
completar nuestros estudios. Sea F un cuerpo y E un cuerpo de extensin de F . Si es un elemento de
E nos podemos preguntar si existen polinomios con coeficientes en F que tienen a como raz. Diremos
que es un elemento algebraico en F si existe al menos un polinomio que tenga a como raz. Como
caso particular, podemos nombrar a los enteros algebraicos que son los nmeros K , donde K es una
extensin de Q, que son las races de un polinomio con coeficientes en Z.
Supongamos que es algebraico sobre F , y consideremos todos los polinomios sobre F para los cuales
es una raz. Sea p(x) uno de los de menor grado. Dado que siempre podemos dividir el coeficiente lder,
tenemos que p(x) es monico. Luego, p(x) se llama polinomio mnimo para sobre F . Es fcil ver que p(x)
es irreducible, ya que si no fuera el caso satisfacera a un polinomio de menor grado.

TEOREMA 3.1. Si es algebraico sobre F entonces tiene un nico polinomio mnimo


22 Elementos Algebraicos

DEM Sea p(x) el polinomio mnimo, y q(x) otro polinomio al cual satisface. Entonces

q(x) = g (x)p(x) + r (x)

donde el grado de r (x) es menor al grado de p(x). Sea x = . Como p() = q() = 0, vemos que r () =
0. Luego p(x)|q(x). Luego, si q(x) fuera otro polinomio mnimo para sobre F , el mismo argumento
muestra que q(x)|p(x), y as p(x) = q(x), y luego como ambos son mnicos, tenemos que p(x) = q(x),
como queramos mostrar

Hemos probado tambin que

COROLARIO 3.2. Cualquier polinomio que esta satisfecho por sobre F contiene al polinomio mnimo
como factor.

Ahora mostraremos un ultimo, y fundamental teorema:

TEOREMA 3.3. Todos los nmeros algebraicos sobre un cuerpo F forman un cuerpo.

Vamos a responder algunas preguntas, como por ejemplo, la de si podemos escribir a todo ele-
mento de F () de forma nica,

= a 0 + a 1 + . . . + a n1 n1 = r ()

donde a i F , y n es el grado de sobre F . Dicha pregunta, tiene una respuesta afirmativa, ya que si
f ()
suponemos, como deberamos, que = g () , donde g () 6= 0, y dejamos que p(x) sea el polinomio mnimo
para sobre F . Entonces p(x) es irreducible, y p(x) - g (x), ya que si este no fuera el caso g () = 0. Ahora,
sabemos que existen polinomios s(x) y t (x) tales que s(x)p(x) + t (x)g (x) = 1. Sea x = . Como p() = 0,
1
vemos que = t (), y as
g ()
f ()
= = f ()t ()
g ()
es un polinomio en . Para simplificar la notacin escribiremos a como h().
Ahora, h(x) = q(x)p(x)+r (x), donde el grado de r (x) es menor al grado de p(x). Luego, dado que p() = 0,
tenemos que
= h() = r ()

Luego, es un polinomio en de grado menor a n. Ahora solo queda mostrar que r (x) es nico, lo cual
es verdaderamente trivial.
Si 1 , 2 , . . . , n , con n > 1 son nmeros algebraicos sobre F , el menor cuerpo K = F (1 , . . . , n ) que con-
tiene a F an y los i , entonces diremos que K es un extensin algebraica mltiple de F .
Vamos a mostrar el siguiente resultado, solo para complementar nuestro estudio:

TEOREMA 3.4. Una extensin algebraica mltiple de F es una extensin algebraica simple

DEM Es suficiente mostrar que F (, ) es una extensin simple, cuando y son algebraicos sobre F , es
decir, F (, ) = F () para algn algebraico sobre F .
Sean 1 , 2 , . . . , n y 1 , 2 , . . . , k , los conjugados de sobre F de y respectivamente. Podemos asumir
que = 1 y = 1 . Si k 6= 1, entonces k 6= , dado que los conjugados sobre F son distintos. Luego, para
todo i y todo k 6= 1, la ecuacin
i + xk = 1 + x1
Teora de Galois 23

tiene al menos una solucin para x en F . Dado que hay un numero finito de dichas ecuaciones, y por ello
un numero finito de soluciones x, podemos elegir un numero c 6= 0 en F diferentes de todas las soluciones
x. Entonces
i + ck 6= + c
para todo i y todo k 6= 1. Ahora, sea = + c. Vamos a mostrar que F () = F (, ), y esto va a demostrar
el teorema.
Por nuestro resultado anterior, vemos que todo elemento en F () pertenece a F (, ), ya que todo ele-
mento F (), puede ser escrito de la forma

a 0 + a 1 + . . . + a n1 n1 = a 0 + a 1 ( + ) + . . . + a n1 ( + c)n1

Ahora, tenemos que mostrar que todo elemento de F (, ) esta en F ()> Si , son elementos de F (),
entonces = r (), y = s(). Notemos que todo elemento de F (, ) es de la forma:

u(, ) u(r (), s())


=
v(, ) v(r (), s())

que es un elemento de F (t het a). Es suficiente mostrar que es un elemento de F (), si as lo fuera,
entonces = c tambin seria un elemento.
Sean f (x) y g (x) los polinomios mnimos para y respectivamente. Dado que f ( c) = f () = 0,
tenemos que satisface las ecuaciones g (x) = 0 y f ( c x) = 0. Entonces, g (x) y f ( c x) tienen una sola
raz en comn, es decir . Si n o fuera el caso, las races de g (x) son 1 , . . . , m y si f ( ci ) = 0, para
algn i 6= 1, entonces ci seria algn i , contrario a la eleccin de c.
Ahora, g (x) y f ( c x) son polinomios en x con coeficientes en F (), y tienen exactamente una raz en
comn. Sea h(x) el polinomio mnimo para sobre F (). Sabemos que h(x)|g (x) y h(x)| f ( c x) en F ().
Luego, h(x) no puede tener un grado mayor que el primero, sino g (x) y f ( c x) tendran mas de una raz
en comn (ie: factorizese h(x) en factores lineales irreducibles). Luego, h(x) = x + donde , F ().
Pero h() = 0, y as = / esta en F () y hemos terminado.

Dejemos que sea algebraico sobre F , y seleccionemos entre todos los polinomios que tienen a como
raz el de menor grado, digamos f (x). Podemos asumir que el mayor coeficientes de f (x) es 1. Afirmamos
que este polinomio esta determinado de forma nica, que es irreducible y que todo polinomio en F que
tenga a como raz, es divisible por f (x). Si, de hecho, g (x) es un polinomio en F con g () = 0, entonces
podemos dividir g (x) = f (x)q(x)+r (x) donde r (x) tiene un grado menor al de f (x). Si dejamos que x = ,
obtenemos que r () = 0. Ahora, r (x) tiene que ser exactamente 0 sino r (x) tendra a como raz, y esto
contradice la eleccin de f (x). Luego, g (x) es divisible por f (x). Esto tambin muestra la unicidad de
f (x). Si f (x) fuera reducible, uno de los factores, tendra que desaparecer cuando x = a, contradiciendo
nuevamente la eleccin de f (x).
Ahora vamos a considerar el subconjunto E 0 de los siguientes elementos E :

= g () = c n1 n1 + . . . + c 2 2 + c 1 + c 0

donde g (x) es un polinomio en F de grado menor a n, (ntese que n es el grado de f (x)). Este conjunto
E 0 es cerrado con respecto a la adicin y multiplicacin. Esto puede ser demostrado como sigue:
Si g (x) y h(x) son dos polinomios de grados menor que n podemos dejar que g (x)h(x) = q(x) f (x) + r (x),
y as tenemos g ()h() = r ().
Por ultimo podemos ver que las constantes c 0 , c 1 , . . . , c n1 estn determinadas de forma nica por el ele-
mento .
Hay que destacar que la estructura interna de conjunto E 0 no depende la naturaleza de sino que de-
pende del polinomio irreducible f (x). El conocimiento de este polinomio nos permite realizar las opera-
ciones de adicin y multiplicacin en el conjunto E 0 . Pronto veremos que E 0 es, de hecho, un cuerpo;
24 Elementos Algebraicos

mas aun, E 0 no es otra cosa sino el cuerpo F (). Cuando hayamos demostrado esto, veremos que el grado
de esta extensin, es decir [F () : F ], es n, ya que el espacio vectorial F () es generado por los elementos
1, , 2 , . . . , n1 , los cuales son linealmente independientes.
Ahora, vamos a tratar de imitar el conjunto E 0 sin tener el cuerpo de extensin E y un elemento a nuestra
disposicin. Podemos asumir solamente la existencia de un polinomio irreducible

f (x) = a 0 + a 1 x + . . . + a n1 x n1 + x n

Elegimos el smbolo , y dejamos que E 1 sea el conjunto de todos los polinomios de la forma

g () = c n1 n1 + . . . + c 1 + c 0

de grado menor que n. Este conjunto forma un grupo bajo la adicin.


Ahora introduciremos, adems de la multiplicacin ordinaria, una nueva forma de multiplicar dos ele-
mentos g () y h() de E 1 la cual denotaremos por como g ()h() (mod f ()), la cual esta definida como
el resto r () del producto ordinario g ()h() luego de dividir por f (). Dicho producto es ciertamente
anlogo al producto definido en la aritmtica modular.
Lo primero que debemos hacer notar, es que cualquier producto de m trminos g 1 (), g 2 (),. . . , g m () es
nuevamente el resto del producto ordinario g 1 ()g 2 () . . . g m (). Esto es cierto, por definicin, cuando
m = 2, y es fcil mostrarlo para todo m utilizando induccin si demostramos el siguiente lema: El resto del
producto de dos restos (de dos polinomios) es el resto del producto de estos dos polinomios. Tomemosnos
un minuto. Lo que el lema esta queriendo decirnos, es que si g () y h() son dos polinomios, y se tiene
que: g () g 0 () (mod f ()) y h() h 0 () (mod f ()), entonces

g () h() g 0 () h 0 () (mod f ())

Ahora, podemos continuar. Este hecho muestra que nuestro nuevo producto es asociativo y conmuta-
tivo, y tambin que el nuevo producto g 1 () g 2 () . . . g m () (mod f )() coincide con el producto ordinario
g 1 ()g 2 () . . . g m () si el grado del producto no supera a n. Las leyes distributivas de nuestro producto son
fciles de verificar.
El conjunto E 1 contiene nuestro cuerpo F y nuestra multiplicacin en E 1 tiene para F el sentido de nues-
tra vieja multiplicacin. Uno de los polinomios de E 1 es . Multiplicndolo i -veces consigo mismo, este
nos lleva a i siempre y cuando i < n. Si i = n este no es mas el caso ya que nos llevara al resto del poli-
nomio n .
El resto es:
n f () = a n1 n1 a n2 n2 . . . a 0 (2.1)
Ahora, vamos a dejar de lado nuestra antigua multiplicacin y utilizaremos solo la nueva, por lo que el
producto g ()h() (mod f ()) lo notaremos por yuxtaposicin g ()h().
Calculando en este sentido,
c n1 n1 + . . . + c 1 + c 0
nos lleva directamente a nuestro elemento, dado que todos los grados son menores que n. Pero

n = a n1 n1 a n2 n2 . . . a 0

por la ecuacin (2.1), vemos que nos lleva a que f () = 0 Podemos ver que hemos construido un conjunto
E 1 y una adicin y multiplicacin en E 1 que ya satisface muchos de los axiomas de cuerpo. E 1 contiene
a F como subcuerpo y satisface la ecuacin f () = 0. Ahora falta mostrar que si g () 6= 0 y h() son
elementos dados de E 1 , existe un elemento

T () = t n1 n1 + . . . + t 1 + t 0
Teora de Galois 25

en E 1 tal que
g () T () = h()
Para mostrar esto, consideramos los coeficientes t i de T () como incgnitas y clculamos el producto del
lado izquierdo, siempre reduciendo las potencias de mayores que n. El resultado es una expresin de la
forma
L n1 n1 + . . . + L 1 + L 0
donde cada L i es una combinacin lineal de los t i con coeficientes en F . Esta expresin ha de ser igual a
h(); esto nos lleva a un sistema de n ecuaciones con n incgnitas:

L 0 = b 0 , L 1 = b 1 , . . . , L n1 = b n1

donde b i es un coeficiente de h(). Este sistema tiene solucin si su sistema homogneo

L 0 = 0, L 1 = 0, . . . , L n1 = 0

tiene una solucin trivial.


El problema de hallar la solucin al sistema homogneo ocurrira si nos preguntramos si el conjunto de
elementos T () satisface g ()T () = 0. Volviendo a nuestra multiplicacin original por un momento esto
implicara que el producto ordinario g ()T () tiene resto 0 luego de ser dividido por f (), y es por lo tanto
divisible por f (). De acuerdo con el (2.2), esto es posible si y solo si T () = 0.
Luego, vemos que E 1 es un cuerpo.
Asumamos ahora que tambin tenemos nuestra vieja extensin E con una raz de f (x), la cual nos lleva
a nuestro conjunto E 0 . Podemos ver que E 0 tiene en cierto sentido la misma estructura que 1 , si asociamos
el elemento g () E 1 al elemento g () E 0 . Esta funcin, tiene la propiedad que la imagen de la suma de
elementos es la suma de las imgenes, y la imagen del producto es el producto de las imgenes.
Una funcin : E K de un cuerpo a otro, la cual es inyectiva en ambos sentidos, tal que

( + ) = () + ()

y
( ) = () ()
se llama isomorfismo. Si los cuerpos en cuestin no son distintos, es decir son el mismo cuerpo, entonces
diremos que la funcin es un automorfismo. Dos cuerpos para los cuales existe un isomorfismo se llaman
isomorfos, y lo notamos por E = K . Si no todo elemento del cuerpo imagen es la imagen, bajo de
algn elemento del cuerpo dominio, entonces se llama homomorfismo. Es cierto que el concepto de
homomorfismo es un poco vago, y podra hablarse de morfismos de grupos, cuerpos, etc , pero en lo
siguiente dichas distinciones no sern necesarias. Ahora, bajo todo isomorfismo es claro que (0E ) = 0K ,
y (1E ) = 1K .
Podemos ver entonces, que E 0 es tambin un cuerpo y que es isomorfo a E 1 .
Ahora, vamos a mencionar algunos teoremas que siguen de nuestra discusin:

TEOREMA 3.5 (Kronecker). Si f (x) es un polinomio no constante en un cuerpo F , entonces existe una
extensin E de F para la cual f (x) tiene una raz

DEM Factorizemos f (x) en polinomios irreducibles. Si p(x) es un factor irreducible de f (x), entonces es
suficiente encontrar una extensin de F para la cual p(x) tenga una raz. Si p(x) es irreducible en F , por
lo discutido anteriormente, bastara con crear un cuerpo de extensin E 1 .

TEOREMA 3.6. Sea : F 1 F 2 un isomorfismo. Sea f 1 (x) un polinomio irreducible en F 1 , y f 2 (x) un


polinomio irreducible en F 2 , Si E 1 = F 1 (1 ), y E 2 = F 2 (2 ) son extensiones de F 1 y F 2 , respectivamente,
donde f 1 (1 ) = 0 en E 1 , y f 2 (2 ) = 0 en E 2 , entonces puede ser extendido a un isomorfismo entre E 1 y E 2
26 Cuerpos de descomposicin

DEM E 1 y E 2 son ambos isomorfos a E 0 . Es fcil ver que que solo se necesita hacer que 1 7 2 .

Si E es un cuerpo de extensin de F , diremos que E es una cerradura algebraica de F , si E es cerrado al-


gebraicamente (ie , E , entonces = ( ) es un elemento de E ), y todo elemento de E es algebraico
en F . Tiene sentido hablar de la cerradura algebraica, ya que cualesquiera dos cerraduras algebraicas, E y
E 0 , son isomorfas como cuerpos.
Continuaremos el estudio de las extensiones algebraicas cuando veamos extensiones cuadrticas, que
son un caso particular de gran importancia en la teora de nmeros algebraica.
Si consideramos el cuerpo de todos los nmeros algebraicos, A, nos podemos preguntar si existe un poli-
nomio p(x) en A el cual tenga una raz que no pertenezca a A. Dicha pregunta, es equivalente a: Es A, el
cuerpo de todos los nmeros algebraicos, cerrado. Vamos a intentar mostrar que si.
Dejemos que p(x) = a 0 +a 1 x +. . .+a n x n sea un polinomio en A, y sea r una raz de p(x). Podemos asumir
que p(x) es irreducible sobre A, ya que si no lo fuera entonces podramos tomar un factor irreducible
y en caso de que este no exista no hay nada que probar. Dejemos que Q sea el cuerpo de los nmeros
racionales, y dejemos que Q(a 0 , a 1 , . . . , a n ) sea el menor subcuerpo de A el cual contiene a Q, es decir que
Q Q(a 0 , . . . , a n ) A. Esta es una extensin algebraica finita de Q, lo cual implica que hay un conjunto
generador mnimo 0 , 1 , . . . , m1 de elementos de A para Q(a 0 , . . . , a n ) sobre Q.

Ahora Q(a 0 , a 1 , . . . , a n , r ) es una extensin algebraica simple de Q(a 0 , . . . , a n ). Pero entonces Q(a 0 , . . . , a n , r )
es una2extensin finita algebraica de grado m n. Entonces tenemos que el conjunto de mn +1 elementos
1, r, r , . . . , r mn es linealmente dependiente sobre Q, y esto nos dice que existe un polinomio con coefi-
cientes en Q de grado mn para el cual r es una raz, pero como Q A, entonces r A, y por lo tanto A es
cerrado.

4 Cuerpos de descomposicin
Si F, B y E son tres cuerpos tales que F B E , entonces nos referiremos a B como el cuerpo
intermedio.
Si E es un cuerpo de extensin de F , en el cual el polinomio p(x) en F puede ser factorizado en factores
lineales, y si p(x) no puede ser factorizado en ningn cuerpo intermedio, entonces diremos que E es el
cuerpo de descomposicin para p(x). As, si E es el cuerpo de descomposicin de p(x) las races de p(x)
generan a E . Vamos a hacer nfasis desde ya que por el teorema fundamental del lgebra, todo polinomio
se descompone en C, el cuerpo de los nmeros complejos, pero esto no implica que C sea el cuerpo de
descomposicin.
Un cuerpo de descomposicin es de grado finito dado que es construido aadiendo un numero finito de
elementos algebraicos, cada uno de los cuales define una extensin de grado finito. Luego, hemos visto
que el grado de dichas extensiones es el producto de las mismas, y luego sigue que el grado del cuerpo de
descomposicin debe ser finito.

TEOREMA 4.1. Si p(x) es un polinomio en un cuerpo F , entonces existe un cuerpo de descomposicin E


para p(x)

DEM Factorizemos p(x) en F en factores irreducibles, f 1 (x) . . . f r (x) = p(x). Si cada uno de estos poli-
nomios es de grado 1, es decir, f i (x) = x a i , entonces F es el cuerpo de descomposicin para p(x).
Supongamos entonces que f 1 (x) es de grado mayor que 1. Por el teorema de Kronecker, existe una exten-
sin F 1 de F en la cual f 1 (x) tiene una raz.
Si factorizamos cada uno de los factores f 1 (x), f 2 (x), . . . , f r (x) en polinomios irreducibles en F 1 , y pro-
cedemos como antes. Al final, llegaremos a un cuerpo donde p(x) puede ser descompuesto en factores
lineales. El cuerpo generado desde F por las races de p(x) es el cuerpo de descomposicin requerido.
Teora de Galois 27

El siguiente teorema asegura, salvo isomorfismo, que el cuerpo de descomposicin de un polinomio es


nico.
TEOREMA 4.2. Sea un isomorfismo, : F F 0 . Sea p(x) un polinomio en F , y p 0 (x) un polinomio en
F 0 cuyos coeficientes corresponden a los de p(x) bajo . Por ultimo, sea E el cuerpo de descomposicin de
p(x) y E 0 el cuerpo de descomposicin de p 0 (x). Bajo estas condiciones el isomorfismo puede ser extendido
a un isomorfismo entre E y E 0 .

DEM Si f (x) es un factor irreducible de p(x) en F , entonces E contiene una raz de f (x). As, dejemos
que p(x) = (x 1 )(x 2 ) . . . (x s ) sea la factorizacin (ie descomposicin) de p(x) en E . Entonces,
(x 1 ) . . . (x s ) = f (x)g (x). Ahora, consideramos f (x) como un polinomio en E y construimos un
cuerpo de extensin B = E () en el cual f () = 0. Luego, ( 1 )( 2 ) . . . ( s ) = f ()g () = 0 y cada
i , al ser elementos del cuerpo B , van a tener un producto 0 si al menos uno de ellos, digamos (1 )
es cero. Luego, dejemos que = 1 , donde 1 es una raz de f (x).
Ahora, en el caso de que todas las races de p(x) estn en F , entonces E = F , y p(x) puede ser descom-
puesto en F . Esta descomposicin tiene una imagen en F 0 la cual es una descomposicin de p 0 (x), dado
que el isomorfismo preserva las operaciones de adicin y multiplicacin, es decir que podemos asociar
a cada factor i de F a los factores i de F 0 . Dado que p 0 (x) puede ser descompuesto en F 0 debe-
mos tener que F 0 = E 0 . En este caso, es la extensin requerida, y el teorema esta probado si todas las
races de p(x) estn en F .
Ahora procedemos por induccin. Supongamos que el teorema es cierto para todos los casos en los
cuales, el numero de races de p(x) fuera de F es menor que n > 1, y supongamos que p(x) es un poli-
nomio con n races fuera de F . Podemos factorizar a p(x) en factores irreducibles en F , p(x) = f 1 (x) f 2 (x)
. . . f m (x).No todos los factores pueden tener grado 1 ya que sino p(x) podra ser descompuesto en F ,
y esto contradice nuestra hiptesis. As, podemos suponer que el grado de f 1 (x) = r , con r > 1. Sea
f 10 (x) f 20 (x) . . . f m
0
(x) = p 0 (x) la factorizacin de p 0 (x) que corresponde a f 1 (x), f 2 (x), . . . , f m (x) bajo el iso-
morfismo . Vemos que f 10 (x) es irreducible en F 0 , ya que si este no fuera el caso, bajo la inversa de , 1 ,
tendramos que f 1 (x) no seria irreducible en F , y nosotros hemos asumido que f 1 (x) era irreducible en F .
Por el teorema (3.6), el isomorfismo puede ser extendido a un isomorfismo 1 entre los cuerpos F () y
F 0 ().
Dado que F F (), p(x) es un polinomio en F (), y E es el cuerpo de descomposicin para p(x) en F ().
Lo mismo ocurre con p 0 (x). Ahora tenemos menos de n races para p(x) fuera de nuestro nuevo cuerpo
base, F (), luego, por nuestra hiptesis inductiva, 1 puede ser extendido a un isomorfismo entre F () y
F 0 (), a un isomorfismo 2 entre E y E 0 .
Dado que 1 es una extensin de . y 2 es una extensin de 1 , podemos concluir que 2 es una exten-
sin de y el teorema queda demostrado.

No solo es til saber que la descomposicin de un polinomio es nica, sino que tenemos algo anlogo a
la teora de grupos. Cuando se buscan isomorfismos entre dos grupos G y , se tiene que un generador de
G, g , debe corresponder a un generador h de H . As, en este caso, en vez de tratar con generadores,
tratamos con polinomios irreducibles. Ntese que en el teorema se deja explicito que los coeficientes del
polinomio p(x) corresponden a los del polinomio p 0 (x) bajo .
As mismo si podemos encontrar un isomorfismo, entonces lo podemos extender a cuerpos de extensin
lo cual nos va a servir para demostrar que dos cuerpos de extensin son isomorfos conociendo solamente
los cuerpos bases, o bien sus polinomios irreducibles. Esto es de gran ayuda a pesar que se tiene un prob-
lema anlogo al existente en la teora de grupos, que es encontrar generadores (en este caso polinomios
irreducibles), y hallar el isomorfismo, pero lo ultimo se puede ver en la mayora de los casos de forma
natural.
COROLARIO 4.3. Si p(x) es un polinomio en un cuerpo F , entonces cualesquiera dos cuerpos de descom-
posicin para p(x) son isomorfos.
28 Factorizacin de polinomios

DEM Por el teorema anterior, si dejamos que F = F 0 , y (x) = x, el corolario queda probado

Como una consecuencia de este corolario, podemos ver que hemos justificado el hecho de usar la ex-
presin el cuerpo de descomposicin de p(x) ya que cualesquiera dos cuerpos de descomposicin son
isomorfismos. Por consiguiente, si p(x) tiene races de multiplicidad en un cuerpo de descomposicin,
tambin las tendr en cualquier otro cuerpo isomorfo. La proposicin p(x) tiene races de multiplicidad
va a tener sentido sin siquiera referirnos a un cuerpo de descomposicin particular.
Si tomamos el cuerpo Q entonces podemos preguntarnos cual es el cuerpo de descomposicin, E , para
p(x) = x 4 4 sobre Q y determinar el grado de [E : Q]. Lo primero que hay que p notar es que p(x) =
(x 2 2)(x 2 + 2).
p As, tenemos que x 2
= 2, y por lo tanto debemos adjuntar a Q 2, y as tenemos una
2
extensin Q( 2) la cual tiene grado 2 sobre Q. Luego,p procedemos anlogamente con el factor
p (x + 2),
Notemos que las races de este polinomio sonp 2i , y dichos elementos no pertenecen a Q( 2) por lo
tanto es irreducible, y debemos extender a Q( 2) con Q(i ), y dicha
p extensin es de grado 2 sobre Q y as
tenemos que el cuerpo de descomposicin para p(x) es E = Q( 2, i ) y el mismo tiene orden 4.

5 Factorizacin de polinomios
TEOREMA 5.1. Si p(x) es un polinomio en un cuerpo F , y si

p(x) = p 1 (x)p 2 (x) . . . p r (x) = q 1 (x)q 2 (x) . . . q s (x)

son dos factorizaciones de p(x) en polinomios irreducibles cada uno de grado al menos uno, entonces r = s
y salvo por el orden de los factores, p i (x) = c i q i (x), i = 1, 2, . . . , r , y c i F

DEM Sea F () una extensin de F para la cual p 1 () = 0. Podemos suponer que los coeficientes lideres
de p i (x) y q i (x) son 1, ya que, factorizando todos los coeficientes lideres y combinando, la constante
multiplicativa de cada lado de la ecuacin debe ser el coeficiente lder de p(x) y luego, puede ser dividida
de ambos lados de la ecuacin. Esto no tiene nada de extrao, lo nico que nos quiere decir es que
podemos hacer que el coeficiente lder de un polinomio sea 1.
Dado que
0 = p 1 ()p 2 () . . . p r () = p() = q 1 ()q 2 () . . . q s ()

y dado que el producto de elementos en F () es 0 si y solo si algunos de ellos es 0, tenemos que alguno de
los q i (), digamos q 1 (), es 0. De esto sigue que p 1 (x) = q 1 (x). Luego

p 1 (x)p 2 (x) . . . p r (x) = p 1 (x)q 2 (x) . . . q s (x)

o lo que es lo mismo

p 1 (x) p 2 (x) . . . p r (x) q 2 (x) . . . q s (x) = 0

Nuevamente, dado que el producto de dos elementos en un cuerpo es 0 si y solo si uno de ellos es 0,
tenemos que el polinomio entre corchetes debe ser cero, y as

p 2 (x)p 3 (x) . . . p r (x) = q 2 (x)q 3 (x) . . . q s (x)

Si repetimos el mismo argumento r veces obtenemos que p i (x) = q i (x), para i = 1, . . . , r . Dado que el resto
de los q 0 s(x) deben tener un producto igual a 1 sigue que r = s.

Se puede notar que la demostracin anterior es completamente anloga a la demostracin de la factor-


izacin nica que nos provee el teorema fundamental de la aritmtica.
Teora de Galois 29

6 Caracteres de Grupo
Si G es un grupo multiplicativo, F un cuerpo y un homomorfismo de G a F , entonces se
llama caracter de G en F . Recordamos que por un homomorfismo nos referimos a una funcin : G F
tal que para , G se tiene que
()() = ( )
Notemos que () 6= 0 para ningn , ya que si este fuera el caso, entonces (x) = 0 para todo x G, ya
que (x) = ()(x) = 0, y x toma todos los valores en G cuando x toma todos los valores de G.
Los caracteres 1 , 2 , . . . , n se dicen dependientes si existen elementos a 1 , a 2 , . . . , a n no todos ceros en F
tal que
a 1 1 (x) + a 2 2 (x) + . . . + a n n (x) = 0
para todo x G. Dicha dependencia se llama no trivial. Si los caracteres no son dependientes, entonces
diremos que son independientes.

TEOREMA 6.1. Si G es un grupo, y 1 , 2 , . . . , n son n caracteres de G en el cuerpo F mutuamente distintos


(ie: i (x) 6= j (x), para i 6= j ), entonces 1 , . . . , n son independientes.

DEM Un caracter no puede ser dependiente, ya que a i i (x) = 0, implica que a i = 0, dado que hemos
asumido que i (x) 6= 0. Supongamos que n > 1.
Podemos tomar como hiptesis que ningn conjunto de menos de n caracteres es dependientes. Supong-
amos ahora que
g 1 1 (x) + a 2 2 (x) + . . . + a n n (x) = 0
es una dependencia no trivial entre los s. Ninguno de los elementos a i es cero, si as lo fuera existira una
dependencia entre los m < n caracteres, contrario a nuestra hiptesis. Dado que 1 y n son distintos,
entonces existe un elemento g G, tal que 1 (g ) 6= n (g ). Multiplicando la relacin entre los s por a n1
obtenemos la relacin

b 1 1 (x) + . . . + b n1 n1 (x) + n (x) = 0, b i = a n1 a i 6= 0 (2.2)

Si en la relacin anterior, reemplazamos x por g x tenemos que

b 1 1 (g x) + . . . + b n1 n1 (g x) + n (g x) = 0

y luego, teniendo en cuenta que es un homomorfismo, tenemos que

b 1 1 (g )1 (x) + . . . + b n1 n1 (g )n1 (x) + n (g )n (x) = 0

o bien,
n (g )1 b 1 1 (g )1 (g ) + . . . + n (x) = 0
Si restamos la ecuacin anterior de (2.2) tenemos que

b 1 n (g )1 b 1 1 (g ) 1 (x) + . . . c n1 n1 (x) = 0

(2.3)

El coeficiente de 1 (x) en esta relacin no puede ser cero, sino deberamos tener que b 1 = n (g )1 b 1 1 (g ),
tal que
n (g )b 1 = b 1 1 (g ) = 1 (g )b 1
y dado que b 1 6= 0, tenemos que n (g ) = 1 (g ), lo cual contradice la eleccin de g .
Luego, la ecuacin (2.3) es una dependencia no trivial entre 1 , 2 , . . . , n1 , la cual contradice nuestra
hiptesis inductiva, y el teorema queda demostrado.
30 Caracteres de Grupo

COROLARIO 6.2. Si E y E 0 son dos cuerpos, y 1 , 2 , . . . , n son n isomorfismos. i : E E 0 , mutuamente


distintos, entonces son independientes

DEM Este corolario se deduce del teorema anterior, dado que E \ {0} es un grupo, y los s definidos en
este grupos son caracteres mutuamente distintos.

Si el corolario anterior, al referirse a los isomorfismos como caracteres, no tiene sentido, recordemos que
un isomorfismo es un caso especial de un homomorfismo. As mismo, se podran haber definido los
caracteres simplemente como morfismos.
Ahora si 1 , . . . , n son isomorfismos de un cuerpo E a otro cuerpo E 0 , entonces cada elemento e E , que
satisfaga
1 (e) = 2 (e) = . . . = n (e)
se llamara punto fijo de E bajo 1 , . . . , n . El conjunto de puntos fijos de E es un subcuerpo de E . Llamare-
mos a este cuerpo, el cuerpo fijo de E .
Veamos que si a y b son puntos fijos, entonces

i (a + b) = i (a) + i (b) = j (a) + j (b) = j (a + b)

y
i (a b) = i (a) i (b) = j (a) j (b) = j (a b)
Luego, si utilizamos el hecho que i (a) = j (a) tenemos que

j (a)1 = i (a)1 = i (a 1 ) = j (a 1 )

As, la suma y el producto de dos puntos fijos es un punto fijo, y la inversa de un punto fijo, es un punto
fijo.

TEOREMA 6.3. Si 1 , 2 , . . . , n son n isomorfismos mutuamente distintos, de un cuerpo E en un cuerpo


E 0 , y F es el cuerpo fijo de E , entonces [E : F ] n.

DEM Supongamos lo contrario, es decir [E : F ] = r < n. Vamos a mostrar que esto nos lleva a una con-
tradiccin. Sean 1 , 2 , . . . , r el sistema generador de E sobre F . En las ecuaciones lineales homogneas

1 (1 )x 1 + 2 (1 )x 2 + . . . + n (1 )x n =0
1 (2 )x 1 + 2 (2 )x 2 + . . . + n (2 )x n =0
.. (2.4)
... .
1 (r )x 1 + 2 (r )x 2 + . . . + n (r )x n =0

existen mas incgnitas que ecuaciones, entonces existe una solucin no trivial, la cual, podemos notar
con x 1 , x 2 , . . . , x n . Para cualquier elemento a E , podemos encontrar f 1 , f 2 , . . . , f r F , tal que

a = f 1 1 + f 2 2 + . . . f r r

Multiplicamos la primera ecuacin de (2.4) por 1 ( f 1 ), la segunda por 1 ( f 2 ) y as continuamos. Como


f i F , tenemos que 1 ( f i ) = j ( f i ) y tambin que j ( f i ) j (i ) = j ( f i i ), por esto tenemos que

1 ( f 1 1 )x 1 + 2 ( f 1 1 )x 2 + . . . + n ( f 1 1 )x n =0
1 ( f 2 2 )x 1 + 2 ( f 2 2 )x 2 + . . . + n ( f 2 2 )x n =0
..
.
1 ( f r r )x 1 + 2 (r )x 2 + . . . + n ( f r r )x n =0
Teora de Galois 31

Sumando estas ultimas ecuaciones, y utilizando el hecho que

i ( f 1 1 ) + i ( f 2 2 ) + . . . + i ( f r r ) = 1 ( f 1 1 + . . . + f r r ) = i ()

tenemos que
1 ()x 1 + 2 ()x 2 + . . . + n (n )x n = 0
Esto, por cierto, es una relacin de dependencia no trivial para 1 , 2 , . . . , n , lo cual es imposible por el
teorema (6.1)

COROLARIO 6.4. Si 1 , 2 , . . . , n son automorfismos del cuerpo E y F es el cuerpo fijo, entonces [E : F ] n


Si F es un subcuerpo de E , y es un automorfismo de E vamos a decir que deja fijo a F , si para todo
F , tenemos que () = Si , y son dos automorfismos de E , entonces la funcin (x), o como
se nota comnmente , es un automorfismo. Es fcil ver esto, ya que

(x y) = ((x y)) = ((x) (y)) = ((x)) ((y))

Vamos a llamar a el producto (o composicin) de y . Si es un automorfismo, digamos (x) = y,


entonces vamos a notar a la inversa por 1 , es decir 1 (y) = x. Es fcil ver que esto tambin es un auto-
morfismo.
El automorfismo que deja fijo a todas las x E , es decir Id(x) = x, xi nE , se llama automorfismo identi-
dad.
Cuando nos refiramos al grupo de automorfismos de un cuerpo de extensin E de F , lo hacemos uti-
lizando la notacin Aut(E /F ).
LEMA 6.5. Si E es un cuerpo de extensin de F , entonces el grupo Aut(E /F ) de todos los automorfismos que
dejan fijo a F forma un grupo con respecto al producto de automorfismos.

DEM El producto de dos automorfismos que dejan fijo a F ciertamente dejan fijo a F . As mismo, la
inversa de cualquier automorfismo de Aut(E /F ) esta en Aut(E /F ).

Uno puede observar que Aut(E /F ), el conjunto de todos los automorfismos que dejan fijo a F , no nece-
sariamente tiene como cuerpo fijo a F . Puede ser que ciertos elementos de E que no pertenecen a F sean
fijos por todos los automorfismos que dejan fijo a F . As, el cuerpo fijo de Aut(E /F ) puede ser mas grande
(ie contener mas elementos) que F .

7 Aplicaciones
El teorema (6.3) es sumamente importante, como los siguientes ejemplos muestran: Sea K un
cuerpo, y consideremos el cuerpo E = K (x) de todas las funciones racionales de la variable x. Si aso-
ciamos cada una de las funciones f (x) de E con f ( x1 ) obviamente obtenemos un automorfismo de E .
Consideremos seis automorfismos:
1
f (x) 7 f (x), f (x) 7 f (1 x) f (x) 7 f ( ),
x
1 1 x
f (x) 7 f (1
), f (x) 7 f ( ), f (x) 7 f ( )
x 1x x 1
Dejemos, que F sea el cuerpo de puntos fijos. Tenemos que F esta formado por todas las funciones
racionales que satisfacen
1 1 1 1 x
f (x) = f (1 x) = f ( ) = f (1 ) = f (1 ) = f ( ) = f (1 ) (2.5)
x x x 1x x 1
32 Aplicaciones

Es suficiente mostrar que las primeras primeras dos igualdades se sostienen, ya que las otras son conse-
cuencias de ellas. La funcin
(x 2 x + 1)3
Id = Id(x) = 2 (2.6)
x (x 1)2
pertenece a F como podemos ver fcilmente,

(x 2 x + 1)3 ((1 x)2 (1 x) + 1)3


=
x 2 (x 1)2 (1 x)2 ((1 x) 1)2

Luego, el cuerpo S = K (Id) de todas las funciones racionales de I , pertenece a F .


Nosotros afirmamos que F = S y que [E : F ] = 6.
De hecho, por el teorema (6.3) sabemos que [E : F ] 6. Dado que S F , es suficiente probar que [E : S] 6.
Ahora, sea E = S(x). Es suficiente mostrar alguna ecuacin de sexto grado con coeficientes en S la cual x
satisface.
Una ecuacin obvia, es la siguiente:

(x 2 x + 1)3 x 2 (x 1)2 = x 6 3x 5 + 5x 4 5x 3 + 5x 2 3x + 1 = 0

. Ahora, sin alejarnos de nuestro tema de estudio, presentaremos algunos resultados sobre polinomios
simtricos, cuyo resultado fundamental extenderemos gracias al teorema (6.3).
Sean x 1 , x 2 , . . . , x n variables independientes. Por un polinomio en x 1 , x 2 , . . . , x n sobre un cuerpo F nos
referimos a una expresin de la forma
v v v
v 1 ,v 2 ,...v n x 1 1 x 2 1 . . . x nn
X
p(x 1 , x 2 , . . . , x n ) =
v 1 ,v 2 ,...,v n

donde los s son elementos de F , y los exponentes son enteros no negativos. Por ejemplo tenemos que
2
6x 1 + x 2 x 3 + 1/5
x 3 x 2 + x 1 x 3 es un polinomio en x 1 , x 2 , x 3 .
Llamaremos al polinomio, p(x 1 , x 2 , . . . , x n ), polinomio simtrico o funcin simtrica si permanece invari-
ante por cualquiera las de las n! permutaciones de las variables x 1 , . . . , x n . Por ejemplo, cuando n = 3, los
polinomios x 1 + x 2 + x 3 , y x 1 x 2 + x 2 x 3 + x 3 x 1 son simtricos. Sea z otra variable, y definamos

p(z) = (z x 1 )(z x 2 ) . . . (z x n )
= z n 1 z n1 + 2 z n2 . . . (1)n n

De donde es fcil ver que


1 = x1 + x2 + . . . + xn
2 = x 1 x 2 + x 1 x 3 + . . . + x 2 x 3 + . . . + x n1 x n
..
.
n = x1 x2 . . . xn
Los i son llamadas funciones simtricas elementales, o polinomios simtricos elementales en x 1 , x 2 , . . . , x n .
A continuacin utilizaremos las expresiones "funciones simtricas" y "polinomios simtricos" indistinta-
mente.

TEOREMA 7.1. Todo polinomio simtrico en x 1 , x 2 , . . . , x n sobre un cuerpo F puede ser escrito como un poli-
nomio sobre F como polinomios simtricos elementales 1 , 2 , n . Si los coeficientes del primer polinomio
son enteros raciones, entonces lo son los coeficientes del segundo.

COROLARIO 7.2. Sea f (x) un polinomio de grado n sobre F con races r 1 , r 2 , . . . , r n . Sea p(x 1 , x 2 , . . . , x n ) un
polinomio simtrico sobre F . Entonces p(r 1 , r 2 , . . . , r n ) es un elemento de F .
Teora de Galois 33

COROLARIO 7.3. Sean f (x) y g (x) polinomios sobre un cuerpo F , y sean r 1 , . . . , r n y s 1 , . . . , s k sus respectivas
races, entonces los productos:
k Y
Y n
h 1 (x) = (x r i s j ) (2.7)
j =1 i =1
k Y
Y n
h 2 (x) = (x r i s j ) (2.8)
j =1 i =1

son polinomios en x con coeficientes en F .

EJEMPLO Sea K un cuerpo, y sea E = K (x 1 , x 2 , . . . , x n ) el cuerpo de todos las funciones racionales en n


variables x 1 , x 2 , . . . , x n . Si (v 1 , v 2 , . . . , v n ) es una permutacin de (1, 2, . . . , n), entonces podemos reemplazar
en cada funcion f (x 1 , x 2 , . . . , x n ) de E la variable x 1 por x v 1 , x 2 por x v 2 , . . ., x n1 por x v n1 , x n por x v n . La
funcion de E sobre si mismo es claramente un automorfismo y podemos construir n! automorfismos de
esta forma, incluyendo la identidad. Es claro que el grupo de automorfismos de E , no es otro sino el grupo
de permutaciones en n letras, es decir S n .
Sea F el cuerpo de puntos fijos, es decir, el conjunto de las funciones simtricas, que introducimos anteri-
ormente. El teorema (6.3) nos dice que [E : F ] n!. Ahora vamos a introducir una nueva funcin:

f (t ) = (t x 1 )(t x 2 ) . . . (t x n ) = t n + 1 x n1 + . . . i x ni . . . + n (2.9)

donde 1 = (x 1 + x 2 + . . . + x n ), 2 = (x 1 x 2 + x 1 x 3 + . . . + x n1 x n ), y mas generalmente


!
n n1
i
i = (1)
X Y
x i x i +1
i =1 i =1

Estos funciones 1 , 2 , . . . , n son funciones simtricas elementales y el cuerpo S = K (1 , 2 , . . . , n ) de


todos las funciones racionales de 1 , 2 , . . . , n es obviamente un subcuerpo de F . Debemos probar que
[E : S] n! y as tendremos que S = F y [E : F ] = n!.
Tomemosnos un minuto para discutir la relacin entre polinomios simtricos y polinomios simtricos el-
ementales. Si consideremos un polinomio simtrico cuyo coeficiente lder es 1, digamos f (x 1 , x 2 , . . . , x n ) =
e e
x 11 . . . x nn , decimos que el peso de dicho polinomio es e 1 + 2e 2 + . . . + ne n . Ahora, vamos a mostrar que es
posible reducir el polinomio f en funciones simtricas elementales por induccin en el peso de f . Sea
e e
c = c x 11 . . . x nn el termino monico (ie : cuyo coeficiente lder es 1) de mayor peso en f y consideremos el
polinomio
e e e e e 2 e 1 e 1
g = f c s 1n n1 s 2n1 n2 . . . s n1 sn
donde s i es el i -esimo polinomio simtrico elemental en n variables, x 1 , . . . , x n . Luego, el peso de g es
menor que el peso de f , y por la hiptesis g es un polinomio en s 1 , . . . , s n , y sigue que f es un polinomio
en s 1 , . . . , s n .
Ahora, continuemos con nuestra discusin previa. Construyamos una torre de cuerpos

S = S n S n1 S n2 . . . S 2 S 1 = E

por definicin tenemos que

S n = S; S i = S(x i +1 , x i +2 , . . . , x n ) = S i +1 (x i +1 )

Es suficiente mostrar entonces que [S i 1 : S i ] i , o que el generador x i para S i 1 de S i satisface una


ecuacin de grado i con coeficientes en S i . Dicha ecuacin es fcil de construir. Sea
f (t ) F i +1 (t )
F i (t ) = =
(t x i +1 )(t x i +2 ) . . . (t x n ) (t x i +1 )
34 Aplicaciones

y F n (t ) = f (t ). Luego de realizar la divisin podemos ver que F i (t ) es un polinomio en t de grado i , cuyo


coeficiente lder es 1, y sus coeficientes son polinomios en las variables 1 , 2 , . . . , n y x i +1 , x i +2 , . . . , x n .
Los coeficientes en estas expresiones son enteros. Ahora, x i es obviamente una raz del polinomio F i (t ) =
0.
Sea g (x 1 , x 2 , . . . , x n ) un polinomio en x 1 , x 2 , . . . , x n ). Dado que F 1 (x 1 ) = 0 es de grado uno en x 1 , pode-
mos expresar x 1 como un polinomio de a i y de x 2 , x 3 , . . . , x n . Ahora, introducimos esta expresin en
g (x 1 , x 2 , . . . , x n ). Dado que F 2 (x 2 ) = 0, podemos expresar x 22 o potencias mayores como polinomio en
x 3 , . . . , x n , y el i . Dado que F 3 (x 3 ) = 0, entonces podemos expresar x 33 o potencias mayores como poli-
nomios de x 4 , . . . , x n , y el i . Si introducimos estas expresiones en g (x 1 , . . . , x n ) podemos ver que podemos
expresarlo como un polinomio en x v y v tal que el grado en x i es menor a i . As g (x 1 , x 2 , . . . , x n ) es un
combinacin lineal de los siguientes n! trminos.
v v v
x 1 1 x 2 2 . . . x nn , vi < i (2.10)

Los coeficientes de estos trminos son polinomios en los a i . Dado que las expresiones (2.10) son lineal-
mente independientes en S, tenemos que la expresin es nica.

Esta es una generalizacin del teorema de los polinomios simtricos en su forma usual. El mismo dice que
un polinomio simtrico puede ser escrito como un polinomio en 1 , 2 , . . . , n . De hecho, si g (x 1 , x 2 , . . . , x n )
es simtrico entonces ya tenemos una expresin como la combinacin lineal de los trminos de (2.10)
donde el nico termino correspondiente a v 1 = v 2 = . . . = v n = 0 tiene un coeficiente distinto de cero en S,
es decir, g (x 1 , . . . , x n ). Luego, g (x 1 , . . . , x n ) es un polinomio en 1 , 2 , . . . , n .
Pero nuestro teorema nos da una expresin para cualquier polinomio, sea simtrico o no.
Teora de Galois 35

8 Extensiones normales
Un cuerpo de extensin E de un cuerpo F se dice extensin normal si el grupo Aut(E /F ) tienen
como cuerpo fijo a F , y adems [E : F ] es finito.
A pesar de que el resultado del teorema (6.3) no se puede generalizar, existe un caso en el cual la igualdad
ocurre, esto es, en el caso en que 1 , 2 , . . . , n es un conjunto de automorfismos que forman un grupo.
Vamos a probar

TEOREMA 8.1. Si 1 , 2 , . . . , n es un grupo de automorfismos del cuerpo E , y F es el cuerpo fijo de dichos


automorfismos, entonces [E : F ] = n

DEM Si 1 , 2 , . . . , n es un grupo, entonces el automorfismo identidad forma parte del conjunto, dig-
amos, 1 = Id. El cuerpo fijo consiste de todos los elementos x tales que i (x) = x, para i = 1, 2, . . . , n.
Supongamos que [E : F ] > n. Entonces existen n + 1 elementos 1 , 2 , . . . , n+1 de E que linealmente
independientes con respecto a F . Sabemos que existe una solucin no trivial en E para el sistema de
ecuaciones:
1 (1 )x 1 + 1 (2 )x 2 + . . . + 1 (n+1 ) = 0
2 (1 )x 1 + 2 (2 )x 2 + . . . + 2 (n+1 ) = 0
.. (2.11)
... .
n (1 )x 1 + n (2 )x 2 + . . . + n (n+1 ) = 0
Podemos notar que la solucin no puede estar en F , ya que, como 1 es la identidad, la primera ecuacin
establecera una dependencia entre 1 , 2 , . . . , n+1 .
De todas las soluciones no triviales, x 1 , x 2 , . . . , x n+1 elijamos la que tiene el menor numero de elemen-
tos diferentes de cero. Podemos suponer que la solucin es s 1 , s 2 , . . . , s r , 0, 0, . . . , 0 donde los primeros
r trminos son diferentes de cero. Mas aun, r 6= 1, porque s 1 1 (1 ) = 0< implica que s 1 = 0, ya que
1 (1 ) = 1 6= 0. As mismo, podemos suponer que s r = 1, dado que si multiplicamos la solucin por
s r1 obtenemos una nueva solucin, cuyo r -esimo termino es 1. Luego, tenemos

s 1 1 (1 ) + s 2 2 (2 ) + . . . + s r 1 n1 (r 1 ) + n (r ) = 0 (2.12)

Dado que s 1 , s 2 , . . . , s r 1 no pueden ser todos elementos de F , tenemos que uno de ellos, digamos s 1 , es
un elemento de E . Existe un automorfismo k tal que k (s 1 ) 6= s 1 . Si usamos el hecho de que 1 , . . . , n
forman un grupo, podemos ver que
k 1 , k 2 , . . . , k n
es una permutacin de 1 , 2 , . . . , n . Si aplicamos k a la ecuacin (2.12) obtenemos

k (s 1 )k j (1 ) + . . . + k (s r 1 )k j (r 1 ) + k j (r ) = 0

para j = 1, 2, . . . , n, luego por k j = i , tenemos

k (s 1 )i (1 ) + . . . + k (s r 1 )k j (r 1 ) + i (r ) = 0 (2.13)

y si restamos (2.13) a (2.12) tenemos que

[s 1 k (s 1 )] i (1 ) + . . . + [s r 1 k (s r 1 )] i (r 1 ) = 0

la cual es una solucin no trivial a nuestro sistema de ecuaciones (2.11), el cual tiene menos de r elemen-
tos diferentes de 0, lo cual contradice la eleccin de r .

COROLARIO 8.2. Si F es el cuerpo fijo por el grupo finito Aut(E /F ), entonces cada automorfismo que
deja fijo a F debe pertenecer a Aut(E /F )
36 Extensiones normales

DEM Tenemos que [E : F ] = | Aut(E /F )| = n. Asumamos que no existe un automorfismo n+1 que no
pertenece a Aut(E /F ). Entonces F va a permanecer fijo bajo los n +1 elementos, 1 , 2 , . . . , n Aut(E /F ),
y n+1 F , luego esto contradice el corolario del teorema (6.3)

COROLARIO 8.3. No existen dos grupos finitos G 1 y G 2 que tienen el mismo cuerpo fijo.

DEM Trivial por el corolario anterior

Si f (x) es un polinomio en F , entonces f (x) se dice separable si sus factores irreducibles no tienen races
de multiplicidad. O lo que es lo mismo decir, si f (x) = (x 1 ) . . . (x n ) y i 6= j para todo i 6= j . Si E es
una extensin de F , el elemento E se dice separable si es la raz de un polinomio f (x) separable en F ,
y E se llama una extensin separable si cada elemento de E es separable.

TEOREMA 8.4. E una extensin normal de F si y solo si E es el cuerpo de descomposicin de un polinomio


separable, p(x) F .

DEM Vamos a mostrar que dichos requerimientos son suficientes y necesarios.


Primero, asumamos que p(x) se descompone en E , y vamos a probar que E es una extensin normal de
F.
Si todas las races de p(x) estn en F , entonces nuestra proposicin es trivial, dado que E = F y solo el
automorfismo identidad deja fijo a F .
Supongamos entonces que p(x) tiene n > 1 races en E pero no en F . Asumamos que esto es cierto, para
todo polinomio con menos de n races fuera de F .
Sea p(x) = p 1 (x)p 2 (x) . . . p r (x) una factorizacin de p(x) en factores irreducibles. Podemos suponer que
alguno de ellos no tiene grado uno, ya que si no fuera el caso, p(x) se descompondra en F . Supongamos
que d eg p(x) = s > 1. Sea 1 una raz de p 1 (x). Entonces [F (1 ) : F ] = d eg p 1 (x) = s.
Si consideramos F (1 ) como nuestro cuerpo base, entonces tenemos menos de n races fuera de F (1 ).
Por el hecho de que p(x) esta en F (1 ) y E es el cuerpo de descomposicin de p(x) sobre F (1 ) tenemos
por nuestra hiptesis que E es una extensin normal de F (1 ). Luego, cada elemento en E el cual no esta
en F (1 ) no queda fijo por ningn automorfismo que deja a F fijo. (ie: k ( f i ) = f i , f i F , y i (x i ) 6=
x i x i E )
Como p(x) es separable, las races 1 , 2 , . . . , s de p 1 (x) son elementos distintos de E . Por el teorema
(3.6) existen isomorfismos 1 , 2 , . . . , s que asocian a F (1 ) con F (1 ), F (2 ), . . . , F (s ), respectivamente,
los cuales son el isomorfismo identidad en F , y asocian a 1 con 1 , 2 , . . . , s respectivamente. Ahora,
podemos aplicar el teorema (4.2).
Tenemos que E es el cuerpo de descomposicin de p(x) en F (1 ), as, el isomorfismo

i : F (1 ) F (i )

definido por
i (p(x)) = p(x)
puede ser extendido a un isomorfismo de E en E , es decir a un automorfismo de E , que vamos a notar por
i . Luego, 1 , 2 , . . . , s son automorfismos de E que dejan fijo a F , y asocian a 1 , en 1 , 2 , . . . , n .
Ahora, sea un elemento que queda fijo bajo todos los automorfismos de E que dejan fijo a F . Ya sabemos
que esta en F (1 ) y que tiene la forma:

= c s1 1s1 + c s2 + 1s2 + . . . + c 1 1 + c 0

donde c i F . Si aplicamos i a esta ecuacin obtenemos, dado que () = ,

= c s1 is1 + c s2 + i s2 + . . . + c 1 i + c 0
Teora de Galois 37

El polinomio (c 0 )+c 1 x +. . .+c s2 x s2 +c s1 x s1 , tiene por lo tanto s distintas races 1 , 2 , . . . , s . Estas,


son mas races que su grado, luego todos sus coeficientes deben desaparecer, y as tambin (c 0 ) y esto
muestra que F .
Para mostrar la necesidad, es fcil ver que si E es una extensin de F , entonces E es el cuerpo de descom-
posicin de un polinomio separable p(x) F . Pero primero, necesitamos mostrar un lema

LEMA 8.5. Si E es una extensin normal de F , entonces E es una extensin separable de F . Mas aun,
cualquier elemento de E es la raz de una ecuacin sobre F la cual se descompone totalmente en E .

DEM Sean 1 , 2 , . . . , s elementos de Aut(E /F ). Sea 1 E , y sean 1 , 2 , . . . , r el conjunto de elementos


distintos en la secuencia 1 (1 ), 2 (1 ), . . . , s (1 ). Dado que G es un grupo, tenemos

j (i ) = j (k (1 )) = j k (1 ) = m (1 ) = n

Por lo tanto, los elementos 1 , 2 , . . . , r son permutados por los automorfismos de G, Los coeficientes del
polinomio
f (x) = (x 1 )(x 2 ) . . . (x r )
son fijos por cada automorfismo de Aut(E /F ), dado que en su factorizacin los factores de f (x) son per-
mutados solamente. Dado que los nicos elementos de E que son fijos por todos los automorfismos de
Aut(E /F ) pertenecen a F , tenemos que f (x) F . Si g (x) F , el cual tiene a 1 como raz, entonces luego
de aplicar los automorfismos de G a la expresin g (1 ) = 0, tenemos que g (i ) = 0, y luego el grado de
g (x) s. Luego, f (x) es irreducible y as mostramos el lema.

Para terminar la demostracin, sean 1 , 2 , . . . , t un sistema generador para el espacio vectorial E sobre
F . Sea f i (x) el polinomio separable que tiene a i como raz. Luego E es el cuerpo de descomposicin de

p(x) = f 1 (x) f 2 (x) . . . f t (x)

Si un cuerpo de extensin E sobre F es normal y separable, entonces se dice que E es una extensin de
Galois o simplemente Galois. As, el grupo de automorfismos de E que deja fijo a F se llamara grupo de
Galois y se notara por Gal(E /F ). Dicha notacin sera utilizada solo en el caso que se considere necesario
para un mejor entendimiento, y se trabajara al grupo de Galois como un grupo normal. Notemos que
por el lema anterior, tenemos que si E es una extensin normal de F , entonces E es separable, y eso
implicara que es Galois, pero este no es siempre el caso. Si F es un cuerpo de caracterstica cero y E es una
extensin algebraica de F , entonces hemos visto que E = F (1 , 2 , . . .) = F (), y entonces la condicin de
separabilidad no tiene sentido, es decir, siempre es el caso. En cambio, cuando veamos y trabajemos sobre
cuerpos finitos, o extensiones que no sean necesariamente algebraicas, se podr ver que la normalidad
no implica separabilidad.
Ahora, vamos a ver un teorema que es conocido como el Teorema Fundamental de la Teora de Galois, el
cual nos da la relacin entre la estructura del cuerpo de descomposicin y su grupo de automorfismos.

TEOREMA 8.6 (Teorema Fundamental de la Teora de Galois). Si p(x) es un polinomio separable en el


cuerpo F , sea E el cuerpo de descomposicin de p(x), y sea Gal(E /F ) el grupo de Galois de E sobre F entonces:

i Cada cuerpo intermedio, B , es el cuerpo fijo para un subgrupo Gal(B /F ) Gal(E /F ), y los distintos
subgrupos tienen distintos cuerpos fijos. Decimos que B y Gal(B /F ) pertenecen uno al otro.

ii El cuerpo intermedio B es una extensin normal de F si y solo si el subgrupo Gal(B /F ) es un subgrupo


normal de Gal(E /F ). En este caso el grupo de automorfismos de B que dejan fijo a F es isomorfo al
grupo cociente Gal(E /F )/ Gal(B /F ).
38 Extensiones normales

iii Para cada cuerpo intermedio B tenemos que [B : F ] = [Gal(E /F ) : Gal(E /F )] y [B : F ] = | Gal(B /F )|

DEM La primera parte del teorema viene dada por la observacin de que E es el cuerpo de descomposi-
cin para p(x) cuando p(x) esta en cualquier cuerpo intermedio. As, E es un extensin normal de cada
cuerpo intermedio B , y por lo tanto B es el cuerpo fijo del subgrupo de Gal(E /F ) el cual consiste de todos
los automorfismos que dejan a B fijo. El hecho de que distintos subgrupos tienen distintos cuerpos fijos
es el corolario (8.3).
Sea B cualquier cuerpo intermedio. Dado que B es el cuerpo fijo para el subgrupo Gal(B /F ) de Gal(E /F ),
por el teorema (8.1) tenemos que [E : B ] = | Gal(E /F )|. Tenemos que

| Gal(E /F )| = | Gal(B /F )| [Gal(E /F ) : Gal(B /F )]

pero,
[E : F ] = | Gal(E /F )| y [E : F ] = [E : B ] [B : F ]
de lo cual obtenemos que [B : F ] = [Gal(E /F ) : Gal(B /F )], lo cual demuestra la tercer parte del teorema.
El numero [Gal(E /F ) : Gal(B /F )] es igual al numero de las clases colaterales izquierdas (resp derechas)
de Gal(B /F ). Los elementos de Gal(E /F ), siendo automorfismos de E , son isomorfismos de B ; es decir,
ellos asocian a B de forma isomorfa en algn subcuerpo de E y son el isomorfismo identidad en F . Los
elementos de Gal(E /F ) en cualquier clase colateral de Gal(B /F ) asocial a B de la misma manera. Para ello
sean 1 y 2 dos elementos de la clase colateral Gal(B /F ). Dado que 1 y 2 dejan fijo a B , para todo
B , tenemos que
1 () = ()2 ()
Los elementos de diferentes clases colaterales nos dan diferentes isomorfismos, ya que si y nos dieran
el mismo isomorfismo, () = () para todo i nB , y as 1 () = para todo i nB . Luego, 1 = 1 ,
donde 1 Gal(B /F ). Pero entonces = 1 , y luego Gal(B /F ) = 1 Gal(B /F ) = Gal(B /F ) y as y
pertenecen a la misma clase colateral.
Cada isomorfismo de B que sea la identidad en F (ie deje fijo) esta dado por un automorfismo que
pertenece a Gal(E /F ). Para ello, dejemos que : B B 0 sea un isomorfismo, tal que deje fijo a F . Luego,
bajo , p(x) corresponde a p(x), y E es el cuerpo de descomposicin de p(x) B , y de p(x) B 0 . Por el teo-
rema (4.2), puede ser extendido a un automorfismo 0 de E , y dado que 0 deja a F fijo, debe pertenecer
a Gal(E /F ). Por lo tanto, el numero de distintos isomorfismo de B es igual al numero de clases colaterales
de Gal(B /F ), y es por lo tanto igual a [B : F ].
El cuerpo B , sobre el cual asocia a B , tiene obviamente a Gal(B /F )1 como grupo correspondiente,
ya que los elementos de B permanecen invariantes por este grupo.
Si B es una extensin normal de F , el numero de distintos automorfismos de B que dejan fijo a F es [B : F ]
por el teorema (8.1).
Por otro lado, si el numero de automorfismos es [B : F ] entonces B es una extensin normal, ya que
si F 0 es el cuerpo fijo de todos estos automorfismos, entonces F F 0 B , y por el teorema (8.1) ten-
0 0
emos que B : F es igual al numero de automorfismos en el grupo, as B : F = [B : F ]. As, dado que
[B : F ] = B : F 0 F 0 : F tenemos que F 0 : F = 1, o lo que es lo mismo F = F 0 . Luego, B es una extensin

normal de F si y solo si el numero de automorfismos de B es [B : F ].


Ahora, B es una extensin normal de F si y solo si, cada isomorfismo de B en E es un automorfismo de B .
Esto viene dado por el hecho de que cada una de las condiciones anteriores son equivalentes a la proposi-
cin de que hay el mismo numero de isomorfismos que de automorfismos. Como, para todo , B = B
es equivalente a Gal(B /F ) 1 Gal(B /F ), podemos concluir que B es una extensin normal de F si y
solo si Gal(B /F ) es un subgrupo normal de Gal(E /F ).
Es importante notar que tiene sentido al hablar de Gal(B /F )1 , as como del grupo cociente
Gal(E /F )/ Gal(B /F ) ya que asumimos que Gal(B /F ) es normal en Gal(E /F ), y as uno puede ver que al-
gunos resultados vienen dados por la teora elemental de grupos.
Teora de Galois 39

Como hemos mostrado, cada isomorfismo de B viene dado por el efecto de los elementos en alguna clase
colateral de Gal(B /F ). Si B es una extensin normal, estos isomorfismos son automorfismos, pero en
este caso las clases colaterales son elementos del grupo cociente Gal(E /F )/ Gal(B /F ). Luego, cada au-
tomorfismo de B corresponde a un nico elemento de Gal(E /F )/ Gal(B /F ). Dado que la multiplicacin
en Gal(E /F )/ Gal(B /F ) se obtiene iterando las funciones, la correspondencia es un isomorfismo entre
Gal(E /F )/ Gal(B /F ) y el grupo de automorfismos de B que dejan fijo a F . Esto termina la demostracin.

Vamos a incorporar a nuestro lenguaje tres trminos que sean tiles para nuestros estudios. Dejemos que
f : X Y sea una funcin de un conjunto X a un conjunto Y . Si A es un subconjunto de X , entonces
diremos que la restriccin de f a A en Y es la funcin

f |A : A Y
x 7 f (x).

Si : G H es un homomorfismo inyectivo, vemos que G es contenido en H , pero no es necesario que


G = H , y diremos que es una inclusin de G en H .
Por ultimo, nos referiremos a la composicin de dos cuerpos E 1 , E 2 L como el menor subcuerpo de L
que contenga a E 1 y E 2 . La composicin generalmente se nota por yuxtaposicin, es decir E 1 E 2 es la
composicin de E 1 y E 2 .

TEOREMA 8.7. Sea E una extensin de Galois de F , y sea G = Gal(E /F ). Sea B un cuerpo intermedio, es
decir F B E , y sea H = Gal(E /B ). Entonces B es normal sobre F si y solo si H es un subgrupo normal de
G. Si B es normal sobre F , entonces la funcin 7 |B es un homomorfismo de G en el grupo de Galois de
B sobre F , cuyo ncleo es H . As Gal(B /F )
= G/H .

DEM Asumamos que B es normal sobre F , y sea G 0 = Gal(B /F ). La restriccin 7 |B de G a G 0 tiene


como ncleo a H por definicin. Luego H es normal en G. Mas aun, cualquier elemento G 0 extiende
a una inclusin de E en E , es decir a su cerradura algebraica, y entonces debe ser un automorfismo de
E , y as la restriccin es sobreyectiva. Esto muestra el ultimo punto. Por ultimo, asumamos que B no es
normal sobre F . Entonces existe una inclusin de B en E (sobre F ) la cual no es un automorfismo, es
decir que B 6= B . Extendamos a un automorfismo de E sobre F , lo cual es siempre posible como hemos
visto. Los grupos de Galois Gal(E /B ), y Gal(E /B ) son conjugados, ya que Gal(E /B ) = Gal(E /B )1 ,
pero ellos pertenecen a distintos subcuerpo ya que B 6= B , y por lo tanto no puede ser iguales. As H no
es normal en G.

Si E es una extensin de Galois de F , entonces diremos que E es una extensin Abeliano si Gal(E /F ) es
Abeliano

COROLARIO 8.8. Sea E /F una extensin Abeliana. Si B es un cuerpo intermedio, F B E , entonces B es


Galois sobre F y Abeliano.

La demostracin es inmediata, ya que todos los subgrupos de un grupo Abeliano, son Abelianos
y el grupo cociente de un grupo Abeliano es Abeliano.

TEOREMA 8.9. Sea E una extensin de Galois de F , sea B una extensin arbitraria y asumamos que E y B
son subcuerpos de algn cuerpo. Entonces E B es Galois sobre B , y E es Galois sobre E B . Sea H = Gal(E B /B )
y sea G = Gal(E /F ). Si H entonces la restriccin de a E es un elemento de G, y la funcin

7 |E

es un isomorfismo de H en el grupo de Galois de E sobre E B .


40 Extensiones normales

DEM Sea H . La restriccin de a E es una inclusin de E sobre F , y por lo tanto es un elemento de


G , ya que E es normal sobre F . Es fcil ver que la funcin 7 |E es un homomorfismo. Si |E es la
identidad, entonces debe ser la identidad en E B dado que todo elemento de E B puede ser expresado
como la combinacin de sumas y productos de elementos de E y B . Luego nuestro homomorfismo 7
|E es inyectivo. Sea H 0 su imagen, entonces el grupo H 0 dejan fijo a E B , y por otro lado, si un elemento
E queda fijo bajo el grupo H 0 , podemos ver que entonces queda fijo bajo H , de donde B , y
E B . Por lo tanto tenemos que E B es el cuerpo fijo. Si E es finito sobre F o si E B es finito sobre B ,
sabemos que H 0 es el grupo de Galois de E sobre E B y as hemos terminado.

COROLARIO 8.10. Sea E una extensin finita de Galois de F . Sea B una extensin arbitraria de F . Entonces
[E B : B ] divide a [E : F ]

Si seguimos con la notacin del teorema anterior, tenemos que el orden de H es un subgrupo de G y as
el orden de H divide al orden de G. Notemos que el corolario no es cierto si E no es Galois sobre F .
Supongamos que E 1 y E 2 son dos extensiones de Galois para un cuerpo F , donde G 1 = Gal(E 1 /F ) y G 2 =
Gal(E 2 /F ). Asumamos que E 1 , E 2 L donde L es un cuerpo. Vemos que la normalidad y la separabilidad
se mantienen bajo la composicin de E 1 y E 2 , y entonces E 1 E 2 es Galois sobre F . Dejemos que G =
Gal(E 1 E 2 /F ), si definimos una funcin G G 1 G 2 por restriccin, es decir 7 (|E 1 , |E 2 ), entonces
es fcil ver que esto es un homomorfismo de G en G 1 G 2 . Adems, si un elemento, G, induce a la
identidad en E 1 y en E 2 (es decir que 7 z i , donde z i es la identidad en E i ), entonces debe inducir a
la identidad en E 1 E 2 y por lo tanto dicha funcin es inyectiva. Ahora, asumamos que E 1 E 2 = F . Por el
teorema (8.9), dado un elemento 1 G 1 debe existir un elemento Gal(E 1 E 2 /E 2 ), el cual induce a 1
en E 1 . El elemento esta en G, y induce a la identidad en E 2 . Si dejamos que e 1 G 1 , y e 2 G 2 sean
las identidades de G 1 y G 2 respectivamente, vemos que G 1 {e 2 } esta contenido en la imagen de nuestro
homomorfismo, y de forma similar {e 1 } G 2 . As, tenemos que su producto esta contenido en la imagen
del homomorfismo, y su producto es precisamente G 1 G 2 , y as mostramos que si E 1 E 2 = F , entonces
G = G 1 G 2 .

TEOREMA 8.11. Sean K , y L dos extensiones finitas de Galois de Q. Entonces

Gal(K L/Q)
= (, ) : |K L = |K L Gal(K /Q) Gal(L/Q)

DEM Dejemos que G = Gal(K L/Q) y H = (, ) : |K L = |K L . Es fcil ver que psi : G H ,


definido por 7 (|K , |L) es un homomorfismo inyectivo de G a H . Vamos a mostrar que este ho-
momorfismo es de hecho un isomorfismo mostrando que |G| = |H |. Sea M = K L y sean [M : Q] = m,
[K L : K ] = k y por ultimo [K L : L] = s. Es fcil ver que, dado que Gal (K L/K ) y Gal (K L/L) son subgrupos
de Gal (K L/M ), entonces Gal(K L/K ) Gal(K L/L) = {Id |K L} y que el cuerpo fijo de dichos subgrupos es
M . De esto tenemos que [K L : M ] = ks. As [K : M ] = s y [L : M ] = k. Si combinamos esto con el hecho de
que [K : Q] = m entonces vemos que |H | = ksm. Pero entonces |G| = [K L : Q] = [K L : M ] [M : Q] = ksm y
hemos terminado.

COROLARIO 8.12. Si L es una extensin Abeliana de Galois Q y


n
Gal(L/Q)
Y
= Gi
i =1

entonces
n
LG i
Y
L=
i =1
Gi
donde L es el cuerpo fijo por G i .
Teora de Galois 41

9 Cuerpos Finitos
A veces suele ser necesario conocer la naturaleza de un subconjunto finito de un cuerpo, el cual,
bajo la multiplicacin del cuerpo, forma un grupo. El estudio de esto, es bastante simple

LEMA 9.1. Si G es un grupo Abeliano g 1 , g 2 G son elementos de ordenes m y v respectivamente, y c =


mcm(m, v), entonces existe un elemento g 3 G cuyo orden es c

DEM Si a y b son coprimos, entonces g 3 = g 1 g 2 , tiene el orden requerido, es decir mb. El orden de
g 3m = g 2m es v y por lo tanto v|c. Por otro lado, es divisible por m. Dado que g 3mv = 1, tenemos que c = mv.
Si d |m, podemos encontrar en el grupo un elemento de orden de d . De hecho g 1m/d es el elemento.
Ahora, consideramos el caso general. Sean p 1 , p 2 , . . . , p r los nmeros primos que dividen o a m o a v, y
sean
n n n k k k
m = p1 1 p2 2 . . . pr r , v = p11 p22 . . . pr r

Llamamos e i al mayor de los dos nmeros n i y k i . Entonces


e e e
c = p 11 p 22 . . . p r r

n k
Por lo anterior, podemos encontrar en el grupo un elemento de orden p i i y uno de orden p i i . Por con-
e
siguiente, uno de orden p i i . Y el producto de estos elementos va a tener orden c.

LEMA 9.2. Si existe un elemento g en un grupo Abeliano cuyo orden c es mximo (este es siempre el caso si
el grupo finito) entonces c es divisible por el orden a de todo elemento g i del grupo, luego todo elemento del
grupo satisface x c = 1.

DEM Si a - c, entonces mcm(a, c) > c, y podemos encontrar un elemento de dicho orden, lo cual con-
tradice que c es mximo.

TEOREMA 9.3. Si S es un subconjunto finito y no vaco de un cuerpo F el cual es un grupo bajo la multi-
plicacin en F , entonces S es un subgrupo cclico

DEM Sea |S| = n > 1, y r el mayor orden de los elementos x S. Entonces todo elemento satisface x r 1 =
0. Dado que este es un polinomio de grado r en un cuerpo, no puede tener mas de r races, y tenemos
que r n. Por otro lado r n, ya que el orden todo elemento divide al orden del grupo por el teorema de
Lagrange. S por lo tanto, es un grupo cclico

S = 1, , 2 , . . . , n1 , n = 1

El teorema anterior pudo haber sido demostrado basndonos en el llamado: Teorema de la descomposi-
cin de grupos Abelianos finitos, o teorema de la descomposicin de Kronecker. Daremos dos demostra-
ciones, similares que denotan la importancia del resultado.

Sea (G, +) un grupo Abeliano. El conjunto < G >= g 1 , . . . , g k se llama conjunto
generador de G si cada
elemento g G, puede ser escrito como la suma de mltiplos de g 1 , . . . , g k , es decir

g = n1 g 1 + . . . + nk g k

Si no existe un conjunto con menos de k elementos que generen a G, entonces diremos que g 1 , . . . , g k es
un conjunto generador mnimo. Cualquier grupo que tenga un sistema de generador, tiene un conjunto
42 Cuerpos Finitos

generador mnimo. Mas aun, un grupo finito siempre admite un conjunto generador mnimo.
Por la identidad, tenemos que

n 1 (g 1 + mg 2 ) + (n 2 n 1 m)g 2 = n 1 g 1 + n 2 g 2

y de esto tenemos que si < G > genera a G, entonces g 1 + mg 2 , g 2 , . . . , g k tambin genera a G.
Una ecuacin m 1 g 1 + m 2 g 2 + . . . + m k g k = 0 se llama una relacin entre los generadores, y m 1 , . . . , m k se
llaman coeficientes en la relacin.
Vamos a decir que el grupo G es el producto directo de sus subgrupos G 1 ,G 2 , . . . ,G k si cada g G puede
ser expresado como
Xn
g= xi , xi G i
i =1

TEOREMA 9.4 (Teorema de la descomposicin de Kronecker). Todo grupo Abeliano que tiene un numero
finito de generadores, es el producto directo de subgrupos cclicos G 1 , . . . ,G n donde |G i | divide |G i +1 | para
i = 1, . . . , n 1. y n es el numero de elementos en un conjunto generador mnimo.

Primera demostracin Asumamos que el teorema es cierto para todos los grupos que tengan un conjunto
generador mnimo de k 1 elementos. Si n = 1 el grupo es cclico y el teorema es trivial. Ahora supong-
amos que G es Abeliano que tiene un conjunto generador mnimo de k elementos. Si no existe un con-
junto con menos de k elementos, entonces sea g 1 , . . . , g k dicho conjunto generador, y sean G 1 ,G 2 , . . . ,G k
los subgrupos cclicos generados por ellos.
Para todo g G, tenemos que g = n 1 g 1 + . . . + n k g k donde la expresin es nica, sino obtendramos una
relacin. Luego, el teorema debe ser cierto. Asumamos que alguna relacin no-trivial se sostiene para
algn conjunto generador mnimo. De todas ellas, sea

m1 g 1 + . . . + mk g k = 0 (2.14)

una relacin en la cual tenemos al menor coeficiente positivo. Luego de ordenar los generadores, pode-
mos suponer que el mnimo coeficientes es m 1 . En alguno otra relacin entre g 1 , . . . , g k

n1 g 1 + . . . + nk g k = 0 (2.15)

debemos tener que m 1 |n 1 . Si no fuera este el caso, n 1 = qm 1 + r , 0 < r < m 1 y si multiplicamos la relacin
(2.14) q veces y la restamos de la relacin (2.15) tendramos una relacin con un coeficiente r < m 1 . As
mismo, en la relacin (2.14) debemos tener que m 1 |m i , para i = 1, 2, . . . , k.
Supongamos que m 1 no divide a uno de los coeficientes, digamos m 2 , entonces

m 2 = qm 1 + r, 0 < r < m1

En el conjunto generador g 1 + g 2 , g 2 , . . . , g k deberamos tener una relacin

m 1 (g 1 + q g 2 ) + r g 2 + m 3 g 3 + . . . + m k q k = 0

donde el coeficiente r contradice la eleccin de m 1 . Luego, m 2 = q 2 m 1 . m 3 = q 3 m 1 , . . ., m k = q k m 1 .


El conjunto
g 1 = g 1 + q2 g 2 + . . . + qk g k , g 2 , . . . , g k

es un conjunto generador mnimo, y m 1 g 1 = 0. En cualquier relacin 0 = n 1 g 1 + n 2 g 2 + . . . + n k g k dado


que m 1 es un coeficiente en una relacin entre g 1 , g 2 , . . . , g k nuestro argumento anterior, nos lleva a que
m 1 |n 1 , y luego n 1 g 1 = 0.
Teora de Galois 43

Sea G 0 G el subgrupo generado por g 2 , . . . , g k , y sea G 1 el subgrupo cclico de orden m 1 generado por g 1 .
Luego, G es el producto directo de G 1 y G 0 . Cada elemento g G, puede ser escrito

g = n1 g 1 + n2 g 2 + . . . + nk g k = n1 g 1 + g 0

La representacin es nica, ya que n 1 g 1 +g 0 = n 10 g 1 +g 00 implicara que la relacin (n 1 n 10 )g 1 +(g 0 g 00 ) = 0,


y as tenemos que (n 1 n 1 )g 1 = 0, y por lo tanto n 1 g 1 = n 10 g 1 , y de forma similar g 0 = g 00 .
Por nuestra hiptesis inductiva, G 0 es el producto directo de k 1 subgrupos cclicos generados por los ele-
mentos g 2 , . . . , g k cuyos respectivos ordenes e 2 , . . . , e k satisfacen e i |e i +1 , para i = 1, 2, . . . , k 1. Si aplicamos
el mismo argumento, vemos que m 1 |e 2 , por lo cual el teorema queda demostrado.

Segunda demostracin Sea G un grupo es cclico (por consiguiente Abeliano). Supongamos que n > 1 es
un entero tal que todo grupo Abeliano con rango menor que n es el producto directo de grupos cclicos, y
sea G un grupo Abeliano finito de rango n.
Si existe un conjunto generador {a 1 , a 2 , . . . , a n } para G tal que:
r r r
a 11 a 22 . . . a nn = eG = e
r
esto implica que a i i = e para todo i , y G es el producto directo de los subgrupos cclicos a i , para
i = 1, 2m . . . , n. Supongamos entonces que G no tiene tal conjunto generador de cardinalidad n. En-
tonces, para cada grupo generador {a 1 , a 2 , . . . , a n } de cardinalidad n, existen enteros, r 1 , r 2 , . . . , r n , tal que
r r r r
a 11 a 22 . . . a nn = e, y que para al menos un valor de i , a i i 6= e. En particular, r i 6= 0. Notemos que:
r r r r r 2 r n
e = e 1 = (a 11 a 22 . . . a nn )1 = a 1 1 a 2 . . . an
r r
Por lo tanto existen enteros, r 1 , . . . , r n , tales que para al menos un valor de i , r i > 0, y a 11 . . . a nn = e.
El conjunto de los enteros positivos, que aparecen en el exponente de algn elemento del conjunto gener-
ador de G de cardinalidad n, no es vaco. Por el buen ordenamiento de N, este conjunto tiene un elemento
mnimo, digamos s 1 . Sea {a 1 , . . . , a n } el conjunto generador de G tal que existan enteros s 2 , s 3 . . . , s n , con
s s s
a 11 a 22 . . . a nn = e.
r r
Supongamos ahora que r 1 , . . . , r n son enteros tales que a 11 . . . a nn = e. Vamos a probar que s 1 |r 1 .
Si aplicamos el teorema de la divisin a r 1 y s 1 , para obtener r 1 = q s 1 + r con 0 r < s 1 , entonces:
s s s q r 1 r r
e = a 11 a 22 . . . a nn a 1 a 22 . . . a nn
r q s 2 r q s n
= a 1r a 22 . . . a nn

Dado que r < s 1 , nuestra eleccin de s 1 seria incorrecta si r > 0, as r = 0, y s 1 |r 1 .


s s
Consideremos nuevamente la ecuacin: a 11 . . . a nn = e. Para todo i > 1, apliquemos el algoritmo de la
divisin, a s i y s 1 , para obtener: s i = q s 1 + r , donde 0 r < s 1 , entonces tenemos que:
s s q s +r s q s 1 s 2 s
e = a 11 a 22 . . . a i 1 . . . a nn = a 1 a i a 2 . . . a ir . . . a nn

q
Pero entonces, a 1 a i , a 2 , . . . , a n es tambin un conjunto generador de G de cardinalidad n. Luego s 1 |s i
m m s
para todo i > 1. Sea s i = s 1 m i para i = 2, . . . , n, y sea b 1 = a 1 a 2 2 . . . a n n . Notemos que b 11 = e, y que
{b 1 , a 2 , . . . , a n } genera G.
r r r
Supongamos que r 1 , . . . , r n , son enteros tales que b 11 a 22 . . . a nn = e. Entonces
m m r r r r r +r m r +r m
e = a 1 a 2 2 . . . a n n 1 a 22 . . . a nn = a 11 a 22 1 2 . . . a nn 1 n

r
Hemos mostrado que en tal caso s 1 es un factor de r 1 , y luego b 11 = e.
Sea H = a 2 , . . . , a n Entonces, H es un grupo Abeliano finito, con un rango menor a n. Dado que {b 1 , a 2 , . . . , a n }
es un conjunto generador para G, tenemos que:

G = b 1 a 2 , a 3 , . . . , a n = b 1 H
44 Cuerpos Finitos

r
Ahora, decimos que G es el producto directo de b 1 y H . Supongamos que b 11 b 1 H . Entonces
r r
b 11 = a 22 . . . a nr n para algunos r 2 , r 3 , . . . , a n Z, y as:
r r r 3 r n
b 11 a 2 2 a 3 . . . an =e
r
Y como hemos mostrado antes, s 1 debe dividir a r 1 , y por lo tanto b 11 = e. Luego b 1 H = {e} y por lo
tanto G es el producto directo de b y H .
Por nuestra hiptesis inductiva, H es el producto directo de grupos cclicos, lo cual prueba que G es el
producto directo de grupos cclicos. El resultado sigue de la induccin.

Por un cuerpo finito, nos referiremos a aquel que tiene un numero finito de elementos. En lo siguiente
nos referiremos a (F \ {0} , ), el grupo de unidades del cuerpo F , como F .

COROLARIO 9.5. Los elementos distintos de 0, es decir F , de un cuerpo finito F forman un grupo cclico

COROLARIO 9.6. Sea F un cuerpo tal que el grupo multiplicativo F , es cclico, entonces F debe ser finito

Dejemos que g sea un generador de F . Asumamos primero que la caracterstica de F es distinta


de 2. Entonces tenemos que g n = 1, para algn n, y por lo tanto g 2n = 1, y por lo tanto el grupo es
isomorfo a Z/2nZ y es finito. Ahora, si la caracterstica de F es dos, tenemos que g n = g + 1 para algn n.
As F es una extensin finita de Z/2Z y por lo tanto F es finito.
Veamos algunos resultados mas que nos ayudaran a determinar la estructura de los grupo multiplicativos
Abelianos

TEOREMA 9.7. Sea G un grupo Abeliano, entonces:

i Para todo entero positivo m, la funcin


m : G G
definida por:
m (g ) = g m
es un homomorfismo. Sea G m = Ker , es decir:

Gm = g G : g m = e

ii Si G es finito, para todo entero positivo m 1 , y m 2 tenemos que |G m1 m2 | |G m1 | |G m2 |

iii Si la ecuacin anterior se sostiene, entonces m1 (G m1 m2 ) = G m2

DEM i Dado que G es Abeliano, podemos escribir


m m m
z }| { z }| { z }| {
m
m (ab) = (ab) = (ab)(ab) . . . (ab) = a a . . . a b b . . . b = a m b m = m (a)m (b)

ii Dados m 1 y m 2 por las leyes de los exponentes, tenemos que (a m2 )m1 = a m1 m2 , y por lo tanto:

m1 m2 = m1 m2

Ahora, digamos que esto implica que:

m1 (G m1 m2 ) G m2

De hecho, sea g G m1 m2 = Ker(m1 m2 ), queremos mostrar que m1 (g ) G m2 = Ker(m2 ). En otras


palabras, m2 (m1 (g )) = e. Pero como hemos visto, el lado izquierdo de la igualdad es: m1 m2 (a), lo
Teora de Galois 45

cual es igual a e por lo que hemos asumido de g .


Dejemos que m1 sea un homomorfismo de G m1 m2 a G m2 Dado que el ncleo de m1 es G m1 , el
primer teorema de los isomorfismos dice que la imagen de la funcin es isomorfa a G m1 m2 /G m1 .
Luego, asumiendo que G es finito, por lo tanto los subgrupos tambin lo son, el orden de la imagen
va a ser:
|G m1 m2 |/|G m1 |

Dado que G m2 contiene esta imagen, tenemos que |G m2 | |G m1 m2 |/|G m1 |, y si la igualdad se sostiene,
la imagen es G m2 . Multiplicando por |G m1 | tenemos que:

|G m1 | |G m2 | |G m1 m2 |

iii Por el punto anterior, si la igualdad se sostiene, entonces:

m1 (G m1 m2 ) = G m2

Las soluciones de g p = e, en la notacin de la teorema anterior, nos dicen que para todo primo p, |G p | p.
Luego,tenemos que para todo entero m:

|G pm | |G p ||G m | p|G m |

As, |G pm | p |G m |, y si la igualdad se sostiene, entonces las inecuaciones anteriores deben ser igual-
dades, en particular, la primera debe ser, entonces por la proposicin anterior, la funcin p debe llevar
a G pm a G m .
Ahora, sea |G| = p 1 p 2 . . . p n , la factorizacin de |G|, donde algunos factores estn repetidos, entonces, por
la aplicacin repetida de las observaciones anteriores, tenemos que:

|G| = |G p 1 p 2 ...p n | |G p 1 p 2 ...p n1 |p n . . . |G p 1 |p 2 . . . p n |G 1 |p 1 p 2 . . . p n = p 1 p 2 . . . p n

Pero, dado que p 1 . . . p n , es la factorizacin de |G|, el primero y el ultimo termino deben ser iguales.
De esto, concluimos: Por un lado, que para todo i = 0, . . . , n, tenemos:

|G p 1 ...p i |p i +1 . . . p n = p 1 p 2 . . . p n

es decir:
|G p 1 ...p i | = p 1 . . . p i (2.16)

Y por otro lado, utilizando la proposicin anterior, para todo i , tenemos:

p i (G p 1 ...p i ) = G p 1 ...p i 1 (2.17)

Ahora, podemos probar por induccin que para todo i , G p 1 ...p i contiene un elemento de orden p 1 p 2 . . . p i .
Cuando i = 0, entonces G 1 = {e} tiene un elemento de orden 1, es decir e.
Ahora, para i > 0, sea:
m = p 1 p 2 . . . p i 1

y asumamos inductivamente, que G m , tiene un elemento g de orden m. Tenemos que probar de esto que
G mp i tiene un elemento de orden mp i . Ahora, por (2.17) el elemento g G m puede ser escrito como:

g = p i (b) = b p i
46 Cuerpos Finitos

para algn b G mp i . Luego, g b, entonces el orden de b debe ser un mltiplo del orden de g , el cual
es m. As mismo, el orden de b debe dividir el orden de G mp i , el cual es mp i . Por lo tanto, el orden de b, o
es m o es mp i .
Si el orden de b es mp i , entonces hemos terminado. Mas aun, si dcimo que si p i |m (ie: p i es una
repeticin de alguno de p 1 , p 2 , . . . , p i 1 ), entonces b debe tener orden mp i . Sea m = m 0 p i , y supongamos
que b tiene orden m, entonces, tenemos que:
0 0
g m = (b p i )m = b m = e
contradiciendo que el orden de g es m.
Ahora, falta solo considerar el caso de que b tenga orden m, en tal caso, por lo que hemos visto anterior-
mente, M no es divisible por p i . Por el teorema de Cauchy, podemos encontrar un elemento c G mp i de
orden p i . Ahora, que se puede decir del orden del producto bc?
Por un lado, el subgrupo que genera contiene a (bc)p i = b p i c p i = g e = g , entonces el orden es un mltiplo
de |a| = m.
Por otro lado, (bc)m = b m c m = c m 6= e porque m no es divisible por p i el cual es el orden de c, entonces, el
orden de bc no es m, luego siendo un mltiplo de m y un divisor de |G mp i | = mp i , debe ser mp i .
Esto termina la induccin. Tomando i = n tenemos que G p 1 p 2 ...p n = G contiene un elemento g de orden
n, el cual genera a G, y por lo tanto G es cclico, y as hemos mostrado que si G un grupo Abeliano finito,
tal que para todo primo p, la ecuacin g p = e, tiene n p soluciones, entonces G es cclico.
n
z }| {
Si a F , entonces vamos a denotar a + a + . . . + a por na. Es obvio entonces que n (m a) = (n m) a y que
(n a)(m b) = n m a b. Si para algn elemento a 6= 0, existe un entero n tal que n 0 entonces n b = 0
para todo b F , ya que
n b = n (aa 1 )b = (na)(a 1 b) = 0(a 1 b) = 0
Si F es un cuerpo de caracterstica finita, digamos p, entonces podemos notar que la caracterstica de
un cuerpo es siempre un numero primo. Si este no fuera el caso, entonces p = r s, y as tendramos que
pa = r sa = r (sa). Sin embargo, sa = b 6= 0, si a 6= 0 y r b 6= 0, y dado que r y s son menores que p, tenemos
que pa 6= 0 lo cual contradice la definicin de caracterstica. Si na = 0, para a 6= 0, entonces p divide a n,
ya que si n = q p + r , con 0 r < p, y na = (q p + r )a = q pa + r a. Luego, na = 0, implica que r a = 0, y por
la definicin de caracterstica y como r < p, debe ser que r = 0.
Si F es un cuerpo finito que tiene q elementos y E es una extensin de F , tal que [E : F ] = n, entonces
E debe tener q n elementos. Si 1 , . . . , n es una base para E sobre F , cada elemento de E puede ser
representado de forma nica como una combinacin lineal
x 1 1 + x 2 2 + . . . + x n n
donde x i F . Dado que cada x i puede tomar q valores en F , existen q n distintas elecciones posibles para
cada x i y luego E tiene q n elementos. As mismo, E es finito, y por lo tanto, existe un elemento E , tal
que E = F (), ya quelos elementos distintos de cero de E forman un grupo cclico generado por .
Si dejamos que P = 0, 1, . . . , p 1 sea el conjunto de unidades en un cuerpo F de caracterstica p, en-
tonces P es un subcuerpo de F que tiene p elementos distintos. De hecho P = (Z/pZ). Si F es un cuerpo
finito, entonces el grado de F sobre P es finito, digamos [F : P ] = n, y F contiene p n elementos. En otras
palabras, el orden de cualquier cuerpo finito es una potencia de su caracterstica.
Si F y F 0 son dos cuerpos finitos del mismo orden, q, entonces por lo anterior, ambos tienen la misma
caracterstica dado que q es una potencia de la caracterstica. El conjunto de unidades en F y F 0 forman
dos cuerpos P , y P 0 los cuales son isomorfos.
Los elementos distintos de cero de F y F 0 forman un grupo de orden q 1, y por lo tanto satisfacen la
ecuacin x q1 1 = 0. Los cuerpos F y F 0 son los cuerpos de descomposicin de la ecuacin x q1 = 1.
Por el teorema (4.2) el isomorfismo entre P y P 0 puede ser extendido a un isomorfismo entre F y F 0 y as
hemos demostrado
Teora de Galois 47

TEOREMA 9.8. Dos cuerpos finitos que tengan el mismo numero de elementos son isomorfos.

Si f (x) = a n x n + a n1 x n1 + . . . + a 1 x + a 0 es un polinomio en un cuerpo F , entonces definimos:

f 0 (x) = na n x n1 + . . . + 2a 2 x + a 1

Es fcil comprobar las reglas de diferenciacin. Si f (x) y g (x) son dos polinomios tenemos que

( f (x) + g (x))0 = f 0 (x) + g 0 (x)


( f (x) g (x))0 = f (x) g (x)0 + g (x) f 0 (x)
( f (x)n )0 = n f (x)n1 f 0 (x)

TEOREMA 9.9. El polinomio f (x) tiene races de multiplicidad si y solo si en el cuerpo de descomposicin
E los polinomios f (x) y f 0 (x) tienen una raz en comn.

DEM Si es una raz de multiplicidad k de f (x), entonces

f (x) = (x )k q(x)

donde q() 6= 0, esto nos lleva a

f 0 (x) = (x )k q 0 (x) + k(x )k1 q(x) = (x a)k1 (x )q 0 (x) + kq(x)


Si k > 1, entonces es una raz de f 0 (x) de multiplicidad de al menos k 1. Si k = 1, entonces f 0 (x) =


q(x) + (x )q 0 (x), y as f 0 () = q() 6= 0. Luego, f (x) y f 0 (x) tienen una raz en comn si y solo si es
una raz de f de multiplicidad mayor que 1.
Si f y f 0 tienen una raz en comn, entonces un polinomio irreducible en F que tenga a como raz
(este es siempre el caso), divide a ambos f y f 0 . Por otro lado, cualquier raz de cualquier factor comn de
f y f 0 es una raz de f y f 0

COROLARIO 9.10. Si F es un cuerpo de caracterstica 0 entonces todo polinomio irreducible en F es sepa-


rable.

DEM Supongamos lo contrario, es decir que el polinomio irreducible p(x) tiene una raz de multipli-
cidad mayor que 1. Entonces, p 0 (x) es un polinomio que no es cero, ya que su coeficiente lder es un
mltiplo del coeficiente lder de p(x) el cual no es cero, y es de grado menor al de p(x). Pero entonces
es una raz de p 0 (x), lo cual contradice la irreductibilidad de p(x).

Veamos un interesante resultado sobre un teorema el cual hemos usado bastante

TEOREMA 9.11. Sea F un cuerpo finito de caracterstica p > 0, entonces para todo a, b F , tenemos que

(a + b)p = a p + b p

DEM Vemos que segn el binomio de Newton, tenemos


! ! !
p
p p nk k p p p1 p
ab p1 + b p
X
(a + b) = a b =a + a b +...+
k=0 k 1 p 1

Ahora, supongamos que 1 k p 1, entonces tenemos que


!
p p(p 1)! (p 1)!
= =p
k k!(p k)! k!(p k)!
48 Cuerpos Finitos

Como no hay factores de p en (p 1)!, ni en k! o en (p k)!, tenemos que


!
p
p|
k

Antes de continuar, vamos a responder una pregunta sobre la existencia de cuerpos finitos. Sabemos que
si un cuerpo es finito, entonces contiene p n elementos, donde p es primo y n es un entero positivo. La
pregunta fundamental que surge es acerca de la existencia de un cuerpo finito de p elementos, para todo
p primo. Esto lo vamos a probar a continuacin Para n = 1, el cuerpo finito F = Z/pZ tiene p elemen-
tos y como hemos visto, cualesquiera dos cuerpos con p elementos son isomorfos. Si consideramos el
n
polinomio, f (x) := x p x con coeficientes en el cuerpo F vemos que si derivada es 1, y por lo tanto
es separable en F . Ahora, afirmamos que el cuerpo de descomposicin E de f (x) sobre F es un cuerpo
finito que contiene p n elementos. El cuerpo E contiene el conjunto S de las races de f (x). Sin embargo,
el conjunto S es cerrado bajo las operaciones del cuerpo, y as S es un cuerpo. Dado que los cuerpos de
descomposicin son mnimos por definicin, tenemos que S E , pero hemos dicho que E es el cuerpo
de descomposicin de F , y as E S, y luego E = S. Por ultimo, vemos que E tiene p n elementos, dado
que f (x) es separable, y as E es un cuerpo finito de p n elementos.
La unicidad de este cuerpo, es clara por el argumento anterior. y as hemos respondido nuestra pregunta.
Recordemos que un endomorfismo es un homomorfismo de un cuerpo F a si mismo, es decir, si : F F
es un homomorfismo, diremos que es un endomorfismo. Ahora, si K es un cuerpo de caracterstica p > 0
el cual contiene al cuerpo finito F de q elementos, donde q = p r y p es primo, entonces el q-esimo endo-
morfismo de Frobenius en K es la funcin Frobq : K K definida por

Frobq (x) = x q

Es fcil ver si trabajamos sobre un cuerpo de caracterstica cero, entonces Frobq es un automorfismo de
K que deja fijo al cuerpo finito F . Esta definicin, es importante ya que nos ayuda a desarrollar algunos
conceptos sobre los automorfismos de un cuerpo finito, y ayudara a que se pueda profundizar algunos
temas y resultados que hemos mostrado con anterioridad. Para simplificar la notacin y no referirnos a F
como el cuerpo finito de p n elementos, utilizaremos la notacin F p n para denotar a dicho cuerpo.
m
Observemos que dado que el cuerpo de descomposicin para x q x sobre el cuerpo finito F p contiene
todas las races de x q x, tenemos que F q m contiene un subcuerpo isomorfo a F q . Vamos a mostrar
que esta es la nica forma en la que se puede extender un cuerpo finito. Por ahora vamos a intentar de-
terminar el grupo de Galois del cuerpo de extensin F q m sobre F q el cual, como ya hemos visto, es normal.

TEOREMA 9.12. El grupo de Galois del cuerpo de extensin F q m /F q es un grupo cclico de m elementos
generado por el q-esimo endomorfismo de Frobenius.

DEM El hecho de que Frobq es un elemento de Gal(F q m /F q ) y que (Frobq )m = Frobq m es la identidad en
F q m es trivial. Dado que la extensin F q m /F q es normal y de grado m, el grupo Gal(F q m /F q ) debe tener
orden m, y podemos concluir la demostracin si podemos mostrar que (Frobq )k , para k = 0, 1, . . . , m 1,
son elementos distintos de Gal(F q m /F q ).
Es suficiente mostrar que ninguno de los elementos (Frobq )k , para k = 1, 2, . . . , m 1, es la funcin identi-
dad F q m , ya que entonces habramos mostrado que el orden de Frobq es m. Pero, si algn (Frobq )k fuera la
k
identidad, entonces el polinomio x q x tendra q m races distintas en el cuerpo F q m lo cual es imposible
ya que q k < q m
Teora de Galois 49

Lo que nos dice el anterior teorema, es que si p(x) es un polinomio en F q , donde q = p n , entonces si es
un elemento de una extensin tal que p() = 0 tenemos que Frobn () = q , Frob2n () = Frobn (Frobn ()) =
2
q son tambin races de la ecuacin.
Ahora podemos utilizar la correspondencia de Galois entre los subgrupos de los grupos de Galois y los
cuerpos intermedios de un cuerpo de extensin para clasificar todos los cuerpos intermedios de la exten-
sin F q m /F q . En otras palabras, vamos a utilizar el teorema fundamental de la teora de Galois.
TEOREMA 9.13. El cuerpo de extensin F q m sobre F q contiene exactamente un cuerpo intermedio, el cual
es isomorfo a F q d para cada divisor d de m.

DEM Por el teorema fundamental de la teora de Galois, cada cuerpo intermedio de F q m /F q corresponde
a un subgrupo de Gal(F q m /F q ). El anterior, como hemos visto, es un grupo cclico de orden m, y as sus
subgrupos son exactamente los subgrupos cclicos generados por (Frobq )d , para cada d tal que d m. El
d
cuerpo fijo de (Frobq )d es el conjunto de las races de x q x, el cual forma un subcuerpo de F q m el cual
es isomorfo a F q d . Y as hemos demostrado el teorema.

Por lo anteriormente expuesto, podemos ver que cualquier cuerpo algebraico cerrado tiene que ser in-
finito. Supongamos que F es un cuerpo finito de q elementos. Sea mcd(n, q) = mcd(n, q 1) = 1. Tenemos
que x n = 1 implica que x = 1, por el teorema de Lagrange, y por lo tanto x n 1 no se descompone en F y
por lo tanto no es cerrado.
Veamos un teorema que relaciona los caracteres de grupos con los cuerpos finitos y nos da un resultado
muy importante
TEOREMA 9.14. Sea G un grupo finito y sea F un cuerpo. Dejemos que sea un caracter de G al grupo
multiplicativo del cuerpo F , al cual en lo siguiente notaremos por F . Entonces,
(
| G |, si es trivial,
(g ) =
X
g G 0F , en caso contrario

DEM Primero, vamos a asumir que es trivial, es decir que para todo g G tenemos que (g ) = 1. En-
tonces, es fcil ver que el resultado es claro ya que i|G| (g i ) = |G|.
P
=1
Asumamos ahora que existe g 1 G, tal que (g 1 ) = h 6= 1. Dado que es un homomorfismo, podemos
deducir que (e) = 1, donde e es la identidad en G, y por lo tanto g 1 6= e.
Ahora, para cualquier elemento g 1 G, la funcin : G G, definida por g 7 g 1 + g es una biyeccin.
Dejemos que S = g G (g ) K . entonces:
P

h S = (g 1 ) S
(g 1 ) (g )
X
=
g G

(g 1 ) (g )
X
=
g G

(g 1 + g )
X
=
g G

( j )
X
=
j G
= S

Por lo que hemos visto anteriormente, las sumatorias de (g 1 + g ) y la de ( j ) son iguales, ya que ambas
recorren todos los valores posibles de sobre los elementos de G y por lo tanto hemos mostrado que

h S = S

y h 6= 1. Dado que F es un cuerpo tenemos que S = 0F , como queramos mostrar.


50 Races de Unidad

TEOREMA 9.15. Sea p > 0 un primo. Supongamos que d 1 es un entero, y que K es una extensin del
d
cuerpo F p d . Entonces si a K , dejemos que g a (x) = x p x a sea un polinomio en K . Entonces tenemos
que

i Si el polinomio g a (x) es irreducible sobre K , entonces el cuerpo de descomposicin E de g a (x) sobre K


es separable y Gal(E /K ) = Fpd

ii Si d = 1 entonces g a (x) es irreducible sobre K si y solo si no tiene ninguna raz en K

iii Si K es un cuerpo finito y d > 1, entonces g a (x) nunca puede ser irreducible sobre K .

10 Races de Unidad
Si F es un cuerpo de caracterstica p y E es el cuerpo de descomposicin del polinomio x n 1,
donde p - n, entonces nos referiremos a E como el cuerpo generado desde F por adjuntar una n-esima
raz primitiva de unidad.
El polinomio x n 1, no tiene races repetidas en E dado que su derivada nx n1 tiene una sola raz, ie 0, y
por lo tanto, no tiene races en comn con x n 1. Luego E es una extensin normal de F . Si 1 , 2 , . . . , n
son las races de x n 1 en E, entonces forman un grupo multiplicativo y este grupo, como hemos visto
anteriormente, es cclico. Si 1, , 2 , . . . , n1 : n = 1 son los elementos de este grupo, llamaremos a una
n-esima raz de unidad. Podemos ver que las soluciones a las ecuacin x n 1 = 0, vienen dadas por
2i k
e n , k = 0, . . . , n 1

De esto, vemos que el grupo de las n-esimas races de unidad, Un es isomorfo al grupo cclico de orden
Z/nZ. As hay (n), ( (n) es la funcin phi de Euler que cuenta el numero de enteros positivos menores
que n que son coprimos con n) generadores en Z/nZ, y por lo tanto, deben existir (n) generadores en Un .
A los generadores del grupo Un los llamaremos ensimas races primitivas de unidad, o races primitivas.
Consideremos la ecuacin
x5 1 = 0
Las soluciones a dicha ecuacin vienen dadas por
2i 4i 6i 8i
n o
1, e 5 , e 5 , e 5 , e 5

Es fcil ver que, como 5 es primo, entonces el grupo Z/nZ tiene (5) = 51 = 4 generadores. Consideremos
el isomorfismo : U5 Z/5Z, definido por
2i k
e 5 7 k

Es fcil ver, entonces, que los generadores de Z/5Z (ie {0, 1, 2, 3, 4}) determinan las races primitivas de
unidad.
En el caso general, es decir cuando n no es primo, podemos ver que el grupo Z/nZ contiene (n) gen-
eradores y estos son los elementos que son coprimos con n. Este hecho es fcil de realizar, ya que si
a Z/nZ, y mcd(a, n) = d > 1, entonces tenemos que

a n/d 0 (mod n)

y luego a no es un generador. De esta forma, concluimos que las n-simas races primitivas de unidad
vienen dadas por
2i k
e n , g cd (k, n) = 1
Teora de Galois 51

As mismo, nuestro isomorfismo , puede ser extendido para las ensimas races de unidad, ya que si
dejamos que : Un Z/nZ, y sea k < n, un entero tal que mcd(k, n) = 1, entonces
2i k
e n 7 k

es ciertamente un isomorfismo, y podemos encontrar (n) de ellos.


Si n es un entero positivo, podemos definir al n-esimo polinomio ciclotmico por
n
n (x) = (x n j )
Y
j =1,
( j ,n)=1

2i
donde n = e n Es sencillo ver, que el grado del polinomio es (n). Dicho polinomio, es irreducible en el
cuerpo de los nmeros racionales, como un simple argumento nos muestra.
Sea p 2 un numero primo, entonces vemos que

p (x) = 1 + x + . . . + x p1

donde los coeficientes de p(x) son enteros. Ahora, podemos ver que

p (x)(x 1) = (1 + x + . . . + x p1 )(x 1)
= (1 +(x! 1))p 1
p
p
(x 1)k
X
=
k=1 k
(x 1)p (mod p)

Luego de notar que podemos escribir el polinomio p (x) como

(x 1)p1 + c p2 (x 1)p2 + . . . + c 1 (x 1) + c 0

por el criterio de Eisenstein (2.1), tenemos que es irreducible. Mas adelante, cuando estudiemos exten-
siones de Kummer, daremos una demostracin mas interesante.
Podemos calcular algunos polinomios ciclotmicos para algunos primos,

2 (x) = 1+x
3 (x) = 1 + x + x2
5 (x) = 1 + x + x2 + x3 + x4
7 (x) = 1 + x + x2 + x3 + x4 + x5 + x6
11 (x) = 1 + x + x 2 + x 3 + x 4 + x 5 + x 6 + x 7 + x 8 + x 9 + x 10

Ahora, podemos determinar la ecuacin general para el ensimo polinomio ciclotmico

xn 1 = d (x)
Y
(2.18)
d |n

Y as, si expresamos a n como el producto de nmeros primos, digamos n = p 1 p 2 . . . p k tenemos que

x n 1 = p 1 (x) p 2 (x) . . . p k (x)

Para calcular el ensimo polinomio ciclotmico, podemos usar la ecuacin (2.18). Si conocemos k (x)
para k < n, entonces
xn 1
n (x) = Y
d (x)
d |n,
d <n
52 Races de Unidad

Si aplicamos la inversin de Mobius a la formula (2.18), obtenemos


n (x) = (x n/d 1)(d )
Y
d |n

As mismo, podemos notar que si p es primo, entonces todas las p-esimas races de unidad excepto 1
son primitivas, y por lo tanto tenemos que

x p 1 p1
X k
p (x) = = x
x 1 k=0

Es fcil generar un polinomio que contenga todas las n esimas races de unidad, ya que ciertamente
x n+1 1
p(x) = 1 + x + x 2 + . . . + x n =
x 1
las contiene.

LEMA 10.1. Si m|n, entonces Q(m ) Q(n )


DEM Dado que n/m
n = m , tenemos que m Q(n )
LEMA 10.2. Si m y n son coprimos entonces
Q(m , n ) = Q(mn )
y
Q(m ) Q(n ) = Q
DEM Es facil ver que m n es una mn-esima raiz de unidad, y por lo tanto Q(mn ) Q(m , n ). Mas aun,
tenemos que
[Q(zet a m , n ) : Q] [Q(m ) : Q] = (m)(n) = (mn)
dado que [Q(mn ) : Q] = (mn) esto implica que
Q(m , n ) = Q(mn )
Asi, podemos construir el siguiente diagrama

Q(m , n )
pp MMM
ppp MMM
ppp MMM
pp p MM
Q(m ) Q(n )
==NNN qq
== NNN qq
== NNN qqq 
== NN qqqq 
== 
==Q(m ) Q(n ) 
== 
== 
== 

Q

Ahora sabemos que Q(m , n ) tiene grado (mn) sobre Q y debemos tener que
[Q(m , n ) : Q(m )] = (n), y [Q(m , n ) : Q(n )] = (m)
Es facil ver entonces que
[Q(m ) : Q(m ) Q(n ) :] (m)
y por consiguiente tenemos que Q(m ) Q(n ) = Q
Teora de Galois 53

11 Ecuaciones de Noether
Si E es un cuerpo, y G = {, , . . .} , entonces cualquier conjunto de elementos {x , x , . . .} en E
se dir que es una solucin a la ecuacin de Noether, si x (x ) = x para todo , G. Si un elemento
x = 0, entonces x = 0, para todo G. Vemos que cuando recorre a G, asume todos los valores de
G, y en la ecuacin anterior, x = 0, cuando x = 0, salvo que la solucin sea completamente trivial (ie
x = 0). Podemos excluir la solucin trivial
TEOREMA 11.1. El sistema x , x , . . ., es una solucin a la ecuacin de Noether, si y solo si existe un elemento
en E tal que

x =
()
DEM Para cualquier es claro que x = /() es una solucin a la ecuacin, ya que
()
( )= =
() () () () ()
Por otro lado, sea x , x , . . . una solucin no trivial. Dado que los automorfismos , , . . . son todos distintos
esto implica que son linealmente independientes, y la ecuacin

x (z) + x (z) + . . . = 0

no se sostiene de forma idntica. Entonces vemos que existe un elemento e E , tal que

x (e) + x (e) + . . . = 6= 0

Si aplicamos a obtenemos
() = (x ) (e)
X
G
Multiplicando por x , tenemos
x () = x (x ) (e)
X
G
Ahora, si reemplazamos x (x ) por x y como asume todos los valores en G cuando lo hace,
tenemos que
x () = x (e) =
X
G
y luego tenemos que

x =
()

Una solucin a la ecuacin de Noether, define una funcin : G E por

7 x

Si F es el cuerpo fijo de G, y los elementos x estn en F , entonces es un caracter de G. As

() = x = x (x ) = x x = () ()

dado que (x ) = x si x F . Por otro lado cada caracter : G F , nos da una solucin a la ecuacin
de Noether. Sea () = x . Entonces, dado que x F , tenemos que (x ) = x . Luego

x (x ) = x x = ()() = () = x

. Si combinamos esto ultimo con el teorema anterior, tenemos


54 Extensiones cuadrticas

TEOREMA 11.2. Si G = Gal(E /F ) es el grupo de Galois del cuerpo normal E sobre F , entonces para cada
caracter : G F , existe un elemento E , tal que

() =
()

y por otro lado, si /() F , para todo , entonces () = es un caracter de G. Si m es el mnimo
()
comn mltiplo de los ordenes de los elementos de G, entonces m F

DEM Hemos mostrado todo el teorema anterior, salvo la ultima proposicin, pero es fcil demostrar esto
ya que solo tenemos que ver que (r ) = r para todo i nG. Pero

r r
=( ) = (())r = (r ) = (1) = 1
(r ) ()

12 Extensiones cuadrticas
El estudio de las extensiones cuadrticas es de suma importancia en la teora de nmeros al-
gebraica. A nosotros nos conciernen solo las definiciones y propiedades bsicas, las cuales nos llevan a
poder generalizar estas extensiones a p-extensiones, donde p es primo. As, una extensin cuadrtica
puede ser vista como una 2-extensin.
Si F es un cuerpo y K es su cerradura algebraica. Supongamos que F 6= K . Una extensin cuadrtica E
sobre F , es un cuerpo F < E K , tal que E = F (), para algn K \ F , donde 2 F . Si a = 2 , general-
p
mente lo notaremos como E = F ( a). si Fp= Q, entonces la podemos definir una extensi
on cuadrtica simplemente como E = Q( d ) donde d es un entero racional cualquiera.
p
Ahora, vemos que todo elemento de E puede ser escrito de la forma r + s a, para r, s F . Dicha repre-
p
sentacin es nica, y es fcil ver que {1, a} es un conjunto generador para E sobre F (considerando a E
como un espacio vectorial de F ). De hecho, tenemos que

TEOREMA 12.1. E es una extensin cuadrtica sobre F si y solo si dim(E /F ) = 2 (considerado como un
espacio vectorial) sobre F .

DEM La primera direccin es fcil de ver por el argumento anterior. Supongamos ahora que la dimensin
de E sobre F es 2, y que {1, } es un conjunto generador para E sobre F . Tenemos que 2 = r + s para r, s
en F . Dejemos que = 2s . Es fcil ver que es un elemento de E \ F y {1, } es cambien una base para
2
E sobre F . Mas aun, 2 = r + s4 F . Luego, F () es una extensin cuadrtica sobre F y [F () : F ] = 2. Pero
F () es un subcuerpo de E , y entonces

2 = [E : F ] = [E : F ()] [F () : F ] = 2 [E : F ()]

lo cual implica que [E : F ()] = 1 y entonces E = F ().


p
Tomemos un elemento cualquiera = r + s a en E \ K . Entonces s 6= 0 y ( r )2 = s 2 a F . As es raz
p
del polinomio irreducible p(x) = x 2 2r x + (r 2 s 2 a) en F . Si dejamos que sea r s a, entonces es la
otra raz de p(x), la cual esta en E \ F . Esto implica que el polinomio mnimo de todo elemento de E es a
lo sumo de grado 2, y se descompone en factores lineales en E .
p
Si la caracterstica de F no es 2, entonces 6= son dos races distintas de p(x). Esto muestra que F ( a)
es separable sobre F .
Ahora, sea f (x) un polinomio irreducible cualquiera sobre F el cual tiene una raz en E . Entonces el
Teora de Galois 55

polinomio mnimo. p(x) de en F , debe dividir a f (x) pero, como f (x) es irreducible, tenemos que
p p
p(x) = f (x) y esto muestra que F ( a) es una extensin normal sobre F . Dado que F ( a) es una extensin
normal y separable de F , entonces es una extensin de Galois.
Otra forma de mostrar la normalidad, es que si es una raz de p(x), entonces + = 0, y as tenemos
que ambas races pertenecen a E .
p p
Sea un automorfismo de E = F ( a) el cual tiene como cuerpo fijo a F . Entonces es fcil ver que ( a)
p
es una raz del polinomio mnimo de a. De esto tenemos que, o bien = Id esta en E o bien enva a
a . Con esto hemos mostrado que

TEOREMA 12.2. Si F es un cuerpo de caracterstica distinta de dos, entonces cualquier extensin cuadrtica
de F es Galois sobre F , y su grupo de Galois es isomorfo a Z/2Z.

COROLARIO
p p 12.3. Si F es un cuerpo de caracterstica distinta de 2 y , F , entonces tenemos que
F ( )
= F ( ) si y solo si es un cuadrado en F
p
DEM Asumamos que E = F ( ) = F ( ). Tenemos que G = Gal(E /F )
p
= Z/2Z por el teorema anterior.
Sea s 6= 1 un elemento de G. Entonces
p p q q
s( ) = , s( ) =
p
Dejemos que = a + b para a, b F , entonces tenemos que
q p q p
s( ) = a b = = a b

p p p
= b . Entonces = b y obtenemos que = b 2 2 es un cuadrado.
p
y esto implica que
c p
Por otro lado, si = c 2 , entonces = p , y por lo tanto F ( ) = F ( )
p p

Si E es una extensin finita de Q, entonces diremos que E es un cuerpo numrico algebraico o simple-
mente cuerpo numrico. Si el grado de la extensin [E : Q] = n, entonces diremos que E es un cuerpo
numrico de grado n sobre Q. As, vemos como las extensiones cuadrticas, por su definicin son cuer-
pos numricos. Ahora, la condicin de que la extensin sea algebraica, nos permite ver que todo elemento
E , puede ser representado de la forma q 0 + q 1 + . . . + q n n , donde q i Q. As mismo, podemos ver
que todo cuerpo numrico es de la forma
( )
n
i
qi
X
E = Q() = : ai Q
i =0

p
Consideremos la extensin E = Q( d ), donde d es un entero libre de cuadrados. Intentaremos de-
terminarplos enteros algebraicos en E . Un elemento cualquiera de E puede p ser expresado
p de la forma
x = a + b d , a, b Q. El grupo de Galois, Gal(E /Q) = {Id, }, donde (a + b d ) = a b d . As, es fcil ver
que el polinomio mnimo sobre Q de x E , es de la forma

x 2 2ax + a 2 d b 2

Ahora, x es un entero algebraico, si y solo si 2a y a 2 d b 2 son enteros racionales (ie son elementos de Z).
En este caso, tambin tenemos que 2b Z. As, tenemos que (2a)2 d (2b)2 = 4(a 2 d b 2 ) Z, y vemos
que d (2b)2 Z. Si 2b no es un entero racional, su denominador debe tener un factor primo p, el cual va a
aparecer como p 2 , en el denominador de (2b)2 . Si multiplicamos a (2b)2 por d , no puede cancelar a p 2 ,
porque d es libre de cuadrados, y el resultado sigue.
56 Extensiones cuadrticas

h p p i p p p
LEMA 12.4. Si F es un cuerpo de caracterstica distinta de dos, entonces F ( a, b) : F = 4 si a, b, ab
no son elementos de F .
p p
DEM Sea E = F ( b). Tenemos que [E : F ] = 2 ya que b nop
es un elemento de F y es suficiente mostrar
p p
que E ( a) : F = 2. Si a F , entonces tenemos que E = F ( b) y entonces
p p
a = r + s b, r, s F

pero esto no es posible ya que si elevamos la ecuacin anterior al cuadrado tenemos que
p
a = r 2 + 2 br s + s 2 b

y esto contradice la hiptesis ya que:


p 2 2 p p
Si r s 6= 0, entonces b = ar2rbs s y entonces b F . Ahora, si s = 0, entonces a F , ya que a = r 2 , y
p
r F . Por ultimo, si r = 0, entonces ab F , ya que a = s 2 b.

Si F es un cuerpo pde caracterstica distinta de dos, y E = F (S) es una extensin de F generada por n races
p p
cuadradas, S = a 1 , a 2 , . . . , a n : a i Q .
p p p p
Si S tiene un producto (ie a i . . . a k ) que no pertenece a F entonces cada extensin F ( a n ), F ( a n1 ,
p
a n2 ), . . . , F duplica el grado de la extensin anterior. Un simple argumento inductivo nos muestra esto
y luego podemos deducir que [E : F ] = 2n .
Consideremos el cuerpo
p p p p
K = Q 2, 3 = Q( 2)( 3)
p p
Dado que K esta determinado por la adjuncin de 2 y 3 un elemento de K puede ser escrito de la
forma
p p p
= (a + b 2) + (c + d 2) 3 , a, b, c, d Q

El grupo de Galois G = Gal(K /Q) puede ser determinado


p p de K que dejan
considerando los automorfismos
fijo apa. Cada automorfismo debe asociar a 2 con su conjugado complejo, es decir 2 y anlogamente
con 3. As mismo, tenemos que la composicin de ambos automorfismos y el automorfismo identidad
estn en G. Definamos entonces los automorfismos:
p p p
() = a b 2+c 3d 6
p p p
() = a +b 2c 3d 6
Id() =
p p p
()() = a b 2 c 3 + d 6

Luego, G = Id, , , . Determinar los subgrupos es sencillo:


El subgrupo trivial {Id} el cual corresponde con K .

El subgrupo G, el cual corresponde con Q


p p
El subgrupo {Id, } el cual corresponde con el cuerpo Q( 3) ya que deja fijo a 3
p p
El subgrupo Id, el cual corresponde con el cuerpo Q( 2) ya que deja fijo a 2

p p p p
El subgrupo Id, el cual corresponde con el cuerpo Q( 2, 3) = Q( 6) ya que deja fijo a 6

Teora de Galois 57

Teorema de Kaplansky
Ahora, vamos a ver un interesante resultado el cual nos ayudara a modo de ejemplo a compren-
der mejor lo que hemos estado viendo.

TEOREMA 12.5 (Teorema de Kaplansky). Sea f (x) = x 4 + ax 2 + b un polinomio irreducible en Q, entonces

i Si b es un cuadrado en Q entonces Gal(Q( f (x))/Q)


= Z/2Z Z/2Z

ii Si b(a 2 4b) es un cuadrado en Q entonces Gal(Q( f (x))/Q)


= Z/4Z

iii Si ninguna de las condiciones anteriores es cierta, entonces Gal(Q( f (x))/Q)


= D 8 , donde D 8 es el
grupo de diedros de orden 2 4.

Dejemos que g (x) = x 2 + ax + b sea un polinomio en Q. Si g (x) no fuera irreducible, entonces


tendramos que q(x) = (x 1 )(x + 1 ), y luego f (x) no seria irreducible. Por esto, podemos decir que
(a 2 4b) no es un cuadrado en Q (solo basta con encontrar las races de g (x) para ver esto). Ahora, dejemos
que d = (a 2 4b) sea un elemento de Q. Si notamos por su raz cuadrada, entonces tenemos que las
races de g (x) son (a )/2. As, tenemos que las races de f (x) son u, v, donde

(a ) (a )
u2 = , v2 =
2 2
y as tenemos que el cuerpo de descomposicin de f (x) sobre Q es E = Q(u, v) el cual contiene a la exten-
sin cuadrtica Q() de Q. Dado que el grado de f (x) es 4, tenemos que 4 divide a [E : Q]. De hecho, dado
que E esta compuesto por a lo sumo 3 extensiones cuadrticas entonces debe ser que [E : Q] divide a 8.
Ahora, tenemos que
a 2 d 4b
(uv)2 = u 2 v 2 = = =b
4 4
y luego uv es una raz cuadrada de b la cual esta en Q. Si dejamos que c = uv entonces tenemos que
v = c/u y entonces v es un elemento de Q(u), y esto muestra que E = Q(u). Por esto vemos que [E : Q] =
4 = | Gal(E /Q)|. Notemos que la extensin de Galois Q() de Q tiene que ser un subgrupo normal, N , de
Gal(E /Q). Por lo tanto hay un elemento Gal(E /Q) para el cual () = . Este elemento tambin
debe satisfacer que (u) = v y (v) = u. Dado u podemos elegir v de tal forma que (u) = v. As
mismo, debe existe un elemento N para el cual (u) = u y de forma similar (v) = v. Notemos que
si (u) = u entonces
(v) = (v) = u, () = () =

y por lo tanto podemos asumir que (v) = u.


Ahora tenemos que
c c
(u) = , (u) = u, (u) = (u) =
u u
Y estos automorfismos satisfacen que

2 = 2 = ()2 = Id, =

Y eso muestra que


Gal(Q( f (x))/Q) = Gal(E /Q) = {Id, , , }
= Z/2Z Z/2Z
Ahora vemos que pasa si bd es un cuadrado en Q. Si este fuera el caso tendramos que

(uv)2 = u 2 v 2 d = bd
58 Extensiones cuadrticas

el cual es un cuadrado en Q, y as podemos escribir c = uv, o lo que es lo mismo v = c/(u) el cual es un


elemento de Q(u) dado que Q() Q(u). Esto muestra que E = Q(u, v) = Q(u) y por lo tanto [E : Q] = 4 =
| Gal(E /Q)|.
Dado que Q() es Galois sobre Q entonces debe existir un elemento Gal(E /Q) tal que () = y que
adems (u) = v y dado u podemos elegir a v de forma tal que (u) = v. Ahora notemos que
c c
(v) = = = u
(u) v

y por lo tanto 2 (u) = u y eso nos muestra que

Gal(Q( f (x))/Q) = Gal(E /Q) = Id, , 2 , 3



= Z/4Z

Por ultimo, supongamos que d , b y bd no son cuadrados en Q. Podemos ver que (uv)2 = b y as uv E es
una raz cuadrada de b en E . Supongamos que uv Q(), entonces uv = p + q para algunos p, q Q. Si
elevamos al cuadrado obtenemos
b = (p 2 + q 2 d ) + 2pq
y por lo tanto pq = 0. No podemos tener que q = 0 dado que esto implicara que b es un cuadrado en Q,
y si p = 0 entonces b = q 2 d y por lo tanto bd = (qd )2 lo cual implica que bd es un cuadrado en Q. As
tenemos que
Q(uv) Q() = Q
Un argumento similar nos muestra que

Q(uv) Q() = Q = Q(uv) Q(uv)

Si dejamos que Gal(E /Q(uv)) Gal(E /Q), entonces () = y podemos asumir que v = (u) y por
lo tanto u = (v). Notemos que 2 = Id. Ahora, sea Gal(E /Q()) Gal(E /Q) donde (uv) = uv.
Debemos tener que (u) = u, o bien (v) = v, y por lo tanto podemos asumir que (u) = u y (v) = v.
Notemos tambin que 2 = Id.
Ahora, dejemos que Gal(E /Q(, uv)) Gal(E /Q), tal que (u) = u, entonces debemos tener que
(v) = v dado que (uv) = uv. As mismo, 2 = Id. Si dejamos que = entonces (v) = u, y entonces
2 = y por lo tanto si g ma tiene orden 4. As mismo

= = 1

De esta forma, tenemos un grupo de ocho elementos

Id, , , 1 , , , , 1

el cual es isomorfo al grupo D 8 . Y as, hemos mostrado el teorema de Kaplansky.


Veamos un ejemplo. Dejemos que f (x) = x 4 3 sea un polinomio con coeficientes en Q. Vamos a encon-
trar el cuerpo de descomposicin E para f (x) p sobre Q. Este es un caso del punto p 3 del teorema, y podemos
ver que 2 = 12, y podemos dejar que = 2 3i . Las races de x 2 3 son 3i , y por lo tanto podemos
asumir que p p p p
5 4
p
4 2 3 p4 1 2 3
38 = (1 + i ), v = 38 = (1 i )
2 2
(1 + i ) p
donde 8 es una octava raz de unidad, y podemos notar que 8 = . Luego, tenemos que uv = 3 y
2
uv = 6i . As tenemos que p p p
4 4 1 4
E = Q( 38 , 38 ) = Q( 3, 8 )
Teora de Galois 59

Tenemos que,psiguiendop la notacin


p putilizada anteriormente, es la restriccin de la conjugacin com-
pleja de E , ( 3i ) = 3i y ( 3) = 3 y as mismo (i ) = i . Por lo tanto
p
4
p
4
p
4
p
4
p
4
( 38 ) = 38 , ( 31
8 ) = ( 38 i ) = 38 i
p
4
p4
p
4
p
4
El efecto de y en las cuatro races 38 , 31 1
8 , 38 , 38 de f (x) vienen dadas por las per-
mutaciones
= (1 4 3 2), (1 2)(3 4)

y estas general el subgrupo de diedros de S 4 . De ello podemos ver que los subgrupos normales son

2 , , 2 , , 2 ,

y los cuerpos fijos que dejan son p p p


Q( 3, i ), Q(i ), Q( 3), Q( 3i )

respectivamente, y estos son todas extensiones normales de Q.

13 Cuerpos de Kummer
Si F contiene una n-esima raz primitiva de unidad, cualquier cuerpo de descomposicin E del
polinomio
(x n 1 )(x n 2 ) . . . (x n r )

donde i F sera llamado una extensin de Kummer de F , o un cuerpo de Kummer.


Si un cuerpo F contiene una n-esima raz primitiva de unidad, el numero n no es divisible por la car-
acterstica de F . Supongamos que este no es el caso, y dejemos que F tenga caracterstica p y n = q p.
Entonces x p 1 = (x 1)p , ya que como hemos visto, en la expansin de (x 1)p todos los coeficientes son
divisibles por p. Luego, tenemos que x n 1 = (x p )q 1 = (x q 1)p y as y n 1 no puede tener mas de q
races distintas. Pero hemos asumido que F tenia una ensima raz primitiva de unidad, y 1, , . . . , n1

serian n races distintas de x n 1. Luego, sigue que n no es divisible por la caracterstica de F . Para
un cuerpo de Kummer E , ninguno de los factores x n a i , a i 6= 0, tiene races de multiplicidad ya que la
derivada nx n1 tiene solo una raz (ie 0) y por lo tanto no tiene races en comn con x n a i . Por lo tanto,
los factores irreducibles de x n a i son separables, y E es una extensin normal de F .
Sea i una raz de x n a i en E . Si 1 , 2 , . . . , n son las n races de unidad en F , entonces

i 1 , i 2 , . . . , i n

son n races distintas de x n a i y entonces tenemos que E = F (1 , 2 , . . . , r ). Sean y dos automorfis-


mos en el grupo G = Gal(E /F ) de E sobre F . Para todo i ambos y asociaran a i con alguna otra raz
de x n a i . Luego
(i ) = i i y (i ) = i i

donde i y i son n-esimas races de unidad en el cuerpo base F . De esto tenemos que

((i )) = (i i ) = i (i ) = i i i = ((i ))

Dado que y son conmutativos sobre los generadores de E , se tiene que conmutan con cada elemento
de E . Luego, G es conmutativo (ie Abeliano). Si G, entonces

(i ) = i , 2 (i ) = 2i i , . . .
60 Cuerpos de Kummer

n
Luego, tenemos que ni (i ) = i para n i tal que i i = 1. Dado que el orden de una n-esima raz de unidad
es un divisor de n, tenemos que n i |n y el mnimo comn mltiplo m de n 1 , n 2 , . . . , n r es un divisor de n.
As, m (i ) = i para i = 1, 2, . . . , r , y por lo tanto m es el orden de . Luego, el orden de todo elemento
de G es un divisor de n y por lo tanto, el mnimo comn mltiplo m de todos los elementos de G es un
divisor de n. Si es una n-esima raz primitiva de unidad, entonces n/r es una r -esima raz primitiva de
unidad. Todo esto se puede resumir en el siguiente teorema

TEOREMA 13.1. Si E es un cuerpo de Kummer, es decir, el cuerpo de descomposicin de

p(x) = (x n a 1 )(x n a 2 ) . . . (x n a r )

donde a i F , y F contiene una n-esima raz de unidad entonces

i E es una extensin normal de F

ii El grupo G = Gal(E /F ) es Abeliano

iii El mnimo comn mltiplo de los ordenes de los elementos de G es un divisor de n

COROLARIO 13.2. Si E es el cuerpo de descomposicin de x p a, y F contiene una p-esima raz primitiva


de unidad, donde p es primo, entonces o bien E = F , y x p a se descompone en F o bien x p a es irreducible
y el grupo G = Gal(E /F ) es cclico de orden p.

DEM El orden todo elemento de G es , por el teorema (13.1) un divisor de p, y por lo tanto, si el elemento
no es una unidad su orden debe ser p. Si es una raz de x p a, entonces , , . . . , p1 son todas las
rices de x p a, y as tenemos que E = F (), y [E : F ] p.
Por lo tanto, el orden de G no es mayor que p y si g 6= 1 es un elemento G, entonces G = 1, g , g 1 , . . . , g p1 ,

Dado que G tiene p elementos y su comportamiento esta determinado por su efecto en , entonces
debe tener p distintas imgenes. Por lo tanto, la ecuacin irreducible en F para , debe ser de grado p, y
por lo tanto x p a = 0.

Las propiedades (i), (ii) y (iii) del teorema (13.1) caracterizan a los cuerpos de Kummer. Ahora veamos
un teorema que, conjuntamente con el teorema (13.1), nos brinda un importante resultado que luego
analizaremos.

TEOREMA 13.3. Sea F un cuerpo cuya caracterstica no es divisible por el entero n. Sea E = F (), donde
es un n-esima raz de unidad primitiva, entonces el grupo G = Gal(E /F ), es isomorfo a un subgrupo de
(Z/nZ) .

DEM Dado que x n 1 es separable, E es normal sobre F , y entonces tenemos que [E : F ] = |G|. Sea G,
entonces esta determinado nicamente por su efecto sobre , es decir () = i , para i = 1, 2, . . . , n 1.
De forma similar, tenemos que 1 () = j para algn j = 1, . . . , n 1. De esto podemos ver que

i j 1 (mod n)

Esto quiere decir que i es congruente a una unidad en Z/nZ, y la funcin es un homomorfismo.

La dimensin [E : F ] es estrictamente menor a n.


Supongamos que E es una extensin normal de un cuerpo F , cuyo grupo G = Gal(E /F ) es Abeliano. Pode-
mos asumir que F contiene una r -esima raz primitiva de unidad, donde r es el mnimo comn mltiplo
de los ordenes de los elementos de G.
El grupo de caracteres X de G en el grupo de las r -esimas races de unidad es isomorfo a G. Mas aun,
para cada G, si 6= Id, entonces existe un caracter X , tal que () 6= 1. Si escribimos a G, que
Teora de Galois 61

por el teorema de la descomposicin de Kronecker sabemos que es posible, como el producto directo de
los grupos cclicos G 1 ,G 2 , . . . ,G t , de ordenes m 1 , m 2 , . . . , m g , donde m i |m i + 1, para i = 1, . . . , m 1. Cada
G, puede ser escrito como
v v v
= 1 1 2 2 . . . t t
Sea i un caracter tal que

i

m i esima raiz primitiva de unidad
i (i ) =
1 si i 6= j

Sea un caracter cualquiera, (i ) = i i , y as tenemos que

= i i 2 i . . . t i

Por otro lado, 1 1 . . . t t define a un caracter. Dado que el orden de i es m i , el grupo de caracteres X de
G es isomorfo a G. Si 6= 1, entonces en
v v v
= 1 1 2 2 . . . t t
v
al menos un v i , digamos v 1 , no es divisible por m 1 . Luego, 1 () = 1 1 6= 1.
Sea A el conjunto de todos los elementos distintos de cero E , para los cuales r F , y sea F 1 el con-
junto de todos los elementos distintos de cero en F . Es fcil ver que G es un grupo multiplicativo, y que
F 1 A. Sea A r el conjunto de las r -esimas potencias de los elementos de A, y F 1r el conjunto de las r -
esimas potencias de los elementos de F 1 . El siguiente teorema muestra un mtodo para calcular el grupo
A en los casos mas comunes

TEOREMA 13.4. Los grupos cocientes, A/F 1 y A r /F 1r , son isomorfos entre si, y son isomorfos a los grupos G
yX

DEM Si A, y r A r , entonces tenemos que 7 r . As mismo si f F , f r F 1r y A entonces


7 f r si y solo si r = f r , es decir, que es una solucin a la ecuacin

xr f r = 0

Pero f , f , 2 f , . . . , r 1 f son distintas soluciones a esta ecuacin y dado que y f pertenecen a F 1 ,


tenemos que debe ser uno de esos elementos y por lo tanto F 1 .


As, el conjunto de inversas en A del subgrupo F 1r de A r es F 1 , y vemos que A/F 1 = A r /F 1r .
Si A, entonces
/())r = r /(r ) = 1
Luego, /() es una r -esima raz de unidad y pertenece a F 1 . Por el teorema (11.2), /() define un
caracter () de G en F . Asociamos al correspondiente caracter . Cada caracter es, por el teorema
(11.2), imagen de algn .
Mas aun, 0 es asociado con el caracter

0 0
0 () = = = ()0 () = 0 ()
( ) ()(0 )
0

as la funcin es un homomorfismo. El ncleo de este homomorfismo, es el conjunto de todos los elemen-


tos para los cuales /() = 1, para todo , luego, vemos que es F 1 . De esto, A/F 1
= X y as A/F 1
= G.
En particular A/F 1 es finito.

Ahora vamos a probar las equivalencias entre los cuerpos de Kummer y los cuerpos que satisfacen las
propiedades (1), (2) y (3) del teorema (13.1),
62 Cuerpos de Kummer

TEOREMA 13.5. Si E es un cuerpo de extensin sobre F , entonces E es un cuerpo de Kummer si y solo si E


es normal, su grupo de automorfismos G = Gal(E /F ) es Abeliano y F contiene una r -esima raz primitiva
de unidad, donde r es el mnimo comn mltiplo de los ordenes de los elementos de G

DEM La necesidad ha sido demostrado en el teorema (13.1). Vamos a probar la suficiencia. Sean 1 F 1 , 2 F 1 ,
. . . , t F 1 las clases colaterales de F 1 . Dado que i A tenemos que ri = f i F . Luego, i es una raz de la
ecuacin x r f i = 0, y como i , 2 i , . . . , r 1 a i son tambin races, x r a i debe descomponerse en E .
Ahora demostraremos que E es el cuerpo de descomposicin de

(x r f 1 )(x r f 2 ) . . . (x r f t )

lo cual va a terminar la demostracin del teorema. Es suficiente mostrar que E = F (1 , 2 , . . . , t ).


Supongamos que F (1 , 2 , . . . , t ) 6= E . Entonces F (1 , . . . , n ) debe ser un cuerpo intermedio entre F y
E , como E es normal sobre F (1 , . . . , t ) entonces existe un automorfismo G, 6= 1, que deje fijo a
F (1 , . . . , t ). Entonces, existe un caracter G, para el cual () 6= 1. Por ultimo, existe un elemento
E , tal que

() = 6= 1
()
Pero r F 1 por el teorema (11.2), luego i n A. Mas aun, tenemos que A F (1 , . . . , t ). Dado que
F (1 , . . . , t ) es, por hiptesis, fijo por tenemos que () = , lo cual contradice que /() 6= 1. Luego,
tenemos que
F (1 , 2 , . . . , t ) = E

COROLARIO 13.6. Si E es una extensin normal de F , de orden primo p, y si F contiene una p-esima raz
primitiva de unidad, entonces E es el cuerpo de descomposicin de un polinomio irreducible, x p a en F
p
DEM E es generado por los elementos 1 , . . . , n donde i F . Algn i no puede pertenecer a F , de-
jemos que sea 1 . Luego x p a es irreducible, sino F (1 ) seria un cuerpo intermedio entre F y E y de
grado menor que p y as p no seria primo, contrario a la hiptesis. Luego, E = F (1 ) es el cuerpo de
descomposicin de x p a

Por todo lo anterior, podemos definir una extensin de Kummer, de la siguiente forma: Sea n un entero
positivo y sea K un cuerpo de caracterstica k, con k - n, el cual contiene las ensimas races de unidad.
Una extensin L de K de la forma
p p p
K ( n a1 , n a2 , . . . , n ak )
donde a i pertenece al grupo multiplicativo de K , es una extensin de Kummer de K .
Si E es una extensin de F , y F contiene a las ensimas races de unidad, entonces al adjuntar a F la
ensima raz de unidad de un elemento cualquiera de E , estamos creando una extensin de Kummer
de grado m, donde m divide a n. Dicha extensin, como hemos visto es normal, y de la definicin se
desprende su separabilidad. As, tenemos que E es Galois. Mas aun, el grupo Gal(E /F ) es isomorfo a
Z/mZ. Es importante notar que el cuerpo F , debe tener todas las races, o bien una primitiva. Como un
ejemplo, podemos ver que el polinomio x 2 +1 en Q es irreducible, y el grado de dicho polinomio es 2. Pero,
tenemos que Q contiene dos p races de unidad, 1, 1. As, podemos ver que Q(i ) es una extensin de Q, y
x 2 + 1 = (x i )(x + i ) en Q( (i )). Luego, dicha extensin es una extensin cuadrtica, y por consiguiente
de Kummer. p p
n d
Se puede ver, que cualquier subcuerpo de p Q( 2) es isomorfo a Q( 2) para algn d p tal que d |n, ya que
x n 2 es irreducible sobre Q, el grado
n n
p de Q( 2) sobre Q es n. Sea B el subcuerpo de Q( 2). Consideremos
p
n n

el polinomio mnimo f (x) para 2 sobre B , y dejemos que f (x) tenga grado k. Dado que k = Q( 2) : B ,
Teora de Galois 63

tenemos que k|n y por lo tanto [B : Q] = d = nk . Todas las races de f (x) son races de x n 2, y dichas races
p
son 2s , donde es una ensima raz primitiva. Ahora,sea a 0 el coeficiente
n
p constante de f (x), entonces
n k 2
a 0 es igual al producto de todas lasp races pde f (x), es decir
p que a 0 = ( 2) . Ahora, como a 0 B R
n k d d
tenemos que 2 = 1. As a x d 2 es irreducible sobre

p 0 = ( 2) = 2 B , pero Q( 2) : Q = d ya que
d
Q y as tenemos que B = Q( 2).
Esto relaciona fuertemente las extensiones cuadrticas mencionadas anteriormente y las extensiones de
Kummer. Veamos el siguiente teorema:

TEOREMA 13.7. Sea p un primo impar, y sea una p-esima raz primitiva de unidad, entonces

i Q() contiene exactamente una extensin cuadrtica de Q


p
ii Si p = 4k + 1, entonces esta extensin cuadrtica es isomorfa a Q( p)
p
iii Si p = 4k + 3, entonces esta extensin cuadrtica es isomorfa a Q( p)

DEM El punto (1) es trivial ya que el grupo Gal(Q()/Q)


= (Z/pZ) , y por lo tanto, tiene un solo subgrupo
de ndice 2. Dejemos que g sea un generador del grupo de ndice dos (siempre es el caso, ya que el grupo
al cual pertenece lo es), y dejemos que
2 2
= + g + g + . . . , = c + bc + b c + . . .

donde c es elegido de forma tal que c no aparezca en la expresin para , esto siempre es posible ya
que la expresin para contiene solo los elementos del grupo de ndice 2, y siempre es posible elegir un
elemento que no pertenezca a el. Ahora es fcil ver que + = 1.
Para el punto (2), vemos que 1 aparece en la expresin para y uno puede comprobar que en este caso
p1 p1 p
tenemos que = 4 y por lo tanto es una raz de x 2 + x 4 . Luego, es fcil ver que p Q().
p+1
En el punto (3) tenemos que 1 aparece en la expresin para y tenemos que = 4 , y por lo tanto
p+1 p
es una raz de x 2 + x + 4 , y vemos que p Q().

Cuando trabajamos con las races de unidad prometimos dar una demostracin mas interesante de que
todos los polinomios ciclotmicos son irreducibles en Q. Lo primero que vamos a mostrar es que n (x)
Z. El cuerpo de extensin Q(n ) de Q es el cuerpo de descomposicin del polinomio x n 1 en Q, dado que
descompone a este polinomio y es generado por una sola raz (ie: primitiva) de este polinomio. Dado que
los cuerpos de descomposicin son normales, la extensin Q(n ) es una extensin de Galois. Cualquier
elemento del grupo de Galois, siendo un automorfismo, debe asociar a n con alguna otra ensima raz de
unidad. Por lo tanto, dado que Gal(Q(n )/Q) permuta las races de n (x), debe dejar fijo los coeficientes
de n (x) y as, por el teorema fundamental de la teora de Galois (8.6), los coeficientes deben estar en Q.
Mas aun, dado que los coeficientes son enteros algebraicos, deben estar en Z tambin.
Sea f (x) el polinomio mnimo de n en Q. Tenemos que f (x) tiene coeficientes enteros, ya que n es un
entero algebraico. Vamos a probar que f (x) = n (x) mostrando que toda raz de n (x) es una raz de f (x).
Ahora, si podramos mostrar que todo primo p que no divide a n, y toda ensima raz primitiva de unidad
satisfacen que, si f () = 0, entonces f (p ) = 0 habramos terminado, ya que sabemos que f (n ) = 0 y
p
toda otra raz primitiva de unidad es de la forma n para algn p primo que no divide a n.
Para mostrar esto, consideremos la factorizacin de x n 1 como x n 1 = f (x)g (x) para algn polinomio
g (x) Z. Si consideramos dicha factorizacin modulo p, entonces podemos ver que x n 1 no tiene races
repetidas modulo p ya que su derivada nx n1 no comparte ninguna raz con x n 1. Por lo tanto, si f () = 0
modulo p, entonces g () 6= 0 modulo p, y aplicando el p-esimo endomorfismo de Frobenius a ambos la-
dos nos da que g (p ) 6= 0 modulo p. Esto quiere decir que g (p ) nunca es 0 en el cuerpo de los nmeros
complejos,ya que no lo es modulo p. Sin embargo, p es una raz de x n 1, entonces si no es una raz de
g debe ser una raz de f , y por lo tanto tenemos que f (p ) = 0.
64 Cuerpos de Kummer

Dado un cuerpo numrico, es decir una extensin finita de Q, nos podemos preguntar si existen exten-
siones Abelianas de dicho cuerpo. Sea K un cuerpo numrico, es fcil ver que la extensin K (m ) donde
m es una raz de unidad, tiene un grupo de Galois el cual es Abeliano y es un subgrupo de (Z/mZ) . As
p
mismo, podemos adjuntar una raz cuadrada, pero si adjuntamos una ensima raz n a no tenemos mas
una extensin de Galois a menos que n K . Pero de hecho, para K = Q, todas las extensiones cuadrti-
cas de Q son ciclotmicas: para p 6= 2, con p primo, existe una sola extensin ciclotmicas es decir Q(p )
. Como hemos visto el grupo de Galois es (Z/pZ) , y este solo tiene un subcuerpo cuadrtico el cual es
p
Q( p), donde p = (1)(p1)/2 p.
Esto nos lleva a tratar la clsica ley de reciprocidad. Dados dos primos impares p, q entonces existe un
smbolo de Lagrange (p/q) el cual es 1 o 1, respectivamente, dependiendo en si p es un cuadrado mod-
ulo q o no. Vemos que tenemos

q
p p , po q 1 (mod 4),
=
q q , en otro caso
p

Es decir,
p q

= (1)(p1)(q1)/4
q p
La demostracin se puede hallar en cualquier texto de teora de nmeros, pero veamos un caso. Sea q 1
(mod 4). Consideremos la extensin Q(q ) de Q, cuyo grupo de Galois es Gal(Q(q )/Q) = (Z/qZ) . Esta
p
extensin contiene la extensin cuadrtica Q( q). Dejemos que = Frobp Gal(Q(q )/Q) sea el p-esimo
endomorfismo de Frobenius, y notemos que (p/q) = 1 si y solo si
p
p ( q)
p =1
q

Por la propiedad del endomorfismo tenemos que


p
p ( q) p
p ( q)p1 (mod p)
q

y esto es igual a uno si y solo si q (p1)/2 1 (mod p). Esto muestra la reciprocidad cuadrtica. El caso
cuando q 3 (mod 4) es similar.
Por esto vemos que la ley de reciprocidad cuadrtica no dice otra cosa sino que toda extensin cuadrtica
esta contenida en una extensin ciclotmica.
Podemos generalizar dicha ley, para hacerlo necesitamos poder construir extensiones Abelianas de cuer-
p
pos numricos K . Vamos a asumir que n K . Sea L = K ( n a) el cuerpo de descomposicin para x n a,
el cual es Abeliano sobre K , y tenemos la funcin

Gal(L/K ) n
p
( n a)
7 p
n
a
p
Notemos que esto es independiente de la eleccin de n a ya que solo difieren por una raz de unidad y
hemos asumido que n K . Esto es claramente un homomorfismo de grupos. Ahora, la teora de Kummer
nos dice que si L es una extensin de K y es cclica de orden n y as mismo n K , entonces existe L
tal que L = K () y n K . Lagrange descubri que si G = , entonces para cualquier x la resultante de
Lagrange
2 1n n1
= x + n1 (x) + 2
n (x) + . . . + (x)
Teora de Galois 65

Podemos ver que () = n y si 6= 0, entonces va a generar la extensin requerida. Ahora, nuestros


s no son otra cosa sino caracteres de grupo y siempre podemos encontrar siempre dicho 6= 0, por que
los caracteres son linealmente independientes (6.1).

14 Extensiones Simples
Recordemos que por el teorema (3.4) toda extensin algebraica mltiple de un cuerpo F era
una extensin algebraica simple, es decir F (, , , . . . , ) = F (). Ahora, vamos a considerar el problema
de determinar, bajo que condiciones un cuerpo de extensin es generada por un solo elemento. Si una
extensin es generada por un solo elemento, entonces la llamaremos extensin primitiva o extensin sim-
ple.

TEOREMA 14.1 (Teorema del elemento primitivo). Una extensin finita E de F es primitiva sobre F , si y
solo si existen un numero finito de cuerpos intermedios

DEM Sea E = F () y llamemos f (x) = 0 a la ecuacin irreducible para en F . Sea B un cuerpo intermedio
y g (x) la ecuacin irreducible para B . Si adjuntamos a F los coeficientes de g (x) vamos a generar un
cuerpo B0 entre F y B . g (x) es irreducible en B y tambin lo es en B 0 . Dado que E = B 0 (), es fcil ver que
[E : B ] = E : B 0 . Esto demuestra que B 0 = B . As, B esta nicamente determinado por el polinomio g (x).
Pero, g (x) es un divisor de f (x) y solo hay un numero finito de divisores de f (x) en E . Luego, existe un
numero finitos de cuerpos intermedios B 0 .

Asumamos que hay un numero finito de cuerpos entre E y F . Si F contiene un numero finito de elemen-
tos, entonces E es generado por un solo elemento de acuerdo con el corolario (9.5). Asumamos entonces,
que F contiene un numero infinito de elementos. Vamos a demostrar que Para cual-quieras , , existe
un elemento E , tal que F (, ) = F (). Esto, no es diferente a la demostracin dada en el teorema (3.4),
pero lo mostraremos de otra forma, en caso que la primera demostracin se haya comprendido.
Sea = + c, donde c F . Consideremos todos los cuerpos F () obtenidos de estas forma. Dado que
tenemos una infinitud de c a nuestro disposicin, podemos encontrar c 1 y c 2 tales que

1 = + c 1 y 2 = + c 2

formen el mismo cuerpo, F (1 ) = F (2 ). Dado que ambos, 1 y 2 estn en F (1 ), su diferencia, es decir


+ c 1 ( + c 2 ) = k para algn k es un elemento de F (1 ). Pero tambin esto implica que F (1 ).
As mismo, tenemos que 1 c 1 = . Luego, F (, ) F (1 ). Dado que F (1 ) F (, ), tenemos que
F (1 ) = F (, ).
Ahora, sea E , tal que F () : F sea el de mayor grado posible. Todo elemento E , debe estar en

F () ya que si no fuera el caso, podramos encontrar un elemento tal que F () contenga a y a . Esto,
demuestra que E = F (), y as queda demostrado el teorema.

Podemos dar otro argumento para la demostracin del teorema anterior

DEM Supongamos primero que E = F (). Sea f (x) el polinomio mnimo para sobre F , y sea E 0 el
cuerpo de descomposicin para f (x). Podemos ver que E : F es finito, y que E 0 es una extensin de Ga-
0

lois. Por el teorema fundamental de la teora de Galois (8.6) existe una funcin biyectiva entre el cuerpo
intermedio B , tal que F B E 0 , y los subgrupos de Gal(E 0 /F ). As vemos que hay un numero finito de
cuerpos intermedios (dado que la extensin es finita y Gal(E 0 /F ) tambin lo es), pero E E 0 y entonces
todo cuerpo B tal que F B E , es un cuerpo intermedio entre F y E 0 , y hay un numero finito de ellos.
66 Existencia de un base normal

Ahora, supongamos que existen solo un numero finito de cuerpos intermedios, B . Si F es un cuerpo
finito, entonces tambin lo es E y entonces todas las extensiones son generadas por un solo elemento.
Asumamos que F ,y por lo tanto E , son infinitos. Sea {1 , 2 , . . . , n } un conjunto generador mnimo para
E sobre F . Entonces E = F (1 , . . . , n ). Si podemos mostrar que cualquier cuerpo de extensin generado
por dos elementos puede ser generado por un solo elemento, hemos terminado ya que el resultado gen-
eral se puede derivar por un simple argumento inductivo.
Asumamos que E = F (, ). Consideremos el conjunto de elementos { + a} donde a es un elemento
de el grupo multiplicativo de F , y por lo tanto no es cero. Por lo que hemos asumido anteriormente este
conjunto es infinito, pero hay un numero finito de cuerpos intermedios entre E y F , y as dos elementos
deben ser generados por la misma extensin B de F , digamos + a y +b. Este cuerpo, B , contiene los
elementos
+a +b
( + a) ( + b) a b
= , 1 1
=
a b a b
entonces si dejamos que = + a, podemos ver que

F () = B = F (, ) = E

TEOREMA 14.2. Si E = F (1 , 2 , . . . , n ), es una extensin finita de F , y 1 , . . . , n son elementos separables


en E , entonces existe un elemento primitivo E , tal que E = F ()

DEM Sea f i (x) la ecuacin irreducible para i F , y sea B la extensin de E que descompone a f 1 (x) f 2 (x)
. . . f n (x). Luego, B debe ser normal sobre F y debe contener un numero finito de cuerpos intermedios.
Luego, el subcuerpo E contiene un numero finito de cuerpos intermedios, y por el teorema anterior, el
teorema queda probado.

Vemos que en el caso de E no sea una extensin separable, entonces si [E : F ] = p, donde p es un primo,
entonces E es una extensin simple de F . Esto es fcil de ver ya que el grupo de automorfismos Aut(E /F )
es cclico.

15 Existencia de un base normal


Vamos a probar un caso mas general de un teorema que hemos demostrado anteriormente.

TEOREMA 15.1. Si E es una extensin normal de F y 1 , . . . , n , son los elementos de su grupo Aut(E /F ),
entonces existe un elemento E , tal que los n elementos 1 (), 2 (), . . . , n () son linealmente indepen-
dientes con respecto a F .

DEM De acuerdo con el teorema (14.2) existe un elemento , tal que E = F (). Sea f (x) la ecuacin para
, y dejemos que i () = i , luego
f (x)
g (x) =
(x ) f 0 ()
y as mismo
f (x)
g i (x) = i (g (x)) =
(x i ) f 0 (i )
vemos que g i (x) es un polinomio en E que tiene a k como raz para todo k 6= i , y luego

g i (x)g k (x) 0 (mod f )(x), k 6= i (2.19)


Teora de Galois 67

En la ecuacin
g 1 (x) + g 2 (x) + . . . + g n (x) 1 = 0 (2.20)

el lado izquierdo es de grado a lo sumo n 1. Si la ecuacin (2.20) fuera satisfecha por n diferentes valores
de x, el lado izquierdo debera ser 0. Tales n valores son 1 , . . . , n , dado que g i (i ) = 1, y g k (i ) = 0 para
todo k 6= i .
Si multiplicamos la ecuacin (2.20) por g i (x) teniendo en cuenta la ecuacin (2.19), tenemos

(g i (x))2 g i (x) (mod f )(x) (2.21)

Ahora, podemos calcular el determinante

Det(x) = |i k (g (x))| , i = 1, 2, . . . , n; k = 1, 2, . . . , n (2.22)

y vamos a demostrar que Det(x) 6= 0. Si elevamos al cuadrado, multiplicando columna por columna, y
calculamos su valor modulo f (x), obtenemos por (2.19), (2.20), (2.21) un determinante


1 0 0 ... 0


0 1 0 ... 0


Det(x) = 0 0 1 ... 0

.. .. .. .. ..
.


. . . .

0 0 ... 0 1

Luego (Det(x))2 1 (mod f )(x). As Det(x) puede tener un numero finito de races en F . Obvindolas
podemos encontrar un valor x tal que Det() 6= 0. Ahora, sea = g (). As tenemos que el determinante

|i k ()| 6= 0 (2.23)

Consideremos una relacin lineal cualquiera

x 1 1 () + x 2 2 () + . . . + x n n () = 0, xi F

Aplicando el automorfismo i a la relacin anterior, obtenemos un sistema de n ecuaciones homogneas


para x 1 , x 2 , . . . , x n . As, (2.23) nos muestra que x i = 0, y nuestro teorema queda demostrado.

16 Teoremas de las irracionalidades naturales


Sea F un cuerpo, p(x) un polinomio en F cuyos factores irreducibles son separables, y sea E el
cuerpo de descomposicin para p(x). Sea B una extensin arbitraria de F , y sea E B el cuerpo de descom-
posicin para p(x) cuando p(x) B . Si 1 , 2 , . . . , s son las races de p(x) en E B , entonces F (1 , . . . , s )
es un subcuerpo de E B el cual es un cuerpo de descomposicin para p(x) en F . Por el teorema (4.2),
E= F (1 , . . . , s ). Por esto, no perdemos generalidad si consideramos E = F (1 , . . . , n ) y asumimos que E
es un subcuerpo de E B . As mismo, E B = B (1 , . . . , s ).
Vamos a notar por E B la interseccin de E con B . Es fcil ver que E B es un cuerpo intermedio entre
F y E.

TEOREMA 16.1. Si G = Gal(E /F ), y sea H = Gal(E B /B ), entonces H es isomorfo a un subgrupo de G, que


tiene a E B como cuerpo fijo.
68 Teoremas de las irracionalidades naturales

DEM Cada automorfismo de E B sobre B simplemente permuta los elementos {1 , . . . , s } y deja a B fijo,
y por consiguiente a F . Dado que los elementos de E B son cocientes de polinomios en 1 , . . . , s con
coeficientes en B , el automorfismo esta completamente determinado por la permutacin que realiza en
{1 , . . . , s }. Luego, cada automorfismo de E B sobre B define un automorfismo de E = F (1 , . . . , s ) que
deja a F fijo. Distintos automorfismos, dado que 1 , . . . , s E , realizan diferentes permutaciones en E .
Luego, el grupo H de E B sobre B , puede considerarse como un subgrupo del grupo G de E sobre F . Cada
elemento de H deja a E B fijo, ya que deja fijo a todo elemento de B fijo. Sin embargo, cualquier elemento
de E el cual no pertenece a E B , no pertenece a B y por lo tanto cada automorfismo de H lo va a cambiar.
Luego, tenemos que E B es el cuerpo fijo de H .

COROLARIO 16.2. Si, bajo las condiciones del teorema anterior, el grupo G es de orden primo, entonces
H= G, o bien H = {Id}
Teora de Galois 69

17 Solubilidad por radicales y aplicaciones


Comenzaremos con el siguiente lema, el cual nos ayudara a demostrar un resultado debido a
Zassenhaus. Estos lemas, y teoremas son importantes ya que nos ayudaran a estudiar la posibilidad de
resolver ecuaciones de grado n, mediante radicales.

LEMA 17.1. Si G es un grupo, entonces:

i Si K / H G y f es un homomorfismo en G, entonces f (K ) / f (H )

ii Si K / H G y N / G entonces N K / N H

iii Si A, B,C , D son subgrupos de G, con A / B y C / D, entonces:

A(B C ) C A(B D)

y por simetra:
C (D A) C C (D B )

iv Siguiendo el punto anterior:

A(B C ) B D = C (D A) D B

y de forma equivalente:
A(B C ) D = C (D A) B

DEM i Para h H , y k K tenemos:

f (h) f (k) f (h)1 = f (hkh 1 ) f (K )

ii Sea f la funcin de G en G/N . Por (i) tenemos que N K /N C N H /N El resultado sigue por el teorema
de la correspondencia.

iii Aplicamos (ii) con G = B , N = A, K = B C , H = B D

iv Las dos versiones son equivalentes porque A(B C ) B , y C (D A) D. Si x pertenece al conjunto


de la izquierda, entonces x = ac para algn a A, y c B C , y x tambin pertenece a D. Pero
x = c(c 1 ac) = c a 0 para algn a 0 (A / B ).Dado que x D y c C D, tenemos que a 0 D y por
lo tanto a 0 D A. Luego, x = c a 0 C (D A), y dado que x = ac con a A B , y c B C B ,
entonces x C (D A) B .
Por lo tanto el lado izquierdo es un subconjunto de el lado derecho, y por la simetra hemos termi-
nado.

COROLARIO 17.2 (Lema de Zassenhaus). Sean A, B,C , D subgrupos de G, con A / B y C / D, entonces:

A(B D) C (D B )
=
A(B C ) C (D A)

A(B D)
DEM Por la parte (4) de (17.1), los grupos cocientes estn bien definidos. Un elemento de es
A(B C )
de la forma: a y A(B C ) con a A y y B D. Pero a y = (y 1 a y) = y a 0 con a 0 A. Luego, a y A(B C ) =
y a 0 A(B C ).
70 Solubilidad por radicales y aplicaciones

C (D B )
De forma similar, un elemento de es de la forma zC (D A) con z D B = B D. Luego, si
C (D A)
y, z B D tenemos:
y A(B C ) = z A(B C ) z 1 y A(B C ) B D
luego, por la parte (iv) de (17.1) tenemos que esto es equivalente a:

z 1 y C (D A) D B yC (D A) = zC (D A)

A(B D) C (D B )
Luego, si h es una funcin definida por y A(B C ) 7 yC (D A), entonces h es una
A(B C ) C (D A)
biyeccin bien definida, y por la definicin de la multiplicacin de grupos cocientes tenemos que h es un
isomorfismo.

De lo anterior vemos que si H es un subgrupo de N y N /G, entonces H /H N


= H N /N (ntese queH N /N
G/N ). As mismo, si G/N es Abeliano, tambin lo es H /H N . Lo fundamental a comprender de lo an-
terior, es que si es un homomorfismo natural, entonces el mismo va a preservar las condiciones de
normalidad sobre los grupos cocientes.
Diremos que un grupo G es un grupo soluble si contiene una secuencia subnormal de subgrupos, es decir

G = G0 G1 . . . G s = 1

donde G i / G i 1 , y G i 1 /G i es Abeliano, para i = 1, . . . s.


Notemos que la condicin de que todo G i sea normal en G no es requerida, ya que esto llevara a que la
secuencia sea normal, y el grupo cclico infinito (ie: Z) no seria soluble, mientras que se puede mostrar
que no es el caso.
Ahora, si G es un grupo soluble, podemos mostrar que todo subgrupo , H de G tambin lo es. Si Hi =
H G i , entonces tenemos que Hi 1 /H es Abeliano, donde G i 1 = G, G i = N , y Hi 1 = H .

LEMA 17.3. Si un subgrupo G de S n , el grupo simtrico en n letras, (n > 4) contiene a todos los 3-ciclo, y si
H es un subgrupo normal de G tal que G/H es Abeliano, entonces H contiene a todos los 3-ciclos

DEM Dejemos que sea un homomorfismo natural de G G/N , y sean x = (i j k), y = (k r s) dos
elementos de U . Dado que G/H es Abeliano por hiptesis, podemos hacer que (x) = x 0 , y (y) = y 0 y as
obtener
(x 1 y 1 x y) = x 01 y 01 x 0 y 0 = 1
y as tenemos que x 1 y 1 x y H . Por otro lado

x 1 y 1 x y = (k j i ) (s r k) (i j k) (k r s) = (k j s)

y para todo k, j , s tenemos que (k j s) H .

Por el lema anterior podemos notar que S n , el grupo simtrico en n letras, no es soluble para n > 4. Si as
lo fuera, entonces como S n , n > 4 contiene todos los 3-ciclos, y el subgrupo normal H en G tambin, la
secuencia de grupos no podra terminar jamas en en 1. Otro argumento podra ser que el grupo alterno
en n letras, A n es un grupo simple, y adems A n / S n , cuyo grupo cociente es S n /A n = Z/2 f Z .
Un cuerpo de extensin E sobre F se llama una extensin por radicales si existen cuerpos intermedios
B 1 , B 2 , . . . , B r = E , y B i = B i 1 (i ) donde i es una raz de una ecuacin de la forma x ni c i = 0, donde
c i B i 1 . De esta definicin se desprende que si f (x) es un polinomio en un cuerpo F , entonces se dice
que f (x) es soluble por radicales si su cuerpo de descomposicin es parte de una extensin por radicales.
Como en nuestro trabajo anterior, vamos a asumir que nuestro cuerpo F tiene caracterstica cero, y que
Teora de Galois 71

contiene cuantas races de unidad como necesitemos.


Es importante destacar que cualquier extensin por radicales de F siempre puede ser extendida a una
extensin por radicales normal sobre F . De hecho, B 1 es una extensin normal de B 0 ya que no solo
contiene a 1 , sino a 1 , donde es cualquier n 1 raz de unidad, y as B 1 es el cuerpo de descomposicin
de x n1 c 1 . De ac se desprende el porque de nuestra necesidad de contar con infinitas races de unidad.
Ahora, si
f 1 (x) = (x n2 (c 2 ))
Y

donde Gal(B 1 /B 0 ), y toma todos los valores, entonces f 1 es un elemento de B 0 y si adjuntamos suce-
sivamente las races de x n2 (c 2 ) nos da una extensin de B 2 la cual es normal sobre F . Si continuamos
con esto vamos a terminar en una extensin de E por radicales la cual va a ser normal sobre F . Ahora
vamos a demostrar

TEOREMA 17.4. El polinomio f (x) es soluble por radicales si y solo si su grupo de Galois es soluble.

DEM Supongamos que f (x) es soluble por radicales. Sea E una extensin normal de F por radicales la
cual contiene el cuerpo de descomposicin, B , de f (x), y dejemos que G = Gal(E /F ). Dado que para cada
i , B i es una extensin de Kummer de B i 1 , el grupo de B i sobre B i 1 es Abeliano. En la secuencia de
grupos
G = G B0 G B1 . . . G Br = 1
cada grupo es un subgrupo normal del que le precede dado que G B i 1 es el grupo de E sobre B i 1 y B i
es una extensin normal de B i 1 . Pero entonces, G B i 1 /G B i es el grupo de B i sobre B i 1 y por lo tanto es
Abeliano. Luego, G es soluble. As mismo, G B es un subgrupo normal de G, y G/G B es el grupo de B sobre
F , y por lo tanto es el grupo del polinomio f (x). Pero, tenemos que G/G B es homomorfo al grupo G, y
dado que G es soluble, concluimos que el grupo de Galois de f (x) debe serlo.
Por otro lado, supongamos que el grupo G de f (x) es soluble, y sea E su cuerpo de descomposicin. Sea

G = G0 G1 . . . Gr = 1

una secuencia, donde G i /G i 1 es un subgrupo normal, para i = 1, 2, . . . , r . Sea B i el cuerpo fijo por G i .
Dado que G i 1 es el grupo de E sobre B i 1 y G i es un subgrupo normal de G i 1 , entonces B i es normal en
B i 1 y el grupo G i 1 /G i es Abeliano. As, B i es una extensin de Kummer sobre B i 1 y por lo tanto es el
cuerpo de descomposicin para un polinomio de la forma

(x n c 1 )(x n c 2 ) . . . (x n c s ),

y as formando los sucesivos cuerpos de descomposicin B k de cada factor (x n c k ), tenemos que B i es


una extensin por radicales de B i 1 , y de esto sigue que E es una extensin por radicales de F .

El hecho de que hayamos asumido que F contiene una raz de unidad no es necesario para la demostracin
del teorema anterior, si f (x) tiene un grupo de Galois G, entonces podemos adjuntar a F una n-esima raz
de unidad, , donde n = |G|. El grupo de Galois de F (x) cuando se considera en F () es, por el teorema
de las irracionalidades naturales (16.1), un subgrupo de G, y por lo tanto es soluble. As el cuerpo de de-
scomposicin sobre F () de f (x) puede ser obtenido por radicales. Por otro lado, si el cuerpo de descom-
posicin E sobre F de f (x) puede ser obtenido por radicales, entonces si adjuntamos una raz de unidad
a E , y lo extendemos a E (), seguimos teniendo una extensin normal sobre F (). Pero, E (), puede ser
obtenido adjuntando primero la raz de unidad, y luego los radicales a F . As, F seria extendido a F (), y
luego F () seria extendido a E (). Podemos ver que Gal(E ()/F ()) es soluble y Gal(E ()/F )/ Gal(E ()/F ())
es el grupo de Galois de F () sobre F y por lo tanto es Abeliano. De esto vemos que Gal(E ()/F ) es soluble,
y como el grupo cociente Gal(E ()/F )/ Gal(E ()/F ) es el grupo de Galois para f (x) y por ser homomorfo a
72 Solubilidad por radicales y aplicaciones

un grupo soluble tambin lo es.


Es fcil ver entonces que todo grupo Abeliano finito es soluble, y de ah deducimos que si K es un exten-
sin de Kummer, de algn cuerpo F , entonces el grupo Gal(K /F ) es soluble.
Si F es un cuerpo, el conjunto de todas las expresiones racionales en las variables u 1 , u 2 , . . . , u n con coefi-
cientes en F es un cuerpo F (u 1 , u 2 , . . . , u n ). Es decir, si consideramos todos los cocientes entre polinomios
en variables u 1 , . . . , u n , vamos a tener una extensin de F . Por la ecuacin general de grado n nos referimos
a la ecuacin
f (x) = x n u 1 x n1 + u 2 x n2 . . . + . . . + (1)n u n (2.24)
Sea E el cuerpo de descomposicin de f (x) en F (u 1 , . . . , u n ). Si v 1 , v 2 , . . . , v n son las races de f (x) en E ,
entonces
u1 = v 1 + v 2 + . . . + v n
u 2 = v 1 v 2 + v 1 v 3 + . . . + v n1 v)n
..
.
un = v 1 v 2 . . . v n
Vamos a demostrar que el grupo Gal(E /F (u 1 , . . . , u n ))
= Sn .
Sea F (x 1 , x 2 , . . . , x n ) el cuerpo generado desde F por las variables x 1 , x 2 , . . . , x n . Sean 1 , 2 , . . . , n , las fun-
ciones simtricas elementales, es decir (x x 1 )(x x 2 ) . . . (x x n ) = x n 1 x n1 + . . . . . . + (1)n n = p(x).
Si g (1 , 2 , . . . , n ) es un polinomio en 1 , . . . , n , entonces g (1 , . . . , n ) = 0 si y solo si g es el polinomio
cero. Si no fuera as X X
g ( x i , x i x k , . . .) = 0
entonces, esta relacin se sostendra si los x i fueran reemplazados por los v i , as
X X
g ( v i , v i v k , . . .) = 0 o g (u 1 , . . . , u n ) = 0

de lo cual vemos que g debe ser cero.


Entre el subcuerpo F (1 , . . . , n ) de F (x 1 , . . . , x n ) y F (u 1 , . . . , u n ) podemos formar la siguiente correspon-
dencia : F (u 1 . . . u n ) F (1 , . . . , n ), dada por

f (u 1 , . . . , u n )/g (u 1 , . . . , u n ) 7 f (1 , . . . , n )/g (1 , . . . , n )

Esta funcin, es sobreyectiva. Mas aun, si f (1 , . . . , n )/g (1 , . . . , n ) = f 1 (1 , . . . , n )/g 1 (1 , . . . , n ), en-


tonces f g 1 g f 1 = 0, pero esto implica que

f (u 1 , . . . , u n ) g 1 (u 1 , . . . , u n ) g (u 1 , . . . , u n ) f (u 1 , . . . , u n ) = 0

y as tenemos que f (u 1 , . . . , u n )/g (u 1 , . . . , u n ) = f 1 (u 1 , . . . , u n )/g 1 (u 1 , . . . , u n ). Es fcil ver que , es un iso-


morfismo. Pero bajo esta funcin, tenemos que f (x) 7 p(x). Dado que E y F (x 1 , . . . , x n ) son los cuerpos
de descomposicin para f (x) y p(x) respectivamente, por el teorema (4.2) este isomorfismo puede ser
extendido a un isomorfismo entre E y F (x 1 , . . . , x n ). Por lo tanto

Gal(E /F (u 1 , . . . , u n ))
= Gal(F (x 1 , . . . , x n )/F (1 , . . . , n ))

Cada permutacin de {x 1 , . . . , x n } deja fijo a 1 , . . . , n , y por lo tanto esto nos induce a un isomorfismo de
F (x 1 , . . . , x n ) que deja fijo a F (1 , . . . , n ). Por otro lado, cada automorfismo de F (x 1 , . . . , x n ) el cual deja a
F (1 , . . . , n ) fijo debe permutar a las races {x 1 , . . . , x n } de p(x) y esto esta completamente determinado
por su efecto en en x 1 , . . . , x n .
Luego, Gal(F (x 1 , . . . , x n )/F (1 , . . . , n )) es el grupo simtrico en n letras. Ya que el isomorfismo entre
F (x 1 , . . . , x n ) y E , el grupo Gal(E /F (u 1 , . . . , u n )) es tambin el grupo simtrico en n letras. Si recordamos
que dicho grupo no es soluble para n > 4, entonces vemos como el siguiente teorema de Abel viene a
nuestras mentes
Teora de Galois 73

TEOREMA 17.5. El grupo de Galois de la ecuacin general de grado n es el grupo simtrico en n letras. La
ecuacin general de grado n no es soluble por radicales si n > 4.

Supongamos que L = L 0 L 1 . . . L r = N es una extensin, N de L, por radicales. Aun si L


contiene todas las races de unidad necesarias y L i /L i 1 es Galois y cclico, puede no ser el caso de que
N /L sea Galois. Dejemos que L sea una extensin de Galois de K y M = L() donde es una raiz de x n a
para algn a L. Si fuera necesario, podramos adjuntar una raz de unidad primitiva a M , y entonces
x n a se descompondra sobre M (), es decir

x n a = (x )(x ) . . . (x n1 )

Ahora, tenemos que M () es el cuerpo de descomposicin para x n a sobre L y por lo tanto M ()/L es
Galois. Sea G = Gal(L/K ) y dejemos que

(x n (a))
Y
f =
G

Los coeficientes de f son invariantes bajo la accin de G (es decir la permutacin de races) y por lo tanto
f es un polinomio con coeficientes en K . Dado que L/K es Galois, este debe ser el cuerpo de descomposi-
cin para algn polinomio g con coeficientes en K . Dejemos que N sea el cuerpo de desomposicin para
f g y as tenemos que N /K es normal. Mas aun, N es obtenido por M si adjuntamos y luego una raz de
cada polinomio x n (a) para G, y asi N /M es una extensin por radicales.
Ahora, si M es una extensin por radicales de K entonces tenemos que

K = K0 K1 . . . Kr = M , K i = K i 1 (i )

donde i K i y el cual satisface a x ni a i = 0 para algn a i K i 1 .


Nos interesa mostrar que existe una extension por radicales N de M tal que N es una extensin de Galois
de K .
Lo haremos por induccin. Asumamos que es cierto para r 1, es decir que existe una extensin por
radicales N 0 de K r 1 tal que N 0 /K es Galois. Sea f r el polinomio mnimo para r sobre K r 1 y dejemos que
g r sea un factor irreducible de f r sobre el cuerpo N 0 (ntese que f r es mnimo sobre K r 1 ). Sea N 0 ()/N 0
una extensin de N 0 la cual fue obtenida por adjuntar una raz, , de g r . Consideremos K r 1 N 0 N (),
tal que tiene como polinomio mnimo a f r sobre K r 1 (dado que f r () = 0 y hemos asumido que f r es
irreducible). Ahora, vemos que K r = K r 1 (r ) = K r 1 (). Por lo tanto N 0 () es una extensin por radicales
K r = K r 1 (). Por hiptesis N /K es Galois y contiene una raz de x nr a r donde a r K r 1 N 0 . Por el
0

argumento anterior tenemos que existe una extensin por radicales N /N 0 () y asi N es una extensin por
radicales de K r = M y N /K es Galois. Ahora podemos probar un teorema

TEOREMA 17.6. Sea f un polinomio con coeficientes en K y supongamos que existe una extensin por
radicales
K = K0 K1 . . . Kr = M
donde K i = K i 1 (i ) y i es una raz de x ni a i sobre el cual f se descompone. Entonces Gal(M /K ) es soluble

DEM Por lo anterior, podemos asumir que M /K es Galois. Sea n = mcm(n 1 , n 2 , . . . , n r ) y sea una n-
esima raz primitiva de unidad.
Si Gal(M /K ) es solobule, entonces el cuerpo de descomposicin de f es un cuerpo intermedio K K 0
M , y tenemos que G al (K 0 /K ) es el cociente de Gal(M /K ) y por lo tanto es soluble. Ahora, solo queda
probar que Gal(M /K ) es soluble. Asumamos que K , y sea G i = Gal(M /K i ). Por lo tanto tenemos que

1 = G r G r 1 . . . G 1 G 0 = Gal(M /K )
74 Solubilidad por radicales y aplicaciones

Mas aun, cada extensin K i = K i 1 ()/K i 1 es Galois (ya que K ) y su grupo de Galois es cclico. Si
aplicamos el teorema fundamental de la toeria de Galois a la extensin M de K i 1 tenemos que G i es un
subgrupo normal de G i 1 y G i 1 /G i es cclico. Por lo tanto G 0 = Gal(M /K ) es soluble.
Si en cambio, K , dejemos que L = K (). Asi vemos que M ()/K es Galois. Dejemos que G 0 = Gal(M ()/L)
esto es soluble por lo anterior ya que L. Si G = Gal(M ()/K ) entonces tenemos que G/G 0 = Gal(K ()/K )
es el grupo de Galois de una extensin de Kummer, y por lo tanto es abeliana y soluble. Por lo anterior, G
es soluble y por lo tanto Gal(M /K ) lo es.

Dejemos que f (x) sea un polinomio sobre C, el cuerpo de los nmeros complejos. Dejemos que sea una
raz de f (x). Supongamos que pertenece a alguna extensin de C, digamos C(). Tenemos que C es una
extensin de R, el cuerpo de los nmeros reales, y as mismo C() es una extensin de R. Ahora vamos a
dejar que K sea la cerradura algebraica para C()/R, ya que si bien es separable dado que la caracterstica
de R es cero, no podemos determinar si C() es una extensin normal de R. As K es Galois sobre R y
podemos definir su grupo de Galois G = Gal(K /R). Ciertamente C es un cuerpo intermedio entre K y R, y
como [C : R] = 2, entonces existe un subgrupo de Gal(K /R), H , el cual es un 2-subgrupo de Sylow. Ahora,
este grupo H debe tener un cuerpo fijo, llamemoslo L. Por el teorema fundamental de la teora de Galois
tenemos que
[L : R] = [G : H ]

y como H es un 2-subgrupo debe tener ndice impar, es decir que [L : R] es impar.


Dado que L es una extensin finita y separable, por el teorema del elemento primitivo (14.1) tenemos que
L = R() para algn L, as el polinomio mnimo m(x) para sobre R es irreducible en R y tiene grado
impar.
El grado debe ser 1, ya que si no lo fuera tendra una raz en R, por lo tanto L = R, lo cual implica que
G = H . Luego G 1 = G al (K /C) es un 2-grupo. Si G 1 6= {e} podemos encontrar un subgrupo G 2 G 1 tal que
el ndice de G 1 en G 2 sea 2, y dejamos que M sea el cuerpo fijo de G 2 en K , de forma tal que

[M : C] = [G 1 : G 2 ] = 2

Pero cualquier polinomio de grado 2 sobre C tiene races en C, y entonces dicho cuerpo M no puede exi-
stir, y as tenemos que G 1 = {e} y luego K = C, y as tenemos que C.
Pero, entonces esto nos dice que C es cerrado, es decir que no existe ninguna extensin finita y por lo
tanto hemos demostrado el llamado Teorema fundamental del lgebra.
p
3
Vamos a determinar si Gal(Q(3 , 2)/Q) es soluble. p3
Notemos
p que el polinomio p(x) = x 3 2 en Q, es irreducible y que una raz es 2. Si, dejamos que
3
E = Q( 2), entonces tenemos una extensin de grado tres. Ahora, vemos que
p
3
p
3
p
3
p(x) = (x 2)(x 2 + 2x + ( 2)2 )
p3
p
3
donde el segundo factor, tiene races complejas, 23 , 223 , las cuales estn en la extensin E 0 = E (3 ),
p
3
y
lap misma tiene grado 2. As, el cuerpo de descomposicin
p de x 3 2, es E 0 = Q( 2, 3 ) , y tenemos
p que
3 3 3
Q(p 2, 3 ) : Q = 6. Ahora es fcil ver que Q( 2, 3 ) es una extensin radical de Q, y adems Q( 2, 3 ) =

3
Q( 2)(3 ). p3
Ahora, sabemos que Gal(Q( 2, 3 )/Q) es el grupo simtrico en 3 letras, S 3 , entonces podemos p identificar
3 3
a cada elemento del grupo de Galois con una permutacin p de las tres races de x 2, en Q( 2, 3 ).
3
Un ejemplo, de una extensin que no es Galois es Q( 2) sobre Q. Consideremos el polinomio mnimo p
3
p(x)x 3 2. Este polinomio tiene coeficientes en Q. Si factorizamos este polinomio en la extensin Q( 2)
tenemos p p p
3 3 3
p(x) = (x 2)(x 2 + x 2 + 4)
Teora de Galois 75

p
3
p
3 1 p p
3
p
Vemos que (x 2 + x 2 + 4) tiene como races: 3 [2] i 2 3 las cuales son complejas, pero como
p p 2
3 3
Q( 2) R, entonces p(x) tiene p una raz en Q( 2) pero no se descompone en dicha extensin. El cuerpo
3
de Galois para p(x) es Gal(Q( 2, i )/Q).
Es fcil ver que si p(x) y g (x) no tienen ningn factor en comn en F entonces no tienen races en comn.
Si fuera una raz comn, por el corolario anterior, el polinomio mnimo para sobre F divide a p(x) y a
g (x), y esto contradice que no tienen factor en comn.

En algunos casos, nos encontramos con un numero en una extensin E de un cuerpo F , y para es-
tudiar en profundidad el cuerpo de extensin, necesitamos hallar el polinomio mnimo, el cual nos dir si
E es, por ejemplo, una extensin
p p algebraica (en caso de existir dicho polinomio), si es normal, etc. Veamos
3 3
un ejemplo. Sea = 1 + 2 + 4 E , donde E es una extensin de Q. Si un polinomio es satisfecho por
p
3
p3 2
p3
, debe tener grado 3, ya que = 1 + 2 + 2 . Dejemos que u = 2, luego, el polinomio es de la forma
p(x) = x 3 + c x 2 + bx + a, y entonces tenemos que

a + (1 + u + u 2 )b + (1 + u + u 2 )2 c + (1 + u + u 2 )3

si utilizamos el hecho de que u 2 = 3, entonces vemos que

(1 + u + u 2 )2 = 1 + u 2 + u 4 + 2u + 2u 2 + 2u 3 = 5 + 4u + 3u 2
(1 + u + u 2 )3 = (5 + 4u + 3u 2 )(1 + u + u 2 ) = 5 + 9u + 12u 2 + 7u 3 + 3u 4 = 19 + 15u + 12u 2

Y luego, tenemos que a +(1+u +u 2 )b +(5+4u +3u 2 )c +(19+15u +12u 2 ). Vemos que, el cuarto sumando,
por ser el mayor numero, debe ser igual a los tres primeros, y por consiguiente ellos deben ser negativos;
ahora, si expandimos los sumandos tenemos que a + b + ub + u 2 b + 5c + 4uc + 3u 2 c + 19 + 15u + 12u 2 , y de
ello sacamos las siguientes ecuaciones

a +b +5c = 19
0 +ub +4uc = 15u
0 +u 2 b +3u 2 c = 12u 2

As, a = 1, b = 3, c = 3, y tenemos que el polinomio mnimo para es p(x) = x 3 3x 2 3x 1. Ahora,


si dejamos que E = Q(), dicha extensin no es normal, ya que p(x) = (x )(1+u +(2+u +u 2 )x +x 2 ),
y las races del factor de p(x) no estn en E , y as E no es una extensin normal. Ahora, como un factor
de p(x) es de grado dos, ptenemos que p(x) se debe descomponer en alguna extensin cuadrtica de E . Si
dejamos que E 0 = E (i , 3), entonces un poco de lgebra nos muestra que este es el cuerpo de descom-
posicin para p(x).

Volviendo al problema de la resolucin por radicales, otro problema al que la Teora de Galois da respuesta
es al de la posibilidad de construir un polgono regular de n lados utilizando una regla sin numerar y un
comps. Si bien este es un problema geomtrico puede ser resuelto de forma algebraica. El secreto esta
en realizar que el problema es equivalente a la posibilidad de dividir un circulo entre n arcos iguales. Esta
divisin, si consideramos el circulo de unidad en el plano complejo, C = {z : |z| = 1}, es igual a hallar las
ensimas races de unidad y como hemos visto, Un C . Es decir, la construccin de un polgono regular
de n lados es constructible, si y solo si el cuerpo de descomposicin E sobre Q del polinomio x n 1 es un
cuerpo numrico. Y esto es equivalente a la posibilidad de construir una torre de cuerpos:

E = Ek . . . E1 E0 = Q

en donde cada termino es una extensin de Galois de cualquiera de los trminos que le preceden. Pero,
para que cada extensin sea constructible debe dar que [E i : E i 1 ] = 2. Veamos la construccin de un
76 Solubilidad por radicales y aplicaciones

polgono regular de 5 lados. Sea E el cuerpo de descomposicin sobre Q del polinomio:

x 5 1 = (x 1)(x 4 + x 3 + x 2 + x + 1)

Tenemos que E = Q() donde = e 2i /5 = cos 72 + i sin 72 , as nuestro problema como suponamos es el
de expresar a cos 72 , y a sin 72 utilizando radicales. Vemos que las races del polinomio x 5 1 son:

1, (1)1/5 , (1)2/5 , (1)3/5 , (1)4/5

Entonces, el grupo de Galois Gal(E /Q) es un grupo con [E : Q] = 4 elementos 1 , 2 , 3 , 4 , cada uno esta
completamente determinado por , as i = i . Es fcil ver que Gal(E /Q)
= (Z/5Z) y as tenemos que
2
2 = es un generador ya que:
22 = 4 , 32 = 3 , 42 = 1

Ntese, que el hecho de que hayamos establecido que el grupo de Galois era isomorfo a grupo de unidades
de Z/5Z nos simplifica la tarea de encontrar un generador para dicho grupo.
Si dejamos que = 2 , entonces vemos que Gal(E /Q) = {1, , 2 , 3 } donde = 2 .
El nico subgrupo propio no trivial de Gal(E /Q) es el subgrupo normal H = {1, 2 }. Si K es un cuerpo
entre Q y E . El teorema fundamental de la teora de Galois (8.6) nos dice que Gal(E /K ) es un subgrupo de
Gal(E /Q) y en este caso Gal(E /K ) = H . Esto quiere decir que podemos determinar a K como el cuerpo fijo
del grupo H .
Los nmeros , 2 , 3 , 4 forman un sistema generador mnimo para E sobre Q y podemos notar que un
elemento = a 1 + a 2 2 + a 3 3 + a 4 4 de E pertenece a K si y solo si 2 = . Entonces, calculamos:

2 = a 1 4 + a 2 3 + a 3 2 + a 4

Luego, tenemos que 2 = si y solo si a 1 = a 4 , y a 2 = a 3 . As K , si y solo si = b 1 1 + b 2 2 , donde


1 = + 4 y 2 = 2 + 3 . Sabemos que la suma de las n-esimas races de unidad es cero, y entonces
podemos ver que

1 + 2 = + 2 + 3 + 4 = 1
1 2 4 2
= ( + )( + ) 3
= 3 + 4 + + 2 = 1

As 1 y 2 son las races del polinomio x 2 + x 1 sobre Q, y por ello

(x 1 )(x 2 ) = x 2 ( 1 + 2 )x + 1 2 = x 2 + x 1

Ahora, si resolvemos la ecuacin cuadrtica anterior, vemos que:


p
1 = 1
2 + 12 5 = 2 cos 72
p
2 = 1
2 12 5 = 2 sin 72
p
Entonces K = Q( 5) y vemos que es una raz de la ecuacin x 2 1 x + 1 = 0 sobre K , Pero, esto nos
dice que 2 cos 72 puede ser expresado utilizando radicales, y luego un pentgono es constructible ya que
hemos determinado la posicin de las races de unidad.
Debemos notar que lo hecho anteriormente ha sido determinar un polinomiop irreducible para 2 cos 72 ,
1 1
pero no hemos utilizado el hecho de que lo anterior es igual a 2 + 2 5. As mismo, si hubisemos ar-
2
gumento que el problema p era al de encontrar un cuerpo de descomposicin para x x 1, entonces
hubisemos visto que Q( 5) es dicho cuerpo y el problema hubiese estado resuelto.
Teora de Galois 77

18 Cohomologias
Diremos que un grupo G acta en un grupo A, si existe un homomorfismo de G en el grupo
Aut(A) de todos los automorfismos de A, que satisface que para todo g G, y a A, existe un elemento
g a A tal que

Para g 1 , g 2 G, y a A, (g 1 g 2 ) a = g 1 (g 2 a).

Para todo a A se tiene que 1 a = a.

g (a b) = g a g b.

Si, en particular, A es un grupo Abeliano, notaremos la operacin del grupo por +, en vez de utilizar , y el
elemento identidad lo notaremos por 0, y la inversa por a. Si un grupo G acta en un grupo Abeliano A,
diremos que A es un G-modulo. Asumamos en lo que sigue, que A es un G-modulo. Es natural preguntar
que elementos de A permanecen fijos bajo la accin de G. Ahora, 0 es fijo. Si a y b son puntos fijos,
entonces es inmediato por la definicin que a b tambin lo es, dado que g (a b) = g a g b = a b.
Ahora, es claro que el conjunto de los puntos fijos de A es un subgrupo de A.
Como hemos visto, 0 A, es un punto fijo y hemos mostrado que el conjunto de los puntos fijos forman
un grupo, pero quisiramos saber si este grupo es no-trivial, es decir que contiene algn otro elemento.
Vamos a reformular nuestra pregunta: Sea B un grupo Abeliano, y dejemos que G acte en B , y sea A un
subgrupo de B el cual es invariante (fijo) bajo la accin de G, es decir que para todo a A y todo g G,
tenemos que g a A. De esto, vemos que G acta tambin en A, se puede ver que la accin esta inducida
por la accin de G en B . Ahora, el grupo G tambin acta en el grupo cociente B /A, si dejamos que para
cualquier g G, y b B /A, tenemos
gb = gb
Supongamos que existe un elemento fijo de B /A, distinto de cero, bajo la accin de G. Quisiramos poder
determinar, de este punto fijo de B /A, un punto fijo de B bajo la accin de G. Es decir, si conocemos que
b B /A es fijo, queremos determinar cual es el punto de B que permanece fijo. Para hacer esto, sea b
B /A un punto fijo, y elijamos un elemento arbitrario b B cuya clase colateral en A es b. Consideremos
para cualquier g G, el elemento g b b. Notamos que la clase colateral de g b b en A es la clase colateral
0, dado que g b b = g b b = 0, as g b b es un elemento de A. Es obvio que estos elementos son cero
para todo g G, si y solo si b B es un punto fijo de G. As, la funcin:

f b : G A

g 7 g b b
nos da una forma de encontrar, dado un punto fijo b, un punto fijo en B bajo G. As mismo notamos que
la funcin f b satisface que f b (g g 0 ) = g f b (g 0 ) + f b (g ) para g , g 0 G.
Para cualquier grupo Abeliano A en el cual G acta, una funcin f : G A que satisface f (g g 0 ) = g f (g 0 )+
f (g ) para g , g 0 G, se llama 1-cociclo de G con valores en A. Antes de continuar, queremos mencionar, que
salvo por la notacin aditiva del grupo Abeliano, esta es una ecuacin de Noether. Ahora, dado un punto
fijo en B /A por G, obtenemos un 1-cociclo f : G A. Un 1-cociclo f se llama un 1-colimite si existe un
a A, tal que f (g ) = g a a, para todo g G. Podemos ver que cualquier 1-limite es un 1-cociclo, ya que
para g , g 0 G, g g 0 a a = g (g 0 a a) + g a a.
Es fcil ver que si f y f 0 son 1-cociclos entonces f + f 0 , definido por ( f + f 0 )(g ) = f (g ) + f 0 (g ), es de nuevo
un 1-cociclo. As, tenemos que los 1-cociclos de G A forman un grupo Abeliano, el cual notaremos
por Z 1 (G, A). La funcin Id : G A, definida por Id(g ) = 0 es el elemento identidad y para cualquier f
Z 1 (G, A), f esta definida por ( f )(g ) = f (g ), y esta es la inversa de f . Es inmediato que el subconjunto
B 1 (G, A) de 1-colimites de Z 1 (G.A) es de hecho un subgrupo de Z 1 (G.A). El grupo cociente H 1 (G, A) =
78 Cohomologias

Z 1 (G, A)/B 1 (G, A) se llama primer grupo de cohomologias de G con coeficientes en A. Con todas estas
herramientas, vemos que si empezamos con un punto fijo b B /A para g , obtenemos un 1-cociclo f b :
G A. Este cociclo es un colimite si y solo si existe un a A, tal que g b b = f b (g ) = g a a y as
g (b a) = g b g a = b a, es decir si y solo si b a es un punto fijo de B bajo la accin de G. Dado que
b a = b, vemos que podemos determinar un punto fijo de B bajo la accin de G conociendo un punto
fijo de B /A, dado que este pertenece a la clase de f b H 1 (G, A).
Para ser mas concretos, vamos a decir si G acta en un grupo Abeliano A, diremos que : G A es un
1-cociclo si
(ab) = (a) + a(b)
para todo a, b G. Si tomamos un elemento arbitrario m A, la funcin : G M definida por

(a) = am m

es un 1-cociclo, y lo llamaremos 1-colimite. As, de esta forma definimos los grupos

Z 1 (G, A) = : G A : es un 1 cociclo

B 1 (G, A) = : G A : es un 1 colimite

Por ultimo, el primer grupo de cohomologia de el G-modulo sobre A es definido como el grupo cociente

H 1 (G, A) = Z 1 (G, A)/B 1 (G, M )

Si a, y b son dos cociclos, a, b : G K se dirn cohomologos, y lo notaremos por a b, si existe k K tal


que
b(k) = ka()(k 1 )
para todo G.
Si tenemos dos homomorfismos : A B , y : B C diremos que y son exactas en B si la imagen
de es igual al ncleo de . Notemos que existe una especie de transitividad que definen y , as
podemos definir una secuencia de dichos homomorfismos
f n+1 fn
A n+1 A n A n1

Dicha secuencia se dice secuencia exacta si cada par de homomorfismos adyacentes son exactos, es decir

Im( f n+1 ) = Ker( f n )

Ahora, si G es un grupo, y tenemos que A, B,C son G-modulos los cuales estn relacionados por una
secuencia exacta
0 A B C 0
Entonces, existe una secuencia exacta en las cohomologias

0 H 0 (G, A) H 0 (G, B ) H 0 (G,C ) H 1 (G, A) H 1 (G, B ) H 1 (G,C ) . . .

Donde C 0 (G, A) = A, y para todo n 1 definimos el grupo

C n (G, A) = : G n A .

Los elementos de C n (G, A) se llaman n-cocadenas. As mismo, para n 0 definimos el n-colimite d n :


C n (G, M ) C n+1 (G, A) por
d n ()(g 1 , g 2 , . . . , g n+1 ) = g 1 (g 2 , . . . , g n+1 )
n
+ (1)i (g 1 , . . . , g i 1 , g i g i +1 , g i +2 , . . . , g n+1 )
X
i =1
+(1)n+1 (g 1 , g 2 , . . . , g n )
Teora de Galois 79

Sea Z n (G, A) = Ker(d n ) para n 0, el conjunto de los n-cociclos. As mismo, sea B 0 (G, A) = 1 para todo
n 1 y sea B n (G, A) = Im(d n1 ) el conjunto de los n-colimites.
As, tenemos que el n-esimo grupo de cohomologias de G con coeficientes en A es

H n (G, A) = Z n (G, A)/B n (G, A)

Los grupos H 2 (G, A) y H 1 (G, A) son los mas comunes, ya que estn fuertemente relacionados con las ex-
tensiones de grupos y sus automorfismos. Dado un G-modulo A, supongamos que G es una extensin
de G por A, es decir, G es un grupo el cual contiene a A como subgrupo normal y que satisface G /A = G,
donde la accin de G en A es la misma que la accin al que induce el isomorfismo (es decir la conju-
gacin). Podemos construir un 2-cociclo a , . Para todo G, sea u G el representante de la clase
colateral que corresponde a . Entonces tenemos que

G=
a
Au

es decir que todo elemento de G es de la forma au . As

u u = a , u

para algn a , A. As, la funcin (, ) 7 a , es un 2-cociclo.


El cuerpo C de todos los nmeros complejos tiene un automorfismo especial, llamado conjugacin com-
pleja, o conjugacin, el cual enva a cualquier numero complejo z a su conjugado z. Consideramos el
grupo G con dos elementos {Id, } el cual acta sobre C, donde Id deja fijo todos los nmeros complejos,
y acta como la conjugacin de un numero complejo. Es obvio que el conjunto de puntos fijos de C
para la accin de G es el cuerpo de los nmeros reales, R (de hecho, para z C, tenemos que z = z si y solo
si z R). Ahora vamos a calcular los grupos de cohomologia H 1 (G, C) y H 1 (G, C ), donde C es un grupo
Abeliano bajo la adicin y C = C {0} es el grupo de unidades.
Sea f : G C un 1-cociclo. Dado que f (1) = f (12 ) = 1 y f (1) + f (1) = 2 f (1), tenemos que f (1) = 0. Luego,
f esta nicamente determinado por f () = z. tenemos que 0 = f (1) = f (2 ) = f () + f () = z + z 0 , y as
z = z. Vemos que z es completamente imaginario (ie Re(z) = 0), as que z = z/2 (z)/2 = (z/2) (z/2)
lo cual muestra que f es un 1-colimite, es decir que H 1 (G, C) = 0.
Por otro lado, sea f : G C un 1-cociclo. Por el argumento anterior, tenemos que f (1) = 1 y f esta de-
terminado por f () = . Tenemos que 1 = f (1) = f (2 ) = f () f () = . Es decir que es un numero
complejo de valor absoluto 1, es decir que esta en el circulo de unidad. Luego, = e i para R. Luego,
i
e 2
= =
e
i
2

donde = e i /2 , lo cual muestra que f es un 1-colimite y H 1 (G, C ) = 0.

TEOREMA 18.1 (Teorema 90 de Hilbert). Sea L una extensin de Galois de un cuerpo K , y sea G = Gal(L/K )
su grupo de Galois. Entonces, el primer grupo de cohomologia H 1 (G, L ) es trivial.

DEM Sean a, a 0 : G L dos cociclos cohomologos, entonces el primer grupo de cohomologia viene
dado por
H 1 (G, L ) = a : G L : a es un cociclo /

Ahora, sea a : G L un cociclo. Consideremos la funcin : L L definida por


X
c 7 a()(c)
G
80 Cohomologias

Dado que los elementos del grupo de Galois son linealmente independientes, no es 0. As, podemos
elegir un c L, tal que b = (c) 6= 0. Entonces, si G, tenemos que

(b) = (a()(c))
X
G
(a())()(c)
X
=
G
a()1 a()()(c),
X
=
G

como a es un cociclo, es decir a() = a()(a()). Ahora, tenemos que

(b) = a()1
X
a()()(c)
G
= a()1 b.

Por lo tanto
a() = b(b)1 = b1(b 1 ),
donde 1 es el cociclo trivial, que satisface 1() = 1. Por lo tanto a 0, y as H 1 (G, L ) = 0.

COROLARIO 18.2. Siguiendo la notacion del teorema anterior. Si G es un grupo cclico con generador ,
entonces x L tiene norma 1 si y solo si x = y/(y) para algun y L

DEM Si E es una extension de Galois de F , y G = Gal(E /F ), definimos la norma de un elemento de E


por

Y
N () =
G
y
. Ahora, si x = (y) entonces (x) = 1 y asi

y Y (y)

N (x) = N = =1
(y) G ((y))

Ahora dejemos que N (x) = 1 y |G|n. Dado que G es cclico, tenemos que G
= Z/nZ. Podemos definir un
isomorfismo : Z/nZ L ,
i (x)
Y
i 7
0 j i 1

Dado que N (x) = 1, tenemos que el esta bien definido, ahora

(i + k) = 0 j i + k 1 j(x)
Q

= 0 j i 1 j (x) i 0 j k1 j (x)
Q Q

= (i )i ( j )

Por lo tanto es un cociclo, y por el teorema anterior tenemos que existe y L tal que x = (1) = y(y)1 .

Dejemos que K sea una cerradura separable de un cuerpo k (es decir, el menor cuerpo de extensin de k
que es separable y que es cerrado algebraicamente) y G k = Gal(K /k). Sea m 1 un entero, y asumamos
que la imagen de m en k no es cero, es decir que la caracterstica de k no divide a m. Dejemos que Um sea
el grupo de las m-esimas races de unidad. Ahora, con la secuencia exacta
m
0 Um k k 0
Teora de Galois 81

tenemos, por el teorema anterior, una secuencia


m
0 Um k k k H 1 (G k ,Um ) H 1 (G k , K ) = 0

Por lo tanto H 1 (G k ,Um )


= k /(k )m .
Ahora, dejemos que Um este contenido en k, entonces

H 1 (G k ,Um ) = Hom(G k ,Um )

y as
k /(k )m
= Hom(G k ,Um )
As, tenemos que H 1 (G k ,Um )
= k /(k )m .
Por ejemplo, consideremos una extensin de Galois de K /k tal que G = Gal(K /k) es un grupo Abeliano
finito, y adems para todo g G, g m = 0. As, como G es el cociente de G k = Gal(K /k) tenemos el siguiente
diagrama

K /(kO )m
= / Hom(G k ,Um )
O


B
= / Hom(G,Um )

donde B es el subgrupo de k /(k )m el cual corresponde con Hom(G,Um ) bajo el isomorfismo.

TEOREMA 18.3. Si E es una extension de Galois de F , y G = Gal(E /F ), entonces H 1 (G, E ) = 0, es decir que
todo 1-cociclo es un 1-colimite.

DEM Sea f : G E un 1-cociclo. Es decir que tenemos

f () = f () ( f ()), , G

y tenemos que hallar un E tal que f () = para todo en G. Dado que f () no son cero, tenemos
que X
f ()
G

no es cero, y por lo tanto existe E tal que,

=
X
f () 6= 0
G

Pero entonces, si G, tenemos que

( f ()) ()
X
=
G
f ()1 f () ()
X
=
G
= f ()1 f () ()
X
G


Lo cual es igual a f ()1 porque como recorre todo G tambien lo hace , por ello f () = () y pode-
mos dejar que = 1