Professional Documents
Culture Documents
Edgar
Perez Ordon
ez
Profesor Honorario
Departamento de Matematicas
Universidad Pedagogica Nacional
2 de junio de 2008
ii
Edgar
Perez Ord
on
ez
Departamento de Matematicas
Universidad Pedag
ogica Nacional
Bogot
a, D.C.
Colombia
email: edgarp@cable.net.co
Diagramaci
on en LATEX realizada por el autor.
Indice general
Prologo
VII
Nota importante
IX
Teora de Grupos
1. La estructura de Grupo
1.1. Operaciones binarias . .
1.1.1. Ejercicios . . . .
1.1.2. Ejercicios . . . .
1.1.3. Ejercicios . . . .
1.1.4. Ejercicios . . . .
1.1.5. Ejercicios . . . .
1.2. Grupos . . . . . . . . .
1.3. Propiedades elementales
1.3.1. Ejercicios . . . .
1.3.2. Ejercicios . . . .
.
.
.
.
.
.
.
.
.
.
3
4
6
7
8
9
11
11
15
20
21
.
.
.
.
.
23
23
25
33
34
42
43
43
2. Grupos importantes
2.1. Permutaciones . .
2.1.1. Ejercicios .
2.1.2. Ejercicios .
2.2. Simetra . . . . . .
2.2.1. Ejercicios .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Indice general
iv
52
55
4. Homomorfismos
4.1. Subgrupos normales . . . . . . . . . . . . . . . . . . . . .
4.2. Teorema de Correspondencia . . . . . . . . . . . . . . . .
4.2.1. Ejercicios . . . . . . . . . . . . . . . . . . . . . . .
57
62
65
68
5. Grupos cociente
5.1. El grupo Zm . . . . . . .
5.2. El grupo cociente . . . . .
5.3. Teoremas de isomorfismo
5.4. Producto directo . . . . .
5.4.1. Ejercicios . . . . .
71
71
76
78
85
89
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
6. Acci
on de un grupo sobre un conjunto
91
6.0.2. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . 103
II
Teora de Campos
105
7. Anillos conmutativos
107
7.1. La estructura de anillo . . . . . . . . . . . . . . . . . . . . 107
7.2. Ejemplos y primeras propiedades . . . . . . . . . . . . . . 109
7.2.1. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . 116
8. Campos
119
8.1. Campo de fracciones de un dominio . . . . . . . . . . . . 120
8.1.1. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . 123
9. Anillos de Polinomios
125
9.1. El anillo de series formales de potencias . . . . . . . . . . 125
9.2. El anillo de polinomios . . . . . . . . . . . . . . . . . . . . 128
9.2.1. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . 131
10.Homomorfismos
133
10.0.2. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . 139
11.Aritm
etica en k[x]
141
11.1. Factorizaci
on u
nica en k[x] . . . . . . . . . . . . . . . . . 152
11.1.1. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . 154
11.2. Anillos euclidianos . . . . . . . . . . . . . . . . . . . . . . 155
161
primos
. . . . .
. . . . .
. . . . .
. . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
167
167
170
171
174
14.Extensiones de un campo
175
14.0.2. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . 184
III
Introducci
on a la Teora de Galois
185
15.Introducci
on
16.F
ormulas cl
asicas
16.1. Ecuaci
on de segundo grado . . .
16.2. Ecuaci
on de tercer grado . . . . .
16.3. Ecuaci
on de cuarto grado . . . .
16.4. F
ormula de Vi`ete para la c
ubica
16.4.1. Ejercicios . . . . . . . . .
187
.
.
.
.
.
1
1
3
9
10
14
17.Races de polinomios
17.1. La existencia de races . . . . . . . . . . . . . . . . . . . .
17.1.1. Ejercicios . . . . . . . . . . . . . . . . . . . . . . .
17
17
23
24
18.Campos extensi
on
18.1. Elementos de un campo extension
18.2. Polinomio minimal . . . . . . . . .
18.3. Proceso de adjuncion . . . . . . . .
18.3.1. Ejercicios . . . . . . . . . .
18.4. Polinomios irreducibles . . . . . . .
18.5. Algoritmos para factorizar . . . . .
18.6. Criterio de Sch
onemann-Eisenstein
18.6.1. Ejercicios . . . . . . . . . .
18.7. Usando M aple . . . . . . . . . . .
18.8. El grado de una extension . . . . .
18.8.1. Ejercicios . . . . . . . . . .
27
27
28
30
34
35
36
39
41
42
43
49
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
vi
Indice general
49
51
.
.
.
.
53
53
58
59
61
63
71
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
73
74
75
75
76
77
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
85
85
89
89
95
95
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Prologo
Prologo
viii
Nota importante
Este escrito son notas de clase de circulacion restringida a los estudiantes del Departamento de Matematicas de la Universidad Pedagogica
Nota importante
Parte I
Teora de Grupos
CAPITULO 1
La estructura de Grupo
La estructura de Grupo
1.1
Operaciones binarias
Hacer
algebra es esencialmente calcular, es decir, efectuar operaciones con los elementos de un conjunto bien determinado. Los procesos
algebraicos se caracterizan por los calculos que en ellos intervienen,
es decir por las operaciones algebraicas efectuadas sobre los elementos
de un conjunto bien conocido. Efectuar una operacion algebraica sobre
dos elementos a, b de un conjunto E, es hacer corresponder a la pareja
ordenada (a, b) un tercer elemento bien determinado c, del conjunto E;
si usamos el concepto de funcion, la afirmacion anterior se puede enunciar en forma precisa, como lo haremos en la definicion que sigue. Los
ejemplos m
as comunes de operaciones binarias, son las operaciones que
se utilizan cuando estudiamos aritmetica.
Definici
on 1.1. Se llama operaci
on binaria (o simplemente operaci
on) entre los elementos de un conjunto E a toda funci
on f de E E
en E.
f :EE E
Si ponemos de presente la definicion de funcion, podemos, para el
caso de una operaci
on binaria f entre elementos de un conjunto E, hacer
las siguientes observaciones:
1. Para todo (x, y) EE existe un elemento z E, tal que f (x, y) =
z. Lo anterior corresponde al hecho de que el dominio de la funcion
f es el conjunto EE, lo que podemos interpretar cuando se afirma:
a todo par de elementos de E le podemos aplicar la operaci
on f y
obtener un elemento de E.
2. Si (x, y) E E, existe un u
nico elemento c E, tal que f (x, y) =
c. En este caso hacemos enfasis en la unicidad de la imagen que
requiere la funci
on f y esto significa: el resultado de aplicar la operaci
on f a cualquier par de elementos de E es u
nico.
Por razones de facilidad en los calculos se conviene en aceptar una
notaci
on especial para las operaciones sobre E. Si (x, y) E E, al
elemento f (x, y) de E lo denotamos xf y, es decir:
z = f (x, y) se escribe z = xf y
y as, para representar el resultado de aplicar la operacion f al par (x, y)
colocamos entre los elementos x y y el smbolo f , con el que designamos
la operaci
on.
Operaciones binarias
La estructura de Grupo
xy
1.1.1
Ejercicios
a
b
a
b
a
b
sobre Z
sobre Q
sobre Q+
d ) f (a, b) = a + b + 5 sobre Z
e) f (a, b) = a + sen b sobre R
4. Si E es un conjunto de tres elementos, cuantas operaciones se
pueden definir sobre E?
Operaciones binarias
1.1.2
Ejercicios
1. Cu
ales de las siguientes expresiones definen operaciones asociativas sobre el conjunto que se indica?
a) a b =
a
b
sobre R
b) a b = a + b + b2 sobre Z
c) a b = a + b + ab sobre Z
d ) a b = |a|b sobre R
e) a b = b sobre Z
f ) a b = 0 sobre Q
g) a b = b sobre Q
h) a b = a + b 1 sobre Q
2. Mostrar, paso a paso, que (a (b c)) d) = (a b) (c d), donde
representa una operacion asociativa sobre un conjunto E y a, b, c
E.
La estructura de Grupo
1.1.3
Ejercicios
Operaciones binarias
Demostraci
on. En efecto, si e y e0 son elementos neutros para , se tiene
que
x e = x, e x = x, para todo x E
(1.1)
x e0 = x, e0 x = x, para todo x E
(1.2)
1.1.4
Ejercicios
10
La estructura de Grupo
(1.3)
x x00 = e, x00 x = e
(1.4)
con lo cual
x0 = x0 e
0
Definicion de e
00
= x (x x )
0
= (x x) x
=ex
=x
00
00
00
Grupos
1.1.5
11
Ejercicios
1.2
Grupos
12
La estructura de Grupo
Grupos
13
14
La estructura de Grupo
Propiedades elementales
15
Ejemplo 1.11. El grupo afn Af(1, R) esta formado por las funciones
R R (funciones afines) de la forma
fa,b (x) = ax + b
donde a y b son n
umeros reales con a 6= 0. Para verificar que Af(1, R) es
un grupo para la composicion de funciones, sea fc,d = cx + d, entonces
fa.b fc,d = fa,b (cx + d)
= a(cx + d) + b
= acx + (ad + b)
= fac,ad+b (x)
Como ac 6= 0, la compuesta es una funcion afn. La funcion identica
es una funci
on afn (1R = f1,0 ).
Similarmente se obtienen los grupos Af(1, Q), Af(1, C).
1.3
Propiedades elementales
En la demostraci
on de los resultados de esta seccion es esencial entender que no se conoce nada sobre la naturaleza de los elementos del
conjunto G y de la operaci
on sobre el definida, los dos son completamente arbitrarios e inespecificados. El conocimiento de G y de su operacion
asociada est
a estrictamente determinado en la definicion de grupo. Las
dos primeras proposiciones ya se demostraron, por enfasis repetimos su
enunciado en este momento.
Proposici
on 1.3. Un grupo (G, ) tiene un u
nico elemento neutro.
Proposici
on 1.4. Un elemento x de un grupo (G, ) tiene un u
nico
inverso.
En lo que sigue usaremos el smbolo a1 para denotar el inverso de
a, donde a est
a en un grupo (G, ). Una (muy importante) excepcion es
cuando tratemos grupos abelianos en los cuales, por lo general y por costumbre, su operaci
on se denota aditivamente, +, en este caso el smbolo
a representar
a el inverso de a.
Proposici
on 1.5. Si (G, ) es un grupo: a b = c b implica a = c.
Adem
as, b a = b c implica a = c.
Se trata de las llamadas propiedades cancelativas a derecha e
izquierda, respectivamente.
16
La estructura de Grupo
Demostraci
on. Como b G, b1 existe en G. Operando a derecha en la
igualdad a b = c b con b1 , obtenemos:
(a b) b1 = (c b) b1
y entonces, por asociatividad
a (b1 b) = c (b1 b)
o a e = c e, con lo cual a = c. La segunda afirmacion se demuestra
similarmente.
Proposici
on 1.6. Para a en un grupo (G, ), (a1 )1 es a.
Demostraci
on. Todo elemento del grupo (G, ), incluyendo a a1 , tiene
un inverso en G, tenemos entonces que:
a1 (a1 )1 = e
Adem
as, tambien se cumple que:
a1 a = e
y c
omo el inverso es u
nico, se tiene que (a1 )1 = a.
Ejemplo 1.12. Con R se denota el conjunto de n
umeros reales diferentes de 0, este conjunto junto con la multiplicacion es un grupo abeliano,
donde 1 es el elemento neutro y para todo x en R , su inverso para la
multiplicaci
on se acostumbra a denotar con el smbolo:
x1 =
1
x
La proposici
on 1.6, aplicada a este ejemplo, nos indica que:
(x1 )1 =
1
1
x
=x
Propiedades elementales
17
Proposici
on 1.7. En un grupo (G, ) las ecuaciones a x = b y y a = b
tienen una u
nica soluci
on en G.
Demostraci
on. El elemento x = a1 b G y satisface la ecuacion ax =
b, ya que:
a (a1 b) = (a a1 ) b = e b = b
Los c
alculos anteriores muestran que existe al menos una solucion,
resta mostrar que existe a lo mas una. Supuesto que existe otro elemento
x0 G tal que a x0 = b, entonces:
a x0 = e b = (a a1 ) b = a (a1 b)
De donde, cancelando a se obtiene x0 = a1 b y entonces x = x0 .
Similarmente se demuestra que la ecuacion y a = b tiene una u
nica
soluci
on en el grupo G.
Proposici
on 1.8. Si a, b son elementos de un grupo (G, ), entonces
(a b)1 = b1 a1
Demostraci
on. De los c
alculos:
(a b) (b1 a1 ) = a [b (b1 )] a1
= a [(b b1 ) a1 ]
= a (e a1 )
= a a1
=e
nos damos cuenta que b1 a1 es (a b)1 , el inverso de a b, y entonces
(a b)1 = b1 a1 , lo que queramos demostrar.
Es muy importante observar que, en general, (a b)1 6= a1 b1 y,
si en un grupo se cumple la igualdad, este hecho lo convierte automaticamente en abeliano como se demuestra en la proposicion que sigue.
Proposici
on 1.9. Un grupo (G, ) es abeliano si, y s
olo si
(a b)1 = a1 b1
para todo par de elementos a y b de G.
18
La estructura de Grupo
Demostraci
on. De la proposicion 1.8 se sabe que (a b)1 = b1 a1 ,
entonces si (G, ) es abeliano se obtiene: (a b)1 = a1 b1 .
Recprocamente, si se supone que (a b)1 = a1 b1 , entonces, de
nuevo por la proposicion 1.8, se tiene la igualdad b1 a1 = a1 b1 ,
y de aqu se obtienen las igualdades que siguen:
b1 a1 = a1 b1
a b1 a1 = a a1 b1
a b1 a1 = b1
b a b1 a1 = b b1
b a b1 a1 = e
b a b1 a1 a = a
b a b1 b = a b
ba=ab
Y c
omo lo anterior es valido para todo a, b en G, el grupo (G, ) es
abeliano.
De aqu en adelante la expresion a b la escribiremos en forma mas
sencilla, con una notacion multiplicativa: ab. Sin embargo, para los grupos
abelianos se acostumbra utilizar una notacion aditiva a + b.
Definici
on 1.8. Si G es un grupo y a G, definimos la potencia an ,
para n > 1, inductivamente:
a1 = a
an+1 = aan
Se define a0 = 1 y, si n es un entero positivo, tambien se define
an = (a1 )n
Proposici
on 1.10. Si G es un grupo, a G y m, n > 1, entonces
am+n = am an
(am )n = amn
Demostraci
on. En cada una de las expresiones am+n y am an aparecen
m+n factores iguales a a. De igual manera en (am )n , amn hay mn factores
iguales a a.
Propiedades elementales
19
20
La estructura de Grupo
Demostraci
on. Si G es un grupo finito y a G, tenemos que encontrar
un entero k > 1 tal que ak = e. Consideramos la sucesion
e, a, a2 , . . . , an , . . .
Como G es finito deben existir elementos repetidos en esta sucesion:
existen enteros m > n con am = an de donde e = am an = amn con
m n > 0.
Proposici
on 1.13. Sea G un grupo y x G un elemento de orden finito
k. Si xn = e, entonces k | n.
Demostraci
on. Por el algoritmo de division, n = qk +r, donde 0 6 r < k,
de donde
e = xn = xqk+r = (xk )q xr = xr
Como xr = e y r < k, debemos tener que r = 0, de donde k | n
1.3.1
Ejercicios
Propiedades elementales
21
1.3.2
Ejercicios
1. Un semigrupo es un conjunto no vaco junto con una operacion binaria que es asociativa (se han eliminado, de la definicion de grupo,
la existencia de elemento neutro y la de los inversos). Un monoide
es un semigrupo con elemento neutro. Dar un ejemplo de un monoide que no sea un grupo y un ejemplo de un semigrupo que no
sea un monoide.
2. Demostrar que un semigrupo (G, ) es un grupo si, y solo si las
ecuaciones a x = b y y a = b tienen solucion en G, para todo a
y b en G.
3. Demostrar que un semigrupo (G, ) tal que e G es elemento
neutro a izquierda y todo elemento de G tiene inverso a izquierda
es un grupo.
22
La estructura de Grupo
CAPITULO 2
Grupos importantes
2.1
Permutaciones
24
Grupos importantes
132;
213;
213;
312;
321
y
1 2 3
2 1 3
entonces
=
1 2 3
3 2 3
y =
1 2 3
1 3 1
Permutaciones
25
2.1.1
Ejercicios
26
Grupos importantes
Un 2-ciclo intercambia a i1 con i2 . Los 2-ciclos se llaman transposiciones. Un 1-ciclo es la identidad, deja fijos todos los elementos. Todos
los 1-ciclos son iguales, (1) = (i).
Ejemplo 2.2. La permutacion
1 2 3 4 5
=
4 3 1 5 2
es tal que (1) = 4, (4) = 5, (5) = 2, (2) = 3, y (3) = 1, entonces
es un 5-ciclo
= (14523)
Tambien se tiene
1 2 3 4 5
2 3 1 4 5
= (123)
El producto de ciclos se puede efectuar multiplicando las permutaciones que ellos representan.
El siguiente es un resultado importante respecto a factorizacion de
permutaciones, es decir vemos como cualquier permutacion se puede expresar como un producto (como hemos eliminado el smbolo en la
escritura para = decimos el producto ) de ciclos disyuntos.
Proposici
on 2.3. Toda permutaci
on Sn se puede expresar como un
producto conmutativo de ciclos que no tienen elementos en com
un.
Permutaciones
27
Demostraci
on. Primero consideremos el subconjunto de las imagenes de
:
{ (1), 2 (1), 3 (1), . . . }
Como el dominio de es finito, existen i, j enteros tales que i < j,
y i (1) = j (1), as ji (1) = 1. Lo anterior nos permite considerar a k
como el menor entero positivo tal que k (1) = 1. Sea
(1(1)2 (1) . . . k1 (1))
el primer ciclo de la permutacion . Si el elemento 2 no esta en el ciclo
anterior, repetimos el procedimiento para encontrar el ciclo:
(2(2)2 (2) . . . h1 (2))
donde h es el menor entero positivo para el cual h (2) = 2. Despues de
a lo m
as n pasos, este procedimiento termina. No importa el orden en
que aparecen los ciclos ya que se ve claramente que tales ciclos no tienen
elementos comunes.
Ejemplo 2.3. Para ilustrar la proposicion anterior consideremos en S7
la permutaci
on:
1 2 3 4 5 6 7
=
7 1 2 6 5 4 3
Observemos que:
(1) =7, 2 (1) = 3, 3 (1) = 2, 4 (1) = 1
(4) =6, 2 (4) = 4
(5) =5
28
Grupos importantes
Permutaciones
29
Definici
on 2.5. Dos permutaciones , Sn tienen la misma estructura cclica si sus factorizaciones completas tienen el mismo n
umero de
r-ciclos para cada r.
En las dos proposiciones que siguen se da un procedimiento para
determinar cuando dos permutaciones tienen la misma estructura cclica.
Proposici
on 2.5. Si Sn y = (x1 x2 . . . xm ) un m-ciclo, entonces
1
tambien es un m-ciclo, y adem
as:
1 = ((x1 )(x2 ) . . . (xm ))
Antes de demostrar esta proposicion observamos, que en ella se afirma
que cada elemento de 1 es igual al m-ciclo obtenido al aplicar a
los smbolos que aparecen en . Por ejemplo,
Si = (13)(247) y = (256)(143), entonces:
1 = ((1)(3))((2)(4)(7)) = (41)(537)
Demostraci
on. De acuerdo a la definicion del ciclo (definicion 2.4) nos
basta demostrar que la permutacion es tal que:
a. Si i < m, entonces 1 ((xi )) = (xi+1 )
b. 1 ((xm ) = x1
c. Si x no es ninguno de los (xi ) entonces 1 = x.
En efecto, si i < n, entonces:
1 ((xi )) = (1 ((xi )) = (xi ) = (xi+1 )
Adem
as,
1 ((xm )) = ((xm )) = (x1 )
Por u
ltimo, si x no es ninguno de los (xi ), 1 (x) no es ninguno de
los xi y as:
(1 (x)) = 1 (x)
de donde:
1 (x) = x
lo que queramos demostrar.
De lo anterior observamos que las dos permutaciones y 1 tienen la misma estructura cclica. Veamos que el recproco a esta afirmacion
tambien es v
alido.
30
Grupos importantes
Proposici
on 2.6. , 0 Sn tienen la misma estructura cclica si, y
s
olo si existe Sn , tal que 1 = 0
Demostraci
on. Supongamos que y 0 tienen la misma estructura cclica. Entonces
=(x1 x2 xm )(y1 y2 yr ) (z1 z2 zs )
0 =(x01 x02 x0m )(y10 y20 yr0 ) (z10 z20 zs0 )
Se tiene que encontrar Sn tal que 1 = 0 o lo que es lo
mismo:
((x1 ) (xm ))((y1 ) (yr )) ((z1 ) (zs )) =
(x01 x0m )(y10 yr0 ) (z10 zs0 )
para lo cual debe ser tal que
(xi ) = x0i , (yj ) = yj0 , (zk ) = zk0
es decir la permutaci
on f queda definida por
x1 xm y1 yr z1
=
x01 x0m y10 yr0 z10
zs
zs0
Permutaciones
31
Esta f
ormula se puede usar para contar el n
umero de permutaciones
que tienen la misma estructura cclica. Hay que ser cuidadosos en el caso
en que una factorizaci
on tenga varios ciclos de la misma longitud. Por
ejemplo, el n
umero de permutaciones en S4 con la estructura cclica de
la forma (ab)(cd) es 21 [ 12 (4 3)] [ 12 (2 1)] = 3 el factor 12 extra que
aparece es para no contar (ab)(cd) = (cd)(ab) dos veces.
Ejemplo 2.5. Las permutaciones en S4 se cuentan en la tabla 21.1.
Cuadro 2.1: Permutaciones en S4
Estructura cclica
(1)
(12)
(123)
(1234)
(12)(24)
N
umero
1
6
8
6
3
24
N
umero
1
10
20
30
24
20
15
120
32
Grupos importantes
Demostraci
on. De acuerdo a la proposicion 2.3, es suficiente factorizar
un r-ciclo en un producto de transposiciones, lo que se hace con la
f
ormula.
= (12 . . . r) = (1r)(1r 1) (13)(12)
que nos da la factorizacion pedida.
Esta factorizaci
on no es tan buena como la factorizacion en ciclos
disyuntos. Los factores no conmutan. (123) = (13)(12) 6= (12)(13) y,
ni los factores ni el n
umero de factores es u
nico. Por ejemplo, algunas
factorizaciones de (123) en S4 son:
(123) = (13)(12)
= (23)(13)
= (13)(42)(12)(14)
= (13)(42)(12)(14)(23)(23)
Pero, en el ejemplo se ve que el n
umero de transposiciones en cada
factorizaci
on es par. En cualquier permutacion , el n
umero de transposiciones en una factorizacion o siempre es par o siempre es impar.
Definici
on 2.6. Una permutaci
on Sn es par si se puede factorizar en un n
umero par de transposiciones e impar es caso contrario. La
paridad de una permutaci
on es su calidad de ser par o impar.
Definici
on 2.7. Si Sn y = 1 . . . t es la factorizaci
on completa
en ciclos disyuntos, el signo de est
a definido por
sgn() = (1)nt
De la proposici
on 2.3, vemos que sgn es una funcion, bien definida, porque el n
umero t queda determinado de manera u
nica por . Por
ejemplo, sgn() = 1 para todo 1-ciclo porque t = n. Si es una transposici
on, ella mueve dos n
umeros y deja fijos los n 2 restantes, entonces
t = (n 2) + 1 = n 1 y sgn( ) = (1)n(n1) = 1
Proposici
on 2.8. Para todo , Sn ,
sgn() = sgn()sgn()
Demostraci
on. Si k, l > 0 y las letras a, b, ci , cj son diferentes, entonces
(ab)(ac1 . . . ck bd1 . . . dl ) = (ac1 . . . ck )(bd1 dl )
Permutaciones
33
2.1.2
Ejercicios
34
Grupos importantes
a) Cu
antas permutaciones en S5 conmutan con (123)? y Cuantas
permutaciones pares en S5 conmutan con (123)?
b) Las mismas preguntas para (12)(34).
2.2
Simetra
Simetra
35
Definici
on 2.8. Una isometra del plano es una funci
on : R2 R2
que conserva la distancia, es decir, para todo punto P = (a, b) y Q =
(c, d) en R2
kP Qk = k(P ) (Q)k
donde kP Qk =
p
(a c)2 + (b d)2 es la distancia de P a Q.
36
Grupos importantes
para todo P , porque es una isometra. As, Para todo par de puntos P
y Q,
k(P )k2 + k(Q)k2 2(P ) (Q) = [(P ) (Q)] [(P ) (Q)]
= k(P ) (Q)k2
= kP Qk2
= (P Q) (P Q)
= kP k2 + kQk2 2P Q
Se concluye que (P ) (Q) = P Q.
Recordemos la f
ormula que da la interpretacion geometrica del producto punto:
P Q = kP k kQk cos
(2.1)
donde es el
angulo entre P y Q.
De la ecuaci
on anterior, 16.2, se pueden obtener algunas conclusiones:
1. Toda isometra conserva angulos.
2. P y Q son ortogonales si, y solo si P Q = 0 y entonces las isometras
conservan perpendicularidad.
El conjunto de las isometras en el plano de denota con Isom(R2 )
y su subconjunto de todas la isometras con (O) = O es el grupo
ortogonal del plano se denota con O(2, R). Mas adelante veremos que
Isom(R2 ) y O(2, R) son grupos para la composicion.
Para facilitar el analisis de las isometras, denotemos con L[P, Q] la
recta determinada por los puntos P y Q y con P Q el segmento de P a
Q.
Algunos ejemplos de isometras:
Ejemplo 2.6. Dado un angulo , la rotaci
on R alrededor del origen
se define por: R (O) = O; si P 6= Q, se dibuja el segmento P O y se rota
(en sentido contrario al reloj si es positivo y en sentido del reloj si
es negativo) y se define R (P ) = P 0 . Figura 2.2.
Ejemplo 2.7. Una reflexi
on, L , en una recta L, el eje, fija todo punto
en L; si P
/ L, entonces L (P ) = P 0 donde L es el bisector perpendicular
de P P 0 . L est
a en Isom(R2 ); si L pasa por el origen, entonces L
O(2, R). Figura 2.4.
Simetra
37
38
Grupos importantes
Demostraci
on. Veamos que Isom(R2 ) es un grupo. Claramente iR2 es
una isometra. Sean y 0 isometras. Para P y Q puntos, se tiene
k(0 )(P )) (0 )(Q))k = k0 ((P )) 0 ((Q))k
= k(P ) (Q)k
= kP Qk
y 0 tambien es una isometra, es decir, la composicion es una operacion
sobre Isom(R2 ). Si esta en Isom(R2 ) por el corolario 2.13, es una
biyecci
on y tiene inversa 1 , que tambien es una isometra, en efecto,
kP Qk = k(1 (P )) (1 (Q))k = k1 (P ) 1 (Q)k
Adem
as, la composici
on de funciones siempre es asociativa. Se concluye
que Isom(R2 ) es un grupo para la composicion.
Similarmente se demuestra que O(2, R) es un grupo.
Definici
on 2.9. El grupo de simetra () de una figura en el
plano es el conjunto de todas las isometras del plano con () = .
Los elementos de () se llaman simetras de .
Ejemplo 2.9. Si es un triangulo con vertices P , Q y R y si es una
isometra, por la proposicion 2.11, () es un triangulo con vertices (P ),
(Q) y (R). Si ademas se tiene que () = , entonces permuta los
vertices P , Q y R.
Si el tri
angulo es equilatero (Figura 2.5) y si `1 es la reflexion con
eje `1 = L[O, P ], entonces `1 () = , `1 se puede describir como la
transposici
on (RQ) que fija a P e intercambia a R y Q. Similarmente,
para las reflexiones `2 y `3 se tiene que, `2 () = y se describe con
(P Q), deja fijo a R y `3 () = y es la transposicion (P R). Ademas,
Simetra
39
40
Grupos importantes
Simetra
41
42
Grupos importantes
2.2.1
1.
Ejercicios
a) Cu
antos elementos de orden 2 hay en S3 , en S4 ?
b) Cu
antos elementos de orden 2 hay en Sn ?
CAPITULO 3
Subgrupos y Teorema de
Lagrange
3.1
Subgrupos
44
Figura 3.1: D3 D6
La operaci
on de un grupo G es una funcion : G G G. Si
S G, entonces S S G G, y decir que S es cerrado para la
operaci
on significa que (S S) S y es una operacion cuando
se restringe a S. Por ejemplo, el subconjunto Z del grupo aditivo Q de
n
umeros racionales es cerrado para +. Sin embargo, si Q es el grupo
multiplicativo de los racionales diferentes de cero, entonces Q es cerrado
para la multiplicaci
on, pero no es cerrado para +, porque, por ejemplo,
2 y 2 est
an en Q , pero su suma 2 + 2 = 0
/ Q .
Definici
on 3.2. Un subconjunto H de un grupo (G, ?) es un subgrupo
si
1. Si x, y H, entonces xy H; es decir, H es cerrado para .
2. e H.
3. Si x H, entonces x1 H.
Escribimos H 6 G para expresar que H es un subgrupo de G.
Se observa que, {e} y G siempre son subgrupos de un grupo G. Un
subgrupo H de G es propio si H 6= G y escribimos H < G. Un subgrupo
H de G es no trivial si H 6= {e}.
Proposici
on 3.1. Todo subgrupo H 6 G de un grupo G es un grupo.
Demostraci
on. H es cerrado para la opracion de G, es decir H tiene una
operaci
on, la restricci
on de la operacion : GG G a H H GG.
Esta operaci
on es asociativa: como la igualdad (xy)z = x(yz) se cumple
para todo x, y, z G, se cumple, en particular, para todo x, y, z H. La
condici
on (2) de la definicion de subgrupo da el elemento neutro y (3) da
los inversos.
Subgrupos
45
Q < R,
R<C
y para la multiplicaci
on
Q {0} < R {0},
46
Subgrupos
47
ya que la operaci
on es de adicion y en este caso, por ejemplo, la cuarta
potencia de a es a + a + a + a = 4a. Se observa entonces que Z = h1i
y as Z es un grupo cclico, generado por 1. 1 tambien genera a Z.
Ejemplo 3.8. En D6 se es facil verificar que
hei = {e}
hai = ha2 i = {e, a, a2 }
hbi = {e, b}
habi = {e, ab}
ha2 bi = {a, a2 b}
El grupo diedro D2n no es cclico, pero cada uno de sus elementos
se puede expresar en terminos de dos elementos a una rotacion y b una
reflexi
on, y los dos elementos generan a D2n .
Ejemplo 3.9. En el ejemplo 1.5 vimos que para todo n > 1, el grupo
multiplicativo n de las races n-esimas de la unidad es un grupo cclico
con generador la raz primitiva de la unidad = e2i/n .
Un grupo cclico puede tener varios generadores diferentes. Por ejemplo, hai = ha1 i. Si (k, n) = 1, entonces la races primitiva e2ik/n tambien es un generador de n .
Proposici
on 3.4. Si G = hai es un grupo cclico de orden n, entonces
k
a es un generador de G si, y solo si (k, n) = 1.
Demostraci
on. Si ak es un generador, entonces a hak i y existe s con
ks
a = a y as, aks1 = e y de la proposicion 1.13, se obtiene que n | ks 1
y existe un entero t tal que ks 1 = tn y sk tn = 1, lo que implica que
(k, n) = 1.
Recprocamente, con (k, n) = 1 existen enteros s y t con 1 = sk + tn,
entonces a = ask+tn = ask , porque atn = (an )t = e, luego a hak i.
Entonces G = hai 6 hak i, de donde G = hak i.
Corolario 3.5. El n
umero de generadores de un grupo cclico de orden
n es (n).
Demostraci
on. Se sabe que es la funcion de Euler definida por: si n > 1,
entonces (n) es el n
umero de enteros k con 1 6 k 6 n y (k, n) = 1
48
En el curso de teora de n
umeros se demuestra una formula
para calcular (n). Si n = pe11 pet t es la factorizacion en
primos de n, entonces
1
1
(n) = n 1
1
p1
pt
Proposici
on 3.6. Todo subgrupo de un grupo cclico es cclico.
Demostraci
on. Sea G = hai un grupo cclico y H uno de sus subgrupos.
Si H = {e}, el resultado se cumple pues H es en este caso el subgrupo
cclico generado por e.
Ahora suponemos que H 6= {e}. Si am H con m 6= 0, entonces
m
a
tambien es un elemento de H y as H contiene potencias positivas
de a. Sea n el menor entero positivo tal que an H. En lo que sigue
demostraremos que H = han i. Como an H toda potencia de an es un
elemento de H, con lo cual han i H. Para mostrar la inclusion H han i
consideramos ak H. Dividiendo a k por n obtenemos k = nq + r con
0 6 r < n y con esto:
ar = aknq = ak (an )q
Lo que nos muestra que ar H ya que ak y an pertenecen a H.
Entonces si ar H no puede ocurrir que 0 < r < n, por el caracter
minimal de n, y as la u
nica posibilidad es que r = 0, con lo cual:
ak = (an )q han i
y se cumple que H han i y tenemos lo que se quera: H = han i.
Proposici
on 3.7. Sea G un grupo finito y sea a G. El orden de a es
el n
umero de elementos de hai.
Demostraci
on. Si G es un grupo finito, existe un entero k > 1 tal que
e, a, a2 , . . . , ak1 son elementos diferentes de G mientras que entre los
elementos e, a, a2 , . . . , ak1 , ak hay una repeticion, es decir ak = ai para
alg
un i con 0 6 i < k. Si i > 1, entonces aki = e, lo que contradice el
que la lista inicial no tenia repeticiones. Entonces, ak = a0 = e y k es el
orden de a, ya que es el menor entero positivo con ak = e.
Si H = { e, a, a2 , . . . , ak1 }, entonces |H| = k. Demostremos que
H = hai. Claramente, H hai. Para la otra inclusion, tomemos ai hai,
dividiendo a i por k, i = qk + r con 0 6 r < k. Entonces,
ai = aqk+r = aqk ar = (ak )q ar = ar H
y hai H. Luego H = hai.
Subgrupos
49
Definici
on 3.4. Si G es un grupo finito, entonces el n
umero, |G|, de
elementos de G es el orden de G.
El termino orden tiene dos significados en teora de grupos: el orden
de un elemento a G y el orden |G| de un grupo. La proposicion anterior
muestra que el orden de un elemento a G es igual al orden del grupo
|hai|.
Ahora buscamos otra caracterizacion de los grupos cclicos finitos que
ser
a muy u
til m
as adelante.
Proposici
on 3.8. Sea G un grupo de orden n. Si G es cclico, entonces
G tiene un u
nico subgrupo de orden d por cada divisor d de n.
Demostraci
on. Supuesto que G = hai es un grupo cclico de orden n,
sea d un divisor de n. Veamos que han/d i tiene orden d. Claramente,
(an/d )d = e falta ver que d es el menor de estos enteros. Si (an/d )r = e,
entonces n | (n/d)r por la proposicion 1.13, luego existe un entero s con
(n/d)r = ns, de donde r = ds y r > d.
Para probar la unicidad, sea C un subgrupo de G = hai de orden
d, por la proposici
on 3.6, C es cclico, luego C = hxi con x hai. Se
m
tiene que x = a es de orden d, as que (am )d = e y entonces n | md
(proposici
on 1.3) de donde md = nk para alg
un entero k y x = am =
(an/d )k de donde C hxi han/d i. Como los dos grupos tienen el mismo
orden C = han/d i.
Por el corolario 3.5, si C es un grupo cclico finito de orden n con
gen(C) se denota el conjunto de todos los generadores de C, entonces
|gen(C)| = (n)
Proposici
on 3.9. Si n es un entero positivo, entonces
X
n=
(d)
d|n
Demostraci
on. Se define una relacion sobre un grupo G por
x y si, y solo si hxi = hyi
es f
acil ver que esta relaci
on es de equivalencia sobre G y que para a G
la clase de equivalencia de a esta formada por todos los generadores de
C = hai entonces
[
G=
gen(C)
C es cclico
50
P
Si G es de orden n, n = C |gen(C)|, donde la suma se hace sobre
todos los subgrupos cclicos de G. Por el corolario 3.5, |gen(C)| = (|C|).
Mientras que si G es cclico, de la proposicion 3.8 se obtiene
X
X
(d)
n=
|gen(C)| =
C
d|n
|gen(C)|
d|n
Subgrupos
51
Demostraci
on. Primero que todo, observamos que existe subgrupos de G
que contienen a X: por ejemplo G contiene a X. Se define
\
hXi = { H | H es subgrupo de G y X H }
La proposici
on anterior nos dice que hXi es un subgrupo de G que
adem
as contiene a X porque todo H contiene a X. Finalmente, si H es
cualquier subgrupo que contiene a X, H es uno de los subgrupos cuya
intersecci
on es hXi, de donde hXi H.
Definici
on 3.5. Si X es un subconjunto de un grupo G, entonces hXi
es el subgrupo generado por X.
Ejemplo 3.10. Si G = hai es un grupo cclico con generador a, entonces
G es generado por el subconjunto X = {a}. Sin embargo, escribimos hai
en lugar de h{a}i.
Definici
on 3.6. Sea X un subconjunto de un grupo G. Una palabra
sobre X es el elemento neutro o un elemento de G de la forma w =
xe11 xe22 xenn donde n > 1, xi X y ei = 1, para todo i.
Proposici
on 3.13. Si X es un subconjunto de un grupo G, entonces
hXi es el conjunto de todas las palabras sobre X.
Demostraci
on. Para comenzar demostramos que W , el conjunto de las
palabras sobre X es un subgrupo de G. Por definicion, e W . Si w, w0
fm
W , entonces w = xe11 xe22 xenn y w0 = y1f1 y2f2 ym
, donde xi , fj X
f1 f2
fm
e1 e2
0
e
n
y ei , fj = 1, entonces ww = x1 x2 xn y1 y2 ym
, que es una
e
0
1
1 e2
n
palabra sobre X y ww W . Para terminar, w = x1 x2 xe
n
W . As, W es un subgrupo de G y claramente contiene todo elemento de
X. Por el corolario 3.12, hXi W . La otra inclusion, cualquier subgrupo
de G que contenga a X debe contener a W . Se concluye que W = hXi.
Ejemplo 3.11. El grupo de simetras (n ) de un polgono regular de
n lados est
a generado por X = {a, b}, donde a es una rotacion alrededor
del origen de (360/n) y b una reflexion. Las palabras sobre X se deben
construir teniendo en cuenta que los generadores satisfacen las relaciones
an = e, b2 = e y bab = a1 .
Proposici
on 3.14. Sean a y b enteros y sean A = hai y B = hbi los
subgrupos de Z generados por a y b. Se tiene que
1. Si A+B est
a definido por { sa+tb | s, t Z }, entonces A+B = hdi,
donde d = mcd(a, b)
52
3.2
Teorema de Lagrange
El hecho m
as importante sobre subgrupos H de un grupo finito G es
que sus ordenes est
an relacionados. Claramente, |H| 6 |G|, pero ocurre
algo m
as: |H| debe ser un divisor de |G|. Para demostrar esto introducimos la noci
on de clase lateral.
Definici
on 3.7. Si H es un subgrupo de un grupo G y a G, entonces
la clase lateral a izquierda aH es el subconjunto de G dado por
aH = { ah | h H }
Tambien se definen clases laterales a derecha, son subconjuntos de la
forma Ha = { ha | h H }, que apareceran mas adelante, por ahora solo
consideraremos clases laterales a izquierda.
Claramente, a = ae aH. Las clases laterales usualmente no son
subgrupos. Por ejemplo, si a
/ H, entonces e
/ H, porque si e = ah,
para alg
un h H, entonces a = h1 H, lo que es contradictorio.
Ejemplo 3.12. Consideremos el plano R2 como grupo aditivo y sea `
una recta que pasa por el origen O, la recta ` es un subgrupo de R2 . Si
R2 , entonces la clase lateral + ` es la recta `0 que contiene a y es
paralela a `, porque si r `, la ley del paralelogramo nos da + r `0 .
(Figura 3.2)
Ejemplo 3.13. Si G = S3 y H = h(12)i, hay exactamente tres clases
laterales de H
H = {(1), (12)}
= (12)H
= (123)H
= (132)H
Teorema de Lagrange
53
54
Teorema de Lagrange
55
3.2.1
Ejercicios
56
12.
CAPITULO 4
Homomorfismos
58
Homomorfismos
59
60
Homomorfismos
61
3. La funci
on determinante es un homomorfismo det : GL(2, R) R ,
donde R es el grupo multiplicativo de reales diferentes de cero.
Entonces img f = R , es decir det es sobre, porque si r R ,
entonces r = det ( 0r 01 ). El n
ucleo de det es el grupo lineal especial
SL(2, R).
Proposici
on 4.3. Si f : G H es un homomorfismo, entonces
1. Nf es un subgrupo de G.
2. im f es un subgrupo de H.
3. Si x Nf y a G, entonces axa1 Nf .
4. f es inyectiva si, y solo si Nf = {e}.
Demostraci
on. (1) {e0 } es un subgrupo de H y por la proposicion 4.2(2),
f 1 ({e0 }) es un subgrupo de G, pero la imagen inversa por f de {e0 } es
el Nf .
(2) G es un subgrupo de G y por la proposicion 4.2(1), f (G) = im f
es un subgrupo de H.
(3) Si x Nf entonces f (x) = e0 , de donde
f (axa1 ) = f (a)f (x)f (a1 ) = f (a)e0 f (a)1 = e0
luego, axa1 Nf
(4) Si f es inyectiva, entonces x 6= e implica f (x) 6= f (e) = e0 y
x
/ Nf . Recpocamente, suponemos que Nf = {e} y que f (x) = f (y).
Entonces e0 = f (x)f (y)1 = f (xy 1 ) y xy 1 Nf , luego xy 1 = e y de
aqu, x = y.
De la teora de conjuntos sabemos que si para cualquier funcion f :
X Y y cualquier A X se tiene que A f 1 (f (A)) y la igualdad se
cumple en el caso en que f sea inyectiva, en el caso de los homomorfismos
entre grupos, tenemos la siguiente proposicion.
Proposici
on 4.4. Si H es cualquier subconjunto de G tal que Nf H,
entonces H = f 1 (f (H)).
Demostraci
on. Si a f 1 (f (H)), entonces f (a) f (H) y as f (a) =
f (h) para alg
un h H. La igualdad f (a) = f (h) es equivalente a
1
0
f (ah ) = e , y as ah1 Nf de donde a Nf h Hh = H . Se
ha demostrado que f 1 (f (H)) H. La demostracion se termina con la
inclusi
on H f 1 (f (H)) que la traemos de la teora de conjuntos.
62
Homomorfismos
4.1
Subgrupos normales
Entre los subgrupos de un grupo G hay algunos que cumplen propiedades adicionales a las de ser subgrupo, es el caso de los subgrupos
normales que ser
an importantes en la construccion de nuevos grupos.
Definici
on 4.3. Un subgrupo K de un grupo G es un subgrupo normal
si k K y g G implica gkg 1 K. El que K sea un subgrupo normal
de G, se denota con:
K CG
Ejemplo 4.6.
1. La proposicion 4.3(3) dice que el n
ucleo de un homomorfismo es un subgrupo normal.
2. Si G es un grupo abeliano, todo subgrupo K de G es normal, porque
si k K y g G, entonces gkg 1 = kgg 1 = k K. El recproco
de esta afirmaci
on es falso, hay grupos no abelianos en los que todo
subgrupo es normal. Veremos el ejemplo mas adelante.
3. El subgrupo cclico H = h(12)i se S3 , formado por las permutaciones (1) y (12), no es un subgrupo normal de S3 , porque si = (123),
entonces 1 = (321) y
(12)1 = (123)(12)(321) = (23)
/H
4. El subgrupo cclico K = h(123)i de S3 es un subgrupo normal.
5. An es un subgrupo normal de Sn .
6. SL(2, R) es un subgrupo normal de GL(2, R).
Definici
on 4.4. Si G es un grupo y a G, entonces un conjugado de
a es un elemento de G de la forma
gag 1
donde g G.
Ejemplo 4.7. Si K C G, K contiene todos los conjugados de sus elementos: si k K, entonces para todo g G, gkg 1 K.
Ejemplo 4.8. En el aparte sobre permutaciones vimos que, dos permutaciones en Sn son conjugadas si tienen la misma estructura cclica.
Subgrupos normales
63
Proposici
on 4.5. Si G es un grupo y g G, se define fg : G G por
fg (a) = gag 1 . Entonces,
1. fg es un isomorfismo.
2. Los elementos conjugados tienen el mismo orden.
Demostraci
on. (1) Si g, h G, entonces
(fg fh )(a) = fg (hah1 ) = g(hah1 )g 1 = (gh)a(gh)1 = fgh (a)
entonces
fg fh = fgh
de donde, cada fg es una biyeccion, porque fg fg1 = iG = fg1 fg .
Ahora mostramos que fg es un isomorfismo: si a, b G,
fg (ab) = g(ab)g 1 = (gag 1 )(gag 1 ) = fg (a)fg (b)
(2) Si a y b son conjugados, existe g G tal que b = gag 1 , es decir
b = fg (a) y como fg es un isomorfismo, a y b = fg (a) tienen el mismo
orden.
Ejemplo 4.9. Se define el centro de un grupo G, denotado con Z(G),
como el conjunto
Z(G) = { z G | zg = gz, para todo g G }
es decir, el conjunto de los elementos de G que conmutan con todo elemento de G. La igualdad zg = gz se puede escribir como z = gzg 1 y
entonces no hay otros elementos de G que sean conjugados con z.
Vamos a ver que Z(G) es un subgrupo de G. Claramente e Z(G)
porque e conmuta con todo elemento de G. Si y, z Z(G), entonces
yg = gy y zg = gz, para todo g G, de donde (yz)g = y(zg) = y(gz) =
(yg)z = (gy)z = g(yz) y yz conmuta con todo elemento de G: yz Z(G).
Finalmente, si z Z(G), entonces zg = gz para todo g G, en particular
zg 1 = g 1 z y
gz 1 = (zg 1 )1 = (g 1 z)1 = z 1 g
y as z 1 Z(G).
Z(G) es un subgrupo normal de G: si z Z(G) y g G, entonces
gzg 1 = zgg 1 = z Z(G)
Un grupo G es abeliano si, y solo si Z(G) = G.
64
Homomorfismos
0 1
1 0
yB=
0 i
i 0 .
Teorema de Correspondencia
65
4.2
Teorema de Correspondencia
(4.1)
66
Homomorfismos
todos los subgru-
todos los subgru : pos de A que con-
pos de G.
tienen a Nf .
Demostraci
on. Llamemos la correspondencia que act
ua entre el conjunto de subgrupos de G que contienen a Nf y el conjunto de todos los
subgrupos de G. De acuerdo a lo previsto en la discusion inicial:
(H) = H = f (H), H Nf
Demostremos que es sobre: si H es cualquier subgrupo de G, debemos encontrar un subgrupo H de G tal que Nf H y (H) = H; en
efecto, tomemos H = f 1 (H), se sabe que por ser f homomorfismo, H
es un subgrupo de G y como e0 H, se tiene que:
Nf = f 1 ({e0 }) f 1 (H) = H
Adem
as, como la funcion f es sobre, la teora de conjuntos nos permite
afirmar que:
(H) = f (H) = f (f 1 (H)) = H
Teorema de Correspondencia
67
68
Homomorfismos
4.2.1
Ejercicios
Teorema de Correspondencia
69
70
Homomorfismos
CAPITULO 5
Grupos cociente
5.1
El grupo Zm
72
Grupos cociente
El grupo Zm
73
Demostraci
on. Para ver que es una (bien definida) funcion, debemos
mostrar que si [a] = [a0 ] y [b] = [b0 ], entonces ([a], [b]) = ([a0 ], [b0 ]), es
decir [a + b] = [a0 + b0 ]. Si [a] = [a0 ] y [b] = [b0 ], entonces a a0 mod m y
b b0 m
od m, sumando termino a termino esta congruencias obtenemos
a + b a0 + b0 m
od m, de donde [a + b] = [a0 + b0 ].
Proposici
on 5.4. Si m > 2 el conjunto Zm es un grupo aditivo, cclico
generado por [1] y de orden m.
Demostraci
on. Consideramos Zm con la operacion definida en la proposicin 5.3. Por un momento usemos la notacion para indicar la adicion
de clases de congruencia:
([a], [b]) = [a + b] = a b
La asociatividad de la operacion se sigue de la asociatividad de la
adici
on ordinaria de n
umeros enteros:
[a] ([b] [c]) = [a] ([b + c])
= [a + (b + c)]
= [(a + b) + c]
= [a + b] [c])
= ([a] [b]) [c]
La conmutatividad de se sigue de la de, la adicion de n
umeros
enteros
[a] [b] = [a + b] = [b + a] = [b] [a]
El elemento neutro es [0] porque 0 es el elemento neutro para la adicion
en Z.
[0] [a] = [0 + a] = [a]
El inverso de [a] es [a]:
[a] [a] = [a + a] = [0]
Entonces, Zm es un grupo de orden m, es cclico generado por [1],
porque si 0 6 r < m, entonces [r] = [1] [1], con r sumandos
[1].
Corolario 5.5. Todo grupo cclico de orden m > 2 es isomorfo con Zm
Demostraci
on. Ya vimos que dos grupos cclicos finitos del mismo orden
son isomorfos.
74
Grupos cociente
El grupo Zm
75
76
Grupos cociente
Demostraci
on. Sea p un primo, podemos asumir que p > 3, porque 1
1 m
od 2. Si a1 , a2 , . . . , an son los elementos de un grupo abeliano finito
G, entonces el producto a1 a2 an es igual al producto de todos los
elementos a con a2 = e, porque cualquier otro elemento se cancela con
su inverso. Como p > 3 entonces Zp tiene un u
nico elemento de orden 2:
[1] [recuerde: si p es primo y a2 1 mod p, entonces a 1 mod p].
Luego, el producto de todos los elementos de Zp : [(p 1)!], es igual a [1]
y entonces (p 1)! 1 mod p.
5.2
El grupo cociente
El grupo cociente
77
78
Grupos cociente
5.3
Teoremas de isomorfismo
/ H
?
G/K
Para cualquier a G, de una parte f (a) H y por la otra (a) =
aK G/K, entonces parece natural definir una funcion fb de G/K en H
mediante la correspondencia aK 7 f (a), pero como esta depende de la
elecci
on de a, debemos demostrar que fb queda bien definida, para lograrlo
hay que imponer a K la condicion, K Nf , en efecto: si aK = bK,
entonces a = bk para alg
un k K, luego
f (a) = f (bk) = f (b)f (k) = f (b)e = f (b)
porque k Nf .
Veamos ahora que fb es un homomorfismo. Como f es un homomorfismo y fb(aK) = f (a),
fb(aKbK) = fb(abK) = f (ab) = f (a)f (b) = fb(aK)fb(bK)
Se observa que f se escribe en la forma:
f = fb
Ahora, si K = Nf , entonces fb es inyectiva. Si fb(aK) = fb(bK), entonces f (a) = f (b), de donde e = f (b)1 f (a) = f (b1 a) luego b1 a
Nf = K y aK = bK.
Si consideramos el homomorfismo f de G sobre im f , fb es sobre y
por lo tanto un isomorfismo.
Se ha demostrado el teorema:
Teoremas de isomorfismo
79
/ im f
?
fb
G/Nf
Ejemplo 5.3. Utilizando el teorema fundamental podemos demostrar
de nuevo que dos grupos cclicos de orden m son isomorfos. Si G = hai es
cclico de orden m, definimos un homomorfismo f : Z G por f (n) = an
para todo n Z. Es claro que f es sobre y Nf = { n Z | an = 1 } = hmi.
Entonces, Z/hmi
= G.
Ejemplo 5.4. R es un grupo abeliano para la adicion y Z es un subgrupo de R que es subgrupo normal, entonces es natural preguntarse por el
grupo cociente R/Z. Para verlo definimos f : R S 1 , donde S 1 es la
circunferencia de radio 1 con centro en el origen y es un grupo multiplicativo abeliano si se consideran sus puntos como n
umeros complejos de
norma 1. La funci
on f se define por
f : x 7 e2ix
f es un homomorfismo, es decir f (x + y) = f (x) + f (y) lo que se cumple
al tener en cuenta las f
ormulas de adicion para seno y coseno. La funcion
f es sobre. Determinemos ahora el n
ucleo de f , que esta definido por
Nf = {x R | 1 = e2ix = cos 2x + i sen 2x}
Claramente Z Nf , porque si n Z, entonces f (n) = e2in = 1. Para
la otra inclusi
on, si 1 = f (x) = e2ix , entonces cos 2x = 0 = sen 2x lo
que obliga a que x sea un entero. Como Nf = Z el teorema fundamental
nos permite afirmar que
R/Z
= S1
Un pregunta natural es si HK es un subgrupo cuando H y K son
subgrupos. En general, HK no es un subgrupo. Por ejemplo, para G =
S3 , se H = h(12)i y K = h(12)i, entonces
HK = {(1), (12), (13), (132)}
80
Grupos cociente
= (k2 k3 )(h2 h1
1 )
KH = HK
donde, como HK = KH, hk = k2 h2 y por ser K C G, h2 k11 h1
2 = k3
K, adem
as como H y K son subgrupos de G, k2 k3 K y h2 h1
1 H.
Con lo anterior se demuestra que HK es un subgrupo de G.
(2) Si g G, entonces
ghkg 1 = (ghg 1 )(gkg 1 ) HK
de donde, HK C G en este caso.
Ahora, a prop
osito de HK, para H y K subgrupos de G veamos una
f
ormula que ser
a muy u
til para problemas de conteo.
Proposici
on 5.12 (F
ormula del producto). Si H y K son subgrupos
de un grupo finito G, entonces
|HK||H K| = |H||K|
donde con el smbolo |HK|, se indica el n
umero de elementos del conjunto
HK.
Teoremas de isomorfismo
81
Demostraci
on. Se define una funcion f : H K HK por f : (h, k) 7
hk. Claramente, f es sobre. Para llegar a la igualdad propuesta tenemos
que demostrar demostrar que, para todo x HK, |f 1 (x)| = |H K|,
donde f 1 (x) = {(h, k) H K | hk = x}, porque si estoSes as, H K,
que tiene orden |H K| = |H||K|, es la union disyunta xHK f 1 (x),
que tiene orden |HK||H K| y concluimos la igualdad.
Si x = hk, veamos que
f 1 (x) = { (hd, d1 k) | d H K }
Cada (hd, d1 k) f 1 (x), porque f (hd, d1 k) = hdd1 k = hk = x.
Para la otra inclusi
on, sea (h0 , k 0 ) f 1 (x), entonces f (h0 , k 0 ) = h0 k 0 =
x = hk de donde h0 k 0 = hk y h1 h0 = kk 01 H K, llamamos a
este elemento d, y as, h0 = hd y k 0 = d1 k que es de la forma pedida.
Entonces
|f 1 (x)| = |{ (hd, d1 k) | d H K }| = |H K|
y la u
ltima igualdad ocurre porque la correspondencia d 7 (hd, d1 k)
determina una biyecci
on entre los d de la interseccion y los elementos
(hd, d1 k) de la im
agen inversa de x por f .
Los dos resultados que siguen son consecuencia del teorema fundamental de isomorfismo, que tambien, algunos autores, lo llaman
primer teorema de isomorfismo, y por esto el nombre que se les da.
Teorema 5.6 (Segundo teorema de isomorfismo). Si H y K son
subgrupos de un grupo G con H C G, entonces HK es un subgrupo,
H K C K, y
HK/H.
K/(H K) =
Demostraci
on. Antes de iniciar la demostracion es necesario verificar que
los grupos cocientes que aparecen en el enunciado existen; para esto se
debe verificar que, con la hipotesis de que H C G, se cumple que: HK es
un subgrupo, H K C K, y H C HK. lo que se requiere para la existencia
de los grupos cocientes que aparecen en el enunciado del teorema. Esto
se deduce f
acilmente de la proposicin 5.11.
Consideremos el diagrama.
82
Grupos cociente
K
HK
/ HK/H
?
b
f
K/H K
Si se define un homomorfismo f de K sobre HK/H que tenga n
ucleo
H K, del teorema fundamental de isomorfismo la funcion fb es el isomorfismo pedido.
Para ver como se define la funcion f , veamos como se pueden describir
los elementos del grupo HK/H. Si xH HK/H, entonces xH = hkH,
donde h H y k K, pero hk = k(k 1 hk) y como H C G, k 1 hk =
h0 H, de donde xH = hkH = kh0 H = kH. Entonces la funcion
f : K HK/H dada por k 7 kH es sobre, porque, si xH HK/H,
existe k K tal que xH = kH. La funcion f es un homomorfismo, en
efecto, f (kk 0 ) = kk 0 K = (kK)(k 0 K) = f (k)f (k 0 ).
Falta ver que su n
ucleo es H K. En efecto:
Nf = { k K | f (k) = H }
= { k K | kH = H }
= {k K | k H }
=H K
Y del teorema fundamental de isomorfismo concluimos el isomorfismo
pedido.
En la demostraci
on del teorema anterior se puede ver la fortaleza del
teorema fundamental como una maquina para construir isomorfismos.
Este procedimiento se usa en muchas oportunidades.
De otra parte, el segundo teorema de isomorfismo nos da la formula
del producto (Proposicion 5.12) en el caso especial cuando uno de los
subgrupos es normal: si K/(H K)
= HK/H, entonces |K/(H K)| =
|HK/H|, y entonces |HK||H K| = |H||K|.
Teorema 5.7 (Tercer teorema de isomorfismo). Si H y K son subgrupos normales de un grupo G con K 6 H, entonces H/K C G/K y
(G/K)/(H/K)
= G/H
Teoremas de isomorfismo
83
Demostraci
on. Construimos un diagrama a partir del que se presenta en
el teorema fundamental.
G/K
/ G/H
:
t
tt
tt
t
t
tt
tt fb
(G/K)/(H/K)
Se define f : G/K G/H por f : aK 7 aH. Primero veamos que f
est
a bien definida, porque si a0 G y a0 K = aK, entonces a1 a0 K 6 H
y as, aH = a0 H. Es f
acil ver que f es un homomorfismo sobre.
Adem
as, Nf = H/K, en efecto:
Nf = { aK | f (aK) = H }
= { aK | aH = H }
= { aK | a H }
= H/K
Adem
as, H/K = Nf C G/K. Aplicando el teorema fundamental, se
obtiene (G/K)/(H/K)
= G/H
En el captulo 4, en el teorema 4.1, demostramos el teorema de correspondencia, que nos dice que cuando se tiene un homomorfismo f de
un grupo G sobre un grupo G existe una correspondencia uno a uno entre
los subgrupos H de G que contienen al Nf y todos los subgrupos H de
G. Ahora podemos usar este teorema para describir los subgrupos de un
grupo cociente.
Si G es un grupo y K C G el homomorfismo canonico K : G G/K
es sobre y
NK = {g G | K (g) = K}
= {g G | gK = K}
= {g G | g K}
=K
Entonces, del teorema 4.1, existe una correspondencia, , uno a uno
entre los subgrupos de G que contienen a K y todos los subgrupos de
G/K. Si S(G; K) denota la familia de todos los subgrupos S de G que
contienen a K y S(G/K) denota la familia de todos los subgrupos de
G/K. Siguiendo la demostracion del teorema 4.1, se tiene que la funcion
84
Grupos cociente
??
??
??
??
S ?
?
??
??
??
??
T ?
?
G/K
S/K = S
??
??
??
??
K?
?
T /K = T
??
??
??
??
{K}
Producto directo
85
Demostraci
on. (2) Si T 6 S 6 G, entonces T = T /K = K (T ) 6
K (S) = S/K = S . Recprocamente, suponemos que T /K 6 S/K. Si
t T , entonces tK T /K 6 S/K, de donde tK = sK para alg
un s S.
Luego, t = sk para alg
un k K 6 S y t S.
Para mostrar que [S : T ] = [S : T ], es suficiente mostrar que hay
una biyecci
on de la familia de todas las clases laterales de la forma sT ,
donde s S, y la familia de todas las clases laterales de la forma s T ,
donde s S que es sT 7 (s)T . Cuando G es finito, se tiene:
[S : T ] = |S |/|T |
= |S/K|/|T /K|
= (|S|/|K|)/(|T |/|K|)
= |S|/|T |
= [S : T ]
(3) Si T C S, entonces T /K C S/K y (S/K)/(T /K)
= S/T , por el
5.4
ha5 i h5i
=
= Z3 ,
ha15 i
h15i
hai Z
=
= Z5
ha5 i
h5i
Producto directo
86
Grupos cociente
Definici
on 5.3. Si H y K son grupos, entonces su producto directo,
denotado con H K, es el conjunto de parejas ordenadas (h, k) con h H
y k K con la operaci
on definida por:
(h, k)(h0 , k 0 ) = (hh0 , kk 0 )
Es simple demostrar que H K es un grupo. [el elemento neutro es
(eH , eK ) y (h, k)1 = (h1 , k 1 )] Se tiene que: H K es abeliano si, y
solo si H y K son abelianos.
Veamos ahora algunas propiedades muy utilizadas del producto directo.
Proposici
on 5.13. Sean G y G0 grupos, K C G y K 0 C G0 . Entonces
K K 0 C G G0 y
(G G0 )/(K K 0 )
= (G/K) (G0 /K 0 )
Demostraci
on. Consideremos el diagrama:
G G0
/ (G/K) (G0 /K 0 )
7
ooo
o
o
oo
ooob
o
o
o
f
ooo
(G G0 )/(K K 0 )
de donde es f
acil ver que la funcion f definida por:
f : (g, g 0 ) 7 (gK, g 0 K 0 )
es un homomorfismo sobre con Nf = K K 0 luego, del teorema fundamental de isomorfismo, fb es el isomorfismo deseado.
Ahora tenemos una caracterizacion del producto directo.
Proposici
on 5.14. Si G es un grupo que tiene dos subgrupos normales
H y K tales que H K = {e} y HK = G, entonces G
= H K.
Demostraci
on. Si g G = HK, entonces g = hk, donde h H y k K.
Consideremos la correspondencia : g 7 (h, k), para que defina una
funci
on de G en H K, la expresion de g = hk debe ser u
nica, en efecto:
1
0
0
0
0
1
si hk = h k , entonces h h = k k H K = {e}, de donde h0 = h
y k 0 = k. Para ver que es un homomorfismo, sea g 0 = h0 k 0 , entonces
gg 0 = hkh0 k 0 y (gg 0 ) = (hkh0 k 0 ), que no esta en una forma apropiada
Producto directo
87
Z
/ Zm Zn
?
b
f
Z/hmni
Para a Z, denotemos con [a]m la clase de congruencia de a en Zm . la
funci
on f , definida por f : a 7 ([a]m , [a]n ) es un homomorfismo. Vemos
que Nf = hmni.
Nf = { a Z | f (a) = ([0]m , [0]n ) }
= { a Z | a 0 mod m y a 0 mod n }
= {a Z | m | a y n | a}
= { a Z | mn | a }
= hmni
donde la pen
ultima igualdad ocurre porque m y n son primos relativos.
Por el teorema fundamental de isomorfismo Z/hmni
= im f Zm Zm ,
pero como Zmn tiene mn elementos f es sobre y Z/hmni
= Zm Zn .
88
Grupos cociente
Producto directo
89
Demostraci
on. (1) Demostramos por induccion sobre n = |G|. El teorema se cumple para n = 1, porque no existen divisores primos de 1. Para
el paso inductivo, elegimos a G de orden k > 1. Si p | k, entonces
k = p` y a` tiene orden p. Si p - k, consideremos el subgrupo cclico
H = hai. Ahora, H C G, porque G es abeliano y el cociente G/H existe.
Se observa que |G/H| = n/k es divisible por p y con esto la hipotesis
inductiva nos da un elemento bH G/H de orden p. Si b tiene orden m,
entonces (bH)m = bm H = H en G/H y p | m y con esto regresamos al
primer caso.
(2) Demostramos por induccion sobre d > 1. Para d = 1 es obviamente verdadero, podemos asumir d > 1, es decir asumimos que d tiene
un divisor primo, p. Por induccion, G contiene un subgrupo H de orden
p. Como G es abeliano, H C G y el cociente G/H esta definido. Ademas
|G/H| = |G|/p y (d/p) | |G/H|. La hipotesis de induccion nos da un
subgrupo S 6 G/H con |S | = d/p. Por el teorema de correspondencia,
existe un subgrupo intermedio S (H 6 S 6 G) con S = S/H. Entonces,
|S| = p|S | = p (d/p) = d.
La parte (1) se puede generalizar al llamado Teorema de Cauchy
que dice que si p es un divisor primo de |G|, donde G es cualquier grupo
finito, no necesariamente abeliano, entonces G tiene un elemento de orden
p. Sin embargo, la segunda parte no se puede generalizar porque, por
ejemplo, A4 es un grupo de orden 12 que no tiene subgrupos de orden
12.
5.4.1
Ejercicios
yK
=K
b) Demostrar que f : H (H K)/K , definida por f (h) =
(H, e)K es un isomorfismo.
c) Demostrar que K C H K y usando el teorema fundamental
demostrar que
(H K)/K
=H
3.
90
Grupos cociente
CAPITULO 6
Acci
on de un grupo sobre un
conjunto
92
Acci
on de un grupo sobre un conjunto
SX = Sn .
El teorema de Cayley no es muy interesante porque por ejemplo, en
el caso finito el orden del grupo Sn crece muy rapidamente. Sin embargo,
hay una versi
on que puede ser mas u
til.
Teorema 6.2 (Representaci
on sobre clases laterales). Si G es un
grupo y H un subgrupo de G de ndice finito n, existe un homomorfismo
: G Sn con N 6 H.
Demostraci
on. Aunque H puede no ser un subgrupo normal, denotemos
la familia de clases laterales con G/H, para la demostracion de este teorema.
Para cada a G, se define a : G/H G/H por a (xH) = axH
para todo x G. Para a, b G,
a b = a (b (xH)) = a (bxH) = a(bxH) = (ab)xH = ab (aH)
entonces
a b = ab
entonces, toda a es una biyeccion, porque, su inverso es a1 :
a a1 = aa1 = e = iG/H
de donde a SG/H .
Se define : G SG/H por (a) = a , entonces
(a)(b) = a b = ab = (ab)
y entonces es un homomorfismo. Finalmente, si a N , (a) = iG/H
y entonces a (aH) = xH para todo x G, en particular, cuando x = e,
aH = H y a H. Para |G/H| = n, SG/H
= Sn .
Ahora vamos a clasificar los grupos hasta orden 7. Como todo grupo
de orden p primo es isomorfo con Zp , entonces, salvo isomorfismos, hay
solo un grupo de orden primo p. Como 2, 3, 5 y 7 son primos, veamos los
grupos de orden 4 y 6.
93
Proposici
on 6.1. Todo grupo G de orden 4 es isomorfo a Z4 o a V.
Adem
as, Z4 y V no son isomorfos.
Demostraci
on. Por el teorema de Lagrange, todo elemento en G, diferente de e, tiene orden 2 o 4. Si G tiene un elemento de orden 4, G es
cclico y G
= Z4 .
Si se toman dos elementos x, y G, diferentes de e, entonces es facil
ver que x, y
/ {e, x, y}, entonces
G = {e, x, y, xy}
es f
acil ver que la biyecci
on f : G V, definida por f (e) = e, f (x) =
(12)(34), f (y) = (13)(24) y f (xy) = (14)(23) es un isomorfismo, porque
el producto de cualquier par de elementos de orden 2 tambien es de orden
2.
Proposici
on 6.2. Todo grupo G de orden 6 es isomorfo a Z6 o a S3 .
Adem
as, Z6 y S3 no son isomorfos.
Demostraci
on. Por el teorema de Lagrange, los elementos diferentes del
neutro deben ser de orden 2, 3 o 6. Si G tiene un elemento de orden 6,
G
= Z6 . Como G es de orden par, debe contener un elemento t de orden
2 y sea T = hti.
Como [G : T ] = 3, por el teorema 6.2 (la representacion de G por
clases laterales de T ) se tiene el homomorfismo : G SG/T
= S3 con
N 6 T . Entonces, N = {e} o N = T . En el primer caso, es inyectiva
y por tanto un isomorfismo, porque |G| = 6 = |S3 |. En el segundo caso,
N = T y por lo tanto T C G y el grupo cociente G/T esta definido.
Veamos que en este caso G es cclico. G/H es cclico por ser de orden 3,
entonces existe a G tal que G/T = {T, aT, a2 T } y t es la permutacion
T aT a2 T
t =
tT taT ta2 T
como t N , entonces t es la identidad. En particular, aT = t (aT ) =
taT , de donde a1 ta T = {e, t}. Pero como a1 ta 6= e, a1 ta = t y
ta = at. Como a tiene orden 3 o 6, porque a 6= e y a2 6= e. En este caso
podemos ver que G tiene un elemento de orden 6. Si a tiene orden 3,
entonces at tiene orden 6, por la proposicion 5.15. Entonces G es cclico
de orden 6 y G
= Z6 .
Determinar los grupos de orden 8 es un poco mas difcil y requiere
desarrollar m
as teora. Hay 5 grupos no isomorfos de orden 8: tres son
abelianos, Z8 , Z4 Z2 y Z2 Z2 Z2 y dos no son abelianos, D8 y Q.
94
Acci
on de un grupo sobre un conjunto
Determinar el n
umero de grupos de un orden dado requiere procedimientos muy sofisticados. E. OBrien, encontro el n
umero de grupos no
isomorfos de orden 6 2000. En el cuadro 6 se muestran algunos casos un
tanto dram
aticos, el n
umero de grupos de orden 1024 no esta plenamente
confirmado.
Orden del Grupo
2
4
8
16
32
64
128
256
511
512
513
1024
N
umero de Grupos
1
2
5
14
51
267
2.328
56.092
1
10.494.213
15
49.487.365.422
95
Proposici
on 6.3. Si : G X X es una acci
on de un grupo G
sobre un conjunto X, entonces g 7 g define un homomorfismo G
SX . Recprocamente, si f : G SX es un homomorfismo, entonces
: G X X, definida por (g, x) = f (g)(x) es una acci
on.
Demostraci
on. Si : G X X es una accion, g es una permutacion
de X, porque su inverso es g1 :
g g1 = e = g1 g
se sigue que A : G SX es una funcion y el que sea un homomorfismo
se sigue de la parte (1) de la definicion:
A(gh) = gh = g h = A(g)A(h)
Recprocamente, dado un homomorfismo B : G SX , la funcion
: G X X, dada por (g, x) = B(g)(x), es una accion. Por notacion
g = B(g). La condici
on (1), dice que B(g) B(h) = B(gh), lo que
es verdad porque B es un homomorfismo, mientras que la parte (2),
B(e) = iX , se cumple porque todo homomorfismo lleva el neutro en el
neutro.
El teorema de Cayley dice que un grupo G act
ua sobre el mismo por
translaciones (a izquierda) y, su generalizacion, la representacion sobre
clases laterales, muestra que G act
ua sobre la familia de clases laterales
de un subgrupo H por translaciones (a izquierda).
Ejemplo 6.1. Veamos que G act
ua sobre si mismo por conjugaci
on. Para cada g G, se define g : G G por
g (x) = gxg 1
Para verificar (1), se observa que para cada x G
(g h )(x) = g (h (x))
= g (hxh1 )
= g(hxh1 )g 1
= (gh)x(gh)1
= gh (x)
y entonces, g h = hg
Para demostrar (2), se observa que para cada x G,
e (x) = exe1 = x
y entonces e = iG .
96
Acci
on de un grupo sobre un conjunto
97
98
Acci
on de un grupo sobre un conjunto
99
100
Acci
on de un grupo sobre un conjunto
[G : CG (xi ]
101
Demostraci
on. Si G no es abeliano, entonces su centro Z(G) es un subgrupo propio, de donde por el teorema de Lagrange, |Z(G)| = 1 o p.
Pero Z(G) 6= {e}, entonces |Z(G)| = p. Como el centro siempre es un
subgrupo normal, el cociente G/Z(G) esta definido y es de orden p, luego
G/Z(G) es cclico, lo que es una contradiccion, porque si G no es abeliano
G/Z(G) nunca es cclico.
Ya vimos que A4 es un grupo de orden 12 que no tiene subgrupos de
orden 6, entonces la afirmacion de que si d es un divisor de |G|, entonces
G debe tener un subgrupo de orden d, es falsa. Sin embargo esta afirmaci
on es verdadera cuando G es un p-grupo y aun mas, G debe tener un
subgrupo normal de orden d.
Proposici
on 6.11. Si G es un grupo de orden |G| = pn , entonces G
tiene un subgrupo normal de orden pk para todo k 6 n.
Demostraci
on. Demostramos por induccion sobre n > 0. El primer paso
es obvio. Por la proposici
on 6.9, el centro de G no es trivial: Z(G) 6= {e}.
Si Z(G) = G, G es abeliano y ya demostramos el resultado en el teorema
5.9. Entonces podemos asumir que Z(G) es un subgrupo propio de G.
Como Z(G) C G, se tiene que G/Z(G) es un p-grupo de orden estrictamente menor que |G|. Supongamos que |Z(G)| = pc . Si k 6 c, entonces
Z(G) y por tanto G, contiene un subgrupo normal de orden pk , porque
Z(G) es abeliano. Si k > c, entonces G/Z(G) contiene un subgrupo normal S de orden pkc , por induccion. El teorema de correspondencia da
un subgrupo normal S de G con
Z(G) 6 S 6 G
tal que S/Z(G)
= S , entonces
|S| = |S ||Z(G)| = pkc pc = pk
por el teorema de Lagrange.
Los grupos abelianos (y el de los cuaterniones) tienen la propiedad de
que todos sus subgrupos son normales. El polo opuesto son grupos que
no tienen subgrupos normales diferentes de {e} y G.
Definici
on 6.5. Un grupo G es simple si G 6= {e} y no tiene subgrupos
normales diferentes de {e} y G.
Proposici
on 6.12. Un grupo abeliano G es simple si, y solo si es finito
de orden primo.
102
Acci
on de un grupo sobre un conjunto
Demostraci
on. Si G es finito de orden primo p, entonces por el teorema
de Lagrange G no tiene subgrupos diferentes de {e} y G, entonces G es
simple.
Recprocamente, suponemos que G es simple. Como G es abeliano,
todo subgrupo es normal y as, G no tiene subgrupos diferentes de {e}
y G. Tomamos x G, x 6= e. Como hxi es un subgrupo, G = hxi. Si x
tiene orden infinito, entonces todas las potencias de x son diferentes, de
donde hx2 i < hxi lo que es un contradiccion. Entonces todo x G tiene
orden finito. Si x tiene orden m compuesto, entonces m = k` y hxk i es un
subgrupo propio no trivial de hxi, una contradiccion. Entonces G = hxi
tiene orden primo.
Vamos a demostrar que A5 es un grupo no abeliano y simple (es el
menor de tales grupos, se sabe que no hay grupos no abelianos y simples
de orden menor que 60).
Supuesto que un elemento x G tiene k conjugados, es decir
|xG | = |{gxg 1 | g G}| = k
Si existe un subgrupo H 6 G con x H, cuantos conjugados tiene
x en H?. Como
xH = {hxh1 | h H} {gxg 1 | g G} = xG
se tiene que |xH | 6 |xG |. Es posible que la desigualdad sea estricta, por
ejemplo, si G = S3 , x = (12) y H = hxi Se sabe que |xG | = 3 porque
todas las transposiciones son conjugadas, mientras que |H G | = 1, porque
H es abeliano.
Ahora consideramos esta situacion, en particular para G = S5 , x =
(123) y H = A5 .
Proposici
on 6.13. Todos los 3-ciclos son conjugados en A5 .
Demostraci
on. Sean G = S5 , = (123) y H = A5 . Sabemos que
|S5 | = 20,porque hay 20 3-ciclos en S5 , entonces 20 = |S5 |/|CS5 ()| =
120/|CS5 ()|, pero |CS5 ( | = 6, de donde hay 6 permutaciones en S6 que
conmutan con , que son
(1),
(123),
(132),
(45),
(45)(123),
(45)(132)
103
La proposici
on que sigue dice que A5 es generado por 3-ciclos.
Proposici
on 6.14. Todo elemento en A5 es un 3-ciclo o un producto de
3-ciclos.
Demostraci
on. Si S5 , entonces es un producto de un n
umero par
de transposiciones: = 1 2 2n1 2n . Como las transposiciones se
pueden agrupar en pares 2i1 2i , es suficiente considerar productos 0 ,
donde y 0 son transposiciones. Si y 0 no son disyuntas, entonces
= (ij) y 0 = (ik), luego 0 = (1jk); si y 0 son disyuntas, entonces
0 = (ij)(k`) = (ij)(jk)(jk)(k`) = (ijk)(jk`).
Teorema 6.4. A5 es un grupo simple.
Demostraci
on. Vamos a mostrar que si H es un subgrupo normal de A5
y H 6= {(1)}, entonces H = A5 . Si H contiene un 3-ciclo, como H es
normal H contiene todos sus conjugados y entonces contiene todos los
3-ciclos (proposici
on 6.13) y H = A5 (proposicion 6.13). Entonces es
suficiente probar que H contiene un 3-ciclo.
Si H 6= {(1)}, H contiene alg
un 6= (1). Podemos asumir que =
(123), = (12)(34) o = (12345). (Cuadro 2.2).
Si = (12)(34) H, el conjugado de por = (345) es 1 =
0
= (12)(45) H, porque A5 y A5 C S5 . Entonces 0 = (345) H.
Si = (12345) H, el conjugado de por = (123) es 1 =
00 = (23145) H, porque A5 y A5 C S5 . Entonces, 00 1 =
(23145)(54321) = (124).
En todos los casos se ha demostrado que H contiene un 3-ciclo. Entonces, los u
nicos subgrupos normales en A5 son {(1)} y A5 . Se concluye
que A5 es simple.
6.0.2
Ejercicios
104
Acci
on de un grupo sobre un conjunto
Parte II
Teora de Campos
CAPITULO 7
Anillos conmutativos
7.1
La estructura de anillo
108
Anillos conmutativos
raci
on si para todo a, b, c S, se cumplen las igualdades:
a (b c) = (a b) (a c)
(distributiva a izquierda)
(b c) a = (b a) (c a)
(distributiva a derecha)
Si la operaci
on es conmutativa, claramente en la definicion anterior bastara una igualdad. En las operaciones ordinarias de adicion y
multiplicaci
on entre n
umeros, la multiplicacion es distributiva sobre la
adici
on.
Definici
on 7.2. Sobre un conjunto no vaco A, se llama estructura
de anillo a una estructura algebraica determinada por dos operaciones
binarias + y definidas sobre A, para las que:
1. (A, +) es un grupo abeliano,
2. (A, ) es un semigrupo,
3. La operaci
on de semigrupo es distributiva sobre la operaci
on del
grupo +.
Decimos que (A, +, ), o simplemente, A es un anillo.
Se debe tener cuidado en entender que los smbolos + y representan operaciones abstractas e inespecificadas y no la adicion y multiplicaci
on ordinarias entre n
umeros. Sin embargo, por conveniencia y costumbre usaremos los mismos nombres, as para referirnos a la operacion
+ diremos adici
on y a la operacion multiplicacion (en la u
ltima, en
la mayora de los casos se elimina su smbolo, as x y se escribe xy). A
la luz de esta terminologa, es natural hablar del grupo abeliano (A, +)
como el grupo aditivo del anillo y de (A, ) el semigrupo multiplicativo del anillo.
El elemento neutro para la adicion, que es u
nico, lo llamaremos cero
del anillo y como es usual lo denotaremos con 0. El inverso aditivo de un
elemento a A, que es u
nico, lo denotaremos con a.
Al hacer restricciones adicionales a la operacin de multiplicacion de
un anillo obtenemos diferentes tipos de anillos.
Definici
on 7.3. Un anillo con identidad es un anillo en el que (A, )
es un semigrupo con elemento neutro, es decir, la multiplicaci
on tiene
elemento neutro que denotaremos con 1.
Definici
on 7.4. Un anillo conmutativo es un anillo en el que (A, )
es un semigrupo conmutativo con identidad; es decir, la operaci
on de
multiplicaci
on en el anillo es conmutativa.
109
Algunos autores no exigen para los anillos conmutativos que sean anillos con identidad.
Esta restricci
on est
a motivada en en hecho de que muchos de los
ejemplos corrientes de la teora de anillo tienen estas propiedades. Otra
raz
on que es quiz
a m
as importante desde el punto de vista conceptual es
que la mayora de los resultados son mas completos y satisfactorios en
este tipo de anillos.
7.2
Ejemplo 7.1. Los sistemas numericos: Z, Q, R y C son anillos conmutativos con las operaciones usuales de adicion y multiplicacion. La verificaci
on de los axiomas de anillo se hace en los cursos de fundamentos de
la matem
atica.
A menudo, en las clases de algebra en la escuela secundaria se da una
lista de reglas para la adicion y multiplicacion ordinarias de n
umeros
reales; estas listas frecuentemente son muy largas. Por ejemplo, una regla
es la propiedad cancelativa de la adici
on:
Si a + c = b + c, entonces a = b
Otra, la propiedad distributiva:
(a + b)c = ac + bc
y sigue la regla, cuando se lee de izquierda a derecha se dice que c se
puede distribuir en a + b y cuando se lee de derecha a izquierda, se dice
que c es un factor com
un de ac + bc.
Pero, tambien se presentan algunas reglas misteriosas:
(1)(1) = 1
Es importante anotar que estas reglas se pueden reducir eliminando
las que son redundantes, despues de simplificarlas aparece una lista corta
que hace m
as f
acil ver analogas entre n
umeros y otros objetos tales como
polinomios, funciones, que pueden ser sumados y multiplicados. Se llega
a la lista de los axiomas de anillo conmutativo.
Ahora, descifremos el misterio.
Proposici
on 7.1. 0 a = 0 para todo n
umero a.
110
Anillos conmutativos
Demostraci
on. Como 0 = 0 + 0, de la propiedad distributiva, se obtiene
0 a = (0 + 0)a = (0 a) + (0 a)
y, restando 0 a a los dos lados (es decir, usando la propiedad cancelativa
de la adici
on, se llega a 0 = a 0.
Ahora podemos ver porque esta prohibido dividir por cero: dado un
n
umero b su recproco 1/b debe cumplir que b (1/b) = 1. En particular,
1/0 debe ser tal que 0 (1/0) = 1, pero, por la proposicion anterior
0 (1/0) = 0, que es una contradiccion, ya que 1 6= 0.
Proposici
on 7.2. Si a es el n
umero que, sumado con a da 0, entonces
(1)(a) = a
Demostraci
on. De la propiedad distributiva y la proposicion 1.1, se obtiene
0 = 0 (a) = (1 + 1)(a) = (1)(a) + (a)
y sumando a a los dos lados se llega a a = (1)(a).
Tomando a = 1 se llega a la igualdad misteriosa.
Corolario 7.3. (1)a = a para todo n
umero a.
Demostraci
on. Por la proposicion 1.2, (1)(a) = a y multiplicando los
dos lados por 1,
(1)(1)(a) = (1)a
y como (1)(1) = 1, se tiene que a = (1)a.
Todo lo anterior se ha desarrollado partiendo de los axiomas que se
cumplen considerando los n
umeros reales como un anillo conmutativo.
As, estas propiedades se cumplen en cualquier anillo conmutativo, como
se enuncia en la siguiente proposicion.
Proposici
on 7.4. Para cualquier anillo conmutativo A, si a, b A,
entonces.
1. a0 = 0a = 0
2. (ab) = a(b) = (a)b
3. (a)(b) = ab
Demostraci
on. Es un ejercicio para el lector.
111
Definici
on 7.6. Sean A un anillo conmutativo, a A, y n N. Se
define 0a = 0 (el 0 de la izquierda es el n
umero cero, mientras que el 0
de la derecha es el elemento cero de A) y se define (n + 1)a = na + a y
(n)a = (na).
As, si n N y a A, de la definicion anterior se tiene que na =
a + a + + a donde se consideran n sumandos. Tambien, (n)a =
(na) = n(a). El elemento n
b = n1 = 1 + 1 + + 1, donde 1 es el
elemento uno del anillo, representa un elemento del anillo, y el elemento
na, como se defini
o antes, es igual a n
ba. Entonces, na, el producto de un
n
umero natural y un elemento del anillo, se puede ver como el producto de
dos elementos del anillo, na = n
ba. Esta aclaracion nos permite plantear
el teorema del binomio en cualquier anillo conmutativo.
112
Anillos conmutativos
Proposici
on 7.5 (Teorema del binomio). Si a, b A, donde A es un
anillo conmutativo, entonces para todo n > 0,
n
X
n r nr
n
(a + b) =
a b
r
r=0
Demostraci
on. Ejercicio para el lector. Por induccion sobre n. Tenga en
cuenta que se define a0 = 1 para todo a A.
En la definici
on de anillo conmutativo A no se requiere que 1 6= 0. En
el caso en que se tenga que 1 = 0, si a A entonces a = 1a = 0a = 0 y
el anillo tiene solo un elemento A = {0} que es el anillo cero que, de
pronto aparece, pero no es muy interesante.
Definici
on 7.7. Un dominio de integridad es un anillo conmutativo D con 1 6= 0 donde se cumple la propiedad cancelativa para la
multiplicaci
on:
Si ca = cb y c 6= 0, entonces a = b
El termino dominio de integridad se abrevia a dominio cuando no
hay lugar a confusi
on (por ejemplo con el dominio de una funcion).
Ejemplo 7.4. Los sistemas numericos Z, Q, R y C son dominios de
integridad.
Proposici
on 7.6. Un anillo conmutativo A que no es el anillo cero es
un dominio si, y solo si el producto de dos elementos diferentes de cero
en A es diferente de cero.
Demostraci
on. Supuesto que A es un dominio con a, b A, diferentes
de cero y tales que ab = 0. Como 0 b = 0, ab = 0 b, de donde, por
cancelativa a = 0, que es una contradiccion. Recprocamente, supuesto
que el producto de elementos distintos de cero en A siempre es diferente
de cero. Si ca = cb con c 6= 0, entonces 0 = ca cb = c(a b). Como
c 6= 0, por hip
otesis, a b = 0 y as a = b, lo que se quera demostrar.
Definici
on 7.8. Un elemento a de un anillo conmutativo A es un divisor de cero si a 6= 0 y existe b A, diferente de cero con ab = 0.
De la proposici
on 1.6 un anillo conmutativo es un dominio si, y solo
si A no es el anillo cero y no tiene divisores de cero. Tambien se puede
afirmar que la no existencia de divisores de cero es equivalente a que la
propiedad cancelativa se cumple.
Veamos un ejemplo de un anillo conmutativo que no es un dominio
de integridad.
113
Ejemplo 7.5. El conjunto F(R) de funciones de R R con las operaciones usuales de adici
on y multiplicacion de funciones: para las funciones
f, g F(R), se definen las funciones f + g y f g por
f + g : a 7 f (a) + g(a) y f g : a 7 f (a)g(a)
es un anillo conmutativo con identidad para las operaciones usuales de
adici
on y multiplicaci
on de funciones. El cero de F(R) es la funcion constante z con z(a) = 0 para todo a R. Veamos ahora que F(R) no es un
dominio de integridad.
Consideremos las funciones f y g de F(R) definidas por:
(
(
a si a 6 0,
0 si a 6 0,
f (a) =
g(a) =
0 si a > 0.
a si a > 0.
Las gr
aficas de estas funciones se muestran en la figura 16.1.
114
Anillos conmutativos
115
116
Anillos conmutativos
Demostraci
on. Si a | b y b | a, existen u, v D tales que b = ua y a = vb.
Sustituyendo, b = ua = uvb, como b 6= 0, la cancelativa nos lleva a 1 = uv
y u es una unidad.
Recprocamente, supuesto que b = ua, donde u es una unidad en D.
Si v D es tal que uv = 1, entonces vb = vua = a, luego b | a
Determinemos ahora las unidades en Zm .
Proposici
on 7.11. Si a es un entero, entonces [a] es una unidad en Zm
si, y solo si a y m son primos relativos.
Demostraci
on. Si [a] es una unidad en Zm , existe [s] Zm con [s][a] = [1],
de donde sa 1 m
od m y entonces existe un entero t tal que sa 1 = tm
y con esto 1 = sa tm lo que nos dice que a y m son primos relativos.
Recprocamente, si a y m son primos relativos, existen enteros s y t
tales que 1 = sa + tm y de aqu sa 1 = tm y sa 1 mod m. Entonces
[s][a] = [1] y [a] es una unidad en Zm .
Corolario 7.12. Si p es primo, entonces todo [a] Zp , diferente de cero
es una unidad.
Demostraci
on. Si [a] 6= 0, entonces a no es congruente con 0 modulo p, de
donde p - a. Entonces, a y p son primos relativos, porque p es primo.
Si A es un anillo conmutativo, el subconjunto de sus unidades se
denota con U (A).
Es f
acil verificar que U (A) es un grupo multiplicativo, el grupo de
unidades de A.
Ejemplo 7.8. El conjunto
U (Zm ) = { [a] Zm | (a, m) = 1 }
es el grupo multiplicativo de unidades en Zm
7.2.1
1.
Ejercicios
a) Demostrar que un anillo conmutativo A tiene un u
nico 1.
b) Demostrar que todo a A tiene un u
nico inverso aditivo.
c) Si u A es una unidad, demostrar que su inverso es u
nico.
d ) Demostrar la cancelativa de la adicion.
2.
117
6.
118
Anillos conmutativos
13. a) Es D = { a + b 2 | a, b Z } un dominio?
b) Es D = { 12 (a + b 2) | a, b Z } un dominio?
CAPITULO 8
Campos
120
Campos
8.1
Es f
acil ver que todo subanillo de un dominio es un dominio. Como
los campos son dominios, todo subanillo de un campo es un dominio.
El recproco a esta afirmacion es verdadero y es mas interesante: todo
dominio es un subanillo de un campo.
Dados a, b, c y d en un campo F con b 6= 0 y d 6= 0, si se supone que
ab1 = cd1 , multiplicando a los dos lados por bd, se llega a ad = bc.
En otras palabras, si se escribe ab1 con el smbolo a/b se tiene que,
a/b = c/d implica ab = cd. Recprocamente, si ad = bc, y b y d no
son cero, entonces multiplicando a los dos lados por b1 d1 , se obtiene
ab1 = cd1 , es decir a/b = c/d. Esta equivalencia nos permitira definir
una relaci
on de equivalencia entre pares de elementos de un campo F .
La demostraci
on de la proposicion que sigue es una generalizacion de
la construcci
on usual del campo de los n
umeros racionales a partir del
dominio de los n
umeros enteros.
Proposici
on 8.3. Si D es un dominio, existe un campo F que contiene
a D como un subanillo. Adem
as, F se puede elegir de tal manera que,
para cada f F , existen a, b D con b 6= 0 y f = ab1 .
Demostraci
on. Sea
X = { (a, b) D D | b 6= 0 }
y definimos una relacion ' sobre X por
(a, b) ' (c, d) si, y solo si ad = bc
es f
acil ver que la relacion definida es una relacion de equivalencia sobre
X = D D . Las propiedades reflexiva y simetrica son inmediatas, veamos la transitiva. Si (a, b) ' (c, d) y (c, d) ' (e, f ), entonces ad = bc y
cf = de. De ad = bc se llega a adf = b(cf ) = bde. Cancelando a d, que
no es cero, af = be, de donde (a, b) ' (e, f ).
La clase de equivalencia de (a, b) X la denotamos con el smbolo
[a, b] y definimos F como el conjunto de todas las clases de equivalencia.
Sobre F definimos operaciones de adicion y multiplicacion por
[a, b] + [c, d] = [ad + bc, bd]
121
y
[a, b][c, d] = [ac.bd]
Observe que los smbolos de la derecha tienen sentido porque como
b 6= 0, d 6= 0 y D es un dominio, bd 6= 0. Demostramos ahora que F con
estas operaciones es un campo.
Primero veamos que la adicion: + : F F F esta bien definida,
es decir, si [a, b] = [a0 , b0 ] y [c, d] = [c0 , d0 ], se tiene que [ad + bc, bd] =
[a0 d0 + b0 c0 , b0 d0 ], en efecto, por hipotesis, ab0 = a0 b y cd0 = c0 d, entonces
(ad + bc)b0 d0 = adb0 d0 + bcb0 d0
= (ab0 )dd0 + bb0 (cd0 )
= a0 bdd0 + bb0 c0 d
= (a0 d0 + b0 c0 )bd
de donde, (ad+bc, bd) ' (a0 d0 +b0 c0 , b0 d0 ), lo que se quera demostrar. Con
un procedimiento similar se muestra que la multiplicacion, F F F ,
est
a bien definida.
La verificaci
on de que F es anillo conmutativo es un procedimiento
de rutina. Vemos que el elemento cero de F es [0,1], el uno es [1, 1], el
opuesto de [a, b] es [a, b]. Es facil ver que la familia
D0 = { [a, 1] | a D }
es un subanillo de F , en efecto, se tiene que,
[1, 1] D0
(8.1)
(8.2)
(8.3)
Para ver que F es un campo, observamos que si [a, b] 6= [0, 1], entonces
a 6= 0 (porque el elemento cero de F es [0, 1] = [0, b]). El inverso de [a, b]
es [b, a], porque [a, b][b.a] = [ab, ab] = [1, 1].
Finalmente, si b 6= 0, [1, b] = [b, 1]1 (como lo acabamos de ver).
Entonces, si [a, b] F , se tiene que [a, b] = [a, 1][1, b] = [a, 1][b, 1]1
Resumiendo, dado un dominio D se ha construido un campo F que
contiene un subanillo D0 = { [a, 1] | a D }.
El enunciado de la proposicion 2.3 no es lo suficientemente exacto; el
campo F no contiene a D como un subanillo, porque D no es un subconjunto de F . Lo que se ha demostrado es que F contiene un subanillo
D0 = { [a, 1] | a D } que cumple la condicion prevista en la segunda
122
Campos
parte del enunciado. De la igualdad 2.2 vemos que para restar dos elementos de D0 basta restar dos elemento de D y de 2.3 se tiene lo mismo
para la multiplicaci
on, lo que justifica identificar el elemento a de D con
el elemento [a,1] de F . Con esta identificacion se tiene que para b 6= 0,
[a, b] = [a, 1][b, 1]1 = ab1 =
a
b
Definici
on 8.2. El campo F construido en la proposici
on anterior a
partir de un dominio D es el campo de fracciones de D, se denota
con
Frac(D)
y denotamos el elemento [a, b] Frac(D) con a/b. En particular, el elemento [a, 1] es a/1 o, simplemente, a.
Ejemplo 8.1. El campo Q es el campo de fracciones del dominio Z, es
decir Q = Frac(Z).
Definici
on 8.3. Un subcampo de un campo K es un subanillo k de K
que tambin es un campo.
Proposici
on 8.4.
1. Un subconjunto k de un campo K es un subcampo si, y solo si es un subanillo de K con a1 k, para todo
a k.
2. Si {Fi | i I} es unaTfamilia (posiblemente infinita) de subcampos
de K, entonces k = iI Fi es un subcampo de K.
Demostraci
on. (1) Si un subconjunto k de un campo K es un subcampo, obviamente contiene los inversos de sus elementos diferentes de cero.
Recprocamente, si k es un subanillo que contiene inversos para todos sus
elementos diferentes de cero, es un campo y por tanto es un subcampo
de K.
(2) La intersecci
on de subanillos es un subanillo, entonces k es un
subanillo de K. Si a k no es cero, entoncesTa Fi para todo i. Como
cada Fi es un subcampo, a1 Fi y a1 iI Fi = k. Entonces, k es
un subcampo de K.
Definici
on 8.4. En un campo K, la intersecci
on de todos sus subcampos
es el campo primo de K.
Claramente, todo campo tiene un campo primo. Mas adelante veremos que todo campo primo es esencialmente Q o Zp para alg
un primo
p.
8.1.1
1.
123
Ejercicios
a) Si A es un anillo conmutativo, se define la operacion por
a b = a + b ab
Demostrar que la operacion es asociativa y que 0 a = a
para todo a A.
b) Demostrar que un anillo conmutativo A es un campo si, y solo
si el conjunto {a A | a 6= 1} es un grupo abeliano para la
operaci
on . [Sugerencia: Si a 6= 0, entonces a + 1 6= 1.]
124
Campos
CAPITULO 9
Anillos de Polinomios
Un ejemplo muy importante de anillo es el llamado anillo de polinomios, aunque el lector ya esta familiarizado con polinomios, los presentaremos ahora con m
as cuidado.
Informalmente un polinomio es una expresion de la forma, s0 +
s1 x + s2 x2 + sn xn . La clave de la presentacion es poner atencion en
los coeficientes y el conjunto al que pertenecen.
Lo primero es formalizar la idea intuitiva de lo que significa un polinomio. Para esto es necesario pasar, as sea rapidamente, en un anillo
m
as general: el anillo de las series formales de potencias.
9.1
126
Anillos de Polinomios
se consideran iguales si, y solo si sus terminos correspondientes son iguales, es decir:
= si, y solo si ak = bk , para todo k > 0
Las operaciones de adicion y multiplicacion sobre Suc(A) se definen
por:
+ = (a0 + b0 , a1 + b1 , . . . )
= (c0 , c1 , c3 , . . . )
donde, en la u
ltima igualdad, para cada k > 0, ck es dado por:
X
ck =
ai bj = a0 bk + a1 bk1 + + ak b0
i+j=k
hay que tener en cuenta que la suma se hace sobre todos los enteros
i, j > 0 sujetos a la restriccion i + j = k.
Es de rutina establecer que el conjunto Suc(A) junto con las operaciones definidas tiene una estructura de anillo. Se observa que la sucesion
con todos sus elemento iguales a 0: (0, 0, 0, . . . ) es el elemento cero del
anillo, mientras que el inverso para la adicion de un elemento arbitrario
= (a0 , a1 , a2 , . . . ) de Suc(A) es = (a0 , a1 , a2 , . . . ). Resumiendo, se tiene:
Proposici
on 9.1. El sistema Suc(A) forma un anillo. Adem
as, el anillo
Suc(A) es conmutativo con identidad si, y s
olo si el anillo A es conmutativo con identidad.
Si S representa el subconjunto de todas sucesiones que tienen a 0 en
todo termino despues del primero, es decir
S = { (a, 0, 0, . . . ) | a A }
es f
acil demostrar que S forma un subanillo de Suc(A) que es isomorfo con
A, s
olo se requiere considerar la funcion que a un elemento a A le hace
corresponder la sucesion (a, 0, 0, . . . ). Los elementos de A, considerados
como sucesiones se llaman constantes.
Con la ayuda de un truco notacional es posible escribir los elementos
de Suc(A) como una serie formal de elementos de A. Lo primero es
utilizar el smbolo ax para designar la sucesion
(0, a, 0, 0, . . . ) = ax
127
128
Anillos de Polinomios
donde
ck =
X
i+j=k
ai bj =
k
X
ai bki
i=0
Ahora es conveniente enfatizar que, de acuerdo a nuestras definiciones, x es simplemente un nuevo smbolo que no tiene relacion alguna con
el anillo A y en ning
un sentido representa un elemento de A, por esto a
x se le da el nombre de indeterminada. Para indicar la indeterminada x con frecuencia se utiliza el smbolo A[[x]] para denotar el conjunto
Suc(A). Con el u
nico proposito de indicar el smbolo que se utiliza para la
indeterminada, tambien se usa el smbolo (x) para nombrar el polinomio
,
X
= (x) =
ak xk
En la notaci
on con series de potencias es costumbre no escribir los elementos con coeficiente cero y remplazar el termino (ak )xk por ak xk .
Aunque x no se puede considerar como un elemento de A[[x]], nos tomamos la libertad de escribir el termino 1xk como xk . Con estas convenciones la serie de potencias
1 + x2 + x4 + + x2n + Z[[x]]
representa la sucesi
on (1, 0, 1, 0, 1, . . . ) de Suc(Z).
El anillo de series formales de potencias sobre un anillo tiene interes
pero se logran resultados mas importantes cuando sus coeficientes se
toman en un campo.
9.2
El anillo de polinomios
Definici
on 9.1. Con A[x] se denota el conjunto de todas las series formales de potencias en A[[x]] cuyos elementos, despues de un cierto ndice,
son todos iguales a cero, este ndice particular cambia de serie a serie,
entonces
A[x] = { a0 + a1 x + + an xn | ak A, n > 0 }
Un elemento de A[x] se llama un polinomio (en x) sobre el anillo A.
Ejemplo 9.1. Las sucesiones (0, 0, 0, . . . ), (1, 1, 1, 0, . . . ) son polinomios
en Z2 [x] pero (0, 1, 0, 1, . . . , 1, 0, . . . ) no es un polinomio en Z2 [x].
El anillo de polinomios
129
Es f
acil verificar que A[x] es un subanillo de A[[x]] que llamaremos
anillo de polinomios sobre A (en una indeterminada x). Para esto es
necesario tener presente que si
X
p(x) =
ak xk , donde ak = 0, para todo k > n
X
p(x) =
bk xk , donde bk = 0, para todo k > m
entonces
ak + bk = 0 para k > max{m, n}
X
ai bj = 0 para k > m + n
i+j=k
130
Anillos de Polinomios
Ejemplo 9.2. Para ver que ocurre cuando el anillo A tiene divisores de
cero, consideremos dos polinomios en Z8 :
p(x) = 1 + 2x
q(x) = 4 + x + 4x2
entonces p(x)q(x) = 4 + x + 6x2 , luego
(p(x)q(x)) = 2 < 1 + 2 = (p(x)) + (q(x))
Corolario 9.3. Si el anillo A es un dominio de integridad, el anillo de
polinomios A[x] tambien es un dominio de integridad.
Demostraci
on. Es f
acil ver que si A es un dominio de integridad; el anillo
A[x] es conmutativo y tiene identidad. Falta demostrar que A[x] no tiene
divisores de cero; para ver esto sean p(x) 6= 0 y q(x) 6= 0 en A[x] entonces
(p(x)q(x)) = (p(x)) + (q(x)) > 0
luego, el polinomio producto p(x)q(x) no puede ser el polinomio cero pues
a este no se le ha asignado grado.
Del corolario anterior se podra pensar en llevar las caractersticas
del anillo A sobre su anillo asociado de polinomios A[x], esto es posible
en muchos casos pero no siempre es as, por ejemplo si A es un campo,
ning
un polinomio en A[x] de grado positivo puede tener inverso multiplicativo, en efecto, supuesto que p(x) A[x] con (p(x)) > 0 y que
p(x)q(x) = 1 para alg
un q(x) A[x], se llega a una contradiccion;
0 = (1) = (p(x)q(x)) = (p(x)) + (q(x)) 6= 0
Es frecuente que la indeterminada x se le asigne el papel de variable.
Si A es un anillo conmutativo, cada polinomio f (x) = a0 + a1 x + +a2 x2 +
+ an xn define una funci
on polin
omica fb : A A; si r A, fb(r) =
2
n
a0 + a1 r + a2 r + + an r (usualmente, no hay confusion y se escribe
f (r) en lugar de fb(r)). Los polinomios y las funciones polin
omicas son
objetos distintos. Por ejemplo, Si A es un anillo finito (por ejemplo Zm ),
hay solo un n
umero finito de funciones de A en A, pero hay un n
umero
infinito de polinomios, por ejemplo 1, x, x2 , . . . , xn , . . . son polinomios
diferentes.
Definici
on 9.3. Si k es un campo, entonces el campo de fracciones de
k[x], denotado con k(x), es el campo de funciones racionales sobre
k.
El anillo de polinomios
131
Proposici
on 9.4. Si k es un campo, los elementos de k(x) tienen la
forma f (x)/g(x), donde f (x), g(x) k[x] y g(x) 6= 0
Demostraci
on. Proposici
on 2.3.
Si tenemos A = R[x] entonces el anillo de polinomios A[y] es el anillo
de polinomios sobre R en dos indeterminadas x y y, se denota con R[x, y].
Por ejemplo, el polinomio cuadratico: ax2 + bxy + cy 2 + dx + ey + f
(que se ve en geometra analtica) se puede escribir como cy 2 + (bx +
e)y + (ax2 + dx + f ) y es un polinomio en y con coeficientes en R[x].
Inductivamente, se puede formar el anillo conmutativo R[x1 , x2 , . . . xn ]
de polinomios en n indeterminadas con coeficientes en R. Si R es
un dominio, R[x1 , x2 , . . . xn ] tambien es un dominio. Si F es un campo,
F rac(F [x1 , x2 , . . . xn ]) denotado con F (x1 , x2 , . . . xn ) esta formado por
las funciones racionales en n indeterminadas.
9.2.1
Ejercicios
132
Anillos de Polinomios
CAPITULO 10
Homomorfismos
Como en la teora de grupos usamos los homomorfismos para comparar grupos, procedemos de la misma forma para la estructura de anillo.
Definici
on 10.1. Si A y R son anillos conmutativos, un homomorfismo (de anillos) es una funci
on f : A R tal que
1. f (1) = 1
2. f (a + b) = f (a) + f (b), para todo a, b A
3. f (ab) = f (a)f (b), para todo a, b A
Un homomorfismo que es una biyeccion es un isomorfismo. Dos
anillos conmutativos A y R son isomorfos, denotado con A
= R, si
existe un isomorfismo f : A R.
Ejemplo 10.1. En la proposicion 2.3, a partir de un dominio de integridad D construimos un el campo de fracciones F = Frac(D) y afirmamos
que este campo contiene a D, lo que no es cierto, lo que encontramos
fue un subanillo D0 = { [a, 1] | a D } F y es facil ver que la funcion
f : D D0 , dada por f (a) = [a, 1] es un isomorfismo.
Ejemplo 10.2. Cuando un elemento a en un anillo conmutativo A se
identifico con un polinomio constante, a se identifico con el polinomio
(a, , 0, 0, . . . ). Esta identificacion es posible si se tiene en cuenta que el
subconjunto A0 = { (a, 0, 0, . . . ) | a A } es un subanillo de A[x] y la
funci
on f : A A0 definida por f (a) = (a, 0, 0, . . . ) es un isomorfismo.
134
Homomorfismos
e : A[x1 , . . . , xn ] S
con (x
e i ) = si para todo i y (a)
e
= a para todo a A.
Demostraci
on. La demostracion es por induccion sobre n > 1. Si n = 1,
denotamos
e : A[x] S por: si
Pn con xi a x1 y con s a s1 . Se define
f (x) = i=1 ai x , entonces
(ai + bi )xi
X
=
((ai ) + (bi ))si
i
(ai )si +
= (f
e ) + (g)
e
X
i
(bi )si
135
k ck x
donde ck =
i+j=k
ai bj , entonces
X
(f
e g) = (
e
ck xk )
k
(ck )sk
ai bj )sk
i+j=k
X X
=
(
(ai )(bj ))sk
k
i+j=k
de otra parte
X
X
(f
e )(g)
e
=(
(ai )si )(
(bj )sj )
i
X X
=
(
(ai )(aj ))sk
k
i+j=k
136
Homomorfismos
137
138
Homomorfismos
Proposici
on 10.6. Todo ideal en Z es ideal principal
Demostraci
on. Si I = {0}, entonces I = hai que es un ideal principal. Si
I tiene un elemento a diferente de cero, (1)a = a esta en I, entonces
I contiene a a y uno de ellos es positivo. Se d el menor entero positivo
que pertenece a I.
Todo elemento de a I es un m
ultiplo de d, en efecto, dividiendo a
a por d, existen q, r Z tales que a = dq + r, donde 0 6 r < d. Como
d I, qd I y r = a qd I. Pero r < d, el menor elemento positivo
de I, por tanto r = 0, luego a es un m
ultiplo de d.
Un ideal principal puede tener mas de un generador.
Proposici
on 10.7. Si A es un anillo conmutativo y a = ub para alguna
unidad u A, entonces hai = hbi. Recprocamente, si A es un dominio,
entonces hai = hbi, implica a = ub para alguna unidad u A.
Demostraci
on. Supuesto que a = ub para alguna unidad u A. Si x
hai, entonces x = ra = rub hbi, luego hai hbi. Para la otra inclusion,
si y hbi, entonces y = sb, para alg
un s A. Como y = sb = su1 a hai
y hbi hai: hai = hbi
Si hai = hbi, entonces a hai = hbi, de donde a = rb para alg
un
r A y as b | a; similarmente se llega a a | b. Como A es un dominio,
existe una unidad u tal que a = ub.
Ejemplo 10.7. Si un ideal I en un anillo conmutativo A contiene al 1,
entonces I = A, porque I contiene a r = r1, para todo r A. Tambin, I
tiene una unidad u si, y solo si I = A.
Proposici
on 10.8. Un anillo conmutativo A, diferente del anillo cero,
es un campo si, y solo si sus u
nicos ideales son {0} y A.
Demostraci
on. Supuesto que A es un campo. Si I 6= 0, contiene un elemento diferente de cero, que es una unidad, entonces I = A.
Si A es un anillo conmutativo con solo dos ideales {0} y A. Si a A
y a 6= 0 el ideal hai 6= {0} y por tanto hai = A y 1 hai de donde existe
r A con 1 = ra y a tiene inverso. Se concluye que A es un campo.
Proposici
on 10.9. Un homomorfismo de anillos f : A R es inyectivo
si, y solo si Nf = {0}.
Demostraci
on. Si f es inyectiva, entonces a 6= 0 implica f (a) 6= f (0) = 0
ya
/ Nf , entonces Nf = {0}. Ahora, si Nf = {0} y f (a) = f (b), entonces
0 = f (a) f (b) = f (a b), de donde a b Nf = {0} y a = b, por tanto
f es inyectiva.
139
10.0.2
Ejercicios
7.
140
Homomorfismos
CAPITULO 11
Aritm
etica en k[x]
142
Aritmetica en k[x]
TP(r)
f
TP(f )
y entonces
g = qf + r
TP(r)
= qf +
f
TP(f )
TP(r)
f
= q+
TP(f )
lo que contradice el que f - g. Si h 6= 0, entonces (h) < (r) y
g qf = r = h +
de donde
TP(r)
f
TP(f )
TP(r)
g q+
f =h
TP(f )
143
144
Aritmetica en k[x]
145
146
Aritmetica en k[x]
Como f y g est
an en I, entonces el conjunto N = { n N | n =
(h), h I } no es vaco, y existe n, elemento mnimo de N . Sea d(x) I
con n = (d), como k es un campo, podemos tomar a d(x) monico.
Demostremos que d(x) es el mcd de f y g.
Como d I, es combinacion lineal de f y g:
d = sf + tg
Veamos que d es divisor com
un de f y g. Dividiendo a f por d,
f = dq + r, donde r = 0 o (r) < (d). Si r 6= 0, entonces
r = f qd = f q(sf + tg) = (1 qs)f qtg I
lo que contradice el que d es el polinomio de menor grado en I. Entonces
r = 0 y d | f . Similarmente se llega a que d | g.
Finalmente, si c es un divisor com
un de f y g, entonces c divide a
d = sf + tg. Si c | d entonces (c) 6 (d) Entonces, d es el mcd de f y
g.
Corolario 11.8. Sea k un campo y f (x), g(x) k[x].
1. Un divisor com
un y m
onico d(x) es el mcd si, y solo si d(x) es
divisible por todo divisor com
un.
2. Cualquier par de polinomios f (x) y g(x) tienen un u
nico mcd.
Demostraci
on. Si d(x) es el mcd, entonces todo divisor com
un c de f y
g es un divisor de d = sf + tg.
Recprocamente, sea d el mcd de f y g y d0 un divisor com
un divisible
0
por todo divisor com
un c, entonces d | d . De otra parte, d es divisible
por todo divisor com
un, entonces d0 | d. Entonces existe una unidad u(x)
tal que d0 (x) = u(x)d(x). Pero u(x) = u donde u k, u 6= 0. Como d
y d0 son m
onicos y d0 = ud, u = 1 y d = d0 . Este argumento tambien
demuestra que el mcd es u
nico.
El concepto de mximo com
un divisor se puede definir en cualquier
dominio D.
Definici
on 11.3. Si D es un dominio y a, b D, entonces un m
aximo
com
un divisor, denotado con (a, b) es 0, si a = 0 = b o, si al menos
uno de a y b es diferente de cero, es un divisor com
un d D con c | d
para todo divisor com
un c D
147
1. El anillo Z es un DIP.
148
Aritmetica en k[x]
cero. Como d(x) I, d(x) = 2m. Pero como x I, existe g(x) Z[x]
tal que x = 2mg(x) lo que es una contradiccion, porque los coeficientes
de la derecha son pares y el coeficiente de la izquierda es 1. Se concluye
que tal d(x) no existe.
Definici
on 11.5. Si f (x), g(x) k[x], donde k es un campo, entonces
un m
ultiplo com
un es un polinomio m(x) k[x] con f (x) | m(x) y
g(x) | m(x).
Dados dos polinomios f (x) y g(x) en k[x],los dos diferentes de cero,
se define su mnimo com
un m
ultiplo, abreviado con mcm, como el
polinomio m
onico m
ultiplo com
un de ellos y que tenga el menor grado.
Si f (x) = 0 o g(x) = 0, se define su mcm = 0. Un mcm de f (x) y g(x)
se denota con
[f (x), g(x)]
Proposici
on 11.10. Supuesto que k es un campo y f (x), g(x) k[x]
diferentes de cero,
1. [f (x), g(x)] es el generador m
onico de hf (x)i hg(x)i.
2. Si m(x) es un m
ultiplo com
un m
onico de f (x) y g(x), entonces
m(x) = [f (x), g(x)] si, y solo si m(x) divide todo m
ultiplo com
un
de f (x) y g(x).
3. Todo par de polinomios f (x) y g(x) tienen un u
nico mcm.
Demostraci
on. (1) Como f (x) 6= 0 y g(x) 6= 0, entonces hf i hgi 6= 0,
porque 0 6= f g hf i hgi. Como k[x] es un DIP, hf i hgi = hmi, donde
m es el polinomio m
onico de menor grado en hf i hgi. Si m hf i,
m = f q para alg
un q(x) k[x] y f | m; similarmente g | m, de donde m
es un m
ultiplo com
un de f y g. Si M es otro m
ultiplo com
un, entonces
M hf i y M hgi, de donde M hf i hgi = hmi y m | M . Entonces
(m) 6 (M ) y m = [f, g].
(2) Vimos que [f, g] divide todo m
ultiplo com
un M de f y g. Recpro0
camente, asumimos que m es un m
ultiplo com
un monico que divide
cualquier otro m
ultiplo com
un. Entonces, m0 | [f, g], porque [f, g] es un
m
ultiplo com
un, y [f, g] | m0 por la parte (1). Entonces, existe una unidad u(x) k[x], tal que m0 (x) = u(x)m(x), pero las unidades en k[x]
son polinomios constantes diferentes de cero, como m y m0 son monicos,
m(x) = m0 (x).
(3) Si ` y `0 son mcd de f (x) y g(x), de la parte (2) cada uno de ellos
divide al otro, entonces ` = `0 , porque los dos son monicos.
149
150
Aritmetica en k[x]
Proposici
on 11.12. Sea k un campo y f (x) k[x] de grado 2 o 3. f (x)
es irreducible en k[x] si, y solo si f (x) no tiene una raz en k.
Demostraci
on. Si f (x) tiene una raz en k, por la proposicion 5.2, f (x)
tiene una factorizaci
on.
Recprocamente, suponemos que f (x) no es irreducible, es decir, hay
una factorizaci
on f (x) = g(x)h(x) en k[x] tal que (g) < (f ) y (h) <
(f ). Como, (f ) = (g) + (h) y (f ) = 2 o 3, uno de ellos (g) o (h)
debe ser 1 y la proposicion 1.32 dice que f (x) tiene una raz en k.
Esta proposici
on es falsa para grados mayores, por ejemplo
x4 + 2x2 + 1 = (x2 + 1)2
se factoriza en R[x] y no tiene races reales.
Si k es un campo y p(x), q(x) k[x] son irreducibles, es facil ver que:
p(x) | q(x) si, y solo si existe una unidad u tal que q(x) = up(x). Si
adem
as, p(x) y q(x) son monicos, entonces p(x) | q(x), implica p(x) =
q(x). Adem
as se tiene la proposicion.
Proposici
on 11.13. Sean k un campo, p(x), f (x) k[x] y d(x) = (p, f ).
Si p(x) es m
onico e irreducible, entonces
(
1
si p(x) - f (x)
d(x) =
p(x) si p(x) | f (x)
Demostraci
on. El u
nico divisor monico de p(x) es 1. Si p(x) | f (x), entonces d(x) = p(x), para p(x) monico. Si p(x) - f (x), entonces el u
nico
divisor com
un m
onico es 1 y d(x) = 1.
Proposici
on 11.14 (Lema de Euclides). Sean k un campo y f (x), g(x)
k[x]. Si p(x) es un polinomio irreducible en k[x] y si p(x) | f (x)g(x), entonces p(x) | f (x) o p(x) | g(x). M
as generalmente, si p(x) | f1 (x) fn (x),
entonces p(x) | fi (x), para alg
un i.
Demostraci
on. Si p | g, terminamos. Si p - f , entonces (p, f ) = 1 y existen
s(x) y t(x) polinomios tales que 1 = sp + tf y as
g = apg tf g
y como p | f g, se sigue que p | g, como se quera. La segunda parte se
demuestra por induccion sobre n > 2.
151
Definici
on 11.7. Dos polinomios f (x), g(x) k[x] son primos relativos si su mcd es 1.
Corolario 11.15. Sea f (x), g(x), h(x) k[x] y h(x) y f (x) primos relativos. Si h(x) | f (x)g(x), entonces h(x) | g(x).
Demostraci
on. Por hip
otesis, gf = hq para alg
un q k[x]. Existen polinomios s y t con 1 = sf + th y entonces g = sf g + thg = shq + thg =
h(sq + tg), de donde h | g.
Proposici
on 11.16 (Algoritmo de Euclides). Si k es un campo y
f (x), g(x) k[x], entonces existe un algoritmo para calcular el mcd,
(f (x), g(x)) y un algoritmo para determinar polinomios s(x) y t(x), tales
que (f, g) = sf + tg.
Demostraci
on. La demostracion es una repeticion de la prueba del algoritmo de Euclides para Z. Aplicando reiteradamente el algoritmo de
divisi
on.
g = q0 f + r1
(r1 ) < (f )
f = q1 r1 + r2
r1 = q2 r2 + r3
..
.
rn2 = qn rn1 + rn
rn1 = qn+1 rn
Como el grado de los residuos es estrictamente decreciente, este procedimiento debe terminar despues de un n
umero finito de pasos. Afirmamos
que d = rn es el mcd, despues de convertirlo a monico. Para ver que es un
divisor com
un de f y g sustituimos de la u
ltima igualdad a la primera.
Para ver que d es el mcd partimos de la primera igualdad hacia abajo
para mostrar que si c es un divisor com
un de f y g, entonces c | ri para
todo i. Finalmente, para encontrar s y t con d = sf + tg trabajamos de
nuevo de la u
ltima igualdad a la primera.
rn = rn2 qn rn1
= rn2 qn (rn3 qn1 rn2 )
= (1 + qn1 )rn2 qn rn3
152
Aritmetica en k[x]
11.1
Factorizaci
on u
nica en k[x]
Factorizacion u
nica en k[x]
153
Ahora la unicidad. La igualdad f (x) = ap1 (x) pm (x) nos dice que
a es el coeficiente principal de f (x), ya que el producto de polinomios
m
onicos es m
onico. Entonces, dos factorizaciones de f (x) nos da a = b,
porque en las dos el coeficiente principal de f (x) es el mismo. Entonces,
basta demostrar la igualdad
p1 (x) pm (x) = q1 (x) qn (x)
La demostraci
on es por induccion sobre max{m, n}. El primer paso
es obviamente verdadero, porque es la igualdad p1 (x) = q1 (x). Para el
paso inductivo, de la igualdad dada se obtiene pm (x) | q1 (x) qn (x).
Por el lema de Euclides, para alg
un i, pm (x) | qi (x). Como qi (x) es
m
onico irreducible, no tiene divisores monicos diferentes de 1 y el mismo,
entonces qi (x) = pm (x). Reordenando los ndices, podemos asumir que
qn (x) = pm (x). Cancelando este factor obtenemos, p1 (x) pm1 (x) =
q1 (x) qn1 (x). De la hipotesis de induccion, m 1 = n 1, m = n y
qi (x) = pi (x), para todo i.
Si k un campo y suponemos que existen a, r1 , . . . rn k con
f (x) = a(x r1 )(x r2 ) (x rn )
Si r1 , . . . rs , donde s 6 n, son races diferentes de f (x), agrupando
terminos, obtenemos
f (x) = a(x r1 )e1 (x r2 )e2 (x rs )es
donde los rj son diferentes y ej > 1 para todo j. ej es la multiplicidad
de la raz rj . Como los polinomios lineales son siempre irreducibles, la
unicidad de la factorizacion muestra que la multiplicidad de las races
est
a bien definida.
Aunque existen algunas tecnicas para decidir cuando un n
umero entero dado es primo, el problema general es muy difcil. Tambien es muy
difcil determinar cuando un polinomio es irreducible, pero podemos presentar algunos resultados que frecuentemente funcionan.
Sabemos que si f (x) k[x] y r es una raz de f (x) en el campo k,
existe una factorizaci
on f (x) = (x r)g(x) en k[x] y entonces f (x) no es
irreducible. Vimos, en la proposicion 1.42, que esto decide la irreducibilidad para polinomios de grados 3 y 4 y no funciona para polinomios de
grado > 4.
Proposici
on 11.18. Sea f (x) = a0 +a1 x+ an xn Z[x] Q[x]. Toda
raz racional de f (x) tiene la forma cb , donde b | a0 y c | an .
154
Aritmetica en k[x]
Demostraci
on. Suponemos que r = cb con (b,c)=1, sustituyendo r en
f (x), obtenemos
b
b
bn
= a0 + a1 + an n
0=f
c
c
c
y multiplicando por cn ,
0 = a0 cn + a1 bcn1 + + an bn
Entonces, a0 cn = b(a1 cn1 an bn1 ), y b | a0 cn . Como b y c son
primos relativos, se sigue que b y cn son primos relativos y por el lema de
Euclides en Z, b | a0 . Similarmente, an bn = c(an1 bn1 a0 cn1 )
y c | an .
Ejemplo 11.6. Consideremos f (x) = x3 + 4x2 + 4x 1 Q[x]. Por la
proposici
on 1.42 este polinomio es irreducible si, y solo si no tiene races
racionales. Como f (x) es monico los candidatos para races racionales son
1, por ser los u
nicos divisores de 1 en Z. pero f (1) = 2 y f (1) = 4
y ni 1 ni 1 son races. Se concluye que f (x) es irreducible en Q[x].
11.1.1
Ejercicios
Anillos euclidianos
7.
155
8. Sea = e2i/n .
a) Demostrar que
xn 1 = (x 1)(x )(x 2 ) (x n1 )
y si, n es impar,
xn + 1 = (x + 1)(x + )(x + 2 ) (x + n1 )
b) Para a y b, n
umeros demostrar que
an bn = (a b)(a b)(a 2 b) (a n1 b)
y si, n es impar,
an + bn = (a + b)(a + b)(a + 2 b) (a + n1 b)
11.2
Anillos euclidianos
156
Aritmetica en k[x]
Anillos euclidianos
157
Proposici
on 11.19. Todo anillo euclidiano R es un DIP.
Demostraci
on. Si I es un ideal diferente de cero en R, entonces I = hdi,
donde d es el elemento de I de menor grado.
Corolario 11.20. El anillo de los enteros de Gauss es un DIP.
El recproco de la proposicion 1.49 es falso: Hay DIP que no son
euclidianos. El ejemplo se tiene cuando se estudia Teora algebraica de
n
umeros.
Ahora veamos las unidades en el anillo de los enteros de Gauss.
Proposici
on 11.21.
1. Sea R un anillo euclidiano que no sea un
campo. Si la funci
on grado es una norma, entonces: es una
unidad si, y solo si () = 1.
2. Sea R un anillo euclidiano que no sea un campo. Si la funci
on grado
es una norma y () = p, donde p es un n
umero primo, entonces
es irreducible.
3. La unidades en Z[i] son 1 y i.
Demostraci
on. (1) Como 12 = 1, entonces (1)2 = (1) y as, (1) = 0 o
(1) = 1. Si (1) = 0, entonces (a) = (1a) = (1)(a) = 0, para todo
a R. Pero R no es un campo y por esto la funcion no es constante a
cero. Se concluye que (a) = 1.
Si R es una unidad, existe R con = 1, de donde
()() = 1. Como los valores de son enteros no negativos, () = 1.
Para demostrar el recproco, primero demostramos que no existen elementos R con () = 0. Si uno de estos elementos existe, dividiendo,
1 = q + r, donde q, r R y r = 0 o (r) < () = 0. Como la desigualdad no se puede cumplir, r = 0 y es una unidad. Pero si es una
unidad () = 1, lo que es una contradiccion y entonces tales elementos
no existen.
Supongamos que () = 1. Dividiendo, obtenemos q, r R tales que
= q2 + r
donde r = 0 o (r) < (2 ). Como (2 ) = ()2 = 1, r = 0 o (r) = 0.
Pero, no puede ocurrir que (r) = 0, entonces r = 0 y = q2 , de donde
1 = q y es una unidad.
(2) Si, por el contrario, = , donde ni ni son unidades, entonces
p = () = ()(). Como p es primo, () = 1 o () = 1. Pero por
(1) o es una unidad, de donde es irreducible.
158
Aritmetica en k[x]
12 1,
22 = 4 0,
32 = 9 1
Anillos euclidianos
159
160
Aritmetica en k[x]
Demostraci
on. Por la proposicion anterior, existe un u
nico n
umero primo
p divisible por en Z[i]. Como | p, se tiene () | (p) = p2 y as,
() = p o () = p2 , es decir,
a2 + b2 = p
a2 + b2 = p2
Mirando a p m
od 4, vemos que hay tres posibilidades (p 0 mod 4
no puede ocurrir)
1. p 3 m
od 4.
En este caso, a2 + b2 = p no puede ocurrir, por el teorema de
los cuadrados de Fermat, as que () = a2 + b2 = p2 . Ahora,
p es divisible por , entonces existe tal que = p, de donde,
()() = p. Como p Z, (p) = p2 , entonces p2 () = p2 . Luego,
() = 1, es una unidad y p es irreducible en Z[i].
2. p 2 m
od 4.
En este caso, p = 2 y as a2 + b2 = 2 o a2 + b2 = 4. El u
ltimo caso
no puede ocurrir, porque y son enteros, y el primer caso da
= 1 i. Se puede ver que 1 + i y 1 i son elementos irreducibles.
3. p 1 m
od 4.
Por el teorema 1.3, existen enteros a y b con q = a2 +b2 . Si = a+bi,
como () = p, es irreducible. Ahora,
= () = p. De otra
parte. | p =
y entonces | o |
. Se concluye que es
asociado con o
.
11.2.1
Ejercicios
CAPITULO 12
Anillos cociente
162
Anillos cociente
Demostraci
on. (1) Reflexiva: si a A, entonces a a = 0 I, de donde
a a m
od I.
(2) Simtrica: si a b mod I, entonces a b I. Como 1 A,
entonces b a = (1)(a b) I y b a mod I.
(3) Transitiva: si a b mod I y b c mod I, entonces a b I y
b c I, de donde a c = (a b) + (b c) I y a c mod I.
Definici
on 12.1. Si A es un anillo conmutativo e I es un ideal en A,
entonces la clase de equivalencia de a A: es el conjunto [a] = {b A |
a b m
od I}, que tambien podemos nombrar con clase de congruencia
de a m
od I. El conjunto de todas clases de congruencia m
od I, denotado
con A/I:
A/I = { [a] | a A }
Sobre A/I se pueden definir operaciones similarmente a como se definieron en Zm .
Proposici
on 12.2. Las funciones
: (A/I) (A/I) A/I, dada por ([a], [b]) 7 [a + b]
y
: (A/I) (A/I) A/I, dada por ([a], [b]) 7 [ab]
son operaciones bien definidas sobre A/I.
Demostraci
on. Para demostrar que y estan bien definidas, recordemos que cuando es una relacion de equivalencia, entonces [a] = [a0 ] si,
y solo si a a0 . Para ver que la adicion esta bien definida debemos ver
que: si [a] = [a0 ] y [b] = [b0 ] se debe cumplir que [a + b] = [a0 + b0 ], es decir
si aa0 I y bb0 I, entonces como sabemos que (aa0 )+(bb0 ) I,
se cumple que (a + b) (a0 + b0 ) = (a a0 ) (b b0 ) I, lo que implica
que [a + a0 ] = [b + b0 ]. La multiplicacion esta bien definida: si [a] = [a0 ] y
[b] = [b0 ], entonces a a0 I y b b0 I, de donde
ab a0 b0 = (ab ab0 ) + (ab0 a0 b0 ) = a(b b0 ) + (a a0 )b0 I
por ser I es un ideal en A. Entonces, [ab] = [a0 b0 ].
Para la demostracion de que A/I junto con las operaciones definidas
en la proposici
on anterior es un anillo conmutativo es repetir la prueba
de que Zm es un anillo conmutativo.
163
Proposici
on 12.3. Si I es un ideal en un anillo conmutativo A, entonces
A/I, con las operaciones definidas en la proposici
on 6.2 es un anillo
conmutativo.
Definici
on 12.2. El anillo conmutativo A/I es el anillo cociente de
A partido I. (Tambien se acostumbra a decir el anillo cociente de A
m
odulo I).
Definici
on 12.3. Si A es un anillo conmutativo e I un ideal en A,
entonces una clase lateral es un subconjunto de A de la forma
a + I = { b A | b = a + i, para alg
un i I }
Ahora mostramos que las clases laterales son iguales a las clases de
congruencia.
Proposici
on 12.4. Si A es un anillo conmutativo e I es un ideal en A,
entonces para cada a A, la clase de congruencia [a] es la clase lateral
a + I.
Demostraci
on. Si b [a], entonces b a I, de donde b = a + (b a)
a + I, y con esto [a] a + I. Ahora, si c a + I, entonces c = a + i para
alg
un i I, de donde c a I y con esto c a mod I y a + I [a].
Entonces, [a] = a + I, a A.
La notaci
on con clases laterales a + I es la notacion mas utilizada,
entonces
A/I = { a + I | a A }
Si olvidamos la multiplicacion en un anillo conmutativo A, entonces
A es un grupo aditivo abeliano y todo ideal en A es un subgrupo. Como
todo subgrupo de un grupo abeliano es un subgrupo normal, el grupo
cociente A/I est
a bien definido.
Proposici
on 12.5. Si A es un anillo conmutativo e I es un ideal en A
la funci
on : A A/I definida por (a) = a + I, para todo a A es un
homomorfismo. es el homomorfismo can
onico o natural de I.
Proposici
on 12.6. Todo ideal I en un anillo conmutativo A es el n
ucleo
de alg
un homomorfismo (el homomorfismo can
onico ).
Demostraci
on. Los elementos de A/I son clases laterales a + I; como
a + I = (a), es sobre. Claramente, I N , porque si a I, entonces
(a) = a + I = 0 + I. Ahora, si a N , entonces (a) = a + I = I, luego
a I. Entonces, N = I.
164
Anillos cociente
165
es que existe una correspondencia uno a uno entre los ideales de Zn y los
ideales hmi de Z tales que hmi hni; la u
ltima inclusion ocurre si, y solo
si m divide a n.
Teorema 12.2 (Teorema fundamental de homomorfismos). Si :
A S es un homomorfismo entre anillos conmutativos, entonces N es
un ideal en A y existe un isomorfismo
e : A/N im
definido por
e : a + N 7 (a). Se tiene el siguiente diagrama,
A
/ im
?
e
A/N
Demostraci
on. Sea I = N . Ya vimos que I es un ideal en A y que si
es un homomorfismo im es un subanillo de S.
e est
a bien definida.
Si a + I = b + I, entonces a b I = N , de donde (a b) = 0.
Pero (a b) = (a) (b), luego (a
e + I) = (a) = (b) = (b
e + I).
e es un homomorfismo.
Primero, (1
e + I) = (1) = 1.
Segundo,
e es un homomorfismo
((a
e + I) + (b + I)) = (a
e + b + I)
= (a + b)
= (a) + (b)
= (a
e + I) + (b
e + I).
Tercero,
((a
e + I)(b + I)) = (ab
e
+ I)
= (ab)
= (a)(b)
= (a
e + I)(b
e + I).
166
Anillos cociente
CAPITULO 13
Esta secci
on la dedicamos al estudio de dos tipos especiales de ideales:
ideales maximales e ideales primos.
13.1
Ideales maximales
Definici
on 13.1. Un ideal I de un anillo A es ideal maximal, si I 6= A
y si existe un ideal J en A tal que I J A, entonces J = A.
Es decir, un ideal maximal es un ideal que no es todo el anillo y
no est
a contenido propiamente en ideales no triviales. Tambien se puede
decir que el u
nico ideal que contiene propiamente a un ideal maximal es
el anillo.
A la pregunta de que si todo anillo conmutativo con identidad contiene un ideal maximal, la respuesta es positiva y su demostracion se hace
a partir del lema de Zorn, se tiene entonces la siguiente proposicion, de
la que no presentamos su demostracion
Proposici
on 13.1. Si A es un anillo conmutativo con identidad, A tiene
un ideal maximal. En efecto, todo ideal propio I en A est
a contenido en
un ideal maximal.
Usualmente no es f
acil demostrar que un ideal es maximal directamente de la definici
on 7.1. Entonces se hace necesario ver algunas pro-
168
hni hn2 i Z
Ideales maximales
169
170
13.1.1
Ejercicios
Ideales primos
171
13.2
Ideales primos
172
Ideales primos
173
174
13.2.1
Ejercicios
CAPITULO 14
Extensiones de un campo
176
Extensiones de un campo
2. k[x]/I es un dominio.
3. p(x) es irreducible en k[x].
Demostraci
on. (1) (2). Todo campo es un dominio.
(2) (3). Si p(x) no es irreducible, entonces existe una factorizacion
p(x) = g(x)h(x) con grado(g) < grado(p) y grado(h) < grado(p). Si
g(x) I, entonces p(x) | g(x) y grado(p) 6 grado(g), que es una contradicci
on, de donde g(x) = I 6= 0 + I en k[x]/I. Similarmente, h(x) + I 6= 0
en k[x]/I, si embargo, el producto
(g(x) + I)(h(x) + I) = p(x) + I = 0 + I
es cero en el anillo cociente, lo que contradice el que k x /I es un dominio.
(3) (1). Suponemos que p(x) es irreducible. Como p(x) no es una
unidad el ideal I = hp(x)i no contiene al 1, es decir, 1 + I 6= 0 in k[x]/I.
Si f (x) + I k[x]/I es diferente de cero, entonces f (x)
/ I, es decir,
f (x) no es un m
ultiplo de p(x) y p, f son primos relativos y entonces
existen polinomios s y t tales que sf + tp = 1, de donde, sf 1 I y
1 + I = sf + I = (s + I)(f + I). Se concluye, que todo elemento diferente
de cero en k[x]/I tiene inverso y k[x]/I es un campo.
La proposici
on anterior tiene su analoga en Zm = Z/hmi donde son
equivalentes las afirmaciones: Zm es un campo, Zm es un dominio, m es
primo.
La estructura de A/I puede parecer complicada, pero para elecciones
apropiadas de A e I el anillo conmutativo A/I se puede describir facilmente. Por ejemplo, cuando p(x) es un polinomio irreducible, en lo que
sigue se da una descripcion completa del campo k[x]/hp(x)i.
Proposici
on 14.2. Sean k un campo, p(x) k[x] un polinomio m
onico
e irreducible de grado d, K = k[x]/hp(x)i, donde I = hp(x)i y = x+I
K.
1. K es un campo y k 0 = {a+I | a k} es un subcampo de K isomorfo
con k. Entonces, si k se identifica con k 0 , k es un subcampo de K.
2. es una raz en K
3. Si g(x) k[x] y es una raz de g(x), p(x) | g(x).
4. p(x) es el u
nico polinomio m
onico e irreducible en k[x] que tiene a
como raz.
177
178
Extensiones de un campo
179
Demostraci
on. Por definicion, K/k es finita significa que [K : k] = n <
, es decir K tiene dimension n como un espacio vectorial sobre k.
Entonces, la lista de n + 1 vectores 1, , 2 , . . . , P
n es dependiente. As,
existen c0 , c1 , . . . cnP k, no todos cero, tales que
ci i = 0. Entonces el
polinomio f (x) = ci xi no es el polinomio cero y es una raz de f (x),
de donde es algebraico sobre k.
La recproca de esta proposicion no es verdadera, mas adelante veremos que si el conjunto A de los n
umeros complejos que son algebraicos
sobre Q es una extensi
on de Q que no es una extension finita.
Ya vimos como si k es un campo y K es una extension de k, con un
elemento arbitrario de K y un polinomio
p(x) = a0 + a1 x + an xn
en k[x] definimos p() por
p() = a0 + a1 + an n
El elemento p() es el resultado de sustituir x por . Con esto la
funci
on
: k[x] K
que enva a p(x) en p() es un homomorfismo (de sustitucion) de k[x] en
K y denotamos con k[] la imagen de k[x] por , es decir
k[] = { p() | p(x) k[x] }
= { a0 + a1 + an n | ak k, n > 0 }
y es el u
nico homomorfismo de k[x] en K tal que (x) = y (a) =
a para todo a k (deja fijos a todos los elementos de k).
Adem
as, vimos que siempre que p() = 0, es una raz del polinomio
p(x). Tambien sabemos que dado un polinomio p(x) k[x], puede ocurrir
que no tenga races en k. En este capitulo vamos a ver que siempre existe
una extensi
on K de k donde p(x) tiene una raz.
El n
ucleo del homomorfismo decide muchos de nuestros razonamientos ya que el problema de obtener las races de un polinomio
p(x) k[x] es equivalente a encontrar los elementos K tales que
p(x) N y esto nos indica al camino a seguir.
Comenzamos tomando una extension K de k y un elemento de K,
para construir una nueva extension de k, adjunt
andole a k el elemento
180
Extensiones de un campo
, para esto consideremos el subcampo generado por k {} que denotaremos con k(). Sabemos que k() es el menor subcampo de K que
contiene a k y a , es decir
k() =
\
{ H | H es un subcampo de K; k H, H }
181
1. Existe un u
nico polinomio m
onico e irreducible p(x) k[x] que
tiene a como una raz. Adem
as, si I = hp(x)i, entonces k[x]/I
=
k(), por el isomorfismo
: k[x]/I k()
con (x + I) = y (c) = c para todo c k.
2. Si 0 K, es otra raz de p(x), entonces existe un isomorfismo
: k() k(0 )
con () = (0 ) y (c) = c para todo c k.
Demostraci
on. (1) Consideremos el homomorfismo de sustitucion :
k[x] K y el diagrama
k[x]
/ im
?
b
k[x]/N
por el teorema fundamental de isomorfismos, se tiene que
b es un isomorfismo. Ahora, im es un subcampo de K formado por los f () con
f (x) k[x]. El N es el conjunto de los f (x) k[x] que tienen a como
raz. Como todo ideal en k[x] es un ideal principal, entonces N = hp(x)i
para alg
un polinomio m
onico p(x) k[x]. Tenemos el diagrama
k[x]
/ im
?
b
k[x]/hp(x)i
Entonces, k[x]/hp(x)i
= im de donde k[x]/hp(x)i es un campo y
p(x) es irreducible (proposicion 1.62), p(x) es u
nico (proposicion 1.63).
Adem
as, im es un subcampo de K que contiene a k y a y como
todo subcampo que contiene a k y a debe estar contenido en im , se
tiene que im = k(). Se concluye que
k[x]/hp(x)i
= k()
182
Extensiones de un campo
183
y se puede afirmar que existe un campo E mas grande, que contiene todas las races de f (x). Hay una version general del teorema fundamental
del
algebra: todo campo k es un subcampo de un campo K algebraicamente cerrado, es decir, K es un campo que contiene a k y a todas las
races de todo polinomio f (x) k[x].
Ahora vamos a construir campos finitos.
Teorema 14.2 (Galois). Si p es un primo y n un entero positivo, existe
un campo que tiene exactamente pn elementos,
Demostraci
on. Sea q = pn y consideremos el polinomio
g(x) = xq x Zp [x]
Por el teorema de Kronecker, existe un campo E que contiene a Zp
tal que g(x) es un producto de factores lineales en E[x]. Definimos
F = { E | g() = 0 }
F es el campo de todas las races de g(x). Como la derivada g 0 (x) =
qxq1 1 = pn xq1 1 = 1, se sigue que el mcd (g, g 0 ) = 1 y con
esto todas las races de g(x) son diferentes, es decir, F tiene exactamente
q = pn elementos.
Si demostramos que F es un campo, terminamos la prueba. Si a, b F
entonces aq = a y bq = b, de donde (ab)q = aq bq = ab y ab F ; tambien
(a b)q = aq bq = a b y a b F . Finalmente, si a 6= 0, cancelando
en aq = a se obtiene aq1 = 1 y el inverso de a es aq2 , que esta en F
porque F es cerrado para la multiplicacion.
M
as adelante veremos que cualquier par de campos finitos con el
mismo n
umero de elementos son isomorfos.
Un campo finito que tenga q = pn elementos (donde p es un primo)
se denota con
Fq
Ejemplo 14.3. En el ejercicio 1.5.1(1) vimos un campo k con cuatro
elementos:
a
b
k=
a, b Z2
b a+b
Ahora podemos construir un campo con cuatro elementos como el
cociente F = F2 [x]/hq(x)i, donde q(x) F2 [x] es el polinomio irreducible
x2 + x + 1. Por la proposicion 1.63(5), el campo F contiene los elementos
a + bz donde z = x + hq(x)i es una raz de q(x) y a, b F2 . Como
184
Extensiones de un campo
q(x) = x2 + x 1,
r(x) = x2 x 1
14.0.2
Ejercicios
Parte III
Introducci
on a la Teora de
Galois
CAPITULO 15
Introducci
on
188
Introduccion
el llam
o grupos: subconjuntos de Sn que son cerrados para la multiplicaci
on (en nuestro lenguaje, subgrupos de Sn ). Cada polinomio f (x), lo
asoci
o con un grupo, que hoy llamamos el grupo de Galois de f (x). El
identific
o la relaci
on de conjugacion, subgrupo normal, grupo cociente,
grupo simple y demostro, en nuestro lenguaje, que un polinomio (sobre
un campo de caracterstica 0) tiene una formula para sus races, analoga
a la f
ormula cuadr
atica si, y solo si el grupo de Galois es un grupo soluble.
(GaloisTheory of Algebraic Equations por J.P. Tignol)
CAPITULO 16
F
ormulas cl
asicas
16.1
Ecuaci
on de segundo grado
Como la soluci
on a la ecuacion lineal ax = b, a 6= 0 u
nicamente
implica solo una divisi
on, apenas aparece en la teora de ecuaciones, comenzamos con la ecuaci
on cuadratica:
ax2 + bx + c = 0, a 6= 0
El metodo usual para deducir la formula cuadratica es completar el
cuadrado que se puede tomar literalmente. Consideremos la ecuacion
cuadr
atica x2 + bx + c = 0 con b > 0 y veamos x2 + bx como el area
de la figura 16.1. Se completa el cuadrado agregando el cuadrado de la
esquina que tiene
area 14 b2 . El area del cuadrado grande es (x + 21 b)2 ; si
1 2
c + 4 b > 0, tenemos un cuadrado con lados de longitud x + 21 b y area
c + 41 b2 . Esta construcci
on geometrica se puede dar algebraicamente sin
suponer que algunas cantidades sean no negativas. Sea f (x) = x2 + bx + c
x2 + bx + c = x2 + bx + 41 b2 + c 14 b2
= (x + 21 b)2 + 14 (4c b2 )
Entonces, si z es una raz de f (x),
p
z + 12 b = 12 b2 4c
Formulas clasicas
Corolario 16.2 (F
ormula cuadr
atica). Si f (X) = X 2 + bX + c, entonces sus races son
p
1
b2 4c )
(b
2
Demostraci
on. Sea define x por X = x 12 b, entonces
f (x) = (x 12 b)2 + b(x 21 b) + c
el termino en primer grado se cancela y el polinomio reducido es
f (x) = x2 14 (b2 4c)
16.2
Ecuaci
on de tercer grado
La proposici
on 1.1 simplifica el polinomio original y al mismo tiempo,
se mantiene el control de las races. En particular, si n = 3, entonces f (x)
tiene la forma
x3 + qx + r
El truco de Cardan para resolver la ecuacion c
ubica reducida es
3
escribir una raz u de x + qx + r como
u=+
Formulas clasicas
(16.1)
(16.3)
(16.4)
donde D = r2 +
cuadr
atica 16.5,
4 3
27 q .
1 3
27 q
=0
(16.5)
1 3
27 q
3 = 21 (r + D )
(16.6)
D)
(16.7)
Con raz c
ubica obtenemos . Por 16.2, = q/(3) y encontramos
u = + .
El n
umero z = 21 (r + D) puede ser complejo. La forma facil para
encontrar una raz c
ubica de z es escribirlo en forma polar sei , donde
= = 2
3
y el compa
nero de 2 es
q
= 2 =
2
3
Entonces, las f
ormulas explcitas para las races de f (x) son + ,
2
2
+ y + . Llegamos a las llamadas f
ormulas de Cardan
para la ecuaci
on c
ubica.
Proposici
on 16.4 (F
ormulas de Cardan). Las races de x3 + qx + r
son
+ , + 2 , 2 +
donde
1
3 = (r + D)
2
1q
=
3
4
2
D = r + q3
27
y = 12 + i
3
2
es una raz c
ubica de la unidad.
Demostraci
on. La demostracion que tenemos tiene la condicion 6= 0.
Por la ecuaci
on 16.2, se tiene = q/3 y si = 0, entonces q = 0, es
decir la ecuaci
on c
ubica reducida es x3 + r. En este caso, 3 = r y las
races son , y 2 y las formulas se cumplen para este caso.
Formulas clasicas
4 3
27 q
= (126)2 +
3
4
27 (15)
= 15,376
+ 2 = 3 + 2i 3
2 + = 3 2i 3
Tambien, cuando se llega a la raz u = 6, dividiendo el polinomio por
x 6, se llega a
x3 15x 126 = (x 6)(x2 + 6x + 21)
y de
ormula cuadr
atica obtenemos las races del segundo factor, 3
la f
2i 3.
Ejemplo 16.2. Usando las formulas de Cardan para determinar las
races del polinomio x3 7x + 6 = (x 1)(x 2)(x + 3).
Obviamente las races del polinomio son 1, 2 y 3. Para usar las
f
ormulas de Cardan, vemos que el polinomio esta en forma reducida,
luego q = 7 y r = 6, de donde
D = r2 +
4 3
400
q =
<0
27
27
y de la f
ormula las races son
+ ,
+ 2 ,
2 +
donde
1
3 =
2
3 =
1
2
!
400
6 +
27
!
r
400
6
27
r
y as
v
u
u1
3
t
2
r
6 +
400
27
v
u
u1
2t
+ 3
2
r
6
400
27
v = + 2 ,
w = 2 +
Se cumple que
u v = + 2 = (1 )( 2 )
u w = + 2 = 2 (1 )( )
v w = + 2 2 = (1 )( )
de donde
= 3 (1 )3 ( )( )( 2 )
Se cumple, 3 = 1 y
(1 )3 = 1 3 + 3 2 3 = 3( 2 )
Pero = 21 + i 23 y 2 =
= 21 i 23 , se tiene que 2 = i 3 y
(1 )3 = 3( 2 ) = 3i 3, entonces
3 (1 )3 = 3i 3
Formulas clasicas
Finalmente
( )( )( 2 ) = 3 3 =
Entonces, = 3i 3 D y
2 = 27D = 27r2 4q 3
lo que se quera demostrar.
Veamos ahora como usar el discriminante para detectar cuando las
races de una c
ubica son todas reales. La proposicion que sigue nos permite afirmar que toda c
ubica tiene una raz real, ya que las complejas se
presentan en pares conjugados.
Proposici
on 16.6. Todo f (x) R[x] de grado impar tiene una raz real.
Proposici
on 16.7. Todas las races u, v y w de x3 + qx + r R[x] son
n
umeros reales si, y solo si el discriminante 2 > 0, es decir, 27r2 +4q 3 6
0
Demostraci
on. Si u, v y w son n
umeros reales, entonces = (u v)(u
w)(v w) es un n
umero real y se cumple 27r2 4q 3 = 2 > 0 y
27r2 + 4q 3 6 0.
Recprocamente, suponemos que una raz w = s + ti no es un real
(t 6= 0). Como v = s ti, el conjugado de w, tambien es raz, la tercera
raz u debe ser real. Entonces
= (u s + ti)(u s ti)(s ti [s + ti])
= (2ti)[(u s)2 + t2 ]
Como u, s y t son n
umeros reales
2 = (2ti)2 [(u s)2 + t2 ]2
= 4t2 i2 [(u s)2 + t2 ]2
= 4t2 [(u s)2 + t2 ]2 < 0
y as, 0 > 2 = 27r2 4q 3 . Se ha demostrado que si existe una raz no
real, entonces 27r2 + 4q 3 > 0 lo que es equivalente a: si todas las races
son reales 27r2 + 4q 3 6 0
Ecuaci
on de cuarto grado
16.3
Ecuaci
on de cuarto grado
(16.9)
(16.10)
j(m l) = r
lm = s
Sumando y restando las dos primeras ecuaciones de 16.10
r
j
r
2
2l = j + q
j
2m = j 2 + q +
(16.11)
10
Formulas clasicas
de donde
j 6 + 2qj 4 + (q 2 4s)j 2 r2 = 0
(16.12)
1 + i 2, 1 i 2, 1 + i 2,
16.4
1i 2
F
ormula de Vi`
ete para la c
ubica
La f
ormula que requiere calculo de races no necesariamente es la
forma mas f
acil para encontrar las races de una c
ubica. Ahora damos
3
otra f
ormula para las races de x + qx + r dada por Francois Vi`ete en
1615, que remplaza el calculo de races por el calculo de cosenos.
Es f
acil demostrar la siguiente identidad trigonometrica
cos 3 = 4 cos3 3 cos
F
ormula de Vi`ete para la c
ubica
11
(16.13)
q
r
u+ 3 =0
2
t
t
3
es decir, u es una raz de g(y) = y + (q/t2 )y + (r/t3 ). Si se elige t tal que
u3 +
3
q
=
2
t
4
(16.14)
1
r
= cos(3)
t3
4
(16.15)
para alg
un , entonces g(y) = y 3 43 y 14 cos 3 y sus races son
u = cos ,
u = cos( + 120 ),
u = cos( + 240 )
4r
t3
12
Formulas clasicas
t cos( + 120 ),
t cos( + 240 )
F
ormula de Vi`ete para la c
ubica
13
p
donde t = 4q/3. Las otras dos races (complejas) de f (x) son las
races de la cuadr
atica f (x)/(x v).
Si 4q/3 < 0, usamos la funcion seno hiperbolico. Sabemos que senh
es una raz de k(y) = y 3 + 43 41 senh 3. Para forzar a que f (x) se vea
p
como k(y), escribimos la raz real de f (x) como v = tu, donde t = 4q/3
(la hip
otesis da 4q/r > 0) y senh 3 = 4r/t3 . Y existe un n
umero con
3
senh = 4r/t y la raz real de f (x) en este caso es
v = t senh .
3
Para terminar este captulo sobre las formulas clasicas, hacemos algunas observaciones.
Todos los procedimientos para encontrar metodos de solucion parten de suponer la existencia de una soluci
on, pero que justifica
esta hip
otesis?. La respuesta sera el objetivo del captulo que sigue.
14
Formulas clasicas
16.4.1
1.
Ejercicios
a) Encontrar las races de f (x) = x3 3x + 1.
b) Encontrar
las races de f (x) = x3 9x+28. Respuesta: 4, 2
i 3.
2.
de la c
ubica. Respuesta: g = 3 2 + 121 y h = 3 2 121.
b) Encontrar las ra
ces de f (x) usando la formula de Vi`ete. Respuesta: 4, 2 3.
F
ormula de Vi`ete para la c
ubica
15
16
Formulas clasicas
CAPITULO 17
Races de polinomios
En este captulo estudiamos las races de un polinomio en una indeterminada. Primero mostramos que todo polinomio no constante con
coeficientes en un campo tiene races en alg
un campo posiblemente mas
grande. Entonces, en el caso especial de un polinomio con coeficientes
en el campo C de n
umeros complejos, mostramos que sus races tambien
est
an en C.
17.1
La existencia de races
En esta secci
on, mostramos que dado un campo F y un polinomio
no constante f F [x], existe un campo L que contiene a F y tambien a
todas las races de f . Motivamos la construccion considerando la de los
n
umeros complejos C.
Si nos dan los n
umeros reales R, la pregunta es como obtener a C?.
Hay varias maneras de hacerlo. Por ejemplo, en 1835, Hamilton definio:
C = {(a, b) | a, b R}
donde la adici
on y la multiplicacion son dadas por
(a, b) + (c, d) = (a + b, c + d),
Por c
alculo directo (aunque muy aburrido) se verifica que con estas
operaciones el conjunto es un campo con (1, 0) como la identidad multi-
18
Races de polinomios
plicativa. Adem
as, la formula de la multiplicacion implica que
(0, 1) (0, 1) = (1, 0) = (1, 0)
Si con 1 denotamos (1, 0) y con i denotamos (0, 1), la igualdad anterior
se transforma en i2 = 1 y tambien se tiene que
(a, b) = a(1,0) + b(0, 1) = a 1 + b i
En esta forma llegamos a la descripcion usual de C como el conjunto
de n
umeros de la forma a + bi, donde a, b R.
Una definici
on, muy diferente, de C fue dada por Cauchy en 1847.
Trabajando en el anillo de polinomios R[x], Cauchy definio
(x) (x)
(mod x2 + 1)
para indicar que (x), (x) R[x] tienen el mismo residuo al dividirlos
por x2 + 1. Para simplificar estas congruencias, el introdujo el smbolo i
diciendo el smbolo i, cuando se sustituye por la letra x en un polinomio
f (x), indica el valor obtenido, no por el polinomio f (x), sino mas bien en
el residuo de la divisi
on algebraica de f (x) por x2 + 1, cuando se le da a
x el valor particular i.. Esto permite a Cauchy remplazar la congruencia
anterior por su equivalente
(i) = (i)
Para ilustrar como esto funciona, Cauchy considero el polinomio
f (x) = (a + bx)(c + dx) = ac + bdx2 + (ad + bc)x
Es f
acil ver que el residuo de f (x) al dividirlo por x2 + 1 es ac bd +
(ad + bc)x y por lo anterior, f (i) esta definido por la expresion simbolica
(ac bd) + (ad + bc)i. El mismo proceso, cuando se aplica a a + bx y
a c + dx, nos lleva a a + bi y c + di, respectivamente. De esto Cauchy
concluye que
(a + bi)(c + di) = ac bd + (ad + bc)i
As se obtiene un construccion simbolica de los n
umeros complejos
usando residuos de polinomios en R[x] al dividirlos por x2 + 1.
Desde un punto de vista moderno, podemos explicar la construccion
de Cauchy como sigue. El polinomio x2 + 1 genera el ideal
hx2 + 1i = {(x2 + 1)g | g R[x]}
La existencia de races
19
20
Races de polinomios
Demostraci
on. En teora de anillos se demostro que (2) (3). Falta
ver que que (1) (2). Supuesto que f es irreducible e I es un ideal de
F [x] tal que hf i I F [x]. Como F [x] es un DIP, I = hgi para alg
un
g F [x]. Entonces f hf i I = hgi, implica que f = gh para alg
un
h F [x]. Como f es irreducible, g o h es constante. En el ejercicio 1,
se pide demostrar que, si g es constante, entonces I = F [x] y si h es
constante, entonces I = hf i. Se tiene entonces que hf i es maximal.
Recprocamente, supuesto que hf i es maximal y que f = gh donde
g, h F [x]. Esto da que hf i hgi F [x]. Como hf i es maximal, hgi debe
ser igual a hf i o F [x]. Se puede demostrar (ejercicio 1) que lo anterior
implica que h es constante y esto u
ltimo implica que g es constante. As,
f es irreducible.
Como x2 + 1 es irreducible sobre R, la proposicion anterior implica
que R[x]/hx2 + 1i es un campo. Esto completa la segunda construccion
de C.
Una situaci
on interesante que se presenta en las dos construcciones de
C es que no es claro, en los dos casos, que C contenga a R. Consideremos
cada caso.
En la construccion de Hamilton, un n
umero complejo es un par
ordenado (a, b) de n
umeros reales. Para que con esta definicion,
C contenga a R, debemos identificar el n
umero a R con el par
ordenado (a, 0) C.
En la interpretacion moderna de la construccion de Cauchy, un
n
umero complejo es una clase lateral g + hx2 + 1i. Para que este
contenga a R, debemos identificar el n
umero a R con la clase
a + hx2 + 1i.
As, en las dos construcciones de C damos un homomorfismo inyectivo
R C que se convierte en la inclusion despues de identificar a R con su
imagen en C. Esto motiva la definicion que sigue,
Definici
on 17.1. Dado un homomorfismo entre campos : F L, L
es un campo extensi
on de F va . Usualmente se identifica a F con
su imagen
(F ) = {(a) | a F } L
y escribimos F L. Tambien se utiliza el smbolo L/F para indicar que
L es una extensi
on de F .
La existencia de races
21
22
Races de polinomios
La existencia de races
23
Se sigue por induccion sobre el grado de f (x), que todas las races
de f (x) est
an en C, es decir, f (x) se factoriza completamente sobre
C. De otra parte, si por ejemplo F = Fp o F = C(x) = F rac(C[x]),
el teorema fundamental no se puede aplicar, pero si el teorema de
Kronecker y se puede afirmar que existe un campo L mas grande,
que contiene todas las races de f (x).
Hay una versi
on general del teorema fundamental del algebra: todo campo F es un subcampo de un campo K algebraicamente
cerrado, es decir, K es un campo que contiene a k y a todas las
races de todo polinomio f (x) F [x].
Definici
on 17.2. Un campo F es algebraicamente cerrado si
todo polinomio no constante en F [x] se factoriza completamente
sobre F .
El campo C es algebraicamente cerrado. Hay otros campos algebraicamente cerrados. En general se puede demostrar que todo campo
tiene una extensi
on algebraicamente cerrada.
17.1.1
Ejercicios
24
Races de polinomios
17.2
El Teorema Fundamental del Algebra
25
26
Races de polinomios
CAPITULO 18
Campos extensi
on
18.1
28
Campos extension
18.2
Polinomio minimal
Cuando L es algebraico sobre F , hay varios polinomios no constantes en F [x] para los que es raz. De estos polinomios hay uno muy
especial.
Proposici
on 18.1. Sean F L un campo extensi
on. Si L es algebraico sobre F existe un u
nico polinomio m
onico, no constante p F [x]
tal que
1. es raz de p, i.e., p() = 0
2. Si f F [x] es cualquier polinomio que tiene a como raz, entonces f es un m
ultiplo de p.
Demostraci
on. Entre todos los polinomios no constantes en F [x] que tienen a como raz hay uno con el menor grado. Tomamos este polinomio
y lo nombramos con p. Multiplicando por una constante, si es necesario,
podemos asumir que p es monico.
Este polinomio claramente cumple (1). Para (2), suponemos que f () =
0 para alg
un f F [x]. El algoritmo de division nos da polinomios
q, r F [x] tales que
f = qp + r,
r=0
Polinomio minimal
29
30
Campos extension
18.3
Proceso de adjunci
on
Ahora mostramos como describir algunos subanillos y subcampos interesantes de una extension dada L F .
Comenzamos tomando una extension L de F y un elemento de L.
Definimos
F [] = { p() | p(x) F [x] }
= { a0 + a1 + an n | ak F, n > 0 }
Para construir una nueva extension de F , adjuntandole a F el elemento , consideremos el subcampo de L generado por F {} que
denotaremos con F (). Sabemos que F () es el menor subcampo de L
que contiene a F y a , es decir
\
F () = { H | H es un subcampo de L; F H, H }
En lo que sigue se busca determinar la estructura de la extension
F ().
F [] es la imagen del homomorfismo de sustitucion : F [x] L
que enva a p(x) en p() y por esto es un subanillo de L y como L es un
campo, F [] es un dominio de integridad. Si K es el campo de cocientes
de F [], se tiene que:
F {} F [] K
y como F () es el menor subcampo de L que contiene a F y a , entonces:
F () K
De otra parte, cualquier subanillo de L que contenga a F y a necesariamente contiene los elementos de F [], entonces F [] F () y
como F () es un subcampo de L, debe contener todos los cocientes de
elementos de F [], es decir K F (). Concluimos que,
F () = K
Definici
on 18.3. Sea L F un campo extensi
on y L. F () es una
extensi
on simple de F obtenida al adjuntar a F . Se tiene que.
f ()
F () =
f, g F [x] y g()) 6= 0
g()
Proceso de adjuncion
31
4
4
4
4
x4 2 = (x 2)(x + 2)(x i 2)(x + i 2)
4
4
4
4
Q( 2, 2, i 2, i 2)
es el menor campo donde x4 2 se factoriza completamente. Mas adelante
veremos que este es un ejemplo de un campo de ruptura.
Este campo se puede describir e forma mas compacta.
4
4
4
4
4
Q( 2, 2, i 2, i 2) = Q(i, 2)
i42
i=
K
4
2
32
Campos extension
Demostraci
on. El campo de la derecha se obtiene primero adjuntando
1 , . . . , r a F para obtener el campo F (1 , . . . , r ) y luego adjuntamos
los elementos de L: r+1 , . . . , n a F (1 , . . . , r ) para obtener el campo
F (1 , . . . , r )(r+1 , . . . , n ) y entonces de la definicion
F (1 , . . . , n ) F (1 , . . . , r )(r+1 , . . . , n )
A la otra inclusi
on se llega en forma similar.
Ejemplo
Utilizando
la proposicion anterior, se puede afirmar que
18.7.
Q( 2, 3) = Q( 2)( 3). Entonces
Q Q( 2) Q( 2)( 3) Q( 2, 3)
y se obtiene Q( 2, 3)) al adjuntar 2 a Q y luego adjuntar 3 a Q( 2)
Ahora estudiamos F (1 , . . . , n ) y F [1 , . . . , n ] cuando los 1 , . . . , n
son algebraicos sobre F . Comenzamos con una extension simple.
Proposici
on 18.4. Si L F es un campo extensi
on y L es algebraico sobre F con polinomio minimal p F [x], entonces
F []
= F [x]/hpi
por un isomorfismo que es u
nico y deja fijos los elementos de F y enva
a en la clase lateral x + hpi
Demostraci
on. El diagrama que sigue nos lleva a la demostracion
F [x]
/ L
?
F [x]/N
Consideremos el homomorfismo de sustitucion : F [x] L que
enva h(x) F [x] en h() E. Por definicion, la imagen de es F [].
Determinemos el n
ucleo de .
N = {f F [x] | (f ) = 0}
= {f F [x] | f () = 0}
= hpi
Proceso de adjuncion
33
donde la u
ltima igualdad se obtiene al observar que p es el polinomio
minimal de que es el de menor grado en el ideal principal N y as p
genera este ideal.
Entonces se tiene el diagrama
/ F []
?
(isomorfismo)
F [x]
F [x]/hpi
y del teorema fundamental de isomorfismo
F [x]/hpi
= F []
Este isomorfismo es la identica sobre F y enva la clase lateral x + hpi
en . El isomorfismo inverso es el que se propone en el enunciado.
Finalmente, el isomorfismo es u
nico ya que el homomorfismo definido
sobre F [] esta determinado de manera u
nica por sus valores sobre F y
.
Esta proposici
on muestra como representar F [] como un anillo cociente. Adem
as como el polinomio minimal p de es irreducible, se tiene
que F [x]/hpi es un campo. Se concluye: F [] es un campo cuando es
algebraico sobre F , lo que forma parte de la siguiente proposicion.
Proposici
on 18.5. Sea L F un campo extensi
on y L. es
algebraico sobre F si, y solo si F [] = F ()
Demostraci
on. Cuando es algebraico sobre F acabamos de ver que F []
es un campo que contiene a F y a . Como F () es el menor subcampo
que contiene a F y a , F () F []. La otra inclusion siempre se cumple,
de donde F () = F [].
Para la otra implicaci
on, suponemos que F () = F []. Podemos suponer que 6= 0 ya que 0 es obviamente algebraico sobre F . Entonces,
1/ F () = F [] lo que implica
1
= a0 + a1 + + am m
para alg
un 0 , . . . , m F , entonces
0 = 1 + a0 + a1 2 + + am m+1
de donde es algebraico sobre F .
34
Campos extension
2n
2n+1
3con coeficientes racionales.
Ademas, como 2 = 2n y 2
=
Q( 2, 3) = {a + b 2 + c 3 + d 6 | a, b, c, d Q}
Mas adelante demostraremos que esta representacion para Q( 2, 3)
es u
nica.
18.3.1
Ejercicios
Polinomios irreducibles
35
18.4
Polinomios irreducibles
En esta secci
on queremos mostrar como el uso de herramientas computacionales facilita el trabajo de calculo que se requiere en algunos temas
de la teora de Galois. Nos referimos a sistemas que permiten representaciones simb
olicas como Maple y Matem
atica.
Aplicando repetidamente el teorema fundamental del algebra y el
algoritmo de divisi
on con polinomios de la forma x c, se tiene que
todo polinomio m
onico f C[x] se puede escribir como producto de n
factores lineales x ci , donde ci C y n = (f ). Los ci son las races de
f en C. Para calcular aproximaciones numericas del conjunto de races
de un polinomio en C[x], usamos el comando fsolve(f=0,x,complex)
en Maple.
Mas adelante veremos que si un polinomio es irreducible en un subcampo K de C, todas las races ci son diferentes. En este caso, se puede
asignar un ndice de 1 a n a cada raz. En Maple, RootOf(f,index=n)
representa la n-esima raz del polinomio f .
Ejemplo 18.9. Calculamos con Maple la primera y segunda races
del polinomio x2 + 3.
evalf(RootOf(x2 + 3, index = 1));
1.732050808 I
evalf(RootOf(x2 + 3, index = 2));
1,732050808 I
Tambien se pueden calcular las races sin enumerarlas.
fsolve(x2 + 3 = 0, x, complex);
1,732050808 I, 1.732050808 I
36
Campos extension
18.5
El uso de Maple para factorizar polinomios sobre Q implica la existencia de un algoritmo para hacerlo. Para dar una idea de como se hacen
estas factorizaciones, describiremos un algoritmo para decidir cuando un
polinomio f Z[x] es irreducible sobre Q. El resultado clave para esto
es el llamado Lema de Gauss.
Teorema 18.1 (Lema de Gauss). Si f Z[x] no es constante y f =
gh, donde g, h Q[x], entonces existe una constante Q tal que g = g
= 1 h tienen coeficientes enteros. As, f = gh
en Z[x].
yh
Demostraci
on. Sea s Z un com
un denominador para los coeficientes de
g, entonces g = 1s g1 para g1 Z[x]. Ahora, sea r Z el maximo com
un
divisor de los coeficientes de g1 . Factorizando a r, podemos escribir,
1
r
g = g1 = g2
s
s
donde g2 Z[x] tiene coeficientes primos relativos. Similarmente podemos escribir,
1
t
h = h1 = h2
u
u
37
r
g2 = g2 Z[x]
s
t
rt
h2 =
h2
u
su
rt
Si se demuestra que su | rt, entonces su
h2 Z[x], porque h2 Z[x],
el teorema queda demostrado.
Para demostrar que su | rt, demostramos que si p es un primo, entonces el que p |su implica que p |rt (porque esto implica que su | rt?).
Tomemos un primo p y supongamos que p | su. Escribimos,
g2 = bn xn + + b0
h2 = cm xm + + c0
Como bn , . . . , b0 no tienen factores comunes no triviales, podemos
encontrar un ndice i > 0 tal que p | b0 , . . . , p | bi1 y p - bi . Similarmente
existe un ndice j > 0 tal que p | c0 , . . . , p | cj1 y p - cj
Multiplicando las expresiones para g2 y h2 vemos que el coeficiente
de xi+j de g2 h2 es di+j = b0 ci+j + + bi+j c0 que podemos escribir en
la forma
di+j = b0 ci+j + + bi1 cj+1 +bi cj + bi+1 cj1 + + bi+j c0
|
{z
}
|
{z
}
p divide a b0 ,...,bi1
(18.1)
38
Campos extension
Demostraci
on. Si f es reducible sobre Q[x], entonces f = g1 h1 donde
g1 , h1 Q[x] tienen grado < (f ). Por el lema de Gauss, existe Q
tal que g = g1 y h = 1 h1 que tienen coeficientes enteros. Entonces
f = gh, que es la factorizacion pedida.
Ahora describimos un algoritmo para verificar la irreducibilidad de
f Z[x]. Sea n = (f ) > 0. Primero observamos que si f (i) = 0 para
alg
un 0 6 i 6 n 1, entonces x i es un factor de f y f es reducible. As,
cuando ejecutamos el algoritmo, podemos asumir que f (0), . . . , f (n 1)
son todos diferentes de cero. Entonces creamos un conjunto de polinomios
como sigue:
Se fija un entero 0 < d < n.
Se fijan divisores a0 , . . . , ad de f (0), . . . , f (d) Z
Usando la f
ormula de interpolacion de Lagrange se construye un
polinomio g Q[x] de grado 6 d tal que g(i) = ai para i = 0, . . . , d.
Se acepta g si tiene grado d y coeficientes enteros, en caso contrario
se rechaza.
Se hace esto para todo 0 < d < n y todos los divisores a0 | f (0), . . . , ad |
f (d) y se obtiene un conjunto de polinomios g Z[x].
Proposici
on 18.8. Este conjunto de polinomios g Z[x] es finito y f
es irreducible sobre Q si, y solo si no es divisible por alg
un polinomio en
este conjunto.
Demostraci
on. Como se supone que f (0), . . . , f (d) son diferentes de cero, cada f (i) solo tiene un n
umero finito de divisores. As, solo hay un
n
umero finito de posibles elecciones para a0 , . . . , ad Z. Como g queda
determinado de manera u
nica por los ai , se sigue que solo hay un n
umero
finito de polinomios g.
Para terminar debemos demostrar que f es reducible si, y solo si
es divisible por uno de estos polinomios. En un sentido esto es obvio.
Si suponemos que f es reducible, por el corolario 3.7, f = gh, donde
g, h Z[x] y g tiene grado d, 0 < d < n.
Entonces, para 0 6 i 6 d, sea ai = g(i) y observamos que ai | f (i), ya
que f (i) = g(i)h(i). La formula de interpolacion de Lagrange da g Q[x]
de grado 6 d con g(i) = ai para 0 6 i 6 d. Como g g tiene grado a lo
mas d y se anula en d + 1 n
umeros 0, . . . , d debe ser el polinomio cero.
Entonces g = g que esta en el conjunto citado.
Criterio de Schonemann-Eisenstein
39
d
X
ci
i=0
Y x bj
F [x]
bi bj
j6=i
es tal que
1. (g) 6 d.
2. g(bi ) = ci para i = 0, . . . , d.
3. Si h es un polinomio en F [x] con (h) 6 d y tal que h(bi ) = ci para
i = 0, . . . , d, entonces h = g.
18.6
Criterio de Sch
onemann-Eisenstein
40
Campos extension
factorizaci
on u
nica. Como p - an se sigue que g = [a]xr y h = [b]xs ,
donde [a][b] = [an ] y r + s = n.
Si r = 0, entonces g = [a] y (g) > 0 lo que implica que el coeficiente
principal de g es divisible por p. Entonces el que f = gh implica que lo
mismo se cumple para el coeficiente principal an de f . Entonces como
p - an , se tiene que r > 0 y similarmente que s > 0.
Pero, g = [a]xr para r > 0 implica que p divide el termino constante
de g y lo mismo es verdad para el termino constante de h, ya que s >
0. Como el termino constante a0 de f es el producto de los terminos
constantes de g y h, se sigue que p2 | a0 lo que contradice la hipotesis de
que p2 - a0 . Esto completa la demostracion.
Ejemplo 18.12. Consideremos el polinomio
f = xn + px + p,
n > 0,
p primo
xp 1
= xp1 + xp2 + + x + 1
x1
(x + 1)p 1
x1
Criterio de Schonemann-Eisenstein
41
18.6.1
Ejercicios
42
Campos extension
18.7
Usando M aple
2
10x + 1 es el polinomio
minimal de 2 + 3 sobre Q. Para estudiar este
factor(x4 10 x2 + 1, 2);
43
que hace a una raz de x4 10x2 +1. Entonces podemos factorizar un polinomio poly en Q[x] o Q()[x] usando el comando factor(poly,alpha).
Por ejemplo, si tomamos f = x4 10x2 +1, sabemos que x es un factor
de f . Pero cu
ales son los otros factores?. Usando Maple, obtenemos
alias(alpha = RootOf(x4 10 x2 + 1));
alpha
factor(x4 10 x2 + 1, alpha);
(x 10 + 3 ) (x + 10 3 ) (x + ) (x ));
La sorpresa es que el polinomio se factoriza completamente. En Maple
la factorizaci
on
(x )(x + )(x 10 + 3 )(x + 10 3 )
se hace en Q[x]/hx4 10x2 + 1i y entonces
Q[x]/hx4 10x2 + 1i
= Q( 2 + 3)
por unisomorfismo
que x 7 2 + 3 (Proposicion 3.4). Ahora tomamos
a = 2 + 3.
las dos factorizaciones,
la primera la que sehizoen
Comparando
Q( 2, 3) y la u
ltima en Q( 2 + 3), se llega a 3 10
= (
2 + 3)
3
y calculando
= 2 3 y
como
numericamente se obtiene que3 10
= 2 + 3 y sumando
estas
ecuaciones
9
=
2
2,
de
donde
2
Q() = Q( 2 + 3). Tambien se tiene que 3 = 2 Q( 2 + 3).
Entonces
Q( 2, 3) Q( 2 + 3)
Como la otra inclusi
on siempre se cumple, se llega a:
Q( 2, 3) = Q( 2 + 3)
18.8
44
Campos extension
1. L es una extensi
on finita de F si L es un espacio vectorial de
dimensi
on finita sobre F .
2. El grado de L sobre F , denotado con [L : F ], se define por
(
dimF L si L es una extensi
on finita de F ,
[L : F ] =
en caso contrario.
donde dimF L es la dimensi
on de L como espacio vectorial sobre F .
Ejemplo 18.13. Para R C, la forma usual de escribir los n
umeros
complejos como a + bi, muestra que 1 e i forman una base de C como
espacio vectorial sobre R, entonces [C : R] = 2.
Podemos caracterizar las extensiones de grado 1.
Proposici
on 18.11. Una extensi
on L F tiene grado [L : F ] = 1 si, y
solo si F = L.
Demostraci
on. Si [L : F ] = 1, cualquier elemento diferente de cero de L
como 1 L, es una base, entonces L = {a 1 | a F } = F . La otra
implicaci
on es inmediata.
En general, calculamos el grado de una extension F F () con la
proposici
on que sigue.
Proposici
on 18.12. Supuesto que L F es una extensi
on y L,
entonces
1. es algebraico sobre F si, y solo si [F () : F ] < .
2. Sea algebraico sobre F . Si n es el grado del polinomio minimal de
sobre F , entonces 1, , . . . , n1 forman una base de F () sobre
F . As, [F () : F ] = n.
Demostraci
on. Primero suponemos que es algebraico sobre F con polinomio minimal p, donde (p) = n. Necesitamos mostrar que 1, , . . . , n1
forman una base de F () sobre F . Como F () = F [], todo elemento
de F () es de la forma g() para alg
un g F [x]. Dividiendo a g por p
se obtiene
g = qp + a0 + a1 x + + an1 xn1
donde q F [x] y a0 , . . . , an1 F y, calculando esta igualdad en ,
g() = a0 + a1 + + an1 n1
45
a0 , . . . , an1 F
Q( 2) = {a + b 2 | a, b Q}
y esta representaci
on es u
nica.
Q
es x4 10x2 + 1, entonces [Q( 2 + 3) : Q] = 4 y, todo Q( 2 + 3)
se puede escribir en la forma
= a + b( 2 + 3) + c( 2 + 3)2 + d( 2 + 3)3
para a, b, c, d Q u
nicos.
46
Campos extension
Podemos examinar como se comportan los grados en extensiones sucesivas F K L. La formula es muy u
til.
Teorema 18.3 (F
ormula de grados). Si F K L, son campos,
entonces
1. Si [K : F ] =
o [L : K] = , entonces [L : F ] = .
2. Si [K : F ] < y [K : L] < , entonces
[L : F ] = [L : K][K : F ]
Demostraci
on. Para la parte (1) demostramos que: Si [L : F ] < ,
entonces [K : F ] < y [L : K] < . As, suponemos que L tiene
dimensi
on finita como espacio vectorial sobre F . Sea 1 , . . . , N una base,
entonces
Primero, es f
acil ver que K L es un subespacio de L sobre el campo
F . Como L tiene dimension finita sobre F , esto se cumple para cualquier
subespacio. Luego, [K : F ] < .
Segundo,
tomamos L. Como 1 , . . . , N genera a L sobre F ,
PN
= i=1 ai i donde ai F . Como F K podemos considerar esta
suma como una combinacion lineal con coeficientes en K. Entonces L es
generado sobre K por un conjunto finito, de donde [L : K] = dimK L <
1 6 i 6 m, 1 6 j 6 n
P
L. Como 1 , . . . , n generan a L sobre K, podemos escribir = nj=1 bj j
donde b1 ,P
. . . , bn K. Como 1 , . . . , m generan a K sobre F , tenemos
que bj = m
i=1 aij i , donde aij F . Combinando las dos igualdades, se
obtiene
n X
m
m X
n
X
X
=
aij i j =
aij i j
j=1
i=1
i=1 j=1
47
i=1
y como la expresi
on entre parentesis representa un elemento de K y como
los j son linealmente independientes sobre K, se concluye que
m
X
aij i = 0 para 1 6 j 6 n
i=1
Q Q( 2) Q( 2, 3)
base
para
Q(
2)
La proposici
on 3.12 muestra que 1, 2 forman una
Adem
as, sea E = Q( 2, 3) y B = Q( 2). Como 3 es algebraico
sobre Q y su polinomio minimal es x2 3, se sigue
algebraico
que 3 es
3
sobre
Q(
2) es un
sobre B, Adem
as. el polinomio
minimal
p
de
3
/Q( 2) porque si no es as
, existen racionales a y b tales que 3 =
2
2
a+b
2, de donde 3 = a +2ab 2+2b lo que contradice
la irracionalidad
on del
teorema 3.3, el producto
delas bases
1, 2 y 1, 3: 1, 2, 3, 2 3 = 6 nos da una base de Q( 2, 3) sobre
Q.
En la secci
on 3.5, usando Maple vimos que Q( 2, 3) = Q( 2+ 3).
Ahora damos una prueba diferente usando
Q Q( 2 + 3) Q( 2, 3)
Ya vimos que [Q( 2, 3): Q] =
4 y en el ejemplo 3.16 vimos que lo
mismo es cierto para Q Q( 2 + 3). Entonces
48
Campos extension
nos
da [Q( 2, 3) : Q( 2 + 3)] = 1, de donde Q( 2, 3) = Q( 2 +
3).
3
3
Q Q( 2) Q(, 2) = L
3
[Q( 2) : Q] = 3
3
2
y y ninguna es un n
umero real. Como Q( 2) R, x2 + x + 1 no
tiene races eneste campo, entonces x2 + x + 1 es el polinomio minimal
de sobre Q( 3 2). Entonces
3
[L : Q( 2)] = 2
3
3
[L : Q] = [L : Q( 2)][Q( 2) : Q] = 2 3 = 6
Regresaremos a este ejemplo varias veces.
La idea clave de esta seccion es que un campo extension F L da a
L la estructura de espacio vectorial sobre F y L es simultaneamente
un campo y un espacio vectorial. En general, hay muchos ejemplos
de anillos que son espacios vectoriales sobre un campo.
Definici
on 18.7. Un anillo R (posiblemente no conmutativo) es
un
algebra sobre el campo F si R es un espacio vectorial sobre F
tal que
1. La adici
on en el espacio vectorial R es la misma adici
on en el
anillo R.
2. La multiplicaci
on escalar sobre R es compatible con la multiplicaci
on del anillo:
(ab) r = a (b r) para todo a, b F y r R
a (rs) = (a r) s = r(a s) para todo a F y r, s R
Un campo extension F L da a L como una F -algebra. Otros
ejemplos son: el anillo de polinomios F [x1 , . . . , xn ] y el algebra de
las matrices n n, Mnn (F ).
Extensiones algebraicas
18.8.1
49
Ejercicios
a) Q Q(i, 4 2)
b) Q Q( 3, 3 2)
p
c) Q Q( 2 + 2)
p
d ) Q Q(i, 2 + 2)
2. Para cada una de las extensiones del ejercicio (1), encuentre una
base sobre Q.
3. Supuesto que L F es una extension finita con [L : F ] primo.
a) Demuestre que los u
nicos subcampos de L que contienen a F
son F y L
b) Demostrar que L = F () para cualquier L F .
4. Consideramos la extension Q L = Q( 4 2, 3 3). Para calcular
[L : Q]
a) Mostrar que x4 2 y x3 3 son irreducibles sobre Q.
18.9
Extensiones algebraicas
50
Campos extension
1. F L es algebraica.
2. Si L, entonces el grado del polinomio minimal de sobre F
divide a [L : F ].
Demostraci
on. Un elemento L da F F () L y la ecuacion de
grados implica que [F () : F ] es finita y divide a [E : F ]. Entonces (1) y
(2) se sigue inmediatamente de la proposicion 3.12.
El recproco de esta proposicion es falso, hay extensiones algebraicas
que no son finitas. Vemos ahora la estructura de las extensiones finitas.
Teorema 18.4. Sea F L una extensi
on. [L : F ] < si, y solo si
existen 1 , . . . , m L tales que cada i es algebraico sobre F y L =
F (1 , . . . , m ).
Demostraci
on. Primero suponemos que [L : F ] < . Sean 1 , . . . , m
L que forman una base de L (m = dimF L), entonces
L = {a1 1 + , am m | a1 , . . . , am F } F (1 , . . . , m ) L
entonces L = F (1 , . . . , m ) y cada i es algebraico sobre F .
Ahora suponemos que L = F (1 , . . . , m ) y cada i es algebraico
sobre F . Sea L0 = F y Li = F (1 , . . . , i ) para 1 6 i 6 m, Con esto
obtenemos las extensiones
F = L0 L1 Lm = L
y se tiene que
Li = F (1 , . . . , i1 , i ) = F (1 , . . . , i1 )(i ) = Li1 (i )
para i 6 i 6 m. Como i es algebraico sobre F tambien es algebraico
sobre un campo mas grande Li1 F . La proposicion 3.12 implica que
[Li : Li1 ] = [Li1 () : Li1 ] <
y entonces toda extension sucesiva tiene grado finito. Entonces
[L : F ] = [Lm : E0 ] = [Lm : Em1 ] [L1 : L0 ] <
Esto completa la demostracion.
Como una aplicacion de este teorema, mostramos que la suma y el
producto de elementos algebraicos son algebraicos.
Extensiones algebraicas
51
Proposici
on 18.14. Sea L F una extensi
on. Si , L son algebraicos sobre F , entonces + y son algebraicos sobre F .
Demostraci
on. Por el teorema anterior F F (, ) es una extension
finita y por tanto algebraica. Como todo elemento de F (, ) es algebraico sobre F y como + y estan en F (, ), la demostracion
termina.
Corolario 18.15. Dada una extensi
on L F , el subconjunto
M = { L | es algebraico sobre F }
es un subcampo de L que contiene a F .
Demostraci
on. Se tiene que F M ya que a F es una raz de x a
F [x] y M es cerrado para la adicion y la multiplicacion. Como 1
F M , M implica = 1 M . Finalmente, si 0 6= M ,
1/ M . Se concluye que M es un subcampo de L.
Ejemplo 18.19. Un n
umero complejo z C es un n
umero algebraico si
es algebraico sobre Q. El campo de n
umeros algebraicos es
Q = { C | z es algebraico sobre F }
que es un campo algebraicamente cerrado.
18.9.1
Ejercicios
1. Se demostr
o que una extension finita es algebraica. Aqu damos un
ejemplo para mostrar que el recproco es falso. El campo de los
n
umeros algebraicos Q es por definicion algebraico sobre Q. Para
mostrar que [Q : Q] = veamos que
a) Dado n > 2 use el ejemplo 5.4 para mostrar que Q tiene un
subcampo L tal que [L : Q] = n.
b) Explicar porque la parte (a) implica que [Q : Q] = .
2. Demostrar que si n = [E : F ] < , entonces todo E es raz de
un polinomio diferente de cero en F [x] de grado 6 n.
3. En 1873 Hermite demostro que el n
umero e es trascendente sobre
Q y en 1882 Lindemann demostro que es trascendente sobre Q.
No se sabe cual de los n
umeros +e, e es trascendente. Mostrar
que al menos uno de estos n
umeros es trascendente sobre Q.
52
Campos extension
n
X
1/k log n)
k=1
a
un no se ha probado que es trascendente.
1994: Los n
umeros e + y e posiblemente son trascendentes,
pero a
un no se ha demostrado que son irracionales.
CAPITULO 19
Extensiones normales y
separables
19.1
Campos de ruptura
Dado un polinomio no constante f F [x], el teorema 2.1 de Kronecker nos dice que existe una extension F L sobre la que f se factoriza
completamente. Ahora consideraremos la menor de estas extensiones.
Definici
on 19.1. Sea f F [x] con grado n > 0. Una extensi
on F L
es un campo de ruptura de f sobre F si
1. f = c(x 1 ) (x n ) donde c F y i L y
2. L = F (1 , . . . , n ).
Proposici
on 19.1. Si F es un campo, entonces todo polinomio f (x)
F [x] tiene un campo de ruptura.
Demostraci
on. Por el teorema de Kronecker, existe un campo extension
F L en el que f se factoriza completamente. Sean 1 , . . . , n las races
de f en L y definimos E = L(1 , . . . , n ). Es claro que f se factoriza
completamente sobre E, y f no se factoriza en subcampos propios de E,
en los que obligatoriamente se omite uno de los i .
54
4
4
4
4
4
Q( 2, 2, i 2, i 2) = Q(i, 2)
Campos de ruptura
55
L2
F1
/ F2
56
(19.1)
(19.2)
Campos de ruptura
57
L2
F1 (1 )
i
F1
i
/ F2 (2 )
i
/ F2
Como g1 = f1 /(x 1 ) tiene grado n 1, el paso 5 implica que podemos aplicar la hip
otesis de induccion a g1 F1 (1 )[x] y 1 : F1 (1 )
F2 (1 ). Esto da 1 : L1 L2 , cuya restriccion a F1 (1 ) es 1 . Pero
como 1 |F1 = se sigue que la restriccion de 1 a F1 es . As 1 es el
isomorfismo pedido.
Cuando se aplica el teorema anterior a la homomorfismo identico
iF : F F y f F se sigue la unicidad del campo de ruptura de f
sobre F .
Corolario 19.3. Si L1 y L2 son campos de ruptura de f F [x], existe
un isomorfismo L1
= L2 que es la identica sobre F .
El teorema 4.1 da algunos isomorfismos interesantes de un campo de
ruptura que utilizaremos mas adelante.
58
Proposici
on 19.4. Si L es un campo de ruptura de un polinomio en
F [x] y h F [x] es irreducible que tiene races , L, entonces existe
un isomorfismo de campos : L L que es la identidad sobre F y lleva
a en .
Demostraci
on. Como h es el polinomio minimal de , se tiene el isomorfismo
F () = F []
= F [x]/hhi
que es la identidad sobre F y enva en x + hhi. Similarmente, usando
a .
F () = F []
= F [x]/hhi
que es la identidad sobre F y enva en x + hhi. Se tiene entonces un
isomorfismo
: F ()
= F ()
tal que () = y es la identica sobre F .
Ahora suponemos que L es un campo de ruptura de f F [x]. Entonces f F ()[x] y f F ()[x]lo que significa que L es un campo de
ruptura de f sobre F () y F (). Se tiene entonces el diagrama
L
i
L
F ()
i
/ F ()
19.1.1
Ejercicios
2),
Extensiones normales
59
19.2
Extensiones normales
En esta secci
on trataremos una propiedad muy importante de los
campos de ruptura.
Ser un campo de ruptura es una propiedad especial de los campos
extensi
on. Por ejemplo, consideremos dos extensiones deQ, Q( 2) y
2 2, el polinomio minimal de
Q( 3 2). En el primer caso x
2, se factoriza completamente sobreQ( 2); en el segundo caso vemos que x3
2, el
polinomio minimal de 3 2, no se factoriza completamente sobre Q( 3 2).
Esta es una diferencia importante. Sin embargo, aunque a veces es conveniente considerar extensiones arbitrarias F L, nuestro interes principal
es con los grupos de Galois de polinomios, cuando L es el campo de ruptura sobre F para alg
un polinomio. Para esto es importante considerar
extensiones F L que sean normales.
Definici
on 19.2. Una extensi
on algebraica F L es normal si todo polinomio irreducible en F [x] que tiene al menos una raz en L se
factoriza completamente sobre L.
60
A primera
vista esta es una propiedad muy fuerte y no es inmediato
E()
_??
??
?
? O
EO
K()
K()
_??
??
?
?
K
Entonces
[E() : E][E : K] = [E() : K] = [E() : K()][K() : K]
(19.3)
(19.4)
Extensiones separables
61
3
ruptura, x3 2 se factoriza
completamente
sobre
Q(
2).
Pero estoes
3
imposible,
porque Q( 2) R que no contiene las races complejas 3 2,
3
3
2
2 de x 2.
19.3
Extensiones separables
62
Proposici
on 19.5. Sea f F [x], donde F es un campo. f tiene races
repetidas si, y solo si (f, f 0 ) 6= 1, donde f 0 es la derivada de f .
Demostraci
on. Si f tiene races repetidas, entonces f = (x )2 g(x) en
F [x] y entonces f 0 (x) = 2(x )g(x) + (a )2 g 0 (x). Se tiene que x
es un divisor com
un de f (x) y f 0 (x) y as (f, f 0 ) 6= 1.
Recprocamente, si x es un divisor de (f, f 0 ), entonces f = (x
)u(x) y f 0 = (x )v(x). Entonces, f 0 (x) = u(x) + (x )u0 (x) y
u(x) = (x )(v(x) u0 (x)), de donde
f (x) = (x )u(x) = (x )2 (v(x) u0 (x))
y f tiene una raz repetida.
Proposici
on 19.6. Si F es un campo de caracterstica 0, entonces todo
polinomio irreducible p(x) F [x] no tiene races repetidas.
Demostraci
on. Por la proposicion anterior se tiene que cualquier polinomio (no necesariamente irreducible) f con coeficientes en un campo
no tiene races repetidas si y solo si el mcd (f, f 0 ) = 1, donde f 0 es la
derivada de f .
Para p F [x], p0 (x) = 0 o (p0 ) < (p). Como p es irreducible, no es
constante y entonces p tiene alg
un termino diferente de cero, ai xi , con
i > 1. Entonces iai xi1 es un termino diferente de cero de la derivada
p0 , y como F es de caracterstica 0, p0 (x) 6= 0. Finalmente, como p es
irreducible, sus u
nicos divisores son constantes y asociados y como p0
tiene grado menor, no es asociado con p y entonces el mcd (p0 , p) = 1.
Recordemos que, si F L es un campo extension y L es algebraico sobre F entonces existe un u
nico polinomio monico e irreducible,
el polinomio mnimal, que tiene a como raz.
Definici
on 19.3. Sea F L una extensi
on algebraica. Un polinomio
irreducible p es separable si no tiene races repetidas. Un polinomio
arbitrario f es separable si cada uno de sus factores irreducibles no
tienen races repetidas.
Un elemento L es separable si es trascendente sobre F o, si
es algebraico sobre F , su polinomio minimal no tiene races repetidas,
es decir, el polinomio minimal es un polinomio separable.
Una extensi
on F L es una extensi
on separable si cada uno de
sus elementos es separable; F L es inseparable si no es separable.
La proposici
on 4.6 muestra que toda extension de un campo de caracterstica 0 es una extension separable.
CAPITULO 20
El grupo de Galois
64
El grupo de Galois
65
66
El grupo de Galois
/ L0
i
/ F0
2. Si F L es una extensi
on separable que es campo de ruptura de
f F [x], entonces
|Gal(L/F )| = [L : F ]
Demostraci
on. (1) Esta demostracion es una modificacion de la del teorema 4.1 y se hace por induccion sobre [L : F ]. Si [L : F ] = 1, entonces
L = F y hay solo una extension de que es la misma . Si [L : F ] < 1,
sea f = pg, donde p es irreducible de grado d. Podemos asumir que d > 1,
si no es as, f se factoriza sobre F y [L : F ] = 1. Tomamos una raz de
p ( E porque E es el campo de ruptura de f = pg). Si
e : F () L0
es cualquier extensi
on de , por la proposicion 4.1, () es una raz 0
de p ; como f es separable, p tiene exactamente d races 0 L0 ; por la
proposici
on 4.2, hay exactamente d isomorfismos
b : F () F 0 () que
extienden a , uno por cada 0 . Ahora, L tambien es un campo de ruptura de f sobre F (), porque adjuntando todas las races de f a F ()
se llega a E, y L0 es un campo de ruptura de f sobre F 0 (0 ). Como
[L : F ()] = [L : F ]/d, por induccion se tiene que cada uno de los d
isomorfismos
b tiene exactamente [E : F ]/d extensiones : L L0 . Entonces, se han construido [E : F ] isomorfismos que extienden a . No hay
mas, porque todo es tal que |F () =
b para alg
un
b : F () F 0 (0 ).
0
0
(2) En la parte (1) se toma F = F , L = L y = iF .
Corolario 20.4. Sea F L una extensi
on separable que es campo de
ruptura de alg
un polinomio f F [x] de grado n. Si f es irreducible,
entonces n | |Gal(L/F )|.
Demostraci
on. Por el teorema |Gal(L/F )| = [L : F ]. Sea L una raz
de f . Como f es irreducible, [F () : F ] = n y
[L : F ] = [L : F ()][F () : F ] = n[E : F ()]
de donde n | |Gal(L/F )|.
67
2 y
entonces su campo de ruptura es
Q( 2). Se tiene que
|Gal(Q( 2)/Q)| = 2. Todo
elemento de Q( 2) tienen una u
nica
expresi
forma a + b 2, donde a,
b Q y es facil ver que
on de la
: Q( 2) Q(
2), definida por : a + b 2 7 a
b 2, es un automorfismo de Q( 2)
que fijaa Q. Entonces Gal(Q( 2)/Q) = hi,
donde intercambia 2 y 2.
3. Sea g(x)
= x3 2 Q[x]. Las races de g(x) son , y 2 , donde
3
= 2, es la raz c
ubica real de 2 y = e2i/3 es una raz c
ubica de
la unidad. El campo de ruptura de g(x) es L = Q(, , 2 ). Veamos que L = Q(, ): L Q(, ) porque , , 2 Q(, );
Q(, ) E, porque = /.
Se tiene que
[L : Q] = [L : Q()][Q() : Q] = 3[L : Q()]
porque g(x) es irreducible sobre Q (es una c
ubica que no tiene races
racionales). Adem
as, L 6= Q(), porque todo elemento de Q()
es real, mientras que el n
umero complejo no es real. Entonces,
[L : Q] = |Gal(L/Q)| > 3. De otra parte, sabemos que Gal(L/Q)
es isomorfo con un subgrupo de S3 , de donde Gal(L/Q)
= S3 .
Ejemplo 20.4. Consideremos el polinomio
f (x) = x4 10x2 + 1 Q[x]
Veamos primero que f (x) es irreducible sobre Q (Ya lo vimos usando
Maple, pero no sobra ver este razonamiento). Si es una raz de f (x),
68
El grupo de Galois
dela f
ormula cuadr
a
tica obtenemos 2 = 5
2 6. De
la identidad a +
2
+ b) , se obtiene = ( 2 + 3). Similarmente,
2 ab+ b =( a
5 2 6 = ( 2 3)2 . Entonces, las races de f (x) son.
2 + 3, 2 3,
2 3, 2 + 3
Como las u
nicas posibles races racionales de f (x) son 1, se tiene
que las races encontradas son irracionales.
Para completar la prueba de que f (x) sea irreducible debemos descartar la posibilidad de que f (x) tenga factores se segundo grado. Si g(x)
es un factor cuadr
atico de f (x), debe tener la forma
g(x) = (x a 2 b 3)(x c 2 d 3)
donde a, b, c, d {1, 1}. Multiplicando,
Ahora, determinamos
el
campo de ruptura de f . Si = 2 + 3,
Q( 2 + 3) y [L : Q] = 4
Para el grupo de Galois se tiene que |Gal(L/Q)| = 4 y entonces
Gal(L/Q)
= Z4 o Gal(L/Q)
=V
donde V denota el grupo cuarto de Klein. Para decidir cual de estos
grupos es el correcto, se requiere
un poco
estudiar
mas el grupo.
Ya sabemos que L = Q( 2+ 3) = Q( 2, 3), entonces 2, 3 L,
entonces si Gal(L/Q), por la proposicion 5.2, queda determinado
de manera u
nica por
( 2) = 2, ( 3) = 3
Entonces, si 1 , 2 , 3 , 4 , son los elementos del grupo podemos definirlos
como se muestra en la tabla que sigue:
3
1
2
3
2 2
3
3
2 3
4 2 3
69
3
2
2
32
2
3
32
4
32
2
5
2 3 2
6
2 3 2
2
3
G = Gal(Q( 2, )/Q)
= S3
2
(23)
3
(123)
4
(12)
5
(132)
6
(13)
Proposici
on 20.5. Sean F B L campos donde la extensi
on F B
el campo de ruptura de alg
un polinomio f (x) F [x]. Si Gal(L/F ),
entonces |B Gal(B/F ).
Demostraci
on. Es suficiente demostrar que (B) = B. Si 1 , . . . n son
las races diferentes de f (x), entonces B = F (1 , . . . n ). Como (F ) = F
y (i ) B para todo i, entonces
(B) = (F (1 , . . . n )) = F ((1 ), . . . (n )) = B
como se deseaba.
70
El grupo de Galois
Proposici
on 20.6. Sean F B L campos donde la extensi
on F B
es campo de ruptura de alg
un polinomio f (x) F [x] y F L es campo
de ruptura de alg
un g(x) F [x]. Entonces Gal(L/B) es un subgrupo
normal de Gal(L/F ) y
Gal(L/F )/Gal(L/B)
= Gal(B/F )
Demostraci
on. Consideremos el diagrama
/ Gal(B/F )
t:
tt
t
t
tt
tt
t
tt
tt
Gal(L/F )
Gal(L/F )/N
Se define : Gal(L/F ) Gal(B/F ) por 7 |B , por la proposicion
anterior (i ) B. Es facil ver que es un homomorfismo con N =
Gal(L/B), porque si |B = identica, entonces es un automorfismo de L
que fija a F , de donde Gal(L/B) es un subgrupo normal de Gal(L/F ). Si
Gal(B/F ), entonces por la proposicion 5.3, existe un automorfismo
e con (e
) = e |B = . As es sobre y el teorema fundamental de
isomorfismo para grupos nos da el resultado deseado.
Ejemplo 20.6. El grupo de Galois de
f (x) = x3 2 Q[x] ya fue
3
determinado en el ejemplo 5.3. Si = 2 y = e2i/3 , vimos que el
campo de ruptura de f (x) sobre Q es E = Q(, ) y que [E : Q] = 6, de
donde Gal(E/Q)
= S3 .
Ahora veamos este ejemplo a la luz de la proposicion 5.6. Consideremos los campos
Q Q() E
Como Q()/Q es un campo de ruptura (de x2 + x + 1), de la proposici
on 5.6, se obtiene
Gal(E/Q()) C Gal(E/Q)
y
Gal(E/Q)/Gal(E/Q())
= Gal(Q())/Q)
Ahora, Gal(Q())/Q) tiene orden 2, porque x2 + x + 1 es un polinomio irreducible de grado 2 (no tiene races racionales). Afirmamos que
Gal(E/Q()) tiene orden 3. Ninguna de las races, , y 2 de x3 2
est
an en Q(). Como un polinomio c
ubico es irreducible sobre un campo
71
20.0.1
Ejercicios
72
El grupo de Galois
CAPITULO 21
La estrategia b
asica para mostrar que hay polinomios de grado 5 para
los que no hay f
ormula, analoga a las formulas clasicas, que de sus races.
Lo primero ser
a trasladar las formulas clasicas (que dan las races
de f k[x]) en terminos de subcampos de un campo de ruptura E
sobre k.
Segundo, esta traslacion en el lenguaje de campos, sera traducida
al lenguaje de grupos: si hay una formula para las races de f (x),
entonces Gal (E/k) debe ser un grupo soluble (que se definira despues).
Finalmente, polinomios de grado menor que 5, pueden tener un
grupo de Galois que no es soluble.
Sin mucha dificultad, se encuentra una traduccion de la existencia de
una f
ormula para las races de un polinomio en terminos de subcampos
de un campo de ruptura.
Definici
on 21.1. Una extensi
on pura de tipo m es una extensi
on
m
k(u)/k, donde u k para alg
un m > 1.
Una extensi
on K/k es una extensi
on radical si existe una torre de
campos
k = K0 K1 Kt = K
y tales que cada Ki+1 /Ki es una extensi
on pura de tipo mi .
74
21.1
F
ormulas cl
asicas
F
ormulas clasicas
21.1.1
75
Cuadr
atica
21.1.2
C
ubica
+ 2 ,
2 +
donde
3 = 12 (r + D)
q
= 13
4 3
D = r2 + 27
q
y = 12 + i 23 es una raz c
ubica de la unidad.
b
Veamos ahora que f (x) es soluble por radicales. Se define K1 =
k( D) y K2 = K1 (). La formula muestra que K2 contiene la raz +
de fb(x). Finalmente definimos K3 = K2 (), donde 3 = 1. Las otras
races de fb(x) son + 2 y 2 + que estan en K3 , de donde
E K3 .
Se llega a la extensi
on radical
k = K0 K1 K2 K3 donde E K3
Un campo de ruptura no necesariamente es igual a K3 , porque si todas
las races de f (x) son reales, entonces E R mientras que K3 * R.
Un aspecto interesante de la formula c
ubica es el llamado caso irreducible; la f
ormula para las races de una c
ubica irreducible en Q[x] que
tenga todas las races reales requiere la presencia de n
umeros complejos.
76
r
6
400
27
Esta expresi
on es igual a 1, 2 o 3 (!!) No es obvio que el valor de la
expresi
on sea real o racional, mucho menos entero.
3
Esto ocurre siempre que D = r2 + 4q
ubica
/27 sea negativo. Toda c
tiene una raz real y la formula tiene a D.
21.1.3
Cu
artica
Traducci
on a la teora de grupos
77
21.2
Traducci
on a la teora de grupos
Ahora veamos el efecto que produce el que f (x) sea soluble por radicales sobre su grupo de Galois.
Supuesto que k(u)/k es una extension pura de tipo 6, es decir, u6 k.
As, k(u3 )/k es una extension pura de tipo 2, porque (u3 )2 = u6 k y
k(u)/k(u3 ) es obviamente un extension pura de tipo 3. Entonces, k(u)/k
se puede remplazar por una cadena de extensiones puras, k k(u3 )
k(u) de tipos 2 y 3. Mas generalmente, podemos asumir, dada una torre
de extensiones puras, cada campo es de tipo primo sobre el anterior.
Si k k(u) es de tipo m, factorizando m = p1 pq , donde los p (no
necesariamente diferentes) son primos y se remplaza k k(u) por
k k(um/p1 ) k(um/p1 p2 ) k(u)
Definici
on 21.3. Una extensi
on E/k es una extensi
on normal si todo
polinomio irreducible p(x) k[x] que tiene una raz en E, se factoriza en
E[x].
78
La proposici
on que sigue, es la clave que permite traducir la solubilidad por radicales al lenguaje de grupos de Galois y muestra porque las
extensiones normales se llaman as. Se puede observar como las extensiones de campos hacen el papel de subgrupos de grupos.
Proposici
on 21.1. Si k K E son campos, donde K/k y E/k
son extensiones normales, entonces Gal (E/K) es un subgrupo normal
de Gal (E/k) y
Gal (E/k)/Gal (E/K)
= Gal (K/k)
Demostraci
on. Es la de la proposicion 5.6, hay que leerla de nuevo con
mucho cuidado.
El resultado que sigue sera necesario cuando se aplique la proposicion
anterior
Proposici
on 21.2. Sea B una extensi
on finita de un campo k.
1. Existe una extensi
on finita F/B con F/k una extensi
on normal.
2. Si B es una extensi
on radical de k, entonces existe una torre de
campos k B F con F/k una extensi
on normal y radical.
Adem
as, el conjunto de tipos de las extensiones puras que ocurren
en una torre radical de F/k es el mismo que el conjunto de tipos
en la torre radical de B/k.
Demostraci
on. (1) Como B es una extension finita, entonces B = k(z1 . . . . , z` )
para elementos z1 . . . . , z` B. Para cada i se tiene un polinomio irreducible pi (x) k[x] con pi (zi ) = 0. Se define f (x) = p1 (x) p` (x) k[x]
B[x] y se define F como el campo de ruptura de f (x) sobre B. Como
f (x) k[x], F/k tambien es un campo de ruptura de f (x) sobre k y F/k
es una extensi
on normal.
(2) Se tiene que
F = k(z1 , z10 , z100 , . . . , z20 , z200 , . . . , z` , z`0 , z`00 . . . )
donde zi , zi0 , zi00 , . . . son las races de pi (x). Afirmamos que
F = k({(z1 ), . . . , (z` ) | Gal (F/k)})
Claramente, el lado derecho de la igualdad esta contenido en F , es
suficiente demostrar la otra inclusion. En efecto, basta demostrar que
zi0 = (zi ), donde ahora zi0 denota una raz de pi (x) para alg
un i. Por la
Traducci
on a la teora de grupos
79
proposici
on 3.4, existe un isomorfismo : k(zi ) k(zi0 ) que fija a k y
zi 7 zi0 y, por la proposicion 5.3, cada se extiende a un isomorfismo
Gal (F/k). Entonces, zi0 = (zi ), como se deseaba.
Como B es una extension radical de k, existen u1 , . . . , ut B y una
torre radical
k k(u1 ) k(u1 , u2 ) k(u1 , . . . , ut ) = B
(21.1)
80
Demostraci
on. Denotamos Gal (k(u)/k) con G. Sea a = up k. Si es
una p-esima raz primitiva de la unidad, entonces las races 1, , . . . , p1
son diferentes, porque p 6= caracterstica de k, y las races de f (x) = xp a
son u, u, 2 u, . . . , p1 u; como k, se sigue que k(u) es el campo de
ruptura de f (x) sobre k. Si G, entonces (u) = i u para alg
un i.
Se define : G Zp por () = [i]. Para ver es un homomorfismo,
supongamos que G y ( ) = [j], entonces (u) = ( j u) = i+j u
y as, ( ) = [i + j] = [i] [j] = () + ( ). Ahora, N = {1},
porque si () = [0], entonces (u) = u; como, por definicion de G,
fija a k, = 1. Finalmente, mostramos que es sobre. Como u
/ k, el
automorfismo u 7 u, no es la identidad, as que im 6= {[0]}. Pero Zp ,
que tiene orden primo p, no tiene subgrupos diferentes de {[0]} y Zp , de
donde im = Zp y es un isomorfismo.
Veamos el resultado mas importante para la traduccion.
Proposici
on 21.4. Sea k = K0 K1 K2 Kt una extensi
on
radical de un campo k. Supuesto que, para cada i, Ki es una extensi
on
pura de tipo primo pi sobre Ki1 , donde pi 6= caracterstica de k y k
contiene todas las pi -esimas races de la unidad.
1. Si Kt es un campo de ruptura sobre k, existe una sucesi
on de subgrupos
Gal (Kt /k) = G0 > G1 > G2 > > Gt = {1}
con cada Gi+1 subgrupo normal de Gi y con Gi /Gi+1 cclico de
orden primo.
2. Si f (x) es soluble por radicales, entonces su grupo de Galois Gal (E/k)
es un cociente de un grupo soluble
Demostraci
on. (1) Definiendo Gi = Gal (Kt /Ki ) se obtiene una sucesion
de subgrupos de Gal (Kt /k). Como K1 = k(u), donde up1 k, la hipotesis de que k contiene una p-esima raz primitiva de la unidad muestra
que K1 es un campo de ruptura de xp1 up1 . Podemos aplicar la proposici
on 6.3 para ver que G1 = Gal (Kt /K1 ) es un subgrupo normal de
G0 = Gal (K1 /k) y que G0 /G1
= Gal (K1 /k) = Gal (K1 /K0 ). Por 1.57,
Traducci
on a la teora de grupos
81
e Gal (F/k).
No todos lo grupos cumplen la conclusion de la proposicion 6.4(1),
los que las cumplen son los grupos solubles.
Definici
on 21.4. Una serie normal de un grupo G es una sucesi
on de
subgrupos
G = G0 > G1 > G2 > > Gt = {1}
donde cada Gi+1 es un subgrupo normal de Gi .
Un grupo finito G es soluble si G = {1} o existe una serie normal
de G tal que los grupos cocientes Gi /Gi+1 tienen orden primo.
En este lenguaje, de la proposicion 6.4, se tiene: Gal (Kt /k) es soluble
si Kt es una extensi
on radical de k y k contiene races de la unidad
apropiadas.
Ejemplo 21.3. En estos ejemplos se ilustra la definicion de grupo solubles.
1. S4 es un grupo soluble.
Consideremos la cadena de subgrupos
S4 > A4 > V > W > {1}
donde V es el grupo cuarto de Klein y W cualquier subgrupo de V
de orden 2. Esta es una serie normal: primero, comienza con S4 y
termina en {1}; segundo, cada subgrupo es normal en el anterior:
A4 CS4 , VCA4 (hay que demostrarlo), W CV porque V es abeliano.
82
Adem
as, |S4 /A4 | = |S4 |/|A4 | = 24/12 = 2, |A4 /V| = |A4 |/|V| =
12/4 = 3, |V/W | = |V|/|W | = 4/2 = 2 y |W/{1}| = |W | = 2.
Entonces, cada grupo cociente tiene orden primo y S4 es soluble.
2. Todo grupo abeliano finito es soluble.
Demostramos por induccion sobre |G|. Si |G| = 1, se cumple trivialmente. Para el paso inductivo: si G es un grupo abeliano finito,
entonces G tiene un subgrupo de orden d por cada divisor d de |G|.
Como |G| > 1 existe una factorizacion |G| = pd para alg
un primo p
y existe un subgrupo H de G de orden d. Ahora, H C G, porque G
es abeliano y |G/H| = |G|/|H| = pd/d = p. Por induccion, existe
una serie normal de H a {1} con grupos cocientes de orden primo,
de lo que se sigue que G es un grupo soluble.
3. Todo grupo simple no abeliano no es soluble.
Como los u
nicos subgrupos normales de G sin {1} y G, toda serie
normal de G tiene la forma
G = G0 = G1 = = Gm > Gm1 = = Gt = {1}
Entonces, todos los grupos cocientes son {1}, excepto Gm /Gm1
=
G. Como G no es cclico, G no es soluble.
4. S5 no es un grupo soluble.
Se puede demostrar que, para todo n > 5, An es el u
nico subgrupo
propio, no trivial y normal de Sn (esto es clave para demostrar la
simplicidad de An , para n > 5). Se sigue que Sn tiene solo una serie
normal
Sn > An > 1
y los grupos cocientes son; Sn /An
ltimo
= Z2 y An /{1}
= An y el u
no tiene orden primo. Entonces, Sn no es soluble para n > 5
Proposici
on 21.5. Todo cociente G/N de un grupo soluble G, es soluble.
Demostraci
on. Del teorema fundamental de isomorfismo, podemos afirmar que los grupos cocientes son isomorfos a imagenes homomorficas y
por esto es suficiente demostrar que si f : G H es un homomorfismo
sobre (para alg
un grupo H) entonces H es un grupo soluble cuando G es
soluble.
Sea G = G0 > G1 > G2 > Gt = {1} una sucesion de subgrupos
como en la definici
on de grupo soluble. Entonces
H = f (G0 ) > f (G1 ) > f (G2 ) > f (Gt ) = {1}
Traducci
on a la teora de grupos
83
es una sucesi
on de subgrupos de H. Para cada i, se tiene que: Gi+1 C
Gi , entonces como f es sobre, f (Gi+1 ) C f (Gi ). Ahora consideremos el
diagrama:
f
/ f (Gi )
Gi J
JJ
JJ
JJ
JJ
JJ
JJ
JJ
JJ
$
/ f (Gi )/f (Gi+1 )
Gi /Gi+1
84
CAPITULO 22
El teorema fundamental de la
teora de Galois
22.1
Extensiones de Galois
Antes de plantear el resultado fundamental, definimos los que llamaremos campos fijos.
Definici
on 22.1. Supuesto que L/F es una extensi
on finita con grupo
de Galois Gal (L/F ). Dado un subgrupo H Gal (L/F ), entonces
LH = { L | () = , para todo H}
es el campo fijo de H.
Ahora planteamos uno de los teoremas importantes de la teora de
Galois.
Teorema 22.1. Sea L/F una extensi
on finita. Las tres proposiciones
que siguen son equivalentes:
1. L es el campo de ruptura de un polinomio separable en F [x].
2. F es el campo fijo de Gal (L/F ) actuando sobre L.
3. L/F es una extensi
on normal y separable.
86
Demostraci
on. (1) (2): Sea K el campo fijo de Gal (L/F ). Se puede
ver que F K L y vamos a mostrar que K = F . Como L es el campo
de ruptura de un polinomio separable f F [x] sobre F , lo mismo se
cumple para un campo mas grande K, ya que f tambien esta en K[x].
De la proposici
on 5.3, se tiene que
[L : F ] = |Gal (L/F )| y [L : K] = |Gal (L/K)|
adem
as, Gal (L/K) Gal (L/F ), ya que un automorfismo de L es la
identica sobre K, entonces tambien es la identica sobre un campo mas
peque
no F . La otra inclusion tambien se cumple, puesto que si
Gal (L/F ) es la identica sobre K porque K es el campo fijo de Gal (L/F ).
Se sigue que Gal (L/K) Gal (L/F ). Entonces, de las igualdades anteriores
[L : F ] = [L : K]
Como [L : F ] = [L : K][K : F ], se tiene que [K : F ] = 1 y K = F .
(2) (3): Ahora suponemos que F es el campo fijo de Gal (L/F ) y sea
L. En lo que sigue determinamos el polinomio minimal de sobre F
usando una construccion debida a Lagrange. Sean 1 = , 2 , . . . , r los
elementos diferentes de L obtenidos al aplicar los elementos de Gal (L/F )
a . Consideremos el polinomio
h(x) =
r
Y
(x i ) L[x]
(22.1)
i=1
Extensiones de Galois
87
Normalidad: Si f F [x] es irreducible y tiene a como raz, entonces f es el polinomio h definido en 22.1 (salvo alguna constante).
Luego, f se factoriza completamente sobre L, lo que demuestra la
normalidad.
Separabilidad: Si L, entonces su polinomio minimal es el
polinomio h. Entonces es separable sobre F , porque h lo es y se
sigue la separabilidad.
Esto muestra que L/F es normal y separable.
(3) (1): Supuesto que L/F es normal y separable. Podemos escribir, L = F (1 , . . . , n ), donde el polinomio minimal pi de i sobre F es
separable. Sean q1 , . . . , qr elementos diferentes del conjunto {p1 , . . . , pn y
sea
f = q1 qr
entonces f es separable y L es el campo de ruptura de f sobre F . Luego,
L es el campo de ruptura sobre F de un polinomio separable en F [x].
A la luz de este teorema, tenemos la siguiente definicion:
Definici
on 22.2. Una extensi
on L/F es una extensi
on de Galois
si es una extensi
on finita que cumple cualquiera de las condiciones del
teorema 7.1
Ejemplo22.1.
La
extensi
o
n
Q(
2, 3)/Q es de Galois, ya que
La extensi
on Q( 3 2)/Q no es de Galois, porque x3 2 esirreducible
sobre Q, pero no se factoriza completamente sobre Q( 3 2). Se usa
la parte (3) del teorema 7.1.
Veamos un caso donde ser extension de Galois es automatico.
Proposici
on 22.1. Si L/F es una extensi
on de Galois y se tiene un
campo intermedio F K L, entonces L/K es extensi
on de Galois.
Demostraci
on. Usamos la parte (1) del teorema 7.1. Si L/F es de Galois,
entonces L es el campo de ruptura de un polinomio separable f F [x].
Tomando a f como un elemento de K[x], se sigue que lo mismo se cumple
sobre un campo mas grande K.
En la situaci
on de la proposicion anterior se tiene que la extension
K/F no necesariamente es de Galois como se muestra en el ejemplo que
sigue.
88
89
22.1.1
Ejercicios
1. Dada un extensi
on finita L/F y un subgrupo H Gal (L/F ), demostrar que el campo fijo LH es un subcampo de L que contiene a
F.
2. Supuesto que L/F y que , L son separables sobre F , demostrar
que + , y /, ( 6= 0) son separables sobre F .
3. Para cada uno de las extensiones que siguen, ver cuales son de
Galois.
a) Q( 2, 3 2)/Q
b) Q(, )/Q, , son races diferentes de x3 + x2 + 2x + 1.
90
: C
tt
tt
t
t
tt
tt
t
t
tt
t
t
tt
tt
t
t
3
tt
Q( 2)
tt
t
[77
t
tt
77
t
77
tt
77
Q() kXXXX
77
XXXXX
77
XXXXX
XXXXX
77
XXXXX
XXXXX
2)/Q, donde =
2)
[77 dJJ
77 JJJ
77 JJJ
JJ
77
JJ
77
JJ
JJ
77
JJ
7
J
3
Q( 2)
3
Q( 2 2)
C
t:
tt
t
t
tt
tt
t
tt
tttt
tt
ttt
() {. 2 }
3
3
3
3
( 2) { 2, 2, 2 2}
Ahora se debe verificar que:
91
92
r
Y
(x i )
i=0
Recordemos que 1 = , 2 , . . . , r son elementos diferentes de L obtenidos al aplicar los elementos de Gal (L/F ) a . Como K, cada i
est
a en un campo conjugado de K. Usando (1), concluimos que i K
para todo i, de donde h y f se factorizan completamente sobre K.
Resta mostrar que (4) (1). Tomamos K y Gal (L/F )
y sea p el polinomio minimal de sobre F , () tambien es una raz
de p. Como K/F es normal, p se factoriza completamente sobre K, que
implica que ( K. De donde, K K y la igualdad se cumple por la
proposici
on 7.3.
Damos un ejemplo para ver como se aplica este teorema.
Ejemplo 22.4. Utilizamos loque ya realizamos en el ejemplo 5.5. Consideremos Q L = Q(, 3 2). Sabemos que existen automorfismos
, Gal (L/Q) tales que
() =
3
3
( 2) = 2
() = 2
3
3
( 2) = 2
(22.2)
93
tt
tt
t
t
tt
tt
t
t
tt
t
t
tt
tt
t
t
tt
h i
tt
77
t
t
t
77
tt
t
77
zt
77
hi XXXXX
77
XXXXX
77
XXXXX
XXXXX
7
XXXX+
77JJJ
77 JJJ
77 JJ
77 JJJ
JJ
77
JJ
77
JJ
JJ
7
$
h 2 i
t
tt
tt
t
tt
tttt
tt
tttt
zt
h i
Gal (E/Q)
3
= [Q(, 2) : Q()]
[Q(, 3 2) : Q]
=
[Q() : Q]
6
=
2
=3
94
Adem
as, de las definiciones 7.2, es la identidad sobre Q(), ya que
() = . Entonces Gal (L/Q()), y se sigue que Gal (L/Q()) =
hi.
Con argumentos similares para los otros campos intermedios se puede
verificar la correspondencia K 7 Gal (L/K).
Podemos relacionar los diagramas a la proposicion 7.4 y al teorema
7.2. Primero consideremos Q(). Este es el campo de ruptura de x2 +x+1,
y as la extensi
on Q()/Q es de Galois. Por el teorema 7.2, se obtiene:
Q() coincide con sus conjugados en L.
Gal (L/Q()) = hi es normal en Gal (L/Q).
Tambien, por el isomorfismo Gal (L/Q)
= S3 , hi se transforma en
A3 . Luego, hi es normal en Gal (L/Q) y la extension Q()/Q es de
Galois por el teorema 7.2.
3
Gal (L/Q( 2)) = h i
es normal en Gal (L/Q),
por el teorema 7.2. Podemos relacionar los cam
3
pos conjugados
de
Q(
2)
con los conjugados
de h i. Los campos conju
22.2.1
95
Ejercicios
( 2) = 2
( 3) = 3
( 2) = 2
( 3) = 3
b) Construir un diagrama con los subgrupos de Gal (L/Q).
c) Para cada subgrupo de la parte (b), determine el correspondiente de L y construya el diagrama correspondiente.
d ) Explique porque todos los subgrupos de la parte (b) son normales y que repercusion tiene esto sobre los subcampos de la
parte (c).
96
(22.3)
Y
H
(x ())
97
(22.4)
98
77JJJ
77 JJJ
77 JJ
77 JJJ
JJ
77
JJ
77
JJ
JJ
7
$
t
tt
tt
t
t
tt
tt
t
t
tt
t
t
tt
tt
t
t
h i
tt
77
tt
t
77
tt
t
77
ztt
77
hi XXXXX
77
XXXXX
77
XXXXX
XXXXX
7
XXXX+
h 2 i
t
tt
tt
t
tt
tttt
tt
tttt
zt
h i
Gal (E/Q)
Adem
as, el diagrama de los correspondientes campos fijos es, como se vio
en el (Ejemplo 7.3), es
Q(,
: C
tt
tt
t
t
tt
tt
t
t
tt
t
t
tt
tt
t
t
3
tt
Q( 2)
tt
t
[77
tt
77
tt
t
77
t
77
Q() kXXXX
77
XXXXX
77
XXXXX
XXXXX
77
XXXXX
XXXXX
2)
[77 dJJ
77 JJJ
77 JJJ
JJ
77
JJ
77
JJ
JJ
77
JJ
7
J
3
Q( 2)
3
Q( 2 2)
C
t:
tt
t
t
tt
tt
t
tt
tttt
tt
ttt
Del teorema 7.4 se puede afirmar que estos son todos los campos
intermedios. Con los diagramas se ve claramente la correspondencia dada
en el teorema fundamental.
Ahora damos un ejemplo mas complejo.
Ejemplo 22.6. Para la extension Q L = Q(i,
Gal (L/Q) se describe por:
99
(i) = i
4
4
( 2) = 2
(i) = i
4
4
( 2) = i 2
Gal (L/Q)
= D8 , donde D8 es el grupo diedro de orden 8.
{e}
h i
77JJJ
t
tt
77 JJJ
t
77 JJJ
tt
t
77
JJ
tt
t
JJ
77
tt
JJ
t
t
7
JJ
77
tt
JJ
t
t
7
JJ
t
7
t
JJ
7
t
$
t
z t
h 2 i
h 2 i
h i
hi
h 2 , i
h 3 i
77
77
77
77
77
7
77
77
77
77
77
77
77
77
77
77
h 2 , i
JJJ
JJJ
JJ
$
tt
ttt
t
t
tz
Gal(E/Q)
100
Q(i,
4
Q( 2)
2)
: C O [77 dJJ
tt
77 JJJ
tt
t
77 JJJ
t
JJ
tt
77
t
JJ
tt
7
JJ
t
77
JJ
tt
t
7
JJ
t
t
7
JJ
t
7
JJ
tt
7
t
7
JJ
t
t
7
JJ
t
7
tt
4
Q(i 2)
Q((i, 2)
Q( 2)
Q(i)
dJJ
JJ
JJ
JJ
J
:
tt
tt
t
tt
tt
4
4
Q((i + 1) 2) Q((1 i) 2)
dJJ
JJ
JJ
JJ
J
Q(i,
O
dJJ
t:
JJ
tt
JJ
t
t
JJ
tt
JJ
tt
J
t
t
:
tt
tt
t
tt
tt
2)
Q
Del teorema 7.4 se puede afirmar que estos son todos los campos
intermedios. Con los diagramas se ve claramente la correspondencia dada
en el teorema fundamental.