Teora de Galois,
un primer curso.
Segunda Edicin.
Teora de Galois,
un primer curso.
Segunda Edicin.
Publicaciones Electrnicas
Sociedad Matemtica Mexicana
ndice General
Prefacio
Introduccin
Teora de Anillos
9
I.1 Anillos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
I.2 Propiedades elementales y
Teoremas de Isomorfismo . . . . . . . . . . . . . . . . . . . . . 16
I.3 Polinomios y Campo de Cocientes . . . . . . . . . . . . . . . . 25
II Teora de Campos y
Teora de Galois
37
II.1 Extensiones de Campos . . . . . . . . . . . . . . . . . . . . . . 37
II.2 Automorfismos y ms sobre extensiones . . . . . . . . . . . . . 49
II.3 Teora de Galois . . . . . . . . . . . . . . . . . . . . . . . . . . 58
Bibliografa y Referencias
67
Lista de Smbolos
69
ndice Analtico
71
Prefacio
La teora general de las estructuras es una herramienta muy poderosa. Siempre que alguien pruebe que sus objetos de estudio satisfacen los axiomas de
cierta estructura, obtiene, de inmediato para sus objetos, todos los resultados vlidos para esa teora. Ya no tiene que comprobar cada uno de ellos
particularmente. Actualmente, podra decirse que las estructuras permiten
clasificar las diversas ramas de la Matemtica.
Este texto contiene el trabajo escrito a lo largo de varios aos del material correspondiente a nuestro curso sobre la materia (lgebra Moderna II)
que hemos impartido en la Facultad de Ciencias de la Universidad Nacional
Autnoma de Mxico. Despus de haber ofrecido por muchos aos el curso
con excelentes textos, algunos citados en la Bibliografa, y de los cuales hemos
sido inspirados, decidimos escribir uno que siga el enfoque de los libros [Ll1]
[Ll2] y [Ll3]. Es decir, escogimos una presentacin moderna donde introducimos el lenguaje de diagramas conmutativos y propiedades universales, tan
requerido en la Matemtica actual as como en la Fsica y en la Ciencia de
la Computacin, entre otras disciplinas.
Ha sido nuestra intencin la de llegar al Teorema Principal de la Teora de
Galois de la manera ms corta y elegante posible. Hemos visto que el exponer
demasiado material hace muy tedioso el curso a los alumnos y al profesor,
adems de que algunos alumnos pierden de vista el objetivo dentro de un
mar de definiciones y proposiciones. Creemos haber logrado este propsito.
El texto consta de dos captulos con tres secciones cada uno. Cada seccin
contiene una serie de problemas que se resuelven con creatividad utilizando
el material expuesto, mismos que constituyen una parte fundamental del
texto. Tienen tambin como finalidad, la de permitirle al estudiante redactar
matemtica. El libro est diseado para un primer curso sobre la Teora de
Galois el cual se cubre en su totalidad en cuarenta horas de clase.
5
Prefacio
Introduccin
Como es frecuente en la Matemtica, los intentos por resolver un problema
especfico dan lugar a una Teora Matemtica. En este caso, los intentos
por encontrar soluciones por radicales de ecuaciones algebraicas dan como
resultado varias de las ramas de la Matemtica: la Teora de Grupos, la
Teora de Anillos y la Teora de Galois entre otras. En [A-Ll1] y [A-Ll2] el
lector puede encontrar otros ejemplos de esta situacin. La Teora de Galois
es una interaccin entre grupos, campos y polinomios, entre el lgebra Lineal
y la Teora de Grupos.
Se sabe de la escuela secundaria cmo encontrar por el mtodo de radicales las soluciones de un polinomio cuadrtico, con coeficientes en R, de la
forma f (t) = at2 + bt + c, con a = 0. Esto lo saban los antiguos babilonios alrededor
del ao 1600 A.C. Las races estn dadas mediante la frmula
(b 2 b2 4ac)/2a. Esta solucin est en una tableta de barro que sobrevive hasta la fecha. Este mtodo es vlido para cualquier polinomio con
coeficientes en un campo de caracterstica diferente de 2 cuyas races estn
en la cerradura algebraica de ese campo. Lo mismo sucede para polinomios
de grado 3 y 4 (del Ferro, Tartaglia, Ferrari y Cardano en 1545) sobre los
nmeros racionales. Los matemticos trataron por cientos de aos de encontrar una frmula por radicales para polinomios de grado 5 (Lagrange en 1770
y Ruffini en 1799 probaron que los mtodos para grados 3 y 4 fallan para
grado 5). Fue Abel en 1824 y 1826 quien prob que esto no puede necesariamente resolverse por radicales. En fin, la solucin de ecuaciones polinomiales
ha sido un problema matemtico por ms de 3500 aos.
Galois asoci a cada ecuacin un grupo, llamado ahora, de Galois en
honor a l. Este grupo consiste de un subconjunto de permutaciones de las
soluciones. A partir de las propiedades del grupo de Galois se pueden deducir
propiedades de una ecuacin, sin hacer mencin de ella. Vagamente, la idea
7
Introduccin
Captulo I
Teora de Anillos
I.1
Anillos
En esta seccin definiremos varias estructuras algebraicas que son los objetos
de estudio de la Teora de Anillos. Para un breve panorama de algunas
estructuras algebraicas incluyendo las de los anillos vase [Ll3]. Supondremos
que el lector ya conoce los fundamentos de la Teora de Grupos como en [Ll3]
y utilizaremos la notacin que ah se expone.
1.1 Definicin. Un anillo es una terna (, +, ) donde es un conjunto
no vaco, + y son operaciones binarias tales que
(i) (, +) es un grupo conmutativo
(ii) (, ) es un semigrupo
(iii) u(v + w) = uv + uw y (u + v)w = uw + vw
La propiedad (iii) se llama ley distributiva.
Ntese que se ha suprimido el smbolo , en uv, como es usual en la
notacin utilizada en la Teora de Grupos.
1.2 Ejemplos. El lector podr comprobar que (Z, +, ), (Zn , +, ), (Q, +, ),
(R, +, ), (Mn K, +, ), (K, +, ), (K[x], +, ), (C, +, ) son anillos, (Problema
1.1).
Si un anillo (, +, ) satisface
9
10
I.1 Anillos
11
12
o peor an,
I.1 Anillos
13
=
dos anillos y son isomorfos si existe un isomorfismo f : y
escribiremos
= .
1.13 Definicin. Sea f : un homomorfismo de anillos. El
ncleo de f , denotado ker f, es el conjunto de todos los elementos x
tales que f (x) = 0 donde 0 denota la identidad aditiva de . La imagen de
f , denotada im f , es el conjunto de f(x) con x .
Observe que solamente vemos el concepto de ncleo de un homomorfismo
de anillos como ncleo de la parte de grupo aditivo de los anillos. An cuando
los anillos sean con uno, no pediremos que la imagen del uno del anillo del
dominio vaya a dar al uno del anillo codominio (Problema 1.12).
Si en la definicin de homomorfismo se tiene que ker f = {0}, diremos
que f es un monomorfismo y lo denotamos f : ; si im f = ,
diremos que f es un epimorfismo y lo denotamos f : y si f es
tal que ker f = {0} e im f = , entonces diremos que f es un isomorfismo. De otra manera, f es un monomorfismo cuando es inyectiva; es un
epimorfismo cuando es suprayectiva y es un isomorfismo cuando es biyectiva.
Llamaremos endomorfismo a un homomorfismo f : y diremos que
es automorfismo si dicha f es biyectiva.
Observe que, como grupos conmutativos, 2._ : Z 2Z dado por x 2x
establece un isomorfismo de grupos abelianos pero, como anillos no se tiene
un isomorfismo.
Diremos que un homomorfismo f : es trivial si f (x) = 0 para
todo x . Es decir, im f = {0}. Equivalentemente, f = 0 si, y slo si,
ker f = .
14
I.1 Anillos
15
16
I.2
Propiedades elementales y
Teoremas de Isomorfismo
17
18
divisin poseen al menos los elementos de identidad bajo la suma y multiplicacin. Por ejemplo, el dominio entero Z no es un campo pues todo entero
distinto de 1 no posee inverso.
De manera semejante a [Ll3, I.3.18] se tiene la siguiente
2.3 Proposicin. La interseccin de subanillos de un anillo es un subanillo.
Demostracin. Vase el Problema 2.5.
Imitando la definicin de [Ll2, I.2.17] para espacios vectoriales, tenemos
2.4 Definicin. Sea S un subconjunto de un anillo . La interseccin
de todos los subanillos de que contienen a S se llama subanillo de
generado por S.
Definiciones semejantes se tienen de subdominio o subcampo generado por un subconjunto S.
2.5 Definicin. Diremos que un anillo es de caracterstica 0 (denotada car() = 0) si n = 0 es el nico entero tal que nx = 0 para toda x .
Si no es de caracterstica 0, el menor entero positivo n tal que nx = 0 para
toda x se llama caracterstica del anillo (denotada car() = n).
2.6 Ejemplos Los anillos Z, Q, R y C tienen caracterstica 0. El anillo
Zn tiene caracterstica n.
2.7 Proposicin.
(i) Sea un anillo con 1. La caracterstica de es igual al orden del
elemento 1. De no ser as, es de caracterstica 0 si el grupo aditivo de
es de orden infinito.
(ii) Si no posee divisores de 0, todos los elementos distintos de cero
tienen el mismo orden.
(iii) Si es un anillo no trivial sin divisores de cero tal que car() = 0,
entonces es de caracterstica igual a un nmero primo.
Demostracin. (i) Sea n el orden del 1, es decir, n veces 1+1+ +1 =
0. Entonces, nx = n(1x) = (n1)x = 0 para toda x . As, es de
19
20
21
0 I /I 0.
Por lo tanto, hemos visto que un subanillo I de un anillo es un ideal de
si, y slo si, existe un homomorfismo de anillos f : con ncleo
ker f = I.
Sea f : un homomorfismo de anillos con ideales I e I
tales que f(I) I , entonces f : /I /I dado por f (x+I) = f(x)+I
es el homomorfismo inducido por f en los grupos abelianos cociente [Ll3, II.3].
Como
f ((x + I)(y + I)) =
=
=
=
=
f (xy + I)
f (xy) + I
f (x)f (y) + I
(f (x) + I )(f (y) + I )
f (x + I)f (y + I)
/I /I
22
/ ker f
= I
Anlogamente a [Ll3, II.3.4], se tiene
2.10 Teorema. Sea f : un homomorfismo de anillos con ideales
I e I tales que f (I) I y como caso particular del teorema
anterior, e = I con I ker f. Entonces existe un homomorfismo nico
f : /I dado por x + I f (x + I) = f (x) + I = f (x). Adems,
ker f = ker f /I e imf = imf . El homomorfismo f es un isomorfismo si,
y slo si, f es un epimorfismo e I = ker f .
Anlogamente a [Ll3, II.3.5], se tiene
2.11 Corolario. (Primer Teorema de Isomorfismo). Bajo las mismas hiptesis del teorema anterior / ker f
= im f.
Demostracin. Como f es epimorfismo, im f = , luego / ker f
=
im f .
En otras palabras, si f : es un epimorfismo de anillos con ncleo ker f , entonces existe un isomorfismo nico f : / ker f
= , tal que
f = f p, es decir, cualquier homomorfismo de con ncleo ker f tiene
imagen isomrfica a / ker f. An ms, nos dice cul isomorfismo: aquel
tal que im f = im f . Este resultado, / ker f
= im f se conoce como el
Primer Teorema de Isomorfismo. Uno puede "determinar" cul es el
anillo cociente de dos anillos sin necesidad de establecer las clases laterales
como veremos en ms adelante.
23
0 I /I 0
es una sucesin exacta corta. Consideremos ahora una sucesin exacta corta
h
0 0.
Recordemos entonces que im f = ker f , y f es monomorfismo, pues 0 =
im h = ker f y, adems, f es epimorfismo porque im f = ker k = . Sea I =
im f = ker f el cual es un ideal de , entonces f establece un isomorfismo
=
=
I y f establece otro isomorfismo /I por el primer teorema
de isomorfismo. Por lo tanto, una sucesin exacta corta es una sucesin con
un ideal y el anillo cociente de un anillo.
2.13 Ejemplo. f : donde = Z y = Zn es un epimorfismo
con ncleo el subgrupo nZ, es decir,
f
0 nZ ZZn 0
es un sucesin exacta corta. Luego, por el teorema anterior Z/nZ
= Zn .
Anlogamente a [Ll3, II.3.11], se tiene
2.14 Teorema. (Segundo Teorema de Isomorfismo). Sean I,J
ideales de . Entonces (I + J )/J
= I/(I J ).
Anlogamente a [Ll3, II.3.13], se tiene
2.15 Teorema. (Tercer Teorema de Isomorfismo). Sean I,J ideales
de con J I. Entonces, /I
= (/J)/(I/J).
2.16 Teorema.
(i) Si es un dominio entero de caracterstica 0, entonces el subgrupo
aditivo de generado por el 1 es isomorfo a Z.
(ii) Si es un dominio entero de caracterstica p = 2, entonces el subgrupo aditivo de generado por el 1 es un subcampo isomorfo a Zp .
24
I.3
25
26
Ahora, para cada x , definamos una funcin que depende de x denotada fx mediante
fx (n) = x si n = 0 0 si n > 0.
As, fx y la asignacin dada por x fx define una funcin f : .
Es fcil comprobar que f es un monomorfismo y que f (1) es la identidad de
(Problema 3.2 (ii)).
Definamos t dado por t(n) = 1 si n = 1 o 0 si n = 1. Claramente t
conmuta con fx para toda x . Veamos que (, f, t) es un anillo de polinomios de : sea g : un monomorfismo con g(1) como identidad tal
que cualquier elemento y conmute con g(x) para toda x . Definamos
h : mediante
h() = g((0)) +
g((n))y n .
n=1
Como (n) = 0 para casi toda n, la sumatoria es finita. Es fcil ver que
h es homomorfismo, h(t) = y, h f = g y que es nica (Problema 3.2 (iii)).
De aqu que cualquier elemento de puede escribirse de manera nica como
= n tn + + 2 t2 + 1 t1 + 0 , donde i y i = (i) para i = 0, . . . , n.
As tenemos el siguiente
3.3 Teorema.
polinomios de .
27
[t]
Ea
existe un homomorfismo
Ea : [t]
dado por
n tn + + 2 t2 + 1 t1 + 0 Ea (n tn + + 2 t2 + 1 t1 + 0 )
= n an + + 2 a2 + 1 a1 + 0
tal que para b , Ea (b) = b y Ea (t) = a llamado homomorfismo de
evaluacin o sustitucin. Resulta que a cada polinomio f = n tn + +
2 t2 +1 t1 + 0 le asociamos el elemento de un anillo Ea (f ) = Ea (n tn + +
2 t2 + 1 t1 + 0 ) = n an + + 2 a2 + 1 a1 + 0 . sto es vlido para anillos
conmutativos y no necesariamente para no conmutativos. Ea (f ) significa
28
Cualquier funcin de en que pueda escribirse como una funcin del tipo
f @ se llama funcin polinomial.
Como observamos, cada polinomio f [t] determina una funcin de
en . Formalmente, podramos resumir que la asignacin f f @ determina
un homomorfismo de anillos : [t] (Problema 3.16), (el cual no
siempre es inyectivo, a menos que sea dominio entero infinito).
Los elementos de [t] los denotaremos con letras como f. El uso tradicional de escribirlos como f (t) slo indicar que la indeterminada es t. Esta
notacin tradicional hace aparentar a f como si fuera una funcin con variable t.
Si es un dominio entero, se estudi en un curso de lgebra Superior
que existe el algoritmo de la divisin para polinomios sobre . Recordemos
que un elemento a es un cero o raz del polinomio f si f @ (a) = 0.
Recuerde (2.4) que si S es un subconjunto de un anillo , la interseccin
de todos los subanillos de que contienen a S se llama subanillo de
generado por S. De manera similar, si S un subconjunto de un anillo ,
la interseccin de todos los ideales de que contienen a S es un ideal de
(Problema 3.13) y se llama ideal de generado por S denotado S.
Los elementos de S se llaman generadores del ideal S. Si S consiste de
elementos t1 ,..., tn denotaremos el ideal S con t1 , ..., tn y diremos que es
finitamente generado. Si S est generado por un solo elemento t diremos
que t es un ideal principal. Un dominio entero en el cual todo ideal es
principal lo llamaremos dominio de ideales principales.
Observe que el ideal t1 , ..., tn , al contener los elementos t1 ,..., tn implica
que debe contener a todos los elementos ("combinaciones lineales") de la
forma 1 t1 + + n tn donde i . Los elementos t1 ,..., tn constituyen una
"base" del ideal. Se tiene el siguiente resultado: si K es un campo, el anillo
29
= Q [t] = Q[t]
Ei
=C
existe un homomorfismo
Ei : [t] = Q[t] = C
dado por
n tn + + 2 t2 + 1 t1 + 0 Ei (n tn + + 2 t2 + 1 t1 + 0 )
= n in + + 2 i2 + 1 i1 + 0
tal que para a = Q, Ei (t) = i y Ei (a) = a. Denotamos Ei (Q[t]) con
Q[i] el cual consta de nmeros complejos de la forma a + bi con a,b Q.
Sabemos que el ncleo de Ei es el ideal de Q[t] generado por t2 + 1 y por 2.11
considerando el siguiente diagrama
30
=
Ei (Q[t]) = Q[i]
que Q[t]/ ker Ei
= Ei (Q[t]) = Q[i]. Como ker Ei es un ideal mximo, Q[i] es
un subcampo de C el cual denotaremos Q(i).
A continuacin, veamos que todo dominio entero puede verse contenido
en un campo que llamaremos campo de cocientes. Para que la ecuacin
mx = n, con m,n Z, tenga solucin nos vemos forzados a considerar el
campo Q de nmeros racionales.
3.4 Definicin. Sea un dominio entero conmutativo no trivial. Un
campo de cocientes de es una pareja (K, f ) donde K es un campo y
f : K es un monomorfismo de anillos tal que para cualquier monomorfismo g : con un anillo con divisin, existe un homomorfismo
de anillos nico h : K tal que el siguiente diagrama conmuta:
K
h
31
decir, (a1 /b1 )+(a2 /b2 ) = (a1 b2 +a2 b1 )/b1 b2 y (a1 /b1 )(a2 /b2 ) = (a1 a2 )/(b1 b2 ).
Es fcil comprobar que estas operaciones estn bien definidas y que hacen
de K un anillo conmutativo con uno, cuyo elemento cero es la clase de equivalencia de la forma 0/b y su uno la clase de la forma a/b con a = b. (Problema 3.5).
Como el inverso de un elemento diferente de cero a/b es b/a pues a = 0,
(a/b) (b/a) = 1 luego, K es un campo. Veamos que (K, f : K) es un
campo de cocientes de . Definamos f : K mediante f(a) = a/1. Es
inmediato comprobar que f es un monomorfismo. Consideremos cualquier
monomorfismo g : con un anillo con divisin. Como g(b) = 0 si
b = 0 en , podemos definir h : mediante h (a, b) = g(a)/g(b). Es
fcil comprobar que h est bien definida (Problema 3.6).
As, h (a, b) depende solamente de la clase de equivalencia a/b, por lo tanto
podemos definir una funcin h : K . Es fcil comprobar que h es un
homomorfismo tal que h f = g (Problema 3.6). Veamos que h es nica: sea
k : K cualquier otro homomorfismo tal que k f = g. Sea a/b K.
Luego a/b = f(a)f (b)1 y por lo tanto k(a/b) = g(a)g(b)1 = h(a/b). As,
k = h. Hemos probado el siguiente
3.6 Teorema. Para cualquier dominio entero conmutativo no trivial
existe un campo de cocientes.
3.7 Ejemplos. Si es el dominio entero conmutativo no trivial Z,
entonces su campo de cocientes es Q. Si consideramos el campo K, el anillo
de polinomios K[t] de K es un dominio entero y no un campo. Sin embargo
por el teorema 3.6 podemos construir su campo de cocientes K(t), donde cada
elemento puede escribirse de la forma f/g donde f y g son polinomios en K[t]
con g = 0. Anlogamente, para K[t1 ,..., ts ] podemos construir K(t1 ,..., ts ) el
cual se llama campo de cocientes o de funciones racionales con s
indeterminadas sobre K.
3.8 Teorema. Sea K un campo de caracterstica 0. El subcampo de K
generado por el uno de K es isomorfo a Q.
Demostracin. Sea x = m/n Q con m un entero y n un entero
positivo. Si x = 0 podemos considerar m y n con solamente 1 como divisor
comn. Si x = 0, podemos tomar m = 0 y n = 1. As, la expresin para x
es nica. Definamos f : Q K mediante f (x) = m1/n1, para toda x =
32
33
34
35
tp 1
= tp1 + tp2 + + t + 1.
t1
Pruebe que es irreducible en Q[t] y por tanto en Z[t]. Sugerencia: pruebe que
p (t)(t 1) (t 1)p (mod p) y que p (t) (t 1)p1 y utilice el Criterio
de Einsenstein.
3.21 Los polinomios ciclotmicos n (t) Z[t], n 1 estn definidos
mediante
tn 1 = d|nd (t).
para calcular n (t) a partir de i (t) para i < n. Las races del polinomio
tn 1 se llaman races n-simas de la unidad. Los polinomios ciclotmicos
aparecen en la Teora Matemtica de la Msica, vase [Am] y artculos en
[Ll-M-N].
36
Captulo II
Teora de Campos y
Teora de Galois
II.1
Extensiones de Campos
0 K K
es decir, es un monomorfismo e identificamos K con (K ) dentro de K
cuando esto sea posible. Decimos que K es el campo base de la extensin.
Vemos entonces a K
= (K ) como un subcampo de K. Denotamos la
37
38
R
|
Q
39
C
|
R
C
|
Q
K K
y
L L
son isomorfas si existen homomorfismos de campos : K L y :
K L tal que el siguiente diagrama conmuta
K K
L L
Podemos identificar K
= (K ), L
= (L ) y |K = .
Ahora introduciremos el lgebra Lineal en el estudio de las extensiones
de campos. Considere una extensin K K. Como K puede verse dentro
de K, podemos considerar el espacio vectorial K sobre K , denotar dimK K
como [K K] y llamarla grado de K sobre K , el cual puede ser infinito.
40
Si el grado de K sobre K es finito (infinito), entonces diremos que la extensin K K es finita (infinita). El grado de una extensin es el invariante
ms importante de una extensin.
1.4 Teorema. Si K K y K K son extensiones finitas entonces
K K es una extensin finita y
[K K][K K ] = [K K ].
Demostracin. Consideremos {ui }ni=1 y {vj }m
j=1 bases para las exten
un espacio
sobre K ,
j = ni=1 ij ui con
K. Pero como j K y K es
n
ij K . Sustituyendo, w = m
j=1 (
i=1 ij ui )vj =
i,j ij (ui vj ). Luego,
41
42
entonces
f @ a = Ea (f) = n an + + 2 a2 + 1 a1 + 0 .
1.9
Ejemplo.
Por
1.7
sabemos
que
[Q
Q(
2)]
=
2.
Adjuntemos
3a
(Q(
2))(
3).
Entonces
sus
elementos
son
Q( 2), es decir, consideremos
de
la forma a = c + d 3 con c,d Q( 2). Luego, 1, 3 generan
(Q( 2))( 3).
2).
Por
Es fcil ver que son
linealmente
independientes
sobre
Q(
lotanto son
una base de (Q( 2))( 3) sobre Q( 2). As, [Q( 2) (Q( 2))( 3)] = 2.
43
2)( 3)] = 4. Por la demostracin de 1.4,
Por
1.4,
se
tiene
que
[Q
Q(
{ 6, 3, 2,1} es base de Q( 2, 3) sobre Q.
Q(
Q(2) es subcampo
de
R
y
que
i
/
Q(
2)
pues
i
/
R. Como i2 + 1 = 0,
44
dada por
x x + I
45
2 es un elemento
1.15 Ejemplos. Considere la extensin Q R.
2
algebraico sobre Q pues es raz delpolinomio
t
Q[t].
Tambin, si
46
47
entonces K (a, b)
y a/b con b = 0 son algebraicos sobre K . Si a,b KK
es una extensin finita y sus elementos son algebraicos sobre K . Es decir,
. Luego, KK
contiene a todo elemento de K que es algebraico
K (a, b) KK
Problemas.
1.1 Considere una familia de campos {Ki } para i = 1,..., s tal que cada
Ki+1 es una extensin finita de Ki . Pruebe que Ks es una extensin finita
de K1 y que
[K1 Ks ] = [K1 K2 ][K2 K3 ] [Ks1 Ks ].
1.2 Sea R(i) el subcampo que contiene a los elementos de la forma x + iy,
con x,y R. Pruebe que C = R(i).
1.3 Pruebe que Q R y Q C son extensiones infinitas y que
[Q Q(i)] = 2.
1.4 Considrese
dada por
: K K [t]/I
t t + I
48
II.2
49
1
1
Por el Problema 2.3 (i), = = IK . Luego, posee a 1
como
inverso.
50
2
y
2
de
t
2 obteniendo
(t2
2
la torre acostada de campos Q Q( 2) Q( 2, i)
C. Luego el
campo dedescomposicin de f sobre Q en C es Q( 2, i) y por lo tanto
[Q Q( 2, i)] = 4.
Suponga que a1 , ..., aj K son las distintas races de f K [t]. K (a1 , ..., aj )
es el mnimo subcampo que contiene a K y a las ai . Pero K (a1 , . . . , aj )
est contenido en cualquiera o todo subcampo de descomposicin. Por lo
tanto tenemos la siguiente
2.10 Proposicin. Sea K K una extensin y f K [t]. Si K 1 y
K 2 son subcampos de descomposicin para f sobre K entonces K 1 = K 2 .
51
Notacin. (i) Para las extensiones K K y K K denotaremos con homK (K, K ) el conjunto de homomorfismos (inyectivos) de K en
K que dejan fijo a K . Considere la extensin finita K K , entonces
homK (K , K ) =AutK (K , K ) es un grupo. (ii) Sea K K una extensin y f K [t]. Denotaremos con R(f, K ) el conjunto de las races de
f en K .
2.11 Proposicin. Sea K K una extensin y f K [t] un polinomio irreducible. Sea ai K una raz de f . Entonces los conjuntos
homK (K (ai ), K ) y R(f, K )
poseen la misma cardinalidad.
Demostracin. Considere el diagrama
K
K [t]
Ea
K
a
K [t]/ f
= a i
K (ai )
donde Ea : K [t] K es el homomorfismo de evaluacin, el cual se factoriza mediante a : K [t]/ f K . Para cada raz ai existe un ai . Entonces, cada raz ai da lugar a un homomorfismo a = a (ai )1 para el
cual a (ai ) = ai .
1, : Q( 2)
C
a + b2 1(a + b2) = a + b2
a + b 2 (a + b 2) = a b 2
homQ (Q( 2), C) = homQ (Q( 2), Q( 2)) = AutQ (Q( 2).
52
3
2e4i/3 son conjugados sobre Q pues son races del mismo polinomio mnimo
sobre Q, m_,Q (t) = t3 2.
2.16 Teorema. Sea K un campo, a, b elementos algebraicos sobre K ,
n = gr(ma,K ). Entonces a y b son conjugados sobre K si, y slo si, la funcin
a,b : K (a) K (b)
dada por
n1 an1 + + 1 a1 + 0 n1 bn1 + + 1 b1 + 0
53
es un isomorfismo de campos.
Demostracin. Supongamos que a y b son conjugados, es decir, ma,K =
mb,K . Consideremos el siguiente diagrama
ma,K K [t] K [t]/ ma,K
Ea
= a
K (a)
K [t]/ mb,K
= b
a,b
K (b)
Definimos a,b = b 1
a el cual es un isomorfismo tal que
n1
+ + 1 a 1 + 0 )
a,b (n1 an1 + + 1 a1 + 0 ) = b 1
a (n1 a
= b (n1 an1 + + 1 a1 + 0 ) + ma,K
= n1 bn1 + + 1 b1 + 0 .
54
K K
|
|
0
K
|
|
|
= K
K
Demostracin. Sea A el conjunto de las parejas (C, ) donde (K C)
(K K ) y : C K extiende a 0 . Ordenemos A mediante la relacin
para la cual (C1 , 1 ) (C2 , 2 ) siempre que C1 C2 y 2 extiende
a 1 . Luego (A, )es un conjunto parcialmente ordenado. Supngase que
B A es un subconjunto totalmente ordenado. Sea C = (C,)Y C. Entonces (K C) (K K ). Tambin existe una funcin : C K
dada por (a) = (a) cuando a C para (C, ) B. Es claro que si a C
para (C , ) B entonces (a) = (a) y por lo tanto est bien definida.
Entonces para toda pareja (C, ) B tenemos que (C, ) (C, ) y as
(C, ) es una cota superior de B. Por el Lema de Zorn, debe de haber un
elemento mximo de A, a saber, (K0 , 0 ).
55
K
Pero (K0 , 0 ) (K0 (a), 0 ) y (K0 , 0 ) = (K0 (a), 0 ) contradiciendo
la maximalidad de (K0 , 0 ). Por lo tanto, K0 = K y podemos tomar
= 0 .
2.22 Definicin. Considere K K una extensin finita simple. Diremos que a K es un elemento primitivo de la extensin si K = K (a).
El siguiente teorema se conoce como el teorema del elemento primitivo.
2.23 Teorema. Sea K K una extensin separable. Entonces K
posee un elemento primitivo.
Demostracin. Supongamos que K es un campo infinito. Como K se
construye a partir de una sucesin de extensiones simples, basta considerar
el caso K = K (a, b). Sean f , g K [t] los polinomios mnimos de a
y b sobre K respectivamente. Considere a = a1 , ..., ar y b = b1 , ..., bs
las distintas races de f y g respectivamente en K . Como K K es
separable, r = gr (f ) y s = gr (g). Para j = 1 se tiene que b = b1 = bj y por
lo tanto la ecuacin a + xb = ai + xbj tiene solamente una solucin, a saber,
i
. Si escogemos una x K diferente
a ai = xbj xb = x(bj b) y x = aa
bj b
de estas soluciones (pues K es infinito), entonces a + xb = ai + xbj , excepto
cuando i = j = 1.
Sea c = a+xb. Entonces los polinomios g(t) y f(cxt) tienen coeficientes
en K (c)[t] y poseen a b como raz, es decir, g(b) = 0 y f (c xb) = f (a) = 0.
De hecho, b es su nica raz comn pues escogimos x tal que c = ai + xbj , es
decir, ai = c xbj a menos que 1 = i = j.
56
57
58
II.3
Teora de Galois
Q(
2, 3)] = 4. Conside
remos Q( 2, 3) = (Q( 2))( 3). El isomorfismo 3,3 : Q( 2, 3)
Q( 2, 3) dado por c+ d 3 c d 3, con c,d Q( 2) es un automorfismo que tiene a Q( 2) como campo fijo. Anlogamente, 2,2 :
Q( 2, 3) Q( 2, 3) tiene a Q( 3) como campo fijo. Como la composicin de automorfismos es un automorfismo, vemos que 3,3 2,2
no deja fijo ni
a
2,
ni
a
3.
Consideremos
el
grupo
Aut
(Q(
2, 3)). SabeQ
mos que {1, 2, 3, 6} es una base para Q( 2, 3) sobre Q. Consideremos
= 1AutQ (Q(2,3)) , 1 = 2,2 , 2 = 3,3 y 3 = 3,3 2,2 .
59
es Q( 2){ 2, 2 } = Q.
H
60
Observe que f (t) no cambia al aplicar j a sus coeficientes puesto que las
races k (a) son permutadas por j . Por lo tanto, f (t) (K )H [t]. As,
[(K )H K ] = [(K )H ((K )H )(a)] n = o(H). Por otro lado,
como H (Gal((K )H K )),tenemos que n = o(H) o(Gal((K )H
K )) = [(K )H K )]. Por las dos desigualdades anteriores se tiene que
o(H) = n = o(Gal((K )H K )) = [(K )H K )] y por lo tanto
Gal((K )H K ) = H
Sea K K una extensin de Galois y (K K) (K K ).
Entonces la extensin K K tambin es de Galois cuyo grupo de Galois
lo denotamos Gal(K K ).
3.6 Definicin. El grupo de Galois Gal(K K ) anterior se llamar
grupo de Galois relativo de las extensiones (K K) y (K K ).
3.7 Proposicin. Considere (K K) (K K ). Entonces
(K )Gal(KK ) = K.
(K K ) f (K K ) = Gal(K K )
61
Entonces las funciones f y g son biyecciones mutuamente inversas que preservan el orden de contencin inverso.
Demostracin. Utilizando los resultados anteriores, considere las composiciones siguientes
g
Subgr(K K )
Subext(K K )
H
Subgr(K K )
f (g(H)) =
= f ((K )H K )
g(H) = ((K )H K )
= Gal((K )H K )
=H
g
Subext(K K ) Subgr(K K )
f (K K )
!
(K K )
Gal(K K )
Subext(K K )
(K )Gal(K K ) K =
= (K K )
62
63
ilustran
Q Q( 2, 3) :
Q( 3)
Q( 2, 3)
|
Q( 2)
|
Q
Q( 6)
{, 1 }
Gal(Q Q( 2, 3))
|
{, 2 }
|
{}
{, 3 }
64
65
posee una raz a K para una extensin K K , entonces a es una raz
mltiple de f si, y slo si, f y f poseen un factor lineal comn en K[t] que
se anula en a.
3.5 Pruebe el teorema del elemento primitivo para el caso en que K sea
finito.
3.6 Pruebe que Fpl Fp es el subcampo de descomposicin para los
l
l
polinomios tp t y tp 1 1 sobre Fp .
3.7 Pruebe que Fpl es el nico subcampo (salvo isomorfismo) con pl elementos.
3.8 Considere Fpk y Fpl dos campos de Galois de caracterstica p. Pruebe
que Fpk es subcampo de Fpl si, y slo si, k divide a l.
3.9 Dibuje un diagrama de los subcampos de Fp60 ordenados via la divisibilidad por l = 60.
66
Bibliografa y Referencias
[Am] Amiot, E. Rhythmic Canons and Galois Theory. H. Fripertinger, L.
Reich (Eds.). Colloquium on Mathematical Music Theory. Grazer Math.
Ber. Bericht Nr. 347. (2005).
[A-D-Ll-M] Agustn-Aquino, O., du Plessis, J., Lluis-Puebla, E., Montiel,
M. Una introduccin a la Teora de Grupos con aplicaciones en la Teora
Matemtica de la Msica. Pub. Electr. Sociedad Matemtica Mexicana.
Serie textos. Vol. 10 (2009).
[A-Ll1] Aceff, F., Lluis-Puebla, E. Matemtica en la Matemtica, Msica,
Medicina y Aeronutica. Pub. Electr. Sociedad Matemtica Mexicana.
Serie Divulgacin. Vol. 1 (2006).
[A-Ll2] Aceff, F., Lluis-Puebla, E. Matemtica en la Matemtica II, Msica
II, Naturaleza y Nuestro Cuerpo. Pub. Electr. Sociedad Matemtica Mexicana. Serie Divulgacin. Vol. 2 (2007).
Artin E. Galois Theory. (1944 Segunda Ed.) Dover. (1998).
Baker, A. An Introduction to Galois Theory. www.maths.gla.ac.uk/~ajb/dvips/Galois.pdf (2007).
Bewersdorff, J. Galois Theory for Beginners. Student Math. Library. Vol.
35. American Mathematical Society. (2006).
Birkhoff, G. MacLane, S. Algebra.Macmillan. (1968).
Bourbaki, N. Algebra I. Addison Wesley. (1973).
[F] Fraleigh, J.B. Abstract Algebra. Seventh Edition. Addison Wesley.
(2003).
67
68
Bibliografa y Referencias
Lista de Smbolos
(, +, )
1
o
<
ker f
f 1
=
f :
=
im f
f :
f :
End(G, G)
f 1
car () = 0
car () = n
x+I
/I
p
(, f, t)
fx
[t]
gr ()
Ea
f@
S
t1, ..., tn
9
10
10
10
13
13
13
13
13
13
13
14
14
15
18
18
19
20
20
25
26
27
27
27
28
28
28
(K, f )
tn 1 = d|n d (t)
K K
K K
K : K
K < K
K
|
K
(K K) (K K )
[K K]
K (X)
K (a1 , ..., aj )
K K (a1 , ..., aj )
gr (a, K )
KK
K
Aut ()
Aut ()
Kf
homK (K, K )
AutK (K , K )
R (f, K )
{K K }
Gal (K K )
(K )H
(K ){i }
69
30
30
35
38
38
38
38
38
39
39
42
42
42
45
47
47
49
49
50
51
51
51
53
58
59
59
70
Lista de smbolos
Subgr (K K )
Subext (K K )
Fp
60
60
64
GF (pl )
64
64
ndice Analtico
A
accin
libre
64
transitiva
64
algebraica(o)
cerradura
47
elemento
44
nmero
45
extensin
45
anillo
9
caracterstica de un
18
cociente sobre su ideal I
20
con uno
10
con divisin
10
con identidad
10
conmutativo
10
de caracterstica 0
18
de polinomios de
25
opuesto
10
anillos
homomorfismo de
12
ismorfismo de
13
isomorfos
13
automorfismo
13, 49
de sobre
49
de Galois
58
B
base
C
campo
base de una extensin
de cocientes con s indeterminadas
de cocientes de
de descomposicin
de funciones racionales con s
indeterminadas
de Galois
extensin de un
intermedio
campos primos
caracterstica
0
de un anillo
cero de un polinomio
cerradura algebraica
clases laterales
cociente de
anillo sobre su ideal
grupos
coeficiente inicial
coeficientes del polinomio
combinaciones lineales
71
28
10
37
31
30
50
31
64
37
40
32
18
18
28
47
19
20
19
27
27
28
72
constantes
criterio de Einsenstein
ndice Analtico
27
32
D
derivada
64
divisores de cero
10
dominio de ideales principales 28
dominio entero
10
E
elemento
algebraico
grado de un
invertible por la derecha
invertible por la izquierda
primitivo
separable
trascendente
elementos conjugados
endomorfismo
epimorfismo
extensin
algebraica
de Galois
de K de K
de K en K
de un campo
elemento primitivo de una
finita
finita separable
finitamente generada
generada por
infinita
K de K
normal
simple
trascendente
extensiones isomorfas
44
45
17
17
55
53
45
52
13
13
45
58
38
38
37
55
40
53
42
42
40
38
54
42
45
39
F
finita
extensin
separable
finitamente generada(o)
extensin
ideal
funcin polinomial
G
Galois
campo de
extensin
grupo
58,
generadores del ideal
grado
de K sobre K
de separabilidad de una extensin
de un elemento sobre K
de un polinomio
grupo
cociente
de Galois de una extensin
de Galois relativo a las extensiones
40
53
42
28
28
64
58
60
28
39
53
45
27
19
58
60
H
homomorfismo
de anillos
de evaluacin o sustitucin
de identidad
inducido por f
trivial
12
27
14
21
13
I
ideal
base del
11
28
ndice Analtico
de generado por S
derecho
finitamente generado
izquierdo
maximo
primo
principal
ideales
propios no triviales
triviales
imagen de f
inclusin
indeterminada
inverso
de f
derecho
izquierdo
invertible
por la derecha
por la izquierda
isomorfas(os)
anillos
extensiones
isomorfismo
isomorfismo de anillos
73
28
11
28
11
29
29
28
12
11
13
14
27
13
17
17
17
17
17
13
39
13
13
L
ley distributiva
M
monomorfismo
13
N
ncleo de f
nmero
algebraico
trascendente
P
13
45
45
polinomio
cero de un
mnimo
raz de un
separable sobre K
polinomios
ciclotmicos
en la indeterminada t con
coeficientes en el anillo
Primer teorema de isomorfismo
proyeccin cannica
R
races n-simas de la unidad
raz
de multiplicidad n
de un polinomio
S
Segundo teorema de isomorfismo
separable
elemento
extensin finita
polinomio
subanillo
de generado por S
de generado por S
subcampo
fijo
fijo de una familia
generado por S
obtenido por adjuncin de un
conjunto
subdominio
generado por S
subextensin de campos
T
28
45
28
53
35
27
22
20
35
57
28
23
53
53
53
10
28
28
11
59
59
18
42
11
18
39
74
Teorema
de isomorfismo
Primer
Segundo
Tercer
de Kronecker
del elemento primitivo
Tercer teorema de isomorfismo
ndice Analtico
22
23
23
44
55
23
trmino constante
trascendente
elemento
extensin
nmero
U
unidad
27
45
45
45
17