Professional Documents
Culture Documents
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:
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:
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
1
2 Grupos
Los distintos subgrupos de G son precisamente los subgrupos g d para todos los divisores d de N .
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
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:
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 ).
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
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
[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
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
(yh 2 )h 21 = y(h 2 h 21 )
= ye
=y
y H = x(zh) : h H xh 0 : h 0 H = x H
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
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 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 .
(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
usando la propiedad de la identidad en G, vemos que multiplicando por (eG )1 , nos da que
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
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
f (g ng 1 ) = f (g ) f (n) f (g 1 ) = f (g )e f (g )1 = e
Introduccin 7
: 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.
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 ))
(g h) k = g (h k)
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
(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
(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
DEM Sea: Y
P (x 1 , . . . , x n ) = (x i x j )
i<j
si es par
+1
sgn() =
1 si es impar
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
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
iv 1F v = v
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
v a (b u) = (a b) u para todo a, b F y u V
vi 1 u = u para todo u V
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
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
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
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)
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 )
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
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
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
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
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 .
[E : F ] = [B : F ] [E : B ]
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
[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
p | am 0 m n 1
p2 - a0
p - an
entonces f es irreducible.
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
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
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.
DEM Sea p(x) el polinomio mnimo, y q(x) otro polinomio al cual satisface. Entonces
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
COROLARIO 3.2. Cualquier polinomio que esta satisfecho por sobre F contiene al polinomio mnimo
como factor.
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:
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
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
L 0 = 0, L 1 = 0, . . . , L n1 = 0
( + ) = () + ()
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 .
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 .
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.
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
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
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
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
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.
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.
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 (g x) + . . . + b n1 n1 (g x) + n (g 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
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
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.
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
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
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)
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 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
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
f (t ) = (t x 1 )(t x 2 ) . . . (t x n ) = t n + 1 x n1 + . . . i x ni . . . + n (2.9)
S = S n S n1 S n2 . . . S 2 S 1 = E
S n = S; S i = S(x i +1 , x i +2 , . . . , x n ) = S i +1 (x i +1 )
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
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
k (s 1 )i (1 ) + . . . + k (s r 1 )k j (r 1 ) + i (r ) = 0 (2.13)
[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.
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.
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
= c s1 is1 + c s2 + i s2 + . . . + c 1 i + c 0
Teora de Galois 37
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 .
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
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.
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.
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
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
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).
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 .
Si E es una extensin de Galois de F , entonces diremos que E es una extensin Abeliano si Gal(E /F ) es
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
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 .
Gal(K L/Q)
= (, ) : |K L = |K L Gal(K /Q) Gal(L/Q)
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.
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
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
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
m 1 (g 1 + q g 2 ) + r g 2 + m 3 g 3 + . . . + m k q k = 0
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
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
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
Gm = g G : g m = e
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
m1 (G m1 m2 ) G m2
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 |
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:
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)
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.
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
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.
f (x) = (x )k q(x)
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).
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
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
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
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
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)
(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
xn 1 = d (x)
Y
(2.18)
d |n
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
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.
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 =
()
7 x
() = 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
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 ()]
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
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
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.
(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, () = () =
2 = 2 = ()2 = Id, =
(uv)2 = u 2 v 2 d = bd
58 Extensiones cuadrticas
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
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
Id, , , 1 , , , , 1
y estas general el subgrupo de diedros de S 4 . De ello podemos ver que los subgrupos normales son
2 , , 2 , , 2 ,
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 )
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
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
p(x) = (x n a 1 )(x n a 2 ) . . . (x n a r )
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.
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
xr f r = 0
0 0
0 () = = = ()0 () = 0 ()
( ) ()(0 )
0
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
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 )
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
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
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
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
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.
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
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.
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
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
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)
x 1 1 () + x 2 2 () + . . . + x n n () = 0, xi F
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
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
A(B C ) C A(B D)
y por simetra:
C (D A) C C (D B )
A(B C ) B D = C (D A) D B
y de forma equivalente:
A(B C ) D = C (D A) B
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.
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.
G = G0 G1 . . . G s = 1
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)
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
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 ),
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
f (u 1 , . . . , u n )/g (u 1 , . . . , u n ) 7 f (1 , . . . , n )/g (1 , . . . , n )
f (u 1 , . . . , u n ) g 1 (u 1 , . . . , u n ) g (u 1 , . . . , u n ) f (u 1 , . . . , u n ) = 0
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.
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 )
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 ]
[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
(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
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
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:
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
1 + 2 = + 2 + 3 + 4 = 1
1 2 4 2
= ( + )( + ) 3
= 3 + 4 + + 2 = 1
(x 1 )(x 2 ) = x 2 ( 1 + 2 )x + 1 2 = x 2 + x 1
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).
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
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
Dicha secuencia se dice secuencia exacta si cada par de homomorfismos adyacentes son exactos, es decir
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
C n (G, A) = : G n A .
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
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
u u = a , u
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 /
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
(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
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
(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
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 )
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.
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
=
X
f () 6= 0
G
( 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