Teora de Galois,
un primer curso.
(Tercera Edicin)
www.smm.org.mx
Serie: Textos. Vol. 14 (2016)
Teora de Galois,
un primer curso.
Tercera 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
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 () = 2 + + con 6= 0 Esto lo saban los antiguos babilonios alrededor
del ao 1600 A.C. Las races estn dadas mediante la frmula
( 2 2 4)2 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 Runi 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) ( + ) = + y ( + ) = +
La propiedad (iii) se llama ley distributiva.
Ntese que se ha suprimido el smbolo , en , como es usual en la
notacin utilizada en la Teora de Grupos.
1.2 Ejemplos. El lector podr comprobar que (Z + ), (Z + ), (Q + ),
(R + ), ( + ), ( + ), ([] + ), (C + ) son anillos, (Problema
1.1).
Si un anillo ( + ) satisface
9
10
I.1 Anillos
11
12
I.1 Anillos
13
=
dos anillos y 0 son isomorfos si existe un isomorfismo : 0 y
escribiremos
= 0 .
1.13 Definicin. Sea : 0 un homomorfismo de anillos. El
ncleo de , denotado ker , es el conjunto de todos los elementos
tales que () = 0 donde 0 denota la identidad aditiva de 0 . La imagen de
, denotada , es el conjunto de () con .
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 = {0}, diremos
que es un monomorfismo y lo denotamos : 0 ; si = 0 ,
diremos que es un epimorfismo y lo denotamos : 0 y si es
tal que ker = {0} e = 0 , entonces diremos que es un isomorfismo. De otra manera, es un monomorfismo cuando es inyectiva; es un
epimorfismo cuando es suprayectiva y es un isomorfismo cuando es biyectiva.
Llamaremos endomorfismo a un homomorfismo : y diremos que
es automorfismo si dicha es biyectiva.
Observe que, como grupos conmutativos, 2._ : Z 2Z dado por 7 2
establece un isomorfismo de grupos abelianos pero, como anillos no se tiene
un isomorfismo.
Diremos que un homomorfismo : 0 es trivial si () = 0 para
todo . Es decir, = {0}. Equivalentemente, = 0 si, y slo si,
ker = .
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 un subconjunto de un anillo . La interseccin
de todos los subanillos de que contienen a se llama subanillo de
generado por .
Definiciones semejantes se tienen de subdominio o subcampo generado por un subconjunto .
2.5 Definicin. Diremos que un anillo es de caracterstica 0 (denotada () = 0) si = 0 es el nico entero tal que = 0 para toda .
Si no es de caracterstica 0, el menor entero positivo tal que = 0 para
toda se llama caracterstica del anillo (denotada () = ).
2.6 Ejemplos Los anillos Z, Q, R y C tienen caracterstica 0. El anillo
Z tiene caracterstica .
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 () 6= 0,
entonces es de caracterstica igual a un nmero primo.
Demostracin. (i) Sea el orden del 1, es decir, veces 1+1+ +1 =
0. Entonces, = (1) = (1) = 0 para toda . As, es de
19
20
21
0 0
Por lo tanto, hemos visto que un subanillo de un anillo es un ideal de
si, y slo si, existe un homomorfismo de anillos : 0 con ncleo
ker = .
Sea : 0 un homomorfismo de anillos con ideales e 0 0
tales que () 0 , entonces : 0 0 dado por (+) = ()+ 0
es el homomorfismo inducido por en los grupos abelianos cociente [Ll3, II.3].
Como
(( + )( + )) =
=
=
=
=
( + )
() + 0
() () + 0
( () + 0 )(() + 0 )
( + ) ( + )
0
0
0 0
22
e = 0 ( ) y ker = ( 1 ( 0 )).
Anlogamente a [Ll3, II.3.3], se tiene
2.9 Teorema. Bajo las mismas hiptesis de la proposicin anterior, en
particular, si es un epimorfismo con 0 = e = ker entonces 0 0
= 0
y es un isomorfismo en el siguiente diagrama conmutativo:
ker
= 0
0
23
0 0
es una sucesin exacta corta. Consideremos ahora una sucesin exacta corta
0 0 00 0
Recordemos entonces que 0 = ker , y 0 es monomorfismo, pues 0 =
= ker y, adems, es epimorfismo porque = ker = 00 . Sea =
0 = ker el cual es un ideal de , entonces 0 establece un isomorfismo
=
=
0 y establece otro isomorfismo 00 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. : 00 donde = Z y 00 = Z es un epimorfismo
con ncleo el subgrupo Z, es decir,
0 Z ZZ 0
es un sucesin exacta corta. Luego, por el teorema anterior ZZ
= Z .
Anlogamente a [Ll3, II.3.11], se tiene
2.14 Teorema. (Segundo Teorema de Isomorfismo). Sean ,
ideales de . Entonces ( + )
= ( ).
Anlogamente a [Ll3, II.3.13], se tiene
2.15 Teorema. (Tercer Teorema de Isomorfismo). Sean , ideales
de con . Entonces,
= ()().
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 6= 2, entonces el subgrupo aditivo de generado por el 1 es un subcampo isomorfo a Z .
24
I.3
25
&
26
X
()( )
( ) 7 ()() =
=0
Ahora, para cada , definamos una funcin que depende de denotada mediante
() = si = 0 0 si 0
As, y la asignacin dada por 7 define una funcin : .
Es fcil comprobar que es un monomorfismo y que (1) es la identidad de
(Problema 3.2 (ii)).
Definamos dado por () = 1 si = 1 o 0 si 6= 1. Claramente
conmuta con para toda . Veamos que ( ) es un anillo de polinomios de : sea : 0 un monomorfismo con (1) como identidad tal
que cualquier elemento 0 conmute con () para toda . Definamos
: 0 mediante
7 () = ((0)) +
(())
=1
27
&
0 []
existe un homomorfismo
: 0 []
dado por
+ + 2 2 + 1 1 + 0 7 ( + + 2 2 + 1 1 + 0 )
= + + 2 2 + 1 1 + 0
tal que para 0 , () = y () = llamado homomorfismo de
evaluacin o sustitucin. Resulta que a cada polinomio = + +
2 2 +1 1 +0 le asociamos el elemento de un anillo ( ) = ( + +
2 2 + 1 1 + 0 ) = + + 2 2 + 1 1 + 0 . sto es vlido para anillos
conmutativos y no necesariamente para no conmutativos. () significa
28
29
0 = Q 0 [] = Q[]
&
=C
existe un homomorfismo
: 0 [] = Q[] = C
dado por
+ + 2 2 + 1 1 + 0 7 ( + + 2 2 + 1 1 + 0 )
= + + 2 2 + 1 1 + 0
tal que para 0 = Q, () = y () = . Denotamos (Q[]) con
Q[] el cual consta de nmeros complejos de la forma + con , Q.
Sabemos que el ncleo de es el ideal de Q[] generado por 2 + 1 y por 2.11
considerando el siguiente diagrama
30
=
(Q[]) = Q[]
&
31
32
X
7 ()() =
()( )
=0
33
34
35
1
= 1 + 2 + + + 1
1
Pruebe que es irreducible en Q[] y por tanto en Z[]. Sugerencia: pruebe que
()( 1) ( 1) ( ) y que () ( 1)1 y utilice el Criterio
de Einsenstein.
3.21 Los polinomios ciclotmicos () Z[], 1 estn definidos
mediante
1 = | ()
Escriba los polinomios ciclotmicos para 20 y establezca la frmula
recursiva
1
() =
| ()
para calcular () a partir de () para . Las races del polinomio
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 0
es decir, es un monomorfismo e identificamos 0 con ( 0 ) dentro de
cuando esto sea posible. Decimos que 0 es el campo base de la extensin.
Vemos entonces a 0
= ( 0 ) como un subcampo de . Denotamos la
37
38
|
0
Tambin escribiremos simplemente extensin por abuso cuando est implcito el contexto correspondiente.
1.2 Ejemplos.
0 Q R
0 R C
0 Q C
son extensiones. Con las dems notaciones se veran as:
Q R
R C
Q C
R : Q
C : R
C : Q
RQ
CR
CQ
R
|
Q
39
C
|
R
C
|
Q
0
y
0
0
son isomorfas si existen homomorfismos de campos : 0 0 y :
tal que el siguiente diagrama conmuta
Podemos identificar 0
= ( 0 ), 0
= 0 (0 ) y | 0 = .
Ahora introduciremos el lgebra Lineal en el estudio de las extensiones
de campos. Considere una extensin 0 . Como 0 puede verse dentro
de , podemos considerar el espacio vectorial sobre 0 , denotar dim 0
como [ 0 ] y llamarla grado de sobre 0 , el cual puede ser infinito.
40
Si el grado de sobre 0 es finito (infinito), entonces diremos que la extensin 0 es finita (infinita). El grado de una extensin es el invariante
ms importante de una extensin.
1.4 Teorema. Si 0 y 00 son extensiones finitas entonces
0 00 es una extensin finita y
[ 0 ][ 00 ] = [ 0 00 ]
Demostracin. Consideremos { }=1 y { }
=1 bases para las exten0
00
siones y , es decir para como espacio vectorial sobre 0
y para 00 como espacio vectorial sobre . Veamos que los elementos
{ } forman una base para 0 0 00 , es decir, una base para 00
sobre 0 .
P
Sea cualquier elemento de 00 . Entonces =
con
=1 P
0
. Pero como y es
un espacio
sobre P
= =1 con
P
P
0 . Sustituyendo, =
=1 (
=1 ) =
( ). Luego,
00
0
los elementos generan el espacio sobre
P .
Consideremos
una combinacin linealP ( ) = 0 con 0 .
P P
Entonces, =1 ( =1 ) P
= 0 con =1 . Como { }
=1 es
00
base del espacio sobre , =1 P
= 0 para toda . Como a la vez,
{ }=1 es una base para sobre 0 , =1 = 0 implica que = 0
para toda ,. Luego, los elementos { } son linealmente independientes.
As, { } es una base para 00 sobre 0 .
En esta situacin, decimos que es un campo intermedio de 0 y 00 .
Ntese que si 0 00 es una extensin infinita, tambin lo sern 0
y 00 . Tambin observe que si 0 00 es una extensin finita,
como corolario se tiene que la dimensin de sobre 0 o la de 00 sobre
divide a la dimensin de 00 sobre 0 , es decir [ 0 ] | [ 0 00 ]
o [ 00 ] | [ 00 ]. Dicho de otra manera, el grado de sobre 0
divide al grado de 00 sobre 0 o bien que el grado de 00 sobre divide al
grado de 00 sobre 0 .
1.5 Corolario. Consideremos una familia de campos { } para =
1... tal que cada +1 es una extensin finita de . Entonces es una
extensin finita de 1 y
[1 2 ][2 3 ] [1 ] = [1 ].
41
42
entonces
@ = ( ) = + + 2 2 + 1 1 + 0
2)]
=
2.
Adjuntemos
3a
1.9
Ejemplo.
Por
1.7
sabemos
que
[Q
Q(
(Q(
2))(
3).
Entonces
sus
elementos
son
Q( 2), es decir, consideremos
de
la forma = + 3 con , Q( 2). Luego, 1, 3 generan
(Q( 2))( 3).
lotanto son
una base de (Q( 2))( 3) sobre Q( 2). As, [Q( 2) (Q( 2))( 3)] = 2.
43
Por
1.4,
se
tiene
que
[Q
Q(
2)( 3)] = 4. Por la demostracin de 1.4,
{ 6, 3, 2,1} es base de Q( 2 3) sobre Q.
Q(
Q(2) es subcampo
de
R
y
que
Q(
2)
pues
R. Como 2 + 1 = 0,
[Q Q( 2)][Q( 2) Q( 2 )] = [Q Q( 2 )] = 4
Observe que 0 [] puede verse como un espacio vectorial sobre 0 donde
los elementos con 0 generan 0 [] sobre 0 y que 0 [] no es de
dimensin finita pues los polinomios pueden tener un grado muy grande y
no ser combinaciones lineales de un conjunto finito de polinomios.
Podemos hacer equivalente el problema de "encontrar las soluciones" de
una ecuacin polinomial
= + + 2 2 + 1 1 + 0
al problema de encontrar las races o ceros de
@ = () = + + 2 2 + 1 1 + 0
Es decir, resolveremos el problema original traducido a un problema equivalente usando homomorfismos, ideales, cocientes, etc. Nos preguntamos si
existe una extensin 0 tal que () 0 [] posea una raz en .
Veremos que todo polinomio de grado mayor o igual a 1 con coeficientes
en cualquier campo 0 posee una raz en algn subcampo de 00 que lo
contenga. Existir una extensin de 0 tal que un polinomio () 0 []
tenga una raz en ?
Consideremos la extensin 0 00 , 00 y la indeterminada.
Entonces el homomorfismo de evaluacin : 0 [] 00 enva 0 isomrficamente en s mismo tal que para 0 , () = y () = . Como
todo polinomio se factoriza en 0 [] en polinomios irreducibles sobre 0 ,
si denota uno de tales polinomios irreducibles, el ideal generado por es
mximo en 0 []. Luego el cociente 0 [] es campo. Considrese
: 0 0 []
44
dada por
7 +
1+
lo cual nos proporciona un campo con cuatro elementos.
1.13 Ejemplo. Considere 0 = R y () = 2 + 1 un polinomio irreducible en R[]. Luego, el ideal = h2 + 1i generado por este polinomio irreducible es mximo y por lo tanto el cociente R[] es campo.
Podemos ver a R como un subcampo de R[]. Sea = + . Entonces
2 + 1 = ( + )2 + (1 + ) = (2 + 1) + = 0R[] . As, es una raz de 2 + 1.
Nos interesarn las extensiones 0 para las cuales cualquier elemento sea raz de una ecuacin polinomial sobre 0 .
1.14 Definicin. Sea 0 una extensin. Diremos que un elemento
es algebraico sobre 0 si existe un polinomio no nulo 0 []
45
46
2 = ( 2 Q), luego 2Q () = 2 2.
Considere la extensin Q C , el polinomio () = 2 + 1 y el homomorfismo de evaluacin (()) = () = 2 + 1 = 0. Luego, () = 2 + 1
ker . As [Q Q()] = 2 = ( Q), luego Q () = 2 + 1. No es trivial
el obtener el polinomio mnimo en general.
1.17 Proposicin. Si una extensin 0 es finita, entonces es
algebraica sobre 0 .
Demostracin. Sea . Veamos que es algebraico sobre 0 . El
conjunto { 1 2 1 1} no es linealmente independiente, es decir,
existe una combinacin lineal
+ + 2 2 + 1 1 + 0 = 0
con no toda = 0. Luego () = + +2 2 +1 1 +0 es un polinomio
no trivial en 0 [] con () = 0. Luego, es algebraico sobre 0 .
El inverso de 1.17 es falso pues hay extensiones algebraicas de grado
infinito.
1.18 Teorema. Considere la extensin algebraica 0 . Entonces,
= 0 (1 ... ) para 1 ... s, y slo si es una extensin finita
sobre 0 .
Demostracin. Si = 0 (1 ... ), es algebraico sobre 0 y por
lo tanto es algebraico sobre cualquier extensin de 0 . Luego, el campo
0 (1 ) es algebraico sobre 0 y generalizando 0 (1 ... ) es algebraico sobre
47
Problemas.
1.1 Considere una familia de campos { } para = 1... tal que cada
+1 es una extensin finita de . Pruebe que es una extensin finita
de 1 y que
[1 ] = [1 2 ][2 3 ] [1 ]
1.2 Sea R() el subcampo que contiene a los elementos de la forma + ,
con , R. Pruebe que C = R().
1.3 Pruebe que Q R y Q C son extensiones infinitas y que
[Q Q()] = 2.
1.4 Considrese
dada por
: 0 0 []
7 +
48
1.6 Escriba las tablas de sumar y multiplicar del campo con cuatro elementos del Ejemplo 1.12.
1.7 Pruebe que el polinomio mnimo para sobre 0 , denotado 0 ,
divide a cualquier otro polinomio que tenga a como raz.
1.8 Pruebe que si entonces son equivalentes las siguientes: (i) es
algebraico sobre 0 , (ii) el homomorfismo de evaluacin posee un ncleo no
trivial y (iii) la extensin 0 0 () es finita.
II.2
49
1
1
Por el Problema 2.3 (i), = = . Luego, posee a 1
como
inverso.
50
2
y
2
de
2 obteniendo
2
la torre acostada de campos Q Q( 2) Q( 2 )
C. Luego el
campo dedescomposicin de sobre Q en C es Q( 2 ) y por lo tanto
[Q Q( 2 )] = 4.
Suponga que 1 ... son las distintas races de 0 []. 0 (1 )
es el mnimo subcampo que contiene a 0 y a las . Pero 0 (1 )
est contenido en cualquiera o todo subcampo de descomposicin. Por lo
tanto tenemos la siguiente
2.10 Proposicin. Sea 0 00 una extensin y 00 []. Si 1 y
2 son subcampos de descomposicin para sobre 0 entonces 1 = 2 .
51
Notacin. (i) Para las extensiones 0 y 0 00 denotaremos con 0 ( 00 ) el conjunto de homomorfismos (inyectivos) de en
00 que dejan fijo a 0 . Considere la extensin finita 0 00 , entonces
0 ( 00 00 ) = 0 ( 00 00 ) es un grupo. (ii) Sea 0 00 una extensin y 0 []. Denotaremos con ( 00 ) el conjunto de las races de
en 00 .
2.11 Proposicin. Sea 0 00 una extensin y 0 [] un polinomio irreducible. Sea 00 una raz de . Entonces los conjuntos
0 ( 0 ( ) 00 ) y ( 00 )
poseen la misma cardinalidad.
Demostracin. Considere el diagrama
0
&
0 []
00
.
L99
0 [] h i
=
0 ( )
donde : 0 [] 00 es el homomorfismo de evaluacin, el cual se factoriza mediante : 0 [] hi 00 . Para cada raz existe un . Entonces, cada raz da lugar a un homomorfismo = ( )1 para el
cual ( ) = .
1 : Q( 2)
C
+ 2 7 1( + 2) = + 2
+ 2 7 ( + 2) = 2
52
3
243 son conjugados sobre Q pues son races del mismo polinomio mnimo
sobre Q, _Q () = 3 2.
2.16 Teorema. Sea 0 un campo, , elementos algebraicos sobre 0 ,
= ( ). Entonces y son conjugados sobre 0 si, y slo si, la funcin
: 0 () 0 ()
dada por
1 1 + + 1 1 + 0 7 1 1 + + 1 1 + 0
53
es un isomorfismo de campos.
Demostracin. Supongamos que y son conjugados, es decir, 0 =
0 . Consideremos el siguiente diagrama
h 0 i 0 [] 0 [] h 0 i
&
=
0 ()
0 [] h 0 i
0 ()
Definimos = 1
el cual es un isomorfismo tal que
1
+ + 1 1 + 0 )
(1 1 + + 1 1 + 0 ) = 1
(1
= [(1 1 + + 1 1 + 0 ) + h 0 i]
= 1 1 + + 1 1 + 0
54
00 99K 0
|
% |
0
|
|
|
0
= 0
55
00
.000
0
Pero (000 0 ) (000 () 000 ) y (000 0 ) 6= (000 () 000 ) contradiciendo
la maximalidad de (000 0 ). Por lo tanto, 000 = 00 y podemos tomar
= 0 .
2.22 Definicin. Considere 0 00 una extensin finita simple. Diremos que 00 es un elemento primitivo de la extensin si 00 = 0 ().
El siguiente teorema se conoce como el teorema del elemento primitivo.
2.23 Teorema. Sea 0 00 una extensin separable. Entonces 00
posee un elemento primitivo.
Demostracin. Supongamos que 00 es un campo infinito. Como 00 se
construye a partir de una sucesin de extensiones simples, basta considerar
el caso 00 = 0 ( ). Sean , 0 [] los polinomios mnimos de
y sobre 0 respectivamente. Considere = 1 ... y = 1 ...
las distintas races de y respectivamente en 0 . Como 0 00 es
separable, = () y = (). Para 6= 1 se tiene que = 1 6= y por
lo tanto la ecuacin + = + tiene solamente una solucin, a saber,
56
57
58
II.3
Teora de Galois
Q(
2 3)] = 4. Conside
remos Q( 2 3) = (Q( 2))( 3). El isomorfismo 33 : Q( 2 3)
Q( 2 3) dado por + 3 7 3, con , Q( 2) es un automorfismo que tiene a Q( 2) como campo fijo. Anlogamente, 22 :
Q( 2 3) Q( 2 3) tiene a Q( 3) como campo fijo. Como la composicin de automorfismos es un automorfismo, vemos que 33 22
no deja fijo ni
a
2,
ni
a
3.
Consideremos
el
grupo
(Q(
2 3)). SabeQ
mos que {1, 2, 3, 6} es una base para Q( 2 3) sobre Q. Consideremos
= 1Q (Q(23)) , 1 = 22 , 2 = 33 y 3 = 33 22 .
59
+ 2 7 22 ( + 2) = 2 es un automorfismo de Q( 2).
es Q( 2){ 2 2 } = Q.
00
60
: ( 0 00 ) ( 0 00 ) dada por
7 () = (( 00 ) 00 )
: ( 0 00 )
( 0 00 ) dada por
0
00
( ) 7 ( 0 00 ) = ( 0 00 )
61
Entonces las funciones y son biyecciones mutuamente inversas que preservan el orden de contencin inverso.
Demostracin. Utilizando los resultados anteriores, considere las composiciones siguientes
( 0 00 )
( 0 00 )
( 0 00 )
(()) =
= (( 00 ) 00 )
() = (( 00 ) 00 ) 7
= (( 00 ) 00 )
=
( 0 00 ) ( 0 00 )
( 0 )
0
k
7
( ) 7
0
( )
( 0 00 )
( 00 )( ) 00 =
= ( 0 )
0
62
63
Q Q( 2 3) :
Q( 3)
Q( 2 3)
|
Q( 2)
|
Q
Q( 6)
{ 1 }
(Q Q( 2 3))
|
{ 2 }
|
{}
{ 3 }
64
Demostracin. Si , F entonces ( + ) ( + ) = ( + )
65
posee una raz 00 para una extensin 00 , entonces es una raz
mltiple de si, y slo si, y 0 poseen un factor lineal comn en [] que
se anula en .
3.5 Pruebe el teorema del elemento primitivo para el caso en que 00 sea
finito.
3.6 Pruebe que F F es el subcampo de descomposicin para los
polinomios y 1 1 sobre F .
3.7 Pruebe que F es el nico subcampo (salvo isomorfismo) con elementos.
3.8 Considere F y F dos campos de Galois de caracterstica . Pruebe
que F es subcampo de F si, y slo si, divide a .
3.9 Dibuje un diagrama de los subcampos de F60 ordenados via la divisibilidad por = 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] Ace, F., Lluis-Puebla, E. Matemtica en la Matemtica, Msica,
Medicina y Aeronutica. Pub. Electr. Sociedad Matemtica Mexicana.
Serie Divulgacin. Vol. 1 (2006).
[A-Ll2] Ace, 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).
Bewersdor, J. Galois Theory for Beginners. Student Math. Library. Vol.
35. American Mathematical Society. (2006).
Birkho, 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
ker
1
=
: 0
= 0
: 0
: 0
( )
1
() = 0
() =
+
( )
[]
()
@
hi
h1 i
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
( )
1 = | ()
0
0
: 0
0
|
0
( 0 ) ( 0 00 )
[ 0 ]
0 ()
0 (1 )
0 0 (1 )
( 0 )
0
0
()
()
0
hom 0 ( 00 )
0 ( 00 00 )
( 00 )
{ 0 00 }
( 0 00 )
( 00 )
( 00 ){ }
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
( 0 00 )
( 0 00 )
F
60
60
64
( )
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
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 indeterminadas
de cocientes de
de descomposicin
de funciones racionales con
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 de 0
de 0 en
de un campo
elemento primitivo de una
finita
finita separable
finitamente generada
generada por
infinita
de 0
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 sobre 0
de separabilidad de una extensin
de un elemento sobre 0
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
trivial
12
27
14
21
13
I
ideal
base del
11
28
ndice Analtico
de generado por
derecho
finitamente generado
izquierdo
maximo
primo
principal
ideales
propios no triviales
triviales
imagen de
inclusin
indeterminada
inverso
de
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
nmero
algebraico
trascendente
P
13
45
45
polinomio
cero de un
mnimo
raz de un
separable sobre
polinomios
ciclotmicos
en la indeterminada con
coeficientes en el anillo
Primer teorema de isomorfismo
proyeccin cannica
R
races n-simas de la unidad
raz
de multiplicidad
de un polinomio
S
Segundo teorema de isomorfismo
separable
elemento
extensin finita
polinomio
subanillo
de generado por
de generado por
subcampo
fijo
fijo de una familia
generado por
obtenido por adjuncin de un
conjunto
subdominio
generado por
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