Algebra Abstracta

Apuntes del Curso Elementos de lgebra (Primera Versin)
Profesor: Pablo Dartnell Auxiliar: Mara Isabel Corts
Captulo 1 Elementos de Teora de Grupos.

1.1 Deniciones bsicas.
Denicin
Un Monoide es una estructura algebraica con operacin (M, ) tal que: 1. es asociativa 2. tiene neutro , 1 M
Denicin Grupo es una estructura con una operacin (G, ) tal que:
1. es asociativa en G 2. tiene neutro, 1 G 3. todo elemento x G tiene inverso x1 G
Ejemplo: (Z, +) es grupo

Denicin
Un grupo se dice Abeliano si la operacin es conmutativa 3
CAPTULO 1. ELEMENTOS DE TEORA DE GRUPOS.
Ejemplo:
Sean Bn = {1..n} y Sn = n = { : Bn Bn / es biyeccin} .Sn es el conjunto de permutaciones con n letras. (Sn , ) es grupo , con la composicin de funciones. Es abeliano si n 2 . Si n 3 no es abeliano. Las permutaciones se anotan como = 1. n 2 a) n = 1 Sn = S1 = {id{1} } , obviamente ({id{1} }, ) es abeliano. b) n = 2 Sn = S2 = {1 , 2 }
1 2 ... n (1) (2) . . . (n)
Sn
1 =
1 2 1 2
= id{1,2}
2 =
1 2 2 1
id id id id
es abeliano.
1. n 3 , hay n! elementos (permutaciones). a) n = 3
1 2 3 2 3 1
1 2 3 2 1 3
1 2 3 3 2 1
1 2 3 1 3 2
= S3 no es abeliano.
b) n 3
1 2 3 4 ... n 2 3 1 4 ... n
1 2 3 4 ... n 2 1 3 4 ... n
= Sn no es abeliano.
1.2 Buenas Funciones entre Grupos: Morsmos

Denicin
Sean (G ), (H, H ) dos grupos . Un Morsmo (u homomorsmo) entre ellos es una funcin f : G H tal que: (x, y G) f (x y) = f (x) H f (y) . Un morsmo como este se suele denotar por f : (G, ) (H, H ) Nombres especiales:
1.3. LOS BUENOS SUBCONJUNTOS DE UN GRUPO: SUBGRUPOS.
Un morsmo inyectivo, se dice monomorfismo. Un morsmo sobreyectivo, se dice epimorfismo. Un morsmo biyectivo, se dice isomorfismo. Un morsmo del grupo (G, ) en si mismo , endomorfismo . Un isomorsmo de (G, ) en si mismo, automorfismo.
Observacin:
Un morsmo de grupos realmente lleva una estructura a la otra. Si f : (G, ) (H, H ) es morsmo, entonces:
f (1G ) = 1H (x G) f (x1 ) = f (x)1

(Ejercicio )
1.3 Los Buenos Subconjuntos de un Grupo: Subgrupos.

Denicin:
Sea (G, ) un grupo.Un subconjunto H G se dice subgrupo si slo si : 1. es cerrado en H . Es decir, (x, y H, x y H) 2. (H, |H ) es tambinun grupo.
Observacin:
Si H es un subgrupo de (G, ) el neutro de en H es el mismo que el neutro de en G , y (x H) el inverso de x para en H es el mismo que tena en G. (Ejercicio )
Ejercicio:
H subgrupo de (G, ) ssi: es cerrada en H 1G (x H) x1 H
Prop
(Caracterizacin de Subgrupos). H G es subgrupo del grupo (G, ) ssi: 1. H = 2. (x, y H) x y 1 H (ejercicio)
Ejercicio:
Sean (G, ) (L, ) dos grupos y f : G L un morsmo.Entonces: 1. Si H G es subgrupo f (H) L es subgrupo. 2. Si K L es subgrupo, entonces f 1 (K) G es subgrupo .
Denicin
Sea f : (G, ) (L, ) un morsmo de grupos . Se denen los siguientes conjuntos: 1. Ncleo de f : Kerf = f 1 {1} = {x G/f (x) = 1} G. 2. Imagen de f : Imf = f (G) L . Es fcil probar que Kerf e Imf son subgrupos de G y L respectivamente. Obviamente f sobreyectiva Imf = L .
Prop
f morsmo inyectivo Kerf = {1} .
Dem.
) (ejercicio) )
Si x, y G son tales que f (x) = f (y) f (x) f (y)1 = 1 f (x) f (y 1 ) = 1 f (x y 1 ) = 1 i.e x y 1 Kerf = {1} x = y
1.4. BUENOS CUOCIENTES EN GRUPOS.
1.4 Buenos Cuocientes en Grupos.

Denicin.
Sea (G, ) un grupo.Una relacin de equivalencia en G se dice compatible con ssi: (x, x , y, y G) x x y y x y x y
Observacin:
Dada una relacin de equivalencia en G compatible con , queda bien denida la operacin entre clases: ([x], [y] G/ ) [x] [y] = [x y] .
(G/ , ) es un grupo con neutro [1] y ([x] G/ ) [x]1 = [x1 ] .

Adems, la Sobreyeccin Cannica : G G/ x [x] es un epimorsmo de grupos. (El epimorsmo cannico). Notar que si es compatible con en G , entonces [1] G es un subgrupo , en efecto:
1 [1] Si x, y [1] (x 1 y 1) x y 1 x y [1] Si x [1] : x 1 x1 x1 (pues es reeja) 1 x1 x1 [1]

Adems, este subgrupo H = [1]tienelasiguientepropiedad :
(x G)(y H) x y x1 H (i.e (x G) x H x1 H. En efecto: (y 1) (x x) (x1 x1 ) x y x1 x 1 x1 = 1

y concluimos que (x G) x H x1 = H . pues x1 H x H H x H x1
Denicin
Sea (G, ) un grupo, y a G .El Automorsmo Interior denido por a es:
Ia : G G x Ia (x) = a x a1
Ejercicio:
Ia es un automorsmo Ia Ib = Iab I1 = idG Ia1 = (Ia )1
La clase del 1 en una relacin compatible con es tal que: (x G) Ix (H) = H (cerrado para todos los automorsmos interiores).
Denicin
Sea (G, ) un grupo.Un subgrupo H G se dice Normal ssi: (x G) x H x1 = H (cerrado para los automorsmos interiores)
Notacin:
H G H es subgrupo normal de G
Ejercicio:
Sean (G, ) , (H, ) dos grupos, y f : G L un morsmo.Probar que Kerf es un subgrupo normel de G .
Denicin
Sea H G un subgrupo y denamos la siguiente relacin en G : x H y x1 y H
Ejercicio:
1. H es de equivalencia 2. H es compatible con H G 3. [1] = H
Observacin:
x H y x1 y H y x H , con x H = {x h/h H} traslacin izquierda de x por H G H = {[x]/x G} = {x H/x G} [x] = x H se suele llamar clase izquierda de x denida por H . x H y y x1 tambin es de equivalencia en G . con [x] = H x clase derecha de x denida por H .
En general , xH y Hx no tienen por que coincidir , de hecho H G (x G) xH = Hx . ( H es la misma que H ssi H G).
G/ H es slo un conjunto . Adquiere estructura natural de grupo ssi H G .

Si f : G L es un morsmo de grupos, entonces Kerf ncleo de un morsmo. En efecto:
G. A la inversa, todo H
G es
Tomando la relacin de equivalencia H formamos el grupo cuociente L = G/ H y el epimorsmo cannico : G L tal que (x) = [x] . Se tiene entonces Ker = {x G/(x) = [1] = H } = H .
Ejemplo:
Enteros mdulo m , m 1 en N Cuocientes de (Z, +) subgrupos normales de (Z +) (H G H es subgrupo y x Z x + H + (x) = H ). De aqu se deduce: Si (G, ) es grupo abeliano, todo H subgrupo de G es normal.
Prop
Los subgrupos de (Z, +) son todos de la forma {mk/k Z } = mZ m N jo.
Dem.
) Es claro que son Subgrupos. ) Sea H Z un subgrupo . Si H = {0} H = 0Z Si H = {0} : Sea m H el ms pequeo de los elementos mayores que 0 en H. Tomemos h H un elemento cualquiera.Por el teorema de la divisin de enteros h = mq + r 0 r < m
10
r = h mq H , pues h, mq H r=0 por lo tanto H = mZ

La relacin H asociada a H = mZ es x H y x + y = mk, k Z x m y y entonces resulta que Z/ H = Zm (enteros mdulo m) La operacn en Zm es suma mdulo m.
(m 2) : Zm = {[0], [1], ..., [m 1]}.
Notacin:
Si (G, ) es grupo, y H mdulo H
G , el cuociente G/ H se anota simplemente G/H , y se lee : G
1.4.1 Teorema del Factor

Sean (G, ) , (L, ) grupos. f : (G, ) (L, ) morsmo y H G , con H Kerf .
f
G/H
Entonces ! morsmo f : (G/H) (L, ) tal que f = f .(i.e el diagrama conmuta).
Dem.
La ecuacin f = f signica f ([x]) = f (x) . Probemos que esta frmula tiene sentido, i.e [x] = [x ] f (x) = f (x )
[x] = [x ] x H x x1 x H h H tq x1 x = h f (x1 x ) = f (h) = 1 (h Kerf ) f (x)1 f (x ) = 1 f (x) = f (x )

por lo tanto, la funcin f : G/H L queda bien denida. [x] f (x) Es fcil ver que es morsmo:
f ([x] [y]) = f ([x y]) = f (x y) = f (x) f (y) = f ([x]) f ([y])

Como f ([x[) est predenida por f = f entonces f es nico.
11
Observacin:
Se dice que factorizamos el morsmo f : G L a travs de G/H con H Kerf .
Nota:
Imf = Imf , por lo tanto, f epimorsmo f epimorsmo Kerf = {[x] G/H : f ([x]) = 1} = {[x] G/H : f (x) = 1} = {[x] G/H : x Kerf } = Clase de los elementos del Kerf Veamos que si x Kerf , entonces [x] Kerf : y [x] x1 y H y xH , como Kerf es subgrupo y H Kerf xH Kerf , por lo tanto, la clase de x si x Kerf sigue en Kerf . De aqu se puede escribir : Kerf = Kerf /H , y as f inyectiva H = Kerf .
Corolario
Si f : G L es un epimorsmo, entonces G/Kerf L, y en general, si f : G L es = morsmo, entonces Imf G/Kerf . =
1.4.2 Generadores de Subgrupos

Sea (G, ) un grupo y A G .El subgrupo generado por A se dene como:
< A >=
AHsubgrupo de G
Ejercicio:
La interseccin de una cantidad cualquiera, nita o innita de subgrupos de G es a su vez un subgrupo de G .
Qu es < A > ?
1. Es subgrupo. 2. < A > A . 3. Es el subgrupo de G ms pequeo que contiene a A , i.e. si H G es subgrupo y H A H < A >.
12
Prop
1. Si A B G entonces < A > . 2. A es subgrupo de G A =< A > . 3. << A >>=< A > .
Denicin
Si (G, ) es grupo, y a G , para n Z denimos an como:
a0 = 1 (con 1 el neutro en G ) an+1 = an a n N an = (an )1 si n < 0
Prop
(n, m Z)(a G) an+m = an am (an )m = anm
Prop
Si A G , A = , entonces < A >= {am1 ... amn /n N, m1 ...mn Z, a1 ...an A} 1 n
Denicin
Sea (G, ) un grupo. Diremos que G es cclico ssi ( a G) tal que G = {an /n Z } .
Ejemplos:
(Z, +) es cclico : Z =< {1} > . (m 1) (Zm , +) es cclico: Zm =< {[1]} > .
Salvo isomorsmos, estos son los nicos grupos cclicos que hay. Es decir, si G es cclico, entonces: G (Zm , +) si G es nito, con m =| G | , o bien, = G (Z, +) si G es innito =
13
Dem.
Si G es cclico, G = {an /n Z } . Sea f : Z G n f (n) = an Es claro que f es un epimorsmo entre (Z, +) y (G, ) . Veamos que si G es innito, f es realmente un isomorsmo. Para esto probemos la inyectividad. Kerf = {n Z/f (n) = an = 1}
afirmacin: no hay ningn n = 0 en Kerf ( no hay ningn n > 0 en Kerf ).
Si n > 0 est en Kerf , entonces G = {ak /k Z } = {1, a, .., an1 } G es nito por lo tanto, en este caso, f es isomorsmo. En general , el ncleo de f ser un subgrupo de Z : mZ , para algn m N , y por el teorema del factor
Z G
f
Z/mZ
G Z/mZ = Zm . con m =| G | para | G |< . =
Denicin
Sea (G, ) un grupo , y A G . El Subgrupo normal generado por A es:
< A >N =
AH G
Ejercicio:
Una interseccin cualquiera de subgrupos normales de G es un subgrupo normal.
Observacin:
< A >N se caracteriza naturalmente como el subgrupo normal mas pequeo de G que contiene a A .
Claramente < A >< A >N .
14
Prop
< A >N = {Ix1 (am1 ) Ixn (amn )/n N, m1 . . . mn Z, a1 . . . an A, x1 . . . xn G} . 1 n
La demostracin queda de ejercicio.
Conmutadores y Abelianizacin de un grupo Denicin

Sea (G, ) un grupo , sean x, y G . Llamamos conmutador de x e y a [x, y] = xyx1 y 1 . Es claro que x y = y x [x, y] = 1 .
Obsrvacin:
Si z G, Iz ([x, y]) = [Iz (x), Iz (y)] .(Mejor an , si f : G L es morsmo de grupos, y x, y G , f ([x, y]) = [f (x), f (y)] ), por lo tanto , si A = {[x, y]/x, y G} , entonces , < A >=< A >N = [G, G] subgrupo conmutador de G . Notar que [G, G] = {[x1 , y1 ] ... [xn , yn ]/n N, x1 ...xn , y1 ...yn G} .
Denicin
La abelianizacin de G es Ab(G) = G/[G, G] .
Prop
Ab(G) es un grupo abeliano. Mejor an , (H G) G/H es abeliano H [G, G].
Dem.
) Para H G con H [G, G], calculemos los conmutadores de G/H :
Sean [x], [y] G/H . [[x], [y]] = [(x), (y)] = [x, y] = [[x, y]] = H, pues [x, y] H , pero H = [1] [[x], [y]] = [1] [x] [y] = [y] [x] .
) directo de lo anterior.
Denicin
Si G es un grupo , y H , K son subgrupos de G , entonces el compuesto de H y K es H K =< H K > (subgrupo ms pequeo que contiene a H y K ). Evidentemente H K = {h1 k1 hn kn /n N, h1 . . . hn H, k1 . . . kn K}
15
Prop
1. Si H G y K G , entonces H K G 2. H K = K H 3. Si H G , H K = {h k/h H, k K}
Dem. ( de 3.)
Induccin ms lo siguiente:
h1 , h 2 H k1 , k 2 K
1 h1 k1 h2 k2 = h1 k1 h2 k1 k1 k2 1 k1 h2 k1 = h H h1 h = h H k1 k2 = k K .
Completar la demostracin.
Otro Ejemplo de Cuocientes

Notemos que si X es un conjunto, entonces (Biy(X), ) es un grupo , donde
Biy(X) = {f : X X/f es biyeccin} .

Si X = G grupo , tenemos el subgrupo Aut(G) Biy(G) , con Aut(G) el conjunto de automorsmos de G . Podemos mirar globalmente los automorsmos interiores como provenientes de la funcin I : G Aut(G) a I(a) = Ia que es un morsmo de (G, ) en (Aut(G), ) .
I(G) = {Ia /a G} , la imagen de este morsmo, es el conjunto de automorsmos interiores de G .
Ejercicio: I(G) Aut(G) (notar que f Ia f 1 = If (a) )

KerI ?
a KerI Ia = idG (x G) axa1 = x (x G) ax = xa (x G) a conmuta con x
Denicin
El centro de un grupo (G, ) es Z(G) = {a G/x G ax = xa} . As , Z(G) = KerI Directamente del teorema del factor G/Z(G) I(G) = El isomorsmo viene dado por la aplicacin del teorema del factor al epimorsmo
G.
16

I
I(G)
G/Z(G)
Notacin:
La operacin x axa1 se suele llamar conjugacin de x por a , as , Ia es la conjugacin por a en G .
1.4.3 Teorema de Correspondencia

Prop
Si f : G L es un morsmo de grupos , y H G es un subgrupo , se tiene f 1 (f (H)) = (Kerf )H .
Dem.
x f 1 (f (H)) f (x) f (H) (h H) f (x) = f (h) (h H) f (xh1 ) = 1 (h H) xh1 Kerf
Sea f : G L un epimorsmo de grupos , sabemos del teorema del factor , que
f : G/Kerf L es isomorsmo [x] f (x)

As , H L subgrupo , f (H ) G/Kerf es subgrupo. (respectivamente , si H 1 respectivamente f (H ) G/Kerf ).
1
(H ) = {[x] G/Kerf /f (x) H } = {x Kerf /x f 1 (H )} = f 1 (H )/Kerf
Con la observacin de que (x f 1 (H )) [x] = x Kerf f 1 (H ) Kerf = f 1 (H ) , luego los elementos [x] G/Kerf , con x f 1 (H ) son elementos de f 1 (H )/Kerf .

f
17
G/Ker f
Prop
Hay una correspondencia uno a uno entre subgrupos de G que contienen a Kerf y subgrupos de L. Subgrupos de G que contienen a Kerf Subgrupo de L
f 1 (H ) H H f (H)
Ms aun , esto induce una correspondencia uno a uno: Subgrupos normales de G que contienen a Kerf subgrupos normales de L
f 1 (H ) G H L H G f (H) L
Dem.
f (f 1 (H )) = H por que f es sobreyectiva f 1 (f (H)) = Kerf H = H
(completar parte de subgrupos normales). Situacin usual: H G, : G G/H subgrupos de G (normales) subgrupos (normales) de G/H que contienen a H .
1.4.4 Teoremas de Isomorsmos

Primer teorema de isomorsmos
Sea f : G L un epimorsmo de grupos , y sea H G , con H Kerf . Entonces la funcin f induce un isomorsmo
f : G/H L/f (H) [x] [f (x)]
18
Dem.
Por teorema de correspondencia f (H) L
f : G L , : L L/f (H) .
Sea f = f , que es epimorsmo , pues f y lo son. El teorema del factor dice que se induce un isomorsmo
f : G/Kerf L/f (H) [x]Kerf f (x) = [f (x)]f (H) e

pero Kerf = Ker( f ) = f 1 ( 1 (1)) = f 1 (Ker) = f 1 (f (H)) = H Kerf = H
Corolario
Si f : G L es epimorsmo de grupos , y H
L , f induce un isomorsmo
f : G/f 1 (H ) L/H [x]f 1 (H ) [f (x)]H
Dem.
Tomar H = f 1 (H ) en el teorema anterior y usar correspondencia.
Corolario
(lo que usualmente se llama primer teorema de isomorsmos). Sea G grupo H, K G , con K H . Entonces (G/K)/(H/K) G/H = [[x]K ]H/K [x]H
Dem.
Notar que H/K G/K . Aplicamos el primer teorema de isomorsmos a : G G/K , con el subgrupo normal H G que contiene a Ker = K
: G/H (G/K)/(H)
con (H) = H/K
Segundo teorema de isomorsmos

Sea G grupo , H, K subgrupos de G , con H G . Entonces :
H K G, H HK y K/H K H K/H = [x]HK [x]H
1.5. ACCIONES DE GRUPOS SOBRE CONJUNTOS
19
Dem.
Considerar: i K H K H K/H x x [x]H Ver que i es epimorsmo y calcular su ncleo.
Denicin
Un grupo (G, ) se dice nito si el conjunto G es nito. Se llama Orden del grupo a su nmero de elementos: | G | .
Proposicin
Si (G, ) es grupo nito , y H es un subgrupo de G , entonces | H | / | G | . ( i.e | H | es un divisor de | G | ).
Dem.
: unin disjunta con respecto a la relacin H G=
[x]clase de eq. de H [x] xH es clase
| G |=
| xH | , pero | xH |=| H |
| G |= (nmero de clases) H
Denicin
El cardinal de G/H , i.e , el nmero de clases de H se llama ndice de H en G , y se anota [G : H] =| G/H | .
Frmula: | G |= [G : H] | H | . Ejemplo: si | G | es primo , los nicos subgrupos de G son {1} y G .
1.5 Acciones De Grupos Sobre Conjuntos

Denicin
Sea (G, ) un grupo , y X = un conjunto. Una accin (izquierda) de G en X es una funcin : G X X (g, x) (g, x)
20 ( Notacin: (g, x) = gx ) con las siguientes propiedades: 1. (x X) 1x = x
2. (g, h G)(x X) g(hx) = (g h)x
Observacin 1:
Una accin derecha de G sobre X es una funcin : X G X con las (x, g) xg = (x, g) siguientes propiedades: 1. (x X) x1 = x 2. (g, h G)(x X) (xg)h = x(g h) Parece una tomadura de pelo , pero si a partir de se dene : G X X como gx = (g, x) = (x, g) = xg , se tiene , por la propiedad 2. aplicada a , que h(gx) = (gh)x , lo que no siempre es igual a la propiedad 2. de las acciones izquierdas. Sin embargo, hay una manera de relacionar acciones izquierdas con derechas mediante lo siguiente: Si es una accin derecha de G en X , dada por (g, x) = gx = xg 1 = (x, g 1 ) es una accin izquierda.
Denicin
Una terna (G, X, ) donde es una accin de G en X , se suele llamar G -espacio (izquierdo).
Observacin 2 :
Dada una accin de G sobre X , podemos denir para cada g G la funcin
g : X X mediante g (x) = gx = (g, x) . Se tiene:

1. 1 = idX 2. gh = g h De aqu g es invertible , con (g )1 = g1 De este modo queda denida la funcin : G Biy(X) g g Recordando que (Biy(X), ) es un grupo , 2. dice que : (G, ) (Biy(X), ) es un morsmo. Reciprocamente , dado un morsmo : (G, ) (Biy(X), ) se puede denir (g, x) = g (x) con g = (g) , resulta ser una accin de G en X , tal que su es .
21
Observacin 3:
Si X es un espacio vectorial sobre un cuerpo K y (g G) g es un isomorsmo lineal de X , entonces se habla de Representaciones de G en X .
Ejemplo 1: Accin de G sobre si mismo mediante conjugaciones.

X = G (g, x) = gxg 1 = Ig (x)
Sabemos que I : (G, ) (Aut(G), ) es un morsmo, y (Aut(G), ) es un subgrupode g Ig (Biy(X), ) , por lo tanto tenemos una accin de G sobre G .
Ejemplo 2: Accin de G sobre si mismo mediante traslaciones (izq).

Dado g G , se dene la traslacin izquierda por g como Tg: G G x Tg (x) = gx Evidentemente (g, x) = gx (producto en G ) , es una accin de G sobre si mismo , y el morsmo asociado es T : (G, ) (Biy(G), ) g Tg Es fcil ver que este morsmo T es inyectivo: KerT = {g G/Tg = idg } = {g G/(x G) gx = x} = {1} As , G se puede identicar con el subgrupo T (G) (las traslaciones) en Biy(X) . De aqu sale un conocido teorema:
Teorema
Todo subgrupo nito de orden n , es isomorfo a un subgrupo del grupo de permutaciones Sn de n smbolos.
Ejemplo:
(Z3 , +) es isomorfo a un subgrupo de S3
22
f g h
{f, g, h} S3 es el subgrupo isomorfo a (Z3 , +)
Ejemplo:
Sea ahora G un grupo y H G un subgrupo ( no necesariamente normal ).
X = G/H = {[x]/x G} = {xH/x G} G acta por traslaciones sobre G/H mediante g(xH) = (gx)H .
Denicin
Sean (G, X, ) y (G, Y, ) dos Gespacios .Una funcin f : X Y se dice G equivariante (con respecto a las acciones y ) o que f es un morsmo de los G espacios (G, X, ) y (G, Y, ) , ssi
(g G)(x X) f (gx) = gf (x) (i.e f ((g, x)) = (g, f (x)) .

Un isomorsmo de G espacios es un morsmo biyectivo . Se denen de manera natural los monomorsmos, epimorsmos , endomorsmos y automorsmos de G espacios.
Denicin
Sea una accin de G sobre X .La accin se dice transitiva ssi (x, y X)( g G) tal que y = gx .(G, X, ) se dice G espacio homogeneo.
Ejemplo:
G acta transitivamente sobre cualquier cuociente G/H por traslacin.
23
Denicin
Sea X un G espacio , y xo X . Llamamos estabilizador de xo (o grupo de isotropa ) al conjunto
Est(xo ) = {g G/gxo = xo } .
Es directo que Est(xo ) es subgrupo de G , y tambin que Est(hxo ) = hEst(xo )h1 As , si la accin es transitiva , todos los estabilizadores de los elementos de X son conjugados entre s , y por lo tanto , isomorfos.
Teorema
Sea X un G espacio homogeneo . Sea xo X un elemento cualquiera. Entonces X es isomorfo a G/Est(xo ) ( como G espacios ) .
Dem.
Sea f : G X . Sean g, h G tales que g Est(xo ) h i.e g f (g) = gxo
g 1 h Est(xo ) g 1 hxo = xo hxo = gxo f (x) = f (g) X podemos entonces denir f : G/Est(xo ) [g] f ([g]) = f (g) = gxo f es sobreyectiva por la transitividad de la accin de G en X , por lo tanto , f es sobreyectiva. da la inyectividad de f , por lo tanto , f es biyectiva.
Ejercicio:
Ver que f es equivariante , por lo tanto , X G/Est(xo ) . =
Denicin
Sea X un G espacio . Sea xo X , la rbita de xo es Orb(xo ) = {gxo /g G} X .
Observacin:
Denamos en X la relacin x G y (g G) tal que y = gx .
G es de equivalencia , con [xo ] = Orb(xo ) . As , si Orb(xo ) = Orb(x1 ) Orb(xo ) Orb(x1 ) = y Orb(x) = X

xX
24
Observacin:
La accin es transitiva hay una sla rbita que es todo X . En general , G acta sobre cada rbita de forma cerrada:
x Orb(xo ) gx Orb(xo ) , convirtindola en un G espacio homogeneo.

As X = se escribe como unin disjunta de homogeneos) y adems Orb(x ) G/Est(x ) . =
Orb(x ) , y cada rbita es un G espacio homogeneo. ( cualquier G espacio
Ejemplo:
Volvamos al primer ejemplo , la accin de G sobre si mismo por conjugacin.
gx = g x g 1
(Notar que si G es abeliano , gx = xx, g ) . Sea xo G
Orb(xo ) = {gxo g 1 /g G} = { conjugados de xo } = conj(xo ) (clase de conjugacin de xo ) Orb(xo ) G/Est(xo ) = Est(xo ) = {g G/gxo = xo } = {g G/g xo g 1 = xo } = {g G/g xo = xo g} = Z(xo ) (centralizador de xo ).
Corolario
El centralizador Z(g) de un elemento cualquiera g G es un subgrupo. Como G =
Orb(x ) (un representante por cada rbita )
G=
conj(x )
Notemos que x Z(G) conj(x) = {x} As repartiendo la unin en las clases con un elemento y el resto de las clases , queda:
G = Z(G)
conj(x ))
Con el conjunto que indexa las clases de conjugacin con ms de un elemento.
1.6. TEOREMA DE CAUCHY
25
Corolario (frmula de las clases)

Sea G un grupo nito .
| G |=| Z(G) | +
[G : Z(x )]
Donde la suma se toma sobre un representante por cada clase de conjugacin con ms de un elemento.
Aplicacin : (Propiedad )
Sea G un grupo nito no trivial (i.e = {1} ) , de orden potencia de primo (| G |= pn , n 1 p primo ). entonces | Z(G) |> 1 .
Dem.
Probemos que , en la ecuacin de las clases , p/[G : Z(x )] para cada uno de los sumandos. En efecto:
| G |= pn =| Z(G) | [G : Z(x )]
pero [G : Z(x )] =| conj(x ) |> 1
[G Z(x )] = pr r 1 p/ [G : Z(x )] , y como p/ | G | p/ | Z(G) |
1.6 Teorema de Cauchy

Denicin
Sea G un grupo , g G . Se llama orden de g a |< {g} >|=| {g n /n Z} |= O(g) . Algunas cosas directas: Supongamos que g es de orden nito
Si g n = 1 O(g)/n < {g} > Z/Kerf = O(g) Z ZO(g) . = = n Mejor aun , {n Z/g = 1} = O(g) Z = { multiplos de O(g)} En particular O(g) = min{n > 0/g n = 1} . Si O(g) = m y x < {g} > , entonces xm = 1 .(pues (g r )m = (g m )r ).
26
Teorema de Cauchy
Sea G un grupo nito y p un primo tal que p/ | G | . Entonces existe un elemento g G de orden p .
Dem.
Primero Cauchy dbil : caso en que G es un grupo nito abeliano. Por induccin en | G | : Partida (| G |= 2 o | G | primo , el mismo argumento ) Si | G | es primo y p/ | G | , entonces | G |= p . En este caso , si g G/{1} , O(g) > 1 , pero como O(g)/p O(g) = p . Paso inductivo: Hiptesis de Induccin : la propiedad es cierta para cualquier grupo abeliano de cardinal < | G | . Queremos probarlo para G . Tomemos un elemento g G \ {1} . Hay dos casos: 1. p/O(g) Se tiene entonces que O(g) = pr para algn r . g pr es la primera vez que una potencia de g se hace 1 . por lo tanto, (g r )p = 1 es la primera vez que una potencia de g r vale 1. Por lo tanto , O(g r ) = p 2. Si p no divide a O(g) Sea L = G/ < {g} > (este cuociente tiene sentido pues, por ser G abeliano , todos sus subgrupos son normales). |G| | L |= O(g) como p no divide a O(g) , entonces p/ | L | .Usemos la H.I para L :
[h] L de orden p , por lo tanto , [h]p = [hp ] = [1] =< {g} >
por lo tanto hp = g s , para algn s
(hp )O(g) = 1 (hO(g) )p = 1 Hay dos posibilidades: hO(g) = 1 O(hO(g) ) = 1
1.7. P-GRUPOS Y TEOREMAS DE SYLOW Descartemos hO(g) = 1 :
27
Si hO(g) = 1 [h]O(g) = [1] p/O(g) (pues O([h]) = p ) , pues estamos en el caso p no divide O(g) . Por lo tanto , hO(g) no puede ser 1
O(hO(g) ) = p
Resuelto para el caso de grupo abeliano. Caso general: (G no necesariamente abeliano) Por induccin en | G | . Partida : para | G | primo (basta con | G |= 2 abeliano) Paso inductivo: Usemos la ecuacin de las clases para G
| G |=| Z(G) | +
[G : Z(x )] G.
Z(G) = G G es abeliano (caso anterior).

Supondremos Z(G) Analicemos los trminos de la sumatoria de la derecha. Por cada clase de conjugacin con ms de un elemento , se escoge un x . [G : Z(x )] es el nmero de elementos de esta clase de conjugacin. Si p/ | Z(x ) | , como | Z(x ) |=
|G| [G:Z(x )]
y [G : Z(x )] > 1
se tiene | Z(x ) |<| G | . por lo tanto , podemos aplicar la H.I a Z(x ) Z(x ) tiene un elemento de orden p . Supongamos ahora , que x , p no divide a Z(x )
(x ) p/[G : Z(x )] p/ [G : Z(x )] y como p/ | G | p/ | Z(G) | aplicando H.I , Z(G) tiene elementos de orden p .
Ejercicio:
Si G es abeliano nito , y | G |= pq con p, q primos , entonces G tiene un elemento de orden pq .
1.7 P-Grupos y Teoremas de Sylow

Denicin
Sea p un primo .Un grupo G se llama p-grupo ssi todo elemento x G tiene orden potencia de p .
28
Ejercicio :
Si G es nito. G es p-grupo | G | es potencia de p Continuamos con la denicin:
Si G es p-grupo , un p-subgrupo H de G , es un subgrupo de G que es p-grupo. Un p-subgrupo de Sylow de G es un p-subgrupo maximal con respecto a la inclusin.Es decir ,es p-subgrupo de Sylow ssi es p-subgrupo de G , y no est contenido estrictamente en ningn otro p-subgrupo.
Ejercicios:
1. Si G es un grupo y p es primo , entonces G tiene p-subgrupos de Sylow ( eventualmente triviales {1}) . 2. Si G es nito y p/ | G | , G tiene p-subgrupos de Sylow no triviales.(G no trivial). 3. Si G es un grupo: (a) Si H G es un p-subgrupo , los conjugados de H (gHg 1 , g H ) son p-subgrupos. (b) Si P G es un p-subgrupo de Sylow ,entonces sus conjugados son todos psubgrupos de Sylow . Un par de Lemas:
Lema 1
Sea G un grupo y H G .Entonces G es un p-grupo H y G/H son p-grupos.
Dem.
)
Que H es un p-grupo es evidente . Sea [g] G/H . Como g G , O(g) = pj
g p = 1 [g]p = [g p ] = [1] O([g])/pj O([g]) es potencia de p )

Sea g G , [g] G/H p-grupo
O([g]) = pj algn j [g]p = [1] = H [g p ] = H g p H p-grupo O(g p ) = pk g p

j j+k j j j
= 1 O(g)/pj+k , por lo tanto , es potencia de p .
1.7. P-GRUPOS Y TEOREMAS DE SYLOW
29
Lema 2
Sea G un grupo , P G un p-subgrupo de Sylow . Si g G es tal que :
O(g) = pj algn j , y gPg 1 = P

Entonces g P .
Observacin:
Sea H subgrupo de G . Denimos el normalizador de H como N (H) = {g G/gHg 1 = H} . Queda como Ejercicio probar que : 1. N (H) es subgrupo de G . 2. H N (H) , y es el ms grande de los subgrupos de G que contienen a H como subgrupo normal. El Lema 2 se puede enunciar de la siguiente manera: Si P es un p-subgrupo de Sylow de G y g N (P) tiene orden potencia de p , entonces g P .
Dem. (lema 2)
Considerando el normalizador N (P) del grupo P , se tiene:
P N (P) g N (P)
Tomemos el cuociente N (P)/P y la clase [g] N (P)/P . Sea K =< {[g]} >N (P)/P. Recordando el teorema de correspondencia para subgrupos cuocientes:
K = L/P con L subgrupo de N (P) que contiene a P .

Probemos que L es un p-grupo. Por el Lema 1
L p-grupo P p-grupo y L/P p-grupo. K es cclico generado por [g] .

Pero g tiene orden potencia de p [g] tambin y O([g]) = O(L/P) , por lo tanto , L/P es un p-grupo
L es un p-grupo .Pero L P y P es p-subgrupo de Sylow L = P , y como g L g P .
30
Cuntos conjugados tiene el subgrupo K mediante elementos de H ?

Sea G grupo, H y K subgrupos de G . Queremos calcular | {h K h1 /h H} | Podemos poner este problema en el siguiente contexto: Estudiar la accin por conjugacin del grupo H sobre S = {L G/L es subgrupo de G} .
H S S (h, l) hl = h l h1
La pregunta tiene que ver con Orb(K) , (K S ) Sabemos lo siguiente: Orb(K) H/Est(K) como H espacios. =
Est(K) = {h H/hK = K} = {h H/h K h1 = K} = NH (K)

Normalizador de K en H . Orb(K) H/NH (K) = (Evidentemente , NH (K) es subgrupo de H ) As , si H es nito ,
| {h k h1 /h H} |= [H : NH (K)] =
|H| |NH (K)|
Notar que N (K) = NG (K) as {g K g 1 /g G} G/N (K) , y si G es nito ,| {g K g 1 /g G} |= [G : N (K)] . =
1.7.1 Segundo Teorema de Sylow

Sea G un grupo nito y p un primo. Entonces: 1. El nmero de p-subgrupos de Sylow de G es 1(modp) 2. El nmero de p-subgrupos de Sylow de G es un divisor de | G | , mejor aun , este nmero es [G : N (P)] , para P un subgrupo de Sylow dado. 3. Todos los p-subgrupos de Sylow de G son conjugados entre s.
Dem.
Sea P un p-subgrupo de Sylow , contemos los conjugados de P :
| {gPg 1 /g G} |=| Orb(P) | .

Se puede ver como G acta por conjugacin sobre sus subgrupos:
31
S = {H G/H subgrupo de G} G S S (g, H) gHg 1

Queremos el cardinal de una rbita : Orb(P) = {gPg 1 /g G} Para contar el nmero de elementos de Orb(P) hacemos actuar por conjugacin P G sobre Orb(P) .
| Orb(P) |=
P Orb(P)
| OrbP (P ) |
Si P = P , OrbP (P) = {hPh1 /h P} = P. | OrbP (P) |= 1 . Si P = P , | OrbP (P ) |=| {gP g 1 /g P} = [P : NP (P )] donde NP (P ) = {g P/gP g 1 = P }, pero g P O(g) es potencia de p , digamos O(g) = pk , entonces , por el LEMA 2 , y dado que gP g 1 = P p-subgrupo de Sylow , concluimos que g P . Por lo tanto , NP (P ) = P P . Veamos que P P = P , i.e P P P. Supongamos que P P = P , i.e que P P P = P pues son p-subgrupos de Sylow Por lo tanto , P P P (subc. estricto) [P : P P ] > 1 , pero [P : P P ] es divisor de p [P : P P ] = pj para algn j 1 | Orb(P) |= 1 +
P =P
pjP 1mod(p)
Hay o no un p-subgrupo de Sylow H G que no sea conjugado con P ? Supongamos que existe tal subgrupo , y contemos todos sus conjugados haciendo actuar a P sobre {gHg 1 /g G . Este conjunto se parte en rbitas , y con los mismos calculos anteriores:
| Orb(H ) |=| {gH g 1 /g P} |= [P : NP (H )] = pl l 1

por lo tanto p/ | Orb(H ) | , H conjugado de H
nmero de conjugados de H = 0 mod(p) ( pues acabamos de probar que los conjugados de un p-subgrupo de Sylow son 1mod(p) .
As , no hay p-subgrupos de Sylow que no sean conjugados de P . Esto prueba 3. del teorema , y luego se concluye 1. y 2.
1.7.2 Primer Teorema de Sylow

Sea G un grupo nito , p un primo , tal que | G |= pk q , con q primo relativo de p (i.e p no divide a q ) , entonces los p-subgrupos de Sylow de G tienen cardinal pk .
32
Dem.
Notemos que todos los p-subgrupos de Sylow de G tienen igual cardinal , pues son conjugados , por lo tanto , isomorfos. Sea P un p-subgrupo de Sylow de G . Lo que queremos probar es que , que [G : P] no es divisible por P . Del segundo teorema de Sylow se tiene que [G : N (P)] = por p ) y como Pero:
|G| |P| |G| |N (P)| |G| |P|
= [G : P], es decir
1mod(p) ( no es divisible
|G| |N (P)|
|N (P)| |P|
Debemos entonces probar que [N (P) : P] no es divisible por p .
[N (P) : P] =| N (P)/P | (grupo cuociente , pues P N (P) )

As , queremos probar que el orden del grupo N (P)/P no es divisible por p . Por contradiccin , supongamos que el orden de N (P)/P es divisible por P . Por el teorema de Cauchy , N (P)/P debe tener algn elemento de orden p :
O([g]) = p [g]p = [1] = P g p P (g p )p = 1 para algn j . g p+1 = 1 O(g) es potencia de p .

Pero g N (P) gPg 1 = P , y como O(g) es potencia de p , por lema 2 , se tiene que gP. Pero si g P O([g]) = 1 As p no divide a | N (P)/P |
j
Aplicacin
Cuntos grupos ( salvo isomorsmos ) de orden 15 hay ? Sea G un grupo , con | G |= 15 . Sea P3 un 3 subgrupo de Sylow de G Sea P5 un 5 subgrupo de Sylow de G Nmero de conjugados de P3 = Nmero de 3 subgrupos de Sylow de G 1mod(3) = [G : N (P3 )]
[G : N (P3 )][N (P3 ) : P3 ] = [G : P3 ]

Nmero de conjugados de P3 es un divisor de [G : P3 ] = Hay dos divisores de 5 :
|G| |P3 |
15 3
=5
1.7. P-GRUPOS Y TEOREMAS DE SYLOW 1. 1 1mod(3) 2. 5 2mod(3)
33
Pero sabemos que el nmero de conjugados de P3 es 1mod(3) , por lo tanto ,descartamos 2. y concluimos que P3 no tiene msconjugados , i.e P3 G .
| P5 |= 5
Nmero de conjugados de P5 1mod(5) = [G : N (P3 )] divisor de [G : P5 ] = 3 slo uno , por lo tanto , P5 G .
P3 P5 es subgrupo de P3 y P5 , por lo tanto , debe dividir a | P3 |= 3 y a | P5 |= 5 , P3 P5 = {1} . (Se probar ms adelante) P3 P5 P3 P5 = G = P3 P5 P3 P5 =

pero P3 y P5 son cclicos P3 Z3 y P5 Z5 , por lo tanto , G Z3 Z5 . = = =
Hay slo un grupo de orden 15
Ejercicio:
Cuntos grupos de orden 6 hay ?
Prop
Sea G un grupo de orden pk , entonces existe una cadena de subgrupos
Go = {1} G1 Gk = G , con | Gi |= pi i = 0 . . . k , Gi G i = 0 . . . k
Dem.
Necesitaremos la propiedad ya vista siguiente : Si H es un p grupo nito no trivial (| H |> 1 ), entonces su centro es no trivial (| Z(H) |> 1 ). Por induccin en i : Propiedad para i : cadena Go G1 Gi , con | Gj |= pj , Gj
G , j = 0 . . . i
i=0: Go = {1} G es cierta.

Pasemos de i a i + 1
34
Sea L = G/Gi grupo no trivial ( pues i + 1 k )
| L |= [G : Gi ] =
|G| |Gi |
pk pi
= pki
L es p grupo no trivial Z(L) es no trivial . (| Z(L) |= p con 1 )

Sea [g] Z(L) un elemento de orden p ( existe , por teo. de Cauchy)
K =< {[g]} >= {[g]t /t Z} L , | K |= p

como K =< {[g]} > es un subgrupo del centro de L , entonces K L Por teorema de correspondencia , K = H/Gi , con H G , H Gi , | H |= [H : Gi ] | Gi |
| H |= pi+1
por lo tanto , podemos denir Gi+1 = H y tenemos
Go G1 Gi Gi+1 , con | Gj |= pj
Estudiemos el problema siguiente :

G grupo , H, N subgrupos de G , N G . Bajo estas condiciones sabemos que N H = {nh/n N, h H} (subgrupo de G ).
Agregemos adems la hiptesis de que N H = {1} . Queremos entender N H Sean n1 h1 , n2 h2 N H , (n1 h1 )(n2 h2 ) = [n1 (h1 n2 h1 )](h1 h2 ) . Podramos denir en N H 1 una operacin (n1 h1 )(n2 h2 ) = [n1 (h1 n2 h1 )](h1 h2 ) 1
Marco general :
N, H grupos . H acta de algn modo en N por automorsmos: : H Aut(N) h h h (n1 n2 ) = h (n1 )h (n2 ) h (n) = hn
En esta situacin podemos denir el Producto torcido o Producto semidirecto de N y H por N H . Como conjunto , N H= N H La operacin es (n1 , h1 ) (n2 , h2 ) = (n1 h1 (n2 ), h1 h2 )
Caso muy particular :

N, H grupos cualquiera , y H acta en N trivialmente : hn = n n h (n) = idN (n) = n
En este caso N H =N H con operacin componente a componente: (n1 , h1 ) (n2 , h2 ) = (n1 n2 , h1 h2 )
35
Prop
Si N y H son grupos y H acta sobre N por automorsmos , entonces N H , recin denido , es un grupo. Neutro: (1, 1) N H Inverso:(n, h)1 = (h1 (n1 ), h1 ) Volvamos por un momento a la situacin original:
G grupo N, H subgrupos N G N H = {1}

En este caso , H acta por conjugacin sobre N :
h (n) = hnh1 N G (h es un automorsmo de N )

Los elementos de N H G se multiplicaban mediante
(n1 , h1 ) (n2 , h2 ) = (n1 h1 (n2 ), h1 h2 )
Prop
La funcin f : N H N H es un isomorsmo del grupo N H en el subgrupo (n, h) n h de G , N H .
Dem.
Que f es isomorsmo es por denicin de la operacin en N H Que f es sobreyectiva es directo. La inyectividad de f viene de N H = {1} Kerf = {(n, h)/f (n, h) = 1} = {(n, h)/n h = 1} = {(n, h)/n = h1 } = N H
Prop
G grupo , N G , H G y N H = {1} .
Entonces N y H conmutan , (n N, h H, n h = h n) y N H N H ((n, h) (n, h) ). =
36
Dem.
Slo hay que probar que N y H conmutan : Sean n N , h H .
[n, h] = n h n1 h1 N H = {1} nh=hn ( h (n) = h n h1 = n)

En el caso general , si llamamos G =N H , podemos considerar los subconjuntos:
N = {(n, 1)/n N} G H = {(1, h)/h H} G

Directamente , N y H son subgrupos de G .
1 : N N n (n, 1)
Tambin : 1. N H = {(1, 1)} 2. N G 3. NH = G
2 : H H son isomorsmos. h (1, h)
4. La accin de H sobre N se convierte en accin por conjugacindeH sobre N , va los isomorsmos 1 y 2 .
Cuntos grupos de orden 6 hay ?

| G |= 6 = 2 3 | P2 |= 2 P2 (Z2 , +) = | P3 |= 3 P3 (Z3 , +) = P2 P3 = {1}
Nmero de conjugados de P2 1mod(2) , adems debe dividir a 3 1, 3 Hay dos posibilidades: 1. Existe un 2 subgrupo de Sylow P2 G 2. Existen 3 2 subgrupos de Sylow no son normales.
1.7. P-GRUPOS Y TEOREMAS DE SYLOW Nmero de conjugados de P3 1mod(3) , divisor de 2 1 , por lo tanto, P3 G . Revisemos las posibilidades para P2 : En la situacin 1.
37
P2 , P3 G , P2 P3 = {1} P2 P3 P2 P3 Z2 Z3 Abeliano. = =
Hay , salvo isomorsmos , un slo grupo abeliano de 6 elementos. (Z6 Z2 Z3 , buscar un isomorsmo ). = En la situacin 2. G = P3 P2 P3 P2 Z3 Z2 = = Si queremos saber ms sobre que es G , hay que encontrar los posibles Z3 Z2 ( con accin no trivial de Z2 en Z3 ). Acciones por automorsmos de Z2 en Z3
: Z2 Aut(Z3 ) o = idZ3 1 (= idZ3 )

morsmo: 1 1 = idZ3
Hay que encontrar los posibles automorsmos de Z3 1 :
) no triviales (= id) ) su cuadrado sea la identidad.

Veamos como son los automorsmos de Z3 , pero primero , algo ms general, los Endomorsmos de Zn .
f:
Zn Zn a +n b f (a +n b) = f (a) +n f (b)
f (1 + 1) = f (1) + f (1) . . . . . . . . . f (k) = k f (1) escogiendo f (1) denimos el endomorsmo. z Zn , fz : Zn Zn k kz

es endomorsmo , End(Zn ) = Zn Biyectivos? Aquellos fz en que z tiene inverso multiplicativo , es decir , fz en que z es primo relativo con n . (Aut(Zn ), ) (Zx , n ) (Zx : grupo multiplicativo de los invertibles de Zn ). = n n
n=3
38
(Aut(Z3 ), ) ({1, 1}, 3 ) =

2 2 Ambas , f1 y f1 satisfacen f1 = f1 = id .Pero f1 = id , por lo tanto el nico automorsmo que sirve para ser 1 es f1 .
En la accin : Z2 Z3 , en el caso 2. , 1 Aut(Z3 ) debe ser multiplicacin por 1 . El caso 2. es Z2 Z3 , con :
(n1 , h1 ) (n2 , h2 ) = (n1 +3 h1 (n2 ), h1 +2 h2 ) = (n1 +3 (1)h1 n2 , h1 +2 h2 ) Cnclusin: Hay dos , salvo isomorsmos , grupos de orden 6 :
1. Z6 Abeliano 2. S3 No Abeliano
Ejercicio:
Mostrar que hay dos grupos de orden 4 : Z4 y Z2 Z2 .
1.8 Pequeo estudio de (Sn, )

Recuerdo:
Xn = {1, . . . , n} Sn = Biy(Xn ) = { : Xn Xn / es biyeccin} (Sn , ) es un grupo de orden n! . (grupo simtrico de grado n )

Notacin para Sn : =
1 2 ... n (1) (2) (n)
Denicin
Un Sn se dice ciclo de largo k (k n ) ssi i1 , i2 , . . . , ik distintos entre s en Xn , tales que (ij ) = ij+1 j = 1, . . . , k 1 y (i) = i si i {i1 , . . . , ik } . /
Observacin:
No toda permutacin es un ciclo . Por ejemplo :
1 2 3 4 2 1 4 3
S4 y no es un ciclo .
es producto ( composicin) de dos ciclos : 1 = (1 2) = 1 2 3 4 2 1 3 4 1 2 = 2 1 = 2 = (3 4) = 1 2 3 4 1 2 4 3
1.8. PEQUEO ESTUDIO DE (SN , )
39
Denicin
Dos ciclos = (i1 . . . ik ) Sn y = (j1 . . . jl ) Sn se dicen disjuntos ssi {i1 . . . ik } {j1 . . . jl } = .
Ejercicio:
Si y son ciclos disjuntos , entonces conmutan
Prop
Todo Sn \ {1} se escribe de manera nica ( salvo por el orden de los factores ) como producto de ciclos disjuntos ( a pares ). = 1 l j y i disjuntos j = i .
Dem.
Sea G =< {} >= {1, , 2 , . . . , r } subgrupo de Sn . Denamos la siguiente accin de G sobre Xn :
G Xn Xn (, i) i = (i)
Si O1 , . . . , Ol son las rbitas de la accin de G sobre Xn de cardinal > 1 , entonces son disjuntas , y = 1 . . . l , donde j es el ciclo dado por: Tomamos c Oj , j = (c (c) 2 (c) . . . m1 (c)) con mj =| Oj |(convencerse de que es 1 . . . l ). La unicidad , ( salvo orden de los factores ) sale de que si = 1 . . . r , con los j ciclos disjuntos , entonces las rbitas ( de cardinal > 1 ) de , sern los ciclos de los j .
Observacin:
1. Si Sn es un ciclo de largo k , O() =| { i /i Z} |= k
l l 2. Si 1 , . . . r son ciclos disjuntos , (1 2 . . . r )l = 1 . . . r .De aqu resulta que si Sn , O() = mcm(O(1 ), . . . , O(k )) cuando la descomposicin de en ciclos disjuntos es = 1 . . . k O() = mcm(largo de susu ciclos ) .
Algunas frmulas tiles:

1. Si = (i1 i2 . . . ik ) es un ciclo de largo k , y Sn es cualquier permutacin , entonces 1 = ( (i1 ) (i2 ) . . . (ik )) . 2. ( 1 2 . . . k)( k k + 1 . . . l) = ( 1 2 . . . k k + 1 . . . l) 3. ( 1 2 . . . k 1 k)( k 1 k k + 1 . . . l) = ( 1 2 . . . k 1)( k k + 1 . . . l)
40
Denicin
Una trasposicin Sn es un ciclo de largo 2 : = (i1 i2 ) .
Prop
Toda permutacin Sn es producto de trasposiciones.
Prop
Para n 3 , Z(Sn ) = {1} .
Dem.
Si Sn , = (i1 i2 . . . ik )(j1 . . .) no conmuta con = (ik j1 ) .
= (i1 i2 . . . j1 )(ik . . .) = ,
si no , = (i2 i3 . . .) no conmuta con = (i2 i3 ) .
1.8.1 Signo de una permutacin

Si Sn , la matriz de permutacin P , asociada a es : 0 . . . p = [ e(1) e(2) . . . e(n) ] con ej = 1 j la columna j de In 0 . . .
Prop
Si , Sn , entonces P P = P
Dem.
Por columnas: colj (P P ) = P colj (P ) = P e (j) =
n i=1 i (j)
e(i) = e( (j))
= e (j) = colj (P )
41
Observacin:
P es un morsmo inyectivo de (Sn , ) a (GL(n), )
con GL(n) : matrices invertibles de n n .
Denicin
El signo de una permutacin Sn se dene como :
sign() = (1) = det(P )

Es claro que si es trasposicin , (1) = 1. Entonces , si Sn cualquiera , dado que = 1 . . . k , con 1 , . . . , k trasposiciones P = P1 Pk (1) = det(P1 Pk ) = (1)1 (1)k = (1) (1) = (1)k As , tenemos una funcin sgn : Sn {1, 1} que es un epimorsmo de sgn() = (1) (Sn , ) y ({1, 1}, ). Adems , sgn() = 1 si se descompone como un nmero par de traspocisiones y sgn() = 1 si se descompone como un nmero impar de trasposiciones.
Notacin:
Si Sn es tal que su signo es 1 , entonces decimos que es par , si no , se dice impar.
Denicin
Llamamos Grupo Alternante de grado n a An = Ker(sgn) Sn An = { Sn / es par } .
Prop
| An |=
n! 2
Dem.
Sn /An {1, 1} | Sn /An |= =
|Sn | |An |
= 2 | An |=
Sn 2
n! 2
Notar que An es un subgrupo propio (= Sn ) maximal en Sn : Si Sn H An [Sn : An ] = 2 = [Sn : H][H An ]
([Sn : H] = 1 y [H : An ] = 2 H = Sn ) o ([Sn : H] = 2 y [H : An ] = 1 H = An )
Observacin : esto es una particularidad de los subgrupos de ndice primo de un grupo

dado.
42
Prop
An est generado por los ciclos de largo 3.
Dem.
1. Un ciclo de largo 3 est en An : (i j k) = (i j)(j k) An 2. Todo elemento de An es producto de ciclos de largo 3 . Basta hacerlo para productos 1 2 de 2 trasposiciones: (a) 1 = 2 = 1 (b) (i j)(j k) = (i j k) i = j = k (c) (i j)(k l) = (i j k)(j k l) (disjuntos)
Prop
An est generado por los cuadrados de los elementos de Sn , es decir , An =< { 2 / Sn } >.
Dem.
1. 2 es par 2. Los ciclos de largo 3 son cuadrados.
Denicin
Si G es un grupo , un subgrupo H de G , se dice subgrupo caracterstico ssi f : G G automorsmo , f (H) = H . En particular , H subgrupo caracterstico de G H G . La implicancia recproca no es cierta.
Ejemplo:
Sea G = Z2 Z2 , todo subgrupo de G es normal , pues es abeliano.
H1 = Z2 {0} H2 = {0} Z2 H3 = {(0, 0), (1, 1)}

Son normales en G , pero no caractersticos :
f (a, b) = (b, a) intercambia H1 con H2 g(a, b) = (a, a + b) intercambia H3 con H2
43
Prop
An es un subgrupo caracterstico de Sn .
Dem.
An =< { 2 / Sn } >
Si f : Sn Sn es automorsmo f (An ) =< {f ( 2 )/ Sn } >
=< {f ()2 / Sn } > =< { 2 / Sn } > = An
Ejercicios
1. Si f : G K es un morsmo de grupos , y A G , entonces f (< A >) =< f (A) > . 2. Si f End(Sn ) , entonces f (A) A .
Corolario
Si N An y f : Sn Sn es automorsmo , entonces f (N) An .
Prop
Si n 5 , los subgrupos normales de Sn son {1}, An y Sn .
Dem.
Probemos que si {1} = N Sn entonces An N. Lo haremos como sigue: probaremos que un N con estas caractersticas contiene algn ciclo de largo 3 . Sea N \ {1} , alguna trasposicin Sn tal que no conmuta con ( (Sn ) = {1} )
1 = [, ] = 1 1 N
Adems 1 = 1 trasposicin ( conjugado de una trasposicin) por lo tanto , tenemos 1 N \ {1} (1 = pues de lo contrario resultara la identidad )
Si 1 y no son disjuntas: 1 = (i, j) = (j, k) 1 = (i j k) ciclo de largo 3 .
44
Si 1 y son disjuntas: tenemos (i, j)(k, l) en N (i, j, k, l distintas entre s ) y , por lo tanto , N contiene todos los productos de dos trasposiciones disjuntas , por lo tanto , contiene a (k l)(j m) m / {i, j, k, l} (n 5) (i j)(k l)(k l)(j m) = (i j m) N .
Denicin
Un grupo G se dice simple ssi G = {1} y los nicos subgrupos normales de G son {1} y G .
Teorema
Si n 5 ,An es simple.
Lema Tcnico
Si Sn , n 4, conmuta con Sn trasposicin , entonces O() 2 .
Dem.
Por contradiccin: Si O() > 2 se escribe en su descomposicin en ciclos disjuntos como = (i, j, k, . . .) (tiene ciclo de largo 3 ). Sea l {i, j, k} ( esto es posible pues n 4 ) y = (k l) /
= (i j l . . .) , no conmuta con con . Calculemos: (i) = k (i) = l
Dem. (Teorema)
Hay que probar que no existe N An tal que N = {1} y N = An . Por contradiccin :supongamos que tenemos algn subgrupo normal propio (= {1} y = An ).
Ejercicio: Probar que si G es grupo y tiene alg n subgrupo normal propio , hay uno
maximal que lo contiene (Zorn ).
Entonces existe un subgrupo normal propio maximal con respecto a la inclusin , que llamaremos N . NSn (N) = An . Por lo tanto , trasposicin Sn N = N . Y si 1 , An son trasposiciones 1 N(1 )1 = N N = 1 N1 . (N tiene slo dos conjugados en Sn , N y N )
1.8. PEQUEO ESTUDIO DE (SN , ) Si consideramos K = N N , K Sn K = {1}
45
Por lo tanto , tenemos dos subgrupos normales de An , N y N , cuya interseccin es trivial , por lo tanto , N( N ) N N . = N( N ) Sn N( N ) An N( N ) = An N( N ) N {1} Como N conmuta con N (dos subgrupos normales con interseccin trivial). Si N conmuta con trasposicin . Por el lema anterior O() = 2 N, N, O() 2 An , O() 2 (pues An tiene los ciclos de largo 3 ).
46
Captulo 2 Anillos
2.1 Deniciones Bsicas
Sea R un conjunto con dos leyes de composicin interna : + y .(R, +, ) se dice anillo ssi: 1. (R, +) es grupo abeliano 2. es asociativo en R 3. distribuye con respecto a + en R 4. tiene neutro 1 , con 1 = 0 , donde 0 es el neutro para + .Cuando se tiene esta cuarta propiedad , se habla de anillo unitario. Si adems es conmutativo , el anillo se dice conmutativo.
Nota :
En general , nosotros trabajaremos con anillos unitarios conmutativos.
Ejercicio:
Si (R, +, ) es un anillo , entonces (a, b R) :
a0=0a=0 a = (1) a (a b) = (a) b = a (b)

As , 0 no puede tener inverso para . 47
48
CAPTULO 2. ANILLOS
Denicin
Si (K, +, ) es un anillo conmutativo , se dice cuerpo ssi todo a K \ {0} tiene inverso para .
Denicin
Un anillo no necesariamente conmutativo , en el que todo elemento distinto de 0 tiene inverso para , se suele llamar anillo con divisin.
Ejercicio :
Un anillo R es cuerpo ssi (R \ {0}, ) es grupo abeliano.
Denicin
Si R es un anillo , un elemento a R \ {0} se dir divisor del cero ssi: b R \ {0} tq. a b = 0 o bien b a = 0 .
Denicin
Un elemento a R \ {0} se dice cancelable para ssi: (x, y R) y y xa=yax=y
ax = ay x =
Ejercicio :
Un anillo R NO tiene divisores del 0 ssi todo a R \ {0} es cancelable para En un anillo R , todo a R con inverso para es cancelable. En un cuerpo K no hay divisores del 0 .
Denicin
Un Dominio de integridad ( o anillo de integridad ) es un anillo conmutativo sin divisores del cero.
2.2. ANILLOS DE POLINOMIOS
49
Ejemplos :
(Z, +, ) es un dominio de integridad. Todo cuerpo (K, +, ) es dominio de integridad .(por ejemplo : (R, +, ), (C, +, ), (Q, +, ) ). (Zm , +, ) es anillo conmutativo (m 2 ). Zm = {[n]m /n Z} x m y x y m Z n1 m n2 n1 l1m n2 l2 , por lo tanto , [n1 ] [n2 ] = [n1 n2 ] tambin tiene sentido. l1m l2 En Zm , [n] no es divisor del cero [n] tiene inverso para n es primo relativo con m. Zm es cuerpo Zm es dominio de integridad m es primo.
2.2 Anillos de Polinomios

Denicin
Si R es un anillo conmutativo , el conjunto de polinomios en una indeterminada x y a coecientes en R es R[x] = {(ao , a1 , . . . , an , . . .) RN /(no ) tq an = 0 n no } . Denamos las siguientes operaciones en R[x] :
(ai )iN + (bi )iN = (ai + bi )iN (ai )iN (bi )iN = (ci )iN , con ci = (R[x], +, ) es anillo conmutativo.
Llamamos x = (0, 1, 0, . . . , 0, . . .) R[x] , de esta forma ,xn = x . . . x = (0, . . . , 0, 1, 0, . . .) y n veces i n i , por lo tanto , (ao , a1 , . . . , an , 0, . . .) = i=0 ai x , donde identicamos los elementos a R con (a, 0, . . . , 0, . . .) R[x] . Identicacin justicada por el hecho que la funcin f : R R [x] es una inyeccin que preserva + y : f (a + b) = f (a) + f (b) a (a, 0, . . . , 0, . . .) y f (a b) = f (a) f (b) . Notar que :
n i=0 i j=0
aj bij
ai xi =
n i=0 bi
xi R[x] ai = bi i N .
50
CAPTULO 2. ANILLOS
Denicin
Si p(x) =
i
p(x) = 0) .gr(0) = .
ai xi R[x] denimos su grado como gr(p(x)) = Mx{n N/an = 0}(= 0
Convenciones:
n + = + n = n N {} < n n N
Prop
p(x), q(x) R[x]
1. gr(p(x) + q(x)) Mx{gr(p(x), gr(q(x))} 2. gr(p(x) q(x)) gr(p(x)) + gr(q(x))
Observaciones:
gr(p(x) q(x)) = gr(p(x)) + gr(q(x)) se tiene cuando NO hay divisores del cero. R es dominio de integridad R[x] es dominio de integridad. Si R es un cuerpo , se tiene el teorema de la divisin :Si p(x), f (x) R[x], f (x) = 0, !q(x) , !r(x) R[x] tq. p(x) = q(x) f (x) + r(x) gr(r(x)) < gr(f (x)) .
En general se tiene ( aunque R no sea un cuerpo) : p(x) R[x], a R p(x) = q(x) (x a) + c con c R .Donde c = p(a) , en que p(a) es evaluar la funcin
p : R R funcin polinomial asociada al polinomio p(x) x p(x) frmula del polinomio evaluada en el elemento x .
Es decir , p(x) = ao + a1 x + . . . + an xn R[x]
p(a) = ao + a1 a + . . . + an an R
Denicin
a R se dice raz de p(x) R[x] ssi p(a) = 0 .Se obtiene : a raz de p(x) ssi (x a) es un factor de p(x) . (i.e p(x) = q(x) (x a) ).
2.2. ANILLOS DE POLINOMIOS
51
Corolario
Si a1 , . . . , ak R son races de p(x) distintas entre s, entonces (xa1 )(xa2 ) (xak )/p(x) .
Corolario
Si p(x) R[x] tiene grado n N entonces p(x) admite a lo ms n races distintas.
Corolario
Si R es innito y p(x), q(x) R[x] entonces las funciones polinomiales p, q : R R son iguales ssi p(x) = q(x) .
Dem.
) a R p(a) = q(a) p(x) q(x) tiene a todo a R como raz ( innitas races), por lo tanto , su grado debe ser p(x) q(x) = 0 p(x) = q(x) .
Observacin:
Si R es nito , R = {ro , . . . , rk } , entonces p(x) = (x ro ) (x r1 ) (x rk ) R[x] . gr(p(x)) = k + 1 p(x) = 0 .Sin embargo , la funcin polinomial asociada a p(x) es la funcin nula (i {0, . . . , k} p(ri ) = 0) . Es decir , p(x) y 0 tienen la misma funcin polinomal asociada.
Denicin
Si R yP son anillos , un morsmo (u homomorsmo ) de R a P , ser una funcin f : R P tal que: 1. (r1 , r2 R) f (r1 + r2 ) = f (r1 ) + f (r2 ) 2. (r1 , r2 R) f (r1 r2 ) = f (r1 ) f (r2 ) 3. f (1R ) = 1P
Observacin:
1. y 2. no implican 3. Por ejemplo: f : R P Satisface 1. y 2. pero no 3. r f (r) = 0 Se tienen las nociones de isomorsmo, monomorsmo, epimorsmo ,endomorsmo , automorsmo , etc. como se esperara.
52
CAPTULO 2. ANILLOS
2.3 Buenos Subconjuntos de un anillo

Denicin
Si R es un anillo ( conmutativo o no ) un subanillo S de R ser un subconjunto cerrado para + y , que contiene a 1 R y tal que con + y restringidos es anillo .
Denicin
Si (R, +, ) es un anillo conmutativo , un ideal I en R es un subgrupo de (R, +) tal que : (r R)(x I) r x I , y adems I R. Si I = R hablamos de ideal degenerado. Para que sirven los ideales ? , para hacer cuocientes.
(R, +) es grupo abeliano (I, +) (R, +) y tiene sentido el grupo abeliano (R/I, +) . R/I = {[x]/x R} [x] = x + I [x] + [y] = [x + y]
Observemos que :
[x] = [x ] [y] = [y ] [x y] = [x y ] x x I (z I) x = x + z y y I (u I) y = y + z x y = x y + x u + y z + z u [x y] = [x y ]
I I
Tenemos as en R/I dos leyes:
[x] + [y] = [x + y] [x] [y] = [x y] (R/I, +, ) es anillo , con [1] el neutro para
Como I R , R/I tiene ms de un elemento ( si r I [r] = [0] = I) y , por lo tanto , / 1 = [1] = 0 = I .
Prop
Si f : (R, +, ) (S, +, ) es un morsmo de anillos , entonces Kerf = f 1 ({0}) es un ideal . Adems , todo ideal en R es un ncleo de algn morsmo de anillos.
Dem.
Kerf es subgrupo de (R, +) y si x Kerf y r R , f (r x) = f (r) f (x) = f (r) 0 = 0 r x Kerf . Como f (1) = 1 = 0 1 Kerf , por lo tanto , Kerf es ideal en R . / Sea I un ideal de R , la funcin : R R/I es un morsmo de anillos. x [x] Ker = I , por lo tanto , todo ideal es ncleo de un morsmo de anillos.
2.3. BUENOS SUBCONJUNTOS DE UN ANILLO
53
Observacin:
En la denicin de ideal se puede reemplazar I
R, por 1 I , y queda la misma nocin. /
Ejemplo:
Ideales en (Z, +, ) . Subgrupos de (Z, +) : m Z , m N .
m = 1 m Z es ideal de Z . ( para m = 1 resulta un ideal degenerado)
2.3.1 Teorema del Factor

Si f : (R, +, ) (S, +, ) es un morsmo de anillos y I R es un ideal , con I Kerf , entonces ! morsmo de anillos f : R/I S tal que el diagrama siguiente conmuta:
f
S _ f
R/I
f = f ( evidentemente f ([x]) = f (x) . f inyectiva I = Kerf f sobreyectiva f es sobreyectiva .
Ejemplo:
Ideales en un cuerpo (K, +, ) ? 1. Un ideal en un anillo conmutativo NO contiene elementos invertibles (respecto a ) (Ejercicio trivial) 2. En K todo x = 0 es invertible . Por lo tanto , el nico ideal de un cuerpo es I = {0} .
54
CAPTULO 2. ANILLOS
Corolario
Si (K, +, ) es un cuerpo y f : K R es un morsmo de anillos , entonces Kerf = {0} . i.e f es inyectiva.
Ejemplo:
Si K es un cuerpo , Cules son los ideales de (K[x], +, ) ? Si I es ideal en K[x] , entonces I = p(x) K[x] , con p(x) K[x] un polinomio jo de grado distinto de 0 .
Dem :
{0} = 0 K[x]
Supongamos que I {0} ( contenido estrictamente ). Tomemos p(x) I \ {0} de grado mnimo . Veamos que (f (x) I) f (x) = p(x) q(x) para algn q(x) . Para ello , si f (x) I , dividamos por p(x) , obtenemos f (x) = q(x) p(x) + r(x) con gr(r(x)) < gr(p(x)) . Notar que r(x) I, pues r(x) = f (x) + q(x) p(x) I , y como p(x) es de grado mnimo dentro de I \ {0} r(x) = 0 f (x) = q(x) p(x) , por lo tanto , I = p(x) K[x] .
I I
Ideales generados por Subconjuntos

Sea R un anillo y A R . Llamamos ideal generado por A al siguiente conjunto:
(A) =
Ies ideal,IA
Ejercicio:
1. (A) = {
n i=1 ri ai /n
N, ai A, ri R}
2. Si u A es invertible (A) = R .
Observacin:
Si R no fuera conmutativo , sus ideales se denen como:
I R (inclusin estricta ) (I, +) subgrupo de (R, +) y r R, x I, r x I x r I .

Resulta :
(A) = {
n i=1 ri
xi si /n N, ri , si R, xi A}
2.3. BUENOS SUBCONJUNTOS DE UN ANILLO
55
Ejemplo de anillos no conmutativos:

1. Sea K un cuerpo , n 2 . R = {(aij )i,j=1...n /aij K} matrices de n n a coecientes 1 0 0 1 en K , con la suma y producto de matrices usuales. no conmutan. 0 0 0 0 2. El anillo de divisin de los cuaterniones: H = R4 = R R3 , + es componente a componente y : (a, v) (b, w) = (a b < v, w >, a w + b v + v w) (a,v) (a, v)1 = (a,v) 2 con (a, v) = (a, v)
Denicin
Un ideal en un anillo R se dice principal si es generado por un elemento.
Denicin
Un anillo R se llama dominio ideal principal (dip) ssi es dominio de integridad y todo ideal en l es principal.
Ejemplos:
El teorema de la divisin hace a (Z, +, ) y (K[x], +, ) (K cuerpo ) dip. Los cuerpos son dip (nico ideal el 0 ).
Ejercicio:
El anillo de los enteros de Gauss G = {a + b i/a, b Z} C con +, de C son un dip.
Ejercicio:
Sea R un dominio de integridad. Denamos en R R \ {0} la siguiente relacin:
(a, b) (c, d) a d = b c
Sea K = R R \ {0}/ . Denimos en K :
[(a, b)] + [(c, d)] = [a d + b c, b d] [(a, c)] [(c, d)] = [(a c, b d)]
Probar que estas dos operaciones estn bien denidas , y que (K, +, ) es un cuerpo. Ver que : R K es un monomorsmo de anillos y que identicando a R con a [(a, 1)] (a) = [(a, 1)] K entonces [(a, b)] = a (= a b1 )a, b R, b = 0 . b
K se llama el cuerpo de fracciones de R . ( Si R = Z , entonces K = Q . Si R = K[x] , entonces K = fracciones racionales.Si R es un cuerpo k , entonces K = k ).
56
CAPTULO 2. ANILLOS
Ejercicio:
Mostrar que si P es un cuerpo , y R P es subanillo de P , entonces el cuerpo ms pequeo incluido en P que contiene a R es isomorfo a K = cuerpo de fracciones de R .
2.4 Algo de Divisibilidad en Anillos

Notemos que si R es un anillo (Rx , ) con Rx = {r R/r es invertible } , forma un grupo. Cuando R es conmutativo , Rx es abeliano. Los elementos u Rx se suelen llamar unidades de R .
Denicin
Diremos que dos elementos a, b son unitariamente equivalentes ssi u Rx tal que b = u a . (i.e , a, b estn en la misma rbita de la accin de (Rx , ) en R por multiplicacin ).
Notacin :
a b ( probar que es de equivalencia ).
Denicin
(Divisibilidad) . Sean a, b R . Decimos que a divide a b ssi (c R) tal que b = c a .
Observacin:
Si a b a/b b/a . En general , / no es de orden.
Ejercicio:
Ver que en un dominio de integridad a/b b/a a b .Adems , a/b, a a , b b a /b , por lo tanto , se puede denir la relacin / en R/ , y aqu s es de orden.
2.4.1 Caso en que R es un dip

a/b b (a) (b) (a)
Notar que a b (a) = (b) ( en un dominio de integridad) .
2.4. ALGO DE DIVISIBILIDAD EN ANILLOS
57
Denicin
Sean a, b R . Un elemento c R se dice mximo comn divisor (m.c.d) de a y b ssi:
Es comn divisor : c/a c/b Cualquier divisor comn de a y b , es tambin divisor de c : (d R) d/a d/b d/c
Notar que si c es m.c.d de a y b , y c c , entonces c tambin es m.c.d de a y b . En un dominio de integridad , si c es m.c.d de a y b , entonces c es m.c.d de a y b c c .
Prop
Si R es un dip y a, b R , con alguno de los dos distinto de 0 , entonces c m.c.d de a, b .
Dem.
Considerar I = (a, b) , por ser dip , I = (c) , con c R .
a (c) c/a b (c) c/b

, por lo tanto , c es un divisor comn de a y b . Sea d un divisor comn de a y b :
a (d) d/a b (d) d/b {a, b} (d) (c) = (a, b) (d) d/c
Notar que (a, b) = { a + b/, R , (a, b) = (c) = a + b/, R Igualdad de
Bezout
Ejercicio:
Dos elementos son primos relativos si m.c.d entre ellos es 1 .a, b primos relativos ssi (, R) 1 = a + b .
Corolario
Sea R un dip . Si a, b, c R , con a, b primos relativos y a/(b c) entonces a/c .
Dem.
a/(b c) b c = a , R a, b primos relativos 1 = a + b , , R c = (c ) a + b c c = (c + ) a a/c
58
CAPTULO 2. ANILLOS
Denicin
Un dominio de integridad R se llama dominio de factorizacin nica ssi (a R\{0}) p1 , . . . , pk primos nicos salvo por equivalencia unitaria y orden , tal que a p1 p2 . . . pk . ( unidades con k = 0 a 1 Rx ).
Prop
Todo dip es dominio de factorizacin nica .
Dem.
1. Existencia de descomposicin en producto de primos para los elementos de R \ Rx ( no invertibles ) Por contradicin . Sea S = {a R \ Rx /a no es producto de primos } . Supongamos que S=. Consideremos para a S una cadena estrictamente creciente de ideales: (ao ) (a1 ) (an ) con ao = a . Si es que esta cadena est obligada a detenerse en (an ) , No existe an+1 S tal que (an ) (an+1 ) , por lo tanto , an = c d con c, d S . c, d S tienen descomposicin en primos / / an tiene descomposicin en primos. Consideremos el ideal I =
n
(an )
Ejercicio : La unin de una cadena de ideales es ideal .
I=
N (an ) es ideal en R I = (a) , a R .
Pero el generador a I debe pertenecer a algn (an ) , y a (an ) (a) = I (an ) , por lo tanto , I = (an ) la cadena termin en (an ) .
S=
2. Unicidad de la descomposicin Sea a p1 . . . pk q1 . . . ql
p1 . . . pk q1 . . . ql pk /(q1 . . . ql )
(Si pk y q1 son primos relativos , pk /q1 (q2 ql ) pk /(q2 . . . ql ) , por lo tanto, en el peor de los casos , esto se detiene en pk /ql ) Por lo tanto , pk qi , algn i = 1 . . . l . Para que la notacin sea razonable , intercambiamos qi y ql y resulta pk ql p1 pk1 q1 ql1 . Se sigue inductivamente : pk1 ql1 ( salvo reordenacin) . . . . . . . . . pkj qkj
2.5. MDULOS SOBRE UN ANILLO R
59
Las dos descomposiciones deben acabar al mismo tiempo ( justicar) . Por lo tanto , (i = 1 . . . l) pi q(i) para alguna permutacin Sk .
2.5 Mdulos sobre un anillo R

Sea R un anillo , no necesariamente conmutativo . Un mdulo izquierdo M ( o R -mdulo izquierdo ) sobre el anillo R , es un grupo abeliano (M, +) ( su neutro ser 0 ) dotado de una ley de composicin externa
: R M M (r, m) rm
Tal que: 1. 1m = m m M 2. (, R)(m M) (m) = ()m 3. (, R)(m M) ( + )m = m + m 4. ( R)(m1 , m2 M) (m1 + m2 ) = m1 + m2
Observacin:
Se pueden denir R - mdulos derechos . Si R es conmutativo coinciden los derechos con los izquierdos y se habla simplemente de R - mdulos.
Ejemplos 1:
R = K cuerpo , un K - mdulo izquierdo es un K - espacio vectorial.
Ejemplo 2 :
R = Z , los Z - mdulos son exactamente lo mismo que los grupos abelianos.En efecto:
Si (A, +) es grupo abeliano a + ... + a veces 0 a = (a) + . . . + (a)
veces
, denimos para Z, a A ,
si > 0 si = 0 si < 0
Despus de multiples inducciones se concluye que A , con esta multiplicacin por escaler , resulta un Z - mdulo .
60
CAPTULO 2. ANILLOS
Recprocamente , partiendo con un Z - mdulo M , (M, +) es grupo abeliano.Si Z y m M , se tiene lo siguiente:
> 0 m = (1 + . . . + 1)m = 1m + . . . + 1m = m + . . . + m
veces veces
= 0 m = 0 ( propiedad general de R - mdulos : r R, m M, r 0 = 0m = 0 ) < 0 1(m) = (1)m = ( 1)m = (1m) m = ()(m) = (m) + . . . + (m) veces
Ejemplo 3 :
Sea K un cuerpo . Estudiemos los K[x] - mdulos Sea M un K[x] - mdulo . Considerando que K puede ser identicado con el subanillo de los polinomios constantes en K[x] (a a + 0 x + . . .) . Se puede restringir la multiplicacin por escalar a escalares de K : K M M , con lo que M resulta ser un K - espacio vectorial. Notemos que si tomamos el elemento del anillo x K[x]
x(m1 + m2 ) = xm1 + xm2 m1 , m2 M x(m) = (xm) K, m M

As , la funcin T : M M m xm es una transformacin lineal del K -e.v M en s mismo. A la inversa , dados un e.v V sobre el cuerpo K , y una transformacin lineal T : V V , podemos denir una estructura de K[x] - mdulo de la siguiente manera: La suma es la que V trae como K - e.v , la multiplicacin por escalares polinomios: Si v V y p(x) =
n i=0
ai xi K[x] , denimos p(T ) =
n i=0
ai T .
Facilmente se prueba que si p(x), q(x) K[x] entonces p q(T ) = p(T ) q(T ) , y de ah resulta que la ley de composicin externa K[x] V V (p(x), v) p(x)v = p(T )(v) dene una estructura de K[x] - mdulo en V en la que xv = T (v)
2.5.1 Submdulos
Si M es un mdulo sobre el anillo R , un submdulo N de M es un subconjunto N M tal que :
(N, +) es subgrupo La multiplicacin por escalar es cerrada en N : (r R)(n N) rn N .
2.5. MDULOS SOBRE UN ANILLO R Notar que con estas condiciones , N resulta ser un R - mdulo.
61
Con las mismas demostraciones que en el caso de espacio vectorial , N M es submdulo ssi: 1. N = 2. N es cerrado para combinaciones lineales: (r1 , r2 R)(n1 , n2 N) r1 n1 + r2 n2 N
Ejemplo 1:
Los submdulos de un K - mdulo: subespacios vectoriales.
Ejemplo2:
Los submdulos de un Z - mdulo: subgrupos
Ejemplo 3:
Los submdulos de un K[x] -mdulo: El K[x] - mdulo es un K - e.v V con S : V V transformacin lineal. Si W es submdulo ,W V
W es s.e.v de V Estable por S : (w W ) S(w) W , (i.e S(W ) W ).
Nota de advertencia :
Sea M un R - mdulo . r R, m M
rm = 0 NO implica r = 0 m = 0 , (aunque el anillo no tenga divisores del cero) . NO todas las propiedades de espacios vectoriales se mantienen para mdulos.
Ejemplo: en un Z - mdulo puede pasar lo siguiente :
M = Zp , p Z, p = 0, m = [1] se tiene p[1] = [p] = [0] .
Denicin
Si M es un R - mdulo y m M , se dice que m tiene torsin ( o es un elemento de/con torsin) ssi r R \ {0} tal que rm = 0 .
62
CAPTULO 2. ANILLOS
Ejemplo:
Si R es un dominio de integridad , y M es un R - mdulo , entonces : T M = {m M/m es de torsin } es un submdulo de M .
Ejemplo interesante de submdulos:

Sea R anillo conmutativo , tomemos M = R , i .e R como R - mdulo. ( la multiplicacin por escalar es la multiplicacin del anillo). Los submdulos en este caso , son los ideales (degenerado incluido ).
2.5.2 Buenas funciones

Si M y N son R - mdulos , un homomorsmo de R - mdulos (o transformacin lineal) es una funcin T : M N tal que:
(x, y M) T (x + y) = T (x) + T (y) (r R)(x M) T (rx) = rT (x)
Ejemplo 1:
Si R = K cuerpo , tenemos las transformaciones lineales entre espacios vectoriales.
Ejemplo 2:
Si R = Z , como Z mdulo y grupo abeliano es lo mismo , resulta que las transformaciones lineales entre Z - mdulos simplemente son los morsmos de grupos.
Ejemplo 3:
R = K[x]. Recordemos que un K[x] -mdulo es un espacio vectorial V con una transformacin lineal S : V V , tal que para el escalar x K[x] y un vector v V , xv = S(v) .
Sea f : V W un morsmo de K[x] - mdulos , y S1 , S2 las transformaciones lineales correspondientes a V y W respectivamente. 1. f es K - lineal ( lineal entre los e.v V y W ) 2. Para x K[x] , queremos que f (xv) = xf (v) (v V ) , i.e f (S1 (v)) = S2 f (v) v V

f
63
S1
S2
V f
El diagrama conmuta.
2.5.3 Cuocientes
Sea M mdulo sobre RR y N M un submdulo. Considerando (M, +) como grupo abeliano , N es subgrupo normal . Podemos calcular entonces (M/N, +) grupo abeliano, donde el cuociente es respecto a x y y x N . Buena propiedad:
[x] = [y] v R [rx] = [ry] , por lo tanto , queda bien denida en M/N la multiplicacin por escalar: R M/N M/N (r, [x]) r[x] = [rx]
y M/N resulta ser R - mdulo con : M M/N tal que (x) = [x]. La misma serie de teoremas que se tiene para grupos y sus cuocientes vale en esta situacin:
Teorema de Correspondencia
Sea M un R - mdulo , N M submdulo . Hay una correspondencia 1-1 entre submdulos de M que contienen a N submdulos de M/N .
N P M P/N
Relevancia de Kerf , Imf si f : M N es R - lineal:
Kerf = f 1 ({0}) es submdulo de M Imf = f (M) es submdulo de N
64
CAPTULO 2. ANILLOS
f inyectiva Kerff = {0} f sobreyectiva Imf = N
Teorema del Factor

Si f : M N es R - lineal y L submdulo de M , con L Kerf , entonces ! f : M/L N tal que el siguiente diagrama conmuta:
N _
v M/L
f ([x]) = f (x) f inyectiva L = Kerf ( Kerf = (Kerf )/L f sobreyectiva f sobreyectiva ( Imf = Imf )
Ejercicios :
1. Interseccin cualquiera de submdulos es submdulo 2. N + L es submdulo de M .
Teoremas de Isomorsmos
1. Si M es un R - mdulo y N , L son submdulos , entonces N/N L (N + L)/L = [n]NL [n]L 2. Si M es R - mdulo y N L M submdulo , entonces (M/N)/(L/N) M/L = [[x]N ]L/N [x]L
65
2.5.4 Sumas , Productos , Sumas directas , etc...

Denicin
Si M es un R - mdulo y A M . Se dene el submdulo generado por A como :
< A >= AN N submodulo
< A > es un submdulo , y es el ms pequeo de los que contienen a A .

Claramente < A >= { n ri ai /n N, ri R, ai A} . < A > consiste en las combinacioi=1 nes lineales nitas de elementos de A .
Suma de Submdulos
Sea M un R - mdulo , y {M : } una familia cualquiera de submdulos de M . La suma de la familia es :
+ M =<
M >
+ M consiste en las sumas nitas de elementos en los distintos M , i.e + M = {

n i=1
mi /n N, i , mi Mi }
Denicin
La suma se dice directa , y se anota
M (= + M ) ssi :
( ) M (+\{} M ) = {0} . e e
Prop (Ejercicio )
Las siguientes proposiciones son equivalentes: 1. La suma N = + M es directa 2. Todo n N se escribe de manera nica como suma nita de elementos de los M 3. {1 . . . k } , con i = j si i = j , se tiene que m1 + . . . + mk = 0, mi Mi m1 = = mk = 0
66
CAPTULO 2. ANILLOS
Producto de una familia de R - mdulos

Sea {M } una familia no vaca de R - mdulos . Como conjunto , el producto de esta familia es M = {(m ) /m M } .
m = (m ) se puede entender de manera formal como una funcin de eleccin: m :
m() = m M
Si M = ciones + y :
M , podemos darle una estructura de R -mdulo . Denamos en M las opera-
(m ) + (m ) = (m + m )
(m + m)() = m() + m() (rm)() = rm()
Multiplicacin por escalar en R : r(m ) = (rm )
Ejercicio:
M , con las operaciones recin denidas , es un R - mdulo.
Prop (Ejercicio )
Sea o . Denamos
fo : Mo M =
mo (m )
con m =
0 si = o mo si = o
fo es un monomorsmo de R - mdulos , y por lo tanto , M contiene un submdulo fo (Mo ) isomorfo a Mo ( los vectores con 0 en todas las componentes distintas a o ).
Por otra parte , tenemos las proyecciones :
o : M Mo (m ) o ((m ) ) = mo m m(o ) ( evaluacin en o ). Las proyecciones son epimorsmos de mdulos.
Prop
Sea (M ) una familia de R - mdulos , y sea N otro R - mdulo . familia de morsmos de R - mdulos {h : N M } , ! morsmo de R - mdulos h : N M , con M = M tal que , ( ) el diagrama siguiente conmuta :

M h N h M
67
i.e h = h
Dem.
h(n) = (h (n)) , la unicidad es directa .
Corolario
Si {M } y {N } son familias de R - mdulos , indexadas por el mismo , y {h : N M } una familia de transformaciones R - lineales , entonces ! morsmo de R -mdulos h : N = N M = M tal que ( ) el diagrama siguiente conmuta :

N h M
La demostracin queda de ejercicio.
68
CAPTULO 2. ANILLOS
Suma directa externa

(No tendremos , a priori , submdulos de un mdulo dado). Sea {M } una familia de R - mdulos , sea M = {(m ) Es directo que M es un submdulo de M = suma directa de los M . los salvo tal vez , un nmero nito de ellos ( para casi todo )}.

M /m = 0 para todos
M , llamamos a este submdulo M M la
Observaciones:
1. (o ) Im(fo ) M , por lo tanto , podemos considerar esta funcin llegando a M , anotemosla io : Mo M (monomorsmo) ( inyeccin cannica). Podemos entonces identicar Mo con io (Mo ) M . 2. Todo m M es suma nita de elementos de los distintos M : m = (m ) = m , as M =< M >= + M , adems M =
tq m =0
M .
Ejercicios:
1. Si {M } es una familia de R - mdulos , N es otro R - mdulo y {h : M N} es una familia de transformaciones R -lineales, entonces ! transformacin R - lineal h: M N tal que , ( ) el siguiente diagrama conmuta :
1. Si {M } y {N } son familias de R - mdulos y {h : M N } es una familia de transformaciones lineales , ! h : M N , R -lineal tal que ( ) el diagrama siguiente conmuta :

69
M N h
1. Sea {M } una familia de R - mdulos y ( ) N M un submdulo , entonces N es un submdulo de M y ( M )/( N ) (M /N ) . =

2.5.5 Conjuntos linealmente independientes , Bases

Sea M un R -mdulo . Una familia de elementos de M : {m } se dice l.i en M ssi combinacin lineal nita tal que r m = 0 ( I nito , r R ) los escalares deben ser 0 :( I) r = 0
I
Observacin :
{m } es l.i toda subfamilia nita {m }I ( I nito ) es l.i.
Existen mdulos SIN familias l.i.
Ejemplo:
R = Z , M un Z -mdulo nito cualquiera . Sabemos que todo m M tiene orden r N \ {0} Z nito , con r/ | M | , por lo tanto , rm = 0 {m} no es l.i.
La familia vaca es l.i por decreto , por lo tanto , es la nica familia l.i dentro de estos mdulos .
Ejemplo:
(Q, +) es un Z -mdulo . m Q \ {0}, {m} es l.i .
Ninguna familia con 2 o ms elementos de Q es l.i (REVISAR). En R como R - mdulo , {1} es l.i
70
CAPTULO 2. ANILLOS
Denicin
Una base de un R - mdulo M es una familia l.i que lo genera.
Ejemplo:
1. {1} es base de R 2. Ningn Z - mdulo nito (excepto {0} , cuya base es ) tiene base. 3. Q no tiene base como Z - mdulo
Ejercicio:
Una base es un l.i maximal {m } base de M ssi todo m M se escribe de manera nica como combinacin lineal nita de los m .
Denicin
Un R - mdulo se dir libre si tiene una base.
Ejemplo:
R como R - mdulo es libre . Rn =
n i=1
R es libre (base cannica).
Caracterizacin de los R - mdulos libres y sus bases Prop

Sea M un mdulo y {m } una familia de elementos en M , entonces M es libre con base {m } ssi R -mdulo N y familia {n } en N ! funcin R - lineal f : M N tal que ( ) f (m ) = n .
Dem.
) M libre con base {m } . Tomamos una familia {n } en N y denimos para m M , f (m) = r n , donde m = r m es la nica manera de escribir m como combinacin
lineal de los elementos de la base.
I I
Es directo que es R - lineal , que f (m ) = n , y que esta es la nica posible denicin de f , pues para que sea lineal , si f (m ) = n , entonces f ( r m ) = r f (m ) .
I I
71
) Supongamos que
que :
r m = 0 .Sea o I , y denamos la sgte funcin f : M R tal
mo 1 m 0 = o , pero por hiptesis existe una nica funcin que hace esto , y como r f (m ) = f ( r m ) = f (0) = 0 , tenemos que ro 1 = 0 ro = 0 , Si repetimos esto I , concluimos que r = 0 I , por lo tanto , {m }I es familia l.i
Veamos ahora que {m }I = B genera M . Sea N = ( ) seleccionemos n = m N ! una funcin lineal f : M N tal que f (m ) = m ( )
f _ M
I
f N
Tomemos f : M M como la composicin i f , donde i : N M es la inclusin . Como ( )f (m ) = i(f (m )) = f (m ) = m . f : M M es la nica funcin lineal tal que m m , por lo tanto , f = idM Imf = Im(idM ) = M , pero de la construccin de f , Imf = Im(i f ) = Imf N = , por lo tanto , M ( M) M = .
Mdulo libre sobre un conjunto A

Sea R anillo conmutativo. Si a es un elemento , podemos construir Ra = R {a} = {(r, a)/r R} , con la suma (r, a) + (s, a) = (r + s, a) , y la multiplicacin por escalar en R r(s, a) = (r s, a) .
Ra es un mdulo isomorfo a R ((r, a) r ) . Como R es un mdulo libre con base {1} Ra es libre con base {(1, a)} . Anotaremos (1, a) = a Ra , por lo tanto , diremos que Ra es libre con base {a} . Como r(1, a) = (r, a) , se tiene Ra = {ra/r R} = Ra .
Si ahora hacemos esto a A , tenemos una familia de mdulos libres {Ra }aA , con Ra de base {a} . Anotamos FA = Ra .
aA
Prop
FA es libre con base A .
72
CAPTULO 2. ANILLOS
Dem.
x FA , x es suma nita de elementos en los sumandos x = x1 + + xk = ra1 + + rk ak , ri R , ai A , con esto , A genera FA , por otro
Ra1 Rak k i=1 ri ai = 0
lado , si
para ri R, ai A distintos entre s.
Recordemos que ai visto como elemento de FA es (0, . . . , 0, ai , 0, . . . , 0) , por lo tanto , k i=1 ri ai = (0 . . . , rj aj , . . . , 0, . . . , ri ai , 0 . . .) = 0 rj aj = 0 en Raj j rj = 0 j .
Prop
Todo R -mdulo es cuociente de algn R -mdulo libre (mas bien isomorfo ).
Dem.
Sea M un R -mdulo. Sea A M un generador : < A >= M .Aplicando la construccin anterior , A FA . Por la caracterizacin de mdulo libre con base A , ! funcin lineal f : FA M tal que (a A) f (a) = a . f es un epimorsmo
f
FA
FA/Kerf
f ([x]) = f (x)
La funcin lineal inducida en el cuociente f : FA /Kerf M , es un isomorsmo. Que hay en Kerf ?
x Kerf x = r1 a1 rk ak , f (x) = 0 i.e x = r1 a1 rk ak tal que r1 a1 + +rk ak = 0 en M .
Prop
Sean M y N dos mdulos libres con bases {b } y {c } respectivamente , ambas de igual cardinal M N . =
73
Dem.
Por la caracterizacin de mdulos libres , ! funcin lineal f : M N tal que f (b ) = c . Si se preere mirar a N como el mdulo libre , ! funcin lineal g : N M tal que g(c ) = b , compongamos :
f g M N M b c b g f : M M es lineal tal que g f (b ) = b , por lo tanto , por la caracterizacin de modulos libres , g f (b ) = idM . Construyendo f g , resulta f g = idN f y g son isomorsmos inversos uno del otro.
Nota:
Muchas de las propiedades de los espacios vectoriales no valen en general para mdulos.
Prop
Si M es un R - mdulo libre y N M submdulo , entonces N , ni siquiera tiene por que ser libre.
Ejemplo:
R = (Z6 , +, ) como mdulo sobre si mismo . La suma y el producto por escalar son los de R , es libre con base {1} .Sus submdulos son los ideales. I = (2) = {0, 2, 4} es un ideal y no es libre.
Hay casos donde estas cosas andan bien , por ejemplo R = Z como mdulo sobre si mismo. Sus submdulos son los ideales (n) = n Z , libres con base {n} si n = 0 o si n = 0 .
Teorema
Si R es un dip , L es un R - mdulo libre con base {b } , y M L es un submdulo , entonces M es libre , y tiene una base {m } , .
Dem.
Consideremos los subconjuntos y los submdulos libres de L : L =< {b } > . Llamamos M = M L . Interesar considerar aquellos casos en que M es libre , con base {m } y | || | . Trabajaremos con tuplas de la forma ( , L , M , m = {m } ) , con las condiciones de ms arriba.
74
CAPTULO 2. ANILLOS
Sea A el conjunto de estas tuplas , lo que queremos probar es que A posee un elemento ( tupla ) para el = ( L = L , M = M , y por lo tanto , M es submdulo libre de L , con base de cardinal | |=| | ). Usaremos Zorn. Ordenemos A : Diremos que
( , L , M , m = {m } ) ( , L , M , m = {m } ) ( M M ) y la base m de M es una extensin de la base m de M , es decir , y (u ) m = m . es claramente de orden en A . A = , pues ( = , L = {0}, M = {0}, m = ( = )) A .
Veamos que (A, ) tiene las hiptesis que requiere el lema de Zorn:
A= Sea {(i , Li , Mi , mi = {m }i )}iI = una cadena en A , es decir , una familia totalmente ordenada. P.d.q tiene una cota superior:
Tomemos =
(i) (i)
iI
i , y para M tendremos la base m = {m } , con =
iI
i y
m = m si i (est bien denido , por que las bases de los distintos Mi son extensiones de las otras ).
P.d m es l.i y genera M
Lineal independencia :
Una combinacin lineal nita de los m ser una combinacin lineal en algn Mi , y en ese lugar los m son l.i
(i)
Generan M : x M = L M x L =< {b } > x M x es combinacin lineal nita de los b , y los que aparezcan estarn todos en algn i x Li M = Mi x es combinacin lineal de los {m }i m .
Evidentemente , | || | y m es una extensin de todas las bases mi , i , por lo tanto , ( , L , M , m ) es una cota superior de la cadena . Por Zorn , A tiene un elemento maximal ( , L , M , m ). P.d : para este elemento maximal , = . Como de costumbre , al usar Zorn , suponemos que para este elemento maximal , , y llegaremos a una contradiccin haciendo crecer estrictamente este elemento maximal dentro de A . Tomemos o \ . Sea = {o } .
75
Podra ocurrir que M = M , en ese caso m = m , y resulta que ( , . . . , m ) < ( , . . . , m ) , por lo tanto crecera el maximal Si eso no ocurre , M M . Veremos que se le puede agregar un elemento a la base de M y habremos crecido estrictamente . Hagmoslo: Qu elementos hay en M ?
x M x M x L (= L Rbo ) , por lo tanto , x se puede escribir como x = y + rbo , con y L , r R , y adems x M .

Nuestra tarea: Encontrar un elemento ms para agregar a la base de M y hacer aparecer una base de M . Sea I = {r R/(y L ) y + rbo M } . I es un ideal ( posiblemente degenerado ) en R . Como R es un dip I = (ro ) , para algn ro R . Sea mo = yo + ro bo M ( existe , pues ro I ). Veamos que m {mo } es base para M .
Lineal independencia
Sea smo +
r m = 0 sro bo + syo +
m L
r m = 0
M L
syo +
r m L syo +
r m = = o A
t b
Como los {b } son l.i sro = 0 todos los t = 0 , pero en nuestra situacin ro = 0 ( pues ro = 0 M = M ) s = 0 , por lo tanto , todos los otros r = 0 .
Generador M = M (L Rbo ) . Vimos que un x cualquiera de M es de la forma x = y + rbo , con y L , y adems r = sro I . Tomando x smo = y syo , por lo tanto ,
L
x smo =
r m x = smo +
r m .
Ejercicio:
Si R es un dominio de integridad y L es un R - mdulo , entonces todas las bases de L tienen el mismo cardinal.
Ejercicios:
Sea R un anillo conmutativo , I
R un ideal.
76
CAPTULO 2. ANILLOS 1. Si M es un R - mdulo , denimos IM = { n si mi /n N, si I, mi M} . Probar i=1 que IM es submdulo de M , y de hecho , IM=< {sm/s I, m M} > . 2. Sobre M/IM denimos la multiplicacin por escalares en el anillo cuociente R/I : [r] [m] = [rm] . Ver que esto da una funcin bien denida R/I M/IM M/IM y que con esto , M/IM resulta ser un R/I - mdulo . 3. Si M = que M/IM =
M , con los M submdulos de M , entonces IM =
M /IM , [
m ]
[m ] , y este isomorsmo es como mdulos
IM , y de aqu
sobre R y tambin sobre el anillo. 4. Si M es libre , como R - mdulo , de base B = {b } , entonces M/IM es libre como R/I - mdulo , con base {[v ]} . 5. El ideal I R (estrictamente incluido ) , se dice MAXIMAL ssi es maximal con respecto a la inclusin dentro de los ideales propios de R . i.e , si J es un ideal propio de R y J I I = J . Probar que: (a) Todo ideal propio J R est contenido en algn ideal maximal de R (Zorn ). En particular , R siempre tiene ideales maximales. (b) R/I es cuerpo I es ideal maximal de R . 6. Probar que si M es libre , como R - mdulo , con dos bases B1 y B2 , entonces | B1 |=| B2 | .
Denicin
Se llama Rango de un R mdulo libre , al cardinal de su base.
2.5.6 Mdulos nitamente generados

R ser un anillo conmutativo.
Denicin
Un R - mdulo M se dice de tipo nito o nitamente generado ssi A = {a1 , . . . , ak } M nito , tal que M =< A >= { k i ai /i R} . i=1
Ejemplos:
Q no es nitamente generado sobre Z . Rn es nitamente generado sobre R , ( y libre , con la base cannica ) Todo grupo abeliano nito es nitamente generado como Z - mdulo.
77
Denicin
Un R -mdulo M se dir cclico ssi es nitamente generado por un conjunto de la forma A = {a} . De aqu en adelante , R ser un dip.
Cmo son los R - mdulos cclicos ?

M cclico : M =< {mo } >= Rmo = {rmo /r R} con mo M .
Sabemos que si F es el R - mdulo libre con un generador ( por ejemplo F = R , {1} es base) , la funcin
: R(= F) M = Rmo r(= r1) rmo

es un epimorsmo
M R/Ker . Pero Ker es un submdulo de R Ker = I , un ideal de R ( = posiblemente todo R ).

Notar que Ker = {r R/rmo = 0} = {r R/(m M)rm = 0} = anulador de M . En resumen: un R - mdulo cclico M es isomorfo a (R/anulador de M) M . = Tenemos que Ker = anulador de M = I ideal en R , Luego I es principal , I = (ro ) = R ro para algn ro R .
ro se llama anulador minimal , o bien , orden de M .

As tenemos que M R/(ro ) = R/R ro ( Lo mismo que ya tenamos para Z - mdulos = cclicos ). Notar que el orden ro de M est determinado salvo por multiplicacin por elementos invertibles . i.e (ro = r1 ) (u Rx ) r1 = u ro .
Observacin:
ro 1 M = {0} ro = 0 M es libre con base {mo }
Antes de ver que sucede en el caso general con los R - mdulos nitamente generados , estudiemos lo siguiente:
78
CAPTULO 2. ANILLOS
Funciones lineales entre mdulos libres

Las funciones lineales entre mdulos libres sobre un anillo conmutativo R , se pueden describir ( tal como el caso de espacios vectoriales ) con matrices a coecientes en R . Sean F1 y F2 R - mdulos libres con bases B1 = {a1 , . . . , an } y B2 = {b1 , . . . , bm } respectivamente. Una funcin f : F1 F2 queda completamente (y unicamente) determinada si conocemos f (a1 ), . . . , f (an ) F2 . Por su parte , estas imgenes estn completamente determinadas por sus coordenadas en la base B2 : r1j . f (aj ) = r1j b1 + . . . + rmj bm , el vector de coordenadas es . = [f (aj )]B2 . . rmj As , f se representa de manera nica r11 r12 . . . r1n . . . . . [f ]B1 B2 = [f ] = . . . . por la matriz
rm1 rm2 [f ] Mmn (R) .

Hay biyeccin :
rmn
L(F1 , F2 ) Mmn (R) f [f ]

Ms aun , L(F1 , F2 ) es un R - mdulo ( (f + g)(x) = f (x) + g(x) y (rf )(x) = rf (x) ) que resulta isomorfo (como R - mdulo ) con el R - mdulo Mmn (R) . ( el isomorsmo es la biyeccin anterior ). A partir de [f + g] = [f ] + [g] y (rf )(x) = rf (x) , se tiene que si F1 , F2 y F3 son libres con bases B1 , B2 y B3 respectivamente, y f : F1 F2 , g : F2 F3 son lineales , entonces [g f ]B1 B2 = [g]B2 B3 [f ]B1 B2 ( producto usual de matrices ). Se tienen los mismos resultados que en lgebra lineal :
f : F1 F2 es un isomorsmo [f ]B1 B2 es invertible en Mnn (R) , con [f ]1B2 = [f 1 ]B1 B2 B1 . Matrices de Pasaje:
Sean B1 y B1 bases de F1
PB1 B1 = [idF1 ]B1 B1
PB1 B1 = [idF1 ]B1 B1
1 PB1 B = PB1 B1
1
(x F1 )[x]B1 = PB1 B1 [x]B1

f B1 F 1 f
79
B1 B2
F 2
B2
id B B F1 1 1 F 1 f f
1 id P F2 B B 2 2 F 2 B1 B2
B 1
B 2
1 [f ]B1 B2 = PB2 B [f ]B1 B2 PB1 B1

2
Denicin
Dos matrices A, A Mmn (R) se dicen equivalentes ssi P Mmm (R), Q Mnn (R) invertibles , tales que A = P 1 AQ . (Dos matrices son equivalentes ssi representan a la misma transformacin lineal , cambiando las bases ).
Ejemplo :
[2] M11 (Z) no es invertible: f : Z Z x 2x , su inversa sera [ 1 ] M11 (Z) / 2
Nota :
Toda la teora de determinantes en que las demostraciones NO requieran divisin , vale para matrices en Mnn (R) . En particular: 1. | AB |=| A | | B | 2. A es invertible ssi | A | es invertible en R , y en este caso , | A1 |= (| A |)1
Caso general : R - mdulos nitamente generados

Sea M =< {m1 , . . . , mn } >= Rm1 + . . . + Rmn un mdulo nitamente generado sobre el dip R.
80
CAPTULO 2. ANILLOS
Si F = Ra1 . . . Ran es un R-mdulo libre nitamente generado, Entonces la funcin
: F M x = r1 a1 + . . . + rn an r1 m1 + . . . + rn mn es un epimorsmo , y por lo tanto , M F/Ker . =

Por un teorema visto con anterioridad , el submdulo L = Ker F es tambin libre , con base de cardinal k , donde k n . Consideremos el caso general en que L = Imf , con f : F F , para F otro mdulo libre nitamente generado. ( por ejemplo : F = L , f = i , con i : L F la inclusin). As, el problema de estudiar mdulos nitamente generados sobre un dip R , equivale a estudiar mdulos del tipo F/Imf , donde f : F F lineal , F y F son R -mdulos libres de rango nito m y n respectivamente. Dadas una base B de F y B de F , f tiene matriz representante A = [f ]B B . Qu sucedera si somos capaces de encontrar una base B en F , y otra B en F , de modo que A = [f ] tenga la siguiente forma ?
1 r 0 0
Qu podemos decir del cuociente F/Imf ?
B = {b1 , . . . , bm } B = {a1 , . . . , an } f (b1 ) = 1 a1 f (b2 ) = 2 a2 . . . f (br ) = r ar f (br+1 ) = = f (bm ) = 0 Imf = R1 a1 Rr ar 0 Adems , F = Ra1 Rar Ran F/Imf Ra1 /R1 a1 Rar /Rr ar Rar+1 Ran (UN EJERCICIO ANTERIOR) = F/Imf (R/R1 )[a1 ] (R/Rr )[ar ] F , con F libre de base {ar+1 , . . . , an } = As , F/Imf R/(1 ) R/(r ) F =
Conluiramos entonces , que el mdulo original M F/L = F/Imf es , salvo isomorsmos , = una suma nita de mdulos cclicos un mdulo libre de rango nito. Veamos que A puede ser de la forma que queremos:
81
Teorema
Toda matriz A Mmn (R) , con R un dip , es equivalente a una matriz de la forma
1 r 0 0
con 1 /2 / /r = 0 .
Dem
Aplicaremos operaciones elementales a la matriz A para llevarla a la forma deseada. Operaciones elementales : 1. Operaciones Primarias a) Sumar a una la ( o columna ) un multiplo de otra
Epq( )=
1 p
(Epq ())1 = Epq () Epq () A : Suma a la la q de A , su la p multiplicada por A Epq () : Suma a la columna p de A , su columna q multiplicada por
b) Intercambiar las o columnas
82
q 1 1 p
CAPTULO 2. ANILLOS
q Ipq= p
1 1
1 Ipq = Ipq
Ipq A : intercambia las p y q A Ipq : intercambia columnas p yq

c) Multiplicar las (D A ) o columnas (A D ) por elementos invertibles
-1 d1 -1 D = dn -1 dn
d1
D=
d1 , . . . , dn Rx
2. Adems necesitaremos la operacin secundaria S A , donde S = In2

determinante de
Con
a11 . . . m Si A = a21 . . . , queremos obtener S A = 0 con m = mcd(a11 , a21 ) . A A

Para esto , debemos escoger de manera apropiada , , y . a11 a11 + a21 = a11 + a21 a21 SA= A A
invertible .
83
Como R es dip , sabemos que existen , R tales que a11 + a21 = m . Entonces , si escogemos = y = tenemos a11 + a21 = m .
m/a11 m/a21 , R tales que a11 = m y a21 = m . Escogamos = y = , de esta forma tenemos que a11 + a21 = m + m = 0 . Adems a11 + a21 = m m + m = m + = 1 , pero + = det es invertible.
En resumen : Si escogemos , , , y de tal forma que a11 + a21 = mcd(a11 , a21 ) y a11 = m , a21 = m() , se obtiene A de la forma deseada. Para continuer la demostracin , necesitaremos el siguiente lema:
Lema
Si A = 0 , es equivalente a una matriz del tipo
0 B
con divisor de todos los elementos de B .
Dem
Es claro que en la esquina (1, 1) podemos ubicar un elemento distinto de cero , y usarlo para anular , con operaciones secundarias , toda la columna bajo l. Llegamos a lo siguiente:
m 0 0
con m divisor de toda la primera columna original. Paso siguiente: hacemos lo mismo por columnas , con el n de anular la la a la derecha de m . Obtenemos:
84
m1 0 0
CAPTULO 2. ANILLOS
con m1 /m . Al siguiente paso obtenemos:
m2 0 0
con m2 /m1 Se genera una sucesin de esquinas m3 /m2 /m1 /mo = m cada uno asociado a matrices
mi 0 0 o
mi 0
Armamos que los mi se estabilizan . Consideremos los ideales (mo ) (m1 ) (m2 ) (mi ) (mi+1 ) Sea I =
m I i N tal que m (mi ) (m) (mi ) (m) I = (m) = (mi ) , por lo tanto , (j i) (mi ) = (mj ) mj = umi con u invertible .
Por lo tanto , en algn momento pasamos de
(mi ) , I es ideal en R , y por ser este un dip , m R tal que I = (m) .
mi 0 0 a
mi 0
( o al revs)
85
Al ser mi = mi+1 ( o mi mi+1 ) se tiene que mi = mi+1 es un divisor de todos los elementos de la derecha de mi en la primera matriz , y en vez de hacer este ltimo paso , podemos pivotear por Gauss y anular el resto de la la sin alterar los ceros bajo mi . Hemos llegado a:
m 0
0 B
Pero aun no se sabe si m divide a las componentes de B . Para lograr que las divida hacemos lo siguiente : Si m no divide a (B )ij , sumamos la la i a la primera , y hacemos el mismo procedimiento , se genera
m 0 0 B 0
m divide a (B )ij y a m .
Terminamos cuendo se estabilizan los m . Por induccin se concluye el teorema.
Corolario
Toda matriz cuadrada invertible sobre un dip es equivalente a una matriz diagonal de diagonal invertible.
Observacin:
En R = Z o R = K[x] (K cuerpo ) slo se requieren operaciones primarias , por que las a b secundarias se pueden obtener a partir de las primarias. Mejor aun , M22 (R) c d m se puede transformar en ( con m = m.c.d(a, b) ) slo a travs de operaciones 0 primarias , esto gracias al algoritmo de Euclides.
86
CAPTULO 2. ANILLOS
Corolario
Todo mdulo nitamente generado sobre un dip R , es isomorfo a uno del tipo R/(1 ) R/(k ) F , con F un mdulo libre nitamente generado , y 1 1 /2 / /k = 0 . Cuando R = Z , todo grupo abeliano nitamente generado es isomorfo a Z1 Zk Zm con 2 1 / /k = 0 . Todo grupo abeliano nito es de la forma Z1 Zk , 2 1 / /k = 0 y el cardinal del grupo es k i . i=1
Ejemplo:
Si A es abeliano , con |A| = 24
Z24 3 23 Z2Z12 2 3 22 Z2 Z2 Z6 2 2 3 2
Corolario
Toda matriz A Mnn (R) es producto de matrices elementales y secundarias. Sobre R = Z o R = K[x] ( K cuerpo ) , A ser producto de elementales.
Ejercicio 1:
Sea M un R - mdulo y T M su mdulo de torsin 1. Si f : M M es un isomorsmo de R - mdulos , entonces f (T M) = T M . 2. T (R/(1 ) R/(r ) F) = R/(1 ) R/(r ) 3. M/T M F =
Corolario
Si R es un dip y M es un mdulo sin torsin ( i.e T M = {0} ) y nitamente generado , entonces M es libre .
Ejercicio 2 :
Sea M un R - mdulo , c R y fc : M M la multiplicacin por c ( fc (x) = cx ) . Anotamos Imfc = cM . Notar que cM = (c)M . 1. Si M = M1 M2
2.5. MDULOS SOBRE UN ANILLO R (a) cM = cM1 cM2 (b) M/cM M1 /cM1 M2 /cM2 = 2. Si c y d son primos relativos , entonces c R/(d) = R/(d)
87
3. Si d = ac ( a, c = 0 ) , entonces cR/(ac) = (c)/(ac) R/(a) y (R/(ac))/(cR/(ac)) = = R/(c) 4. Si d = mcd(c, b) , entonces c R/(b) R/(b/d) = 5. Recuerdo : Si M = Rmo es un R - mdulo cclico , el anulador de M = I = {r R/rmo = 0} = (ro ) . ro = o(M) es el orden de M. Probar que : Si M1 , M2 son mdulos cclicos , entonces o(M1 )/o(M2 ) o(cM1 )/o(cM2 ) .
Teorema
Si R es un dip , todo R - mdulo nitamente generado M es isomorfo a R/(1 ) R/(r )F con 1 1 / /r = 0 y F libre nitamente generado. El rango de F y los i ( salvo multiplos invertibles ) son nicos.
Dem
La existencia del isomorsmo se deduce del teorema anterior. Veamos que sucede con la unicidad de esta descomposicin : Supongamos que M R/(1 ) = R/(r ) FR/(1 ) R/(s ) F , con F, F , i 1 i r y i 1 i s vericando las = condiciones del teorema. Del Ejercicio 1 , se concluye facilmente que L = R/(1 ) R/(r ) L = R/(1 ) R/(s ) = F. yF= Probemos que r = s . Por contradiccin , supongamos que r > s . Sea p primo tal que p/1 p/i i {1 . . . r} , entonces , del ejercicio 2 ,
R/(i ) pR/(i )
R/(p) =
R/(i ) Si p/i , se tiene pR/( ) R/(p) , si no , p y i son primos relativos L /pL 0 ( ejercicio = = i 2 ). As , L/pL L /pL equivale a R/(p) R/(p) R/(p) R/(p) = = r veces s veces
como p es primo , I = (p) es maximal R/I = R/(p) es cuerpo. El isomorsmo anterior es como R/(p) - mdulos , pero por ser R/(p) cuerpo , es un isomorsmo entre R/(p) - e.v pues tienen distinta dimensin (r > s ). Veamos ahora que i i 1 i s . Por contradiccin , supongamos que 1 j s tal que i i .
88
CAPTULO 2. ANILLOS
Sea j la ltima vez que i N oi , i.e r r , r1 r1 , . . . , i+1 i+1 , i N O i .
i N O i signica que i no divide a i o i no divide a i , supongamos que i no divide a i .

Multipliquemos L por i : desde j = 1 hasta j = i j /i , por lo tanto , i R (j ) i R/(j ) = 0 . Resulta entonces R/(i+1 /i ) R/(r /i ) Como i+1 = i+1 , . . . , r = r L S R/(i /mcd(c, i ))R/(i+1 /c) R/(r /c) ms largo que L , por lo tanto = , i i i = 1 . . . n.
=0
Denicin
1 , . . . , r se llaman factores invariantes del R - mdulo M El rango de F se llama rango de M , r(M) .
Corolario
Si M es un grupo abeliano , nitamente generado , entonces M se escribe de manera nica como M Zq1 Zqr Zk , con 1 < q1 / . . . /qr = 0 naturales nicos , y k 0 nico , = llamado el rango del grupo abeliano. Sea R un dip . Si M es un R - mdulo , su anulador es I = {r R/(m M)} rm = 0} . I es un ideal , por lo tanto , e R tal que I = (e) . e se llama anulador minimal , anulador principal o exponente de M ( si M es cclico se llama orden de M ). Anotamos e = e(M) , denido unicamente , salvo multiplicacin por elementos invertibles. Si M es nitamente generado : M =< {m1 , . . . , mk } >= Rm1 + + Rmk .
r Anulador de M rmi = 0 1 i k , por lo tanto , I = {r R/rmi = 0 1 i k} = (e) .

Es directo que e = e(M) = MCM{o(m1 ), . . . , o(mk )} , donde (a)(b) = (MCM{o(m1 ), . . . , o(mk )}) . Sabemos que M R/(1 ) R/(r ) F =
F = {0} e(M) = 0 F = {0} M es de torsin

Entonces m1 = [1]R/(1 ) , . . . , mr = [1]R/(r ) son generadores de ( la copia isomorfa de )M y sus respectivos ordenes son 1 , . . . , r , y su MCM es r = e(M) . Tenemos que si M es nitamente generado , M = T M F , con T M mdulo de torsin y FF mdulo libre. Veamos otra descomposicin de T M o mejor , supongamos que M es de torsin (otra descomposicin de M ).
89
Dado un primo p R , la componente p primaria de M es Tp M = {m M/i 0 tal que pi m = 0} , para M no necesariamente nitamente generado.
Tp M es un submdulo de M . En efecto: 0 Tp M Si m1 , m2 Tp M, pi m1 = 0 , pj m2 = 0 pi+j (rm1 +sm2 ) = 0 r, s R rm1 +sm2 Tp M
Prop
Sea M un R - mdulo de torsin . Supongamos que {p } es una familia de primos en R , con cada p un representante de una clase unitaria de primos . Todas las clases representadas una y slo una vez cada una , entonces M = Tp M .
Dem.
Sea x M \ {0} , y sea n R su orden o anulador minimal (o(x) = n ) .
n no es invertible , si no , x = 0 . n = 0 , pues x es de torsin .

1 k Sea n = p1 pk u la descomposicin de n como producto de primos , ( u es un elemento invertible ) . Veamos que x = x1 + + xk con xi Tpi M 1 i k .
Sea ni =
n up i
i
,1ik
Ejercicio: ( induccin) 1 , . . . , k R tal que 1 n1 + + k nk = 1 ( puesto que en

conjunto , no de a pares , n1 , . . . , nk son primos relativos : mcd(n1 , . . . , nk ) = 1 .
x = 1 n1 x+ +k nk x , xi = i ni x 1 i k , pii xi = i pi ni x = 0 xiTp MM=+ Tp M i .

La suma es directa , esto equivale a : ( Ejercicio ) Si xi Tpi M i = j si i = j 1 i, j k , y x1 + + xk = 0 , entonces xi = 0 1 1 2 k i k x1 = x2 x3 xk , pero o(x1 ) = p1 y o(x2 x3 xk ) = p2 pk , lo que no es posible si 1 = 0 , por lo tanto , 1 = 0 x1 = 0 . Repitiendo el mismo argumento , se concluye que xi = 0 1 i k .
Ejercicio :
Si M = {0} es cclico y de torsin , sabemos que M R/() = o(M) = e(M) R\({0}Rx ) = k 1 x , = p1 pk u p1 , . . . , pk primos , u R , i > 0 1 i k . Entonces R/() = R/(p1 ) R/(pk ). 1 k Aplicando todo esto resulta lo siguiente : Si M es un R - mdulo de torsin nitamente i,k generado , entonces M l [R/(pi i,1 ) R/(pi i )] , con p1 , . . . , pl primos que aparecen = i=1
90
CAPTULO 2. ANILLOS
en la descomposicin de r , con 1 / /r los factores invariantes . i,j exponente de pi i,k en alguno de los j . R/(pi i,1 ) R/(pi i ) Tpi M . Los pi i,j se llaman divisores = elementales de M .
Ejemplo:
A grupo abeliano de 24 elementos . 1 = 3 23 Z24 (A1 ) 1 = 2 2 = 3 2 Z2 Z12 (A2 ) 1 = 2 2 = 2 3 = 3 2 Z2 Z2 Z6 (A3 )
En trminos de divisores elementales :
A1 Z3 Z8 =
T3 A1 T2 A1
A2 Z3 Z4 Z2 =
T3 A2 T2 A2
A3 Z2 Z2 Z2 Z3 =
T2 A3 T3 A3
K[x] -Mdulos de Torsin Finitamente Generados

Recordemos que si M es K[x] - mdulo , entonces M = V espacio vectorial sobre K junto con una transformacin lineal T : V V que corresponde a la multiplicacin por x K[x] .Si v V y p(x) = ao + a1 x + + an xn K[x] , la multiplicacin por escalar est denida por p(x)v = p(T )(v) con p(T ) = ao id + a1 T + + an T n . Si V es de dimensin nita y B = {v1 , . . .vk } , 1 . a v = 1 v1 + + k vk le asigna (v) = . . es su base , la funcin : V Kk tal que
, es un isomorsmo de K[x] - mdulos :
k (V, T ) (K , TA )
k
k TA
con TA x = Ax , A = [T ]BB .
91
Observacin:
Si V es e.v de dimensin n < sobre K , sabemos que L(V, V ) Mnn (K) ( como e.v ) , = por lo tanto , L(V, V ) es de dimensin n2 . Entonces , si T : V V es una transformacin lineal , {T o , T 1 , T 2 , . . . , T k , . . .} = {T k /k N} es l.d ao , a1 , . . . , ak K no todos nulos tal que ao T o + a1 T 1 + + ak T k = 0 . Si p(x) = ao + a1 x + + ak xk p(x) K[x]/{0} y p(T ) = 0 . Sea I = {p(x) K[x]/p(T ) = 0} , I es un ideal en K[x] , por lo tanto , I = (m(x)) , pues K[x] es dip . m(x) est nicamente denido , salvo por multiplicacin por constantes distintas de cero ( i.e , los invertibles en K[x] ).
m(x) se escoge como el nico mnico ( coeciente de la mayor potencia de x es 1 ) y se llama polinomio mnimo de la transformacin lineal T . m(x) es el polinomio mnico distinto de cero de menor grado tal que m(T ) = 0 . (p(x) K[x]) p(T ) = 0 p(x) es mltiplo de m(x) .
Considerando el par (V, T ) como un K[x] - mdulo ( con T la multiplicacin por x ) : m(x)v = 0 v V , por lo tanto , V es de torsin y m(x) es su anulador minimal.
{p(x) K[x]/p(x) v = 0 v V } p(x)v = 0 v V p(T )v = 0 v V p(T ) = 0 L(V, V ) m(x) es anulador minimal entonces.
Notar tambin que , dado que V es de dimensin nita como K e.v , tiene base {v1 . . . vn } , (v V ) v = 1 v1 + + n vn , pero K K[x] , por lo tanto , V es generado como
K[x] mdulo por v1 . . . vn .
En resumen , si V es e.v sobre el cuerpo K y T : V V es lineal : 1. m(x) K[x] \ {0} , mnico , tal que m(T ) = 0 y m(x) es el polinomio ,distinto de cero , de menor grado que hace esto , ms aun , si P (T ) = 0 , para p(x) K[x] m(x)/p(x) 2. Considerando V como K[x] -mdulo ( con xv = T (v) ) V es de torsin , con anulador minimal m(x) ( el polinomio mnimo de T ) y nitamente generado. A la inversa : comenzamos con un mdulo M de torsin nitamente generado sobre K[x] . Sabemos que M es un espacio vectorial V sobre K , con una transformacin K - lineal T : V V . Adems M K[x]/(1 (x)) K[x]/(r (x)) (como K[x] - mdulos) , con = 1 (x)/ /r (x) = 0 los factores invariantes del mdulo , nicos si se piden mnicos ( son nicos salvo factores invertibles , i.e constantes distintas de cero ). Veamos primero el caso M cclico : M K[x]/((x)) , con (x) el orden de M . Adems vo =
V (= M) , tal que M = K[x]vo , i.e (v V )(p(x) K[x]) v = p(T )(vo ) = ao vo + a1 T (vo ) + + ak T (vk ) {vo , T (vo ), . . . , T k (vo ), T k+1 (vo ), . . .} genera V como espacio vectorial sobre K.
92
CAPTULO 2. ANILLOS
Pero si p(x) K[x] , podemos dividirlo por (x) : p(x) = q(x)p(x) + r(x) , con gr(r(x)) < gr((x)) = n v = p(T )(vo ) = q(T ) (T )(vo )+r(T )(vo ) = r(T )(vo ) = bo + b1 T (vo ) + +
(x)vo =0
bn1 T n1 (vo ) ,por lo tanto , {vo , T (vo ), . . . , T n1 (vo )} generan V como e.v sobre K , i.e V , como e.v sobre K , es de dimensin nita .
Mejor aun : {vo , T (vo ), . . . , T n1 (vo )} son l.i , y por lo tanto , constituyen una base del e.v sobre el cuerpo K . En efecto : Si o vo +1 T (vo )+ +n1 T n1 (vo ) = 0 i K 0 i n1 , entonces p(T )(vo ) = 0 , para p(x) = o +1 x+ +n1 xn1 p(x)vo = 0 en la estructura de K[x] -mdulo p(x)V = 0 , pues V est generado como K[x] - mdulo por {vo } p(x) es mltiplo de (x) , pero gr(p(x)) < gr((x)) p(x) = 0 sus coecientes o = = n1 = 0 . Cul es la matriz de T con respecto a la base B = {vo , T (vo ), . . . , T n1 (vo )} del e.v V ?
vn2 = T n2 (vo ) T vn1 = T n1 vo vn1 = T n1 (vo ) T vn = T n vo
v1 v2 . . .
= = . . .
vo T (vo ) . . .
T v1 T v2 . . .
= = . . .
T vo T 2 vo . . .
= v2 = v3 . . . . . . = vn = ?
Sea (x) = co + c1 x + + cn1 xn1 + xn ( el anulador minimal del K[x] -mdulo M = (V, T ) ). Calculemos T n vo : (x)vo = 0 = co vo + c1 T vo + cn1 T vo + T n vo T n vo = co vo c1 T vo cn1 T n1 vo = co v1 cn1 vn . Por lo tanto ,
0 1 A= [ T ] = B 0
0 0 1 0 0 1 0 0 1 0
- c1 - c2
0 1 - cn-1
Matriz compaera de (x) . Anotamos [T ]B = C(x) .
Ejercicio:
El polinomio caracterstico de la matriz compaera de (x) es pC(x) = (1)n (x) . Notar que el polinomio mnimo de T es (x) .
93
Prop
Sea M un K[x] -mdulo de modo que M = (V, T ) , con V e.v sobre K y T : V V la multiplicacin por x . Sea (x) K[x] \ {0} mnico . Entonces , M es cclico de orden (x) ssi V tiene una base B tal que la matriz representante de T en esta base es la matriz compaera de (x) .
Dem.
) Est demostrado ) B = {v1 , . . . , vn } , (x) = co + c1 x + + cn1 xn1 + xn . [T ]B = C(x) signica : = v2 xv1 = v2 2 = v3 x v1 = v3 . . . . . . . . . . . . . . . . . . n1 T vn1 = vn x v1 = vn T vn = co v1 c1 v2 cn1 vn
Como K[x] - mdulo , M = V es generado por {v1 } , i.e M es cclico. Adems T vn = xn v1 = co v1 c1 xv1 cn1 xn1 v1 (x)v1 = 0 , por lo tanto , (x) anula todo M = V . Por ser V = M cclico , tiene anulador minimal (x) de grado igual a dimV = n , por ser anulador minimal (x)/(x) , pero gr( (x)) = gr((x)) = n y ambos son mnicos (x) = (x) . Generalicemos para el caso en que M es de torsin nitamente generado sobre K[x] : M = K[x]/(1 (x)) K[x]/(r (x)) , con 1 (x)/ /r (x) = 0 , gr(1 (x)) 1 .
T v1 T v2 . . .
r (x) es el anulador minimal de todo M , i.e (v V ) r (x)v = r (T )v = 0 ((T ) = 0) . Adems , cualquier polinomio p(x) tal que p(T ) = 0 , satisface (v V ) p(x)v = 0 i.e p(x) anula todo M r (x)/p(x) .
As, r (x) es el polinomio mnimo m(x) de la transformacin lineal T . Adems , el e.v V se descompone como V = V1 Vr , con T (Vi ) Vi y Vi tiene una base tal que la matriz representante de T en ella es C(x) , de esta forma , V = M tiene una base ( como e.v sobre K ) en la que la matriz representante de T es
94
CAPTULO 2. ANILLOS
C 1 (x) C 2 (x)
C r (x)
1 (x), . . . , r (x) son los factores invariantes del K[x] - mdulo M .

Recordando que todo par (V, T ) , con V e.v sobre K de dimensin nita , T : V V lineal , es un K[x] -mdulo de torsin nitamente generado , concluimos lo siguiente : Mdulos nitamente generados de torsin sobre K[x] ssi e.v de dimensin nita sobre K con una transformacin lineal en s mismo .
Aplicacin a Matrices de n n a coecientes en un Cuerpo

Sea A Mnn (K) . A dene una transformacin K lineal
TA : Kn Kn x Ax (Kn , TA ) produce un K[x] - mdulo nitamente generado y de torsin ! lista de polinomios mnicos 1 (x)/ /r (x) = 0 (gr(1 (x)) 1) y una base de Kn , tal que la matriz representante de TA con respecto a esta base es
C 1 (x) C 2 (x)
C=
C r (x)
Forma cannica racional de A
95
Adems , r (x) es el polinomio mnimo de A . A es similar a C , pues ambas representan la misma transformacin lineal. Usando que el polinomio caracterstico de C(x) es (1)gr((x)) (x) y que el polinomio caracterstico de una matriz de la forma
A1 A2 = Polcar(A 1 )Polcar(A 2 ) Polcar(A r )
es pA1 pA2 pAr donde pAi es el polinomio caracterstico de Ai 1 i r , y que el polinomio caracterstico de matrices similares es el mismo , resulta:
Corolario 1
Si A Mnn (K) , su polinomio caracterstico es pA (x) = (1)n 1 (x) r (x) . ( Salvo signos , pA (x) es el producto de los factores invariantes de A ).
Corolario 2
Si A Mnn (K) y m(x) es su polinomio minimal , entonces m(x)/pA (x) ( pues m(x) = r (x) ).
Corolario 3 ( Teorema de Cauchy-Hamilton )

Si A Mnn (K) y pA (x) su polinomio caracterstico , entonces pA (A) = 0 .
Aplicacin de la descomposicin primaria de R - mdulos nitamente generados de torsin

Sea R un dip y M un R - mdulo nitamente generado de torsin M = i,k R/(pi i ) ( suma nita ).
l i=1
R/(pi i,1 )
Tomemos R = K[x] y p(x) = x , polinomio primo en K[x] ( generalmente hay ms polinomios primos ).Estudiemos K[x]/(p(x)k ) :
96
CAPTULO 2. ANILLOS
Sabemos que es cclico de orden p(x)k , M (V, T ) , M = K[x]vo . = v1 = vo v2 = T vo base de V = M . . . . . . . . . v = T k1 v

k o
[T ]Base = Cp(x)k . p(T )vo = (T id)k vo = 0 , (x )k = p(x)k es el anulador minimal de M ( polinomio mnimo de T ).
Nueva base para V = M :
(T id)k vo = 0 (T id)k1 vo = w1 (T id)k2 vo = w2 . . . . . . . . . (T id)vo = wk1 vo = wk wi = 0 1 i k . {w1 , . . . , wk } son una base de V . Calculemos la matriz representante de T con respecto a esta base : wk1 = T wk wk wk2 = (T id)2 vo = (T id)wk1 = T wk1 wk1 . . . T wk = wk + wk1 T wk1 = wk1 + wk2 . . . . . . . . . T w2 = w2 + w1 T w1 = w1
Por lo tanto , la matriz de T en esta base es
1 1 1
1 1
2.5. MDULOS SOBRE UN ANILLO R Bloque de Jordan
97
{w1 , . . . , wk }es una base de V por que tiene el nmero correcto de elementos , y dimV = gr((x )k ) = k y adems es l.i 1 (T id)k1 vo + + k vo = 0 , multipicando por (T id)k1 k = 0 .
( REVISAR) Si en K[x] los nicos polinomios primos mnicos son de la forma x ( por ejemplo K = C ) , entonces e.v V de dimensin nita sobre K y T : V V lineal , existe una base B de V tal que la matriz representante de T con respecto a esta base , es de la forma
1 1 1 1 i 1 1 i 1 m 1 m
Forma cannica de Jordan de T
1 , . . . , m son los valores propios de T , y los bloques
i 1 i 1 i 1 l 1 i 1 i l
98
CAPTULO 2. ANILLOS
(en nmero y tamao) para cada i estn unicamente determinados . El bloque

i 1 i 1 i 1 l 1 i 1 i l
proviene de una parte {w1 , . . . , wl } de la base B ( correspondiente al sumando cclico primario K[x]/((x )l ) del mdulo (V, T ) ) , que es tal que w1 es vector propio de T : T w1 = i w1 ( con valor propio asociado i ) y w2 , . . . , wl son vectores porpios generados de T , colas de w1 que satisfacen
T w2 = i w 2 + w 1 T w3 = i w 3 + w 2 . . . . . . . . . . . . . . . T wl = i wl + wl1
( Esta base viene de un generador wo en K[x]/((x )l ) tal que (x )l wo = 0 wi = (x )li wo y (x i )l wi = 0 i = 1 . . . l (T i id)l wi = 0 ) Si V = Kn , A Mnn (K) , T = TA : Kn Kn con TA (x) = Ax
1 1 1 1 i 1 1 i 1 m 1 m = J = [T A ] B
2.5. MDULOS SOBRE UN ANILLO R tal que P AP 1 = J
99
As, A es diagonalizable ssi todos los bloques de Jordan son de 1 1 todos los divisores elementales del K[x] - mdulo (Kn , TA ) son del tipo (x i )1 .
Pregunta : Qu matriz en K[x] hay que diagonalizar para obtener los factores invariantes
1 (x), . . . , r (x) , en el caso de un K[x] mdulo nitamente generado y de torsin ( i.e (V, T ) , V e.v sobre K de dimensin nita y T : V V lineal ) ?
Sea B = {v1 , . . . , vn } base de V ( como e.v sobre K ) {v1 , . . . , vn } genera V como K[x] mdulo ( pero ya no es l.i ) . Podemos escribir V como cuociente de un K[x] - mdulo libre . Sea F un K[x] - mdulo libre con base {b1 , . . . , bn } (F K[x]n ) . = Sea el nico epimorsmo ( de K[x] -mdulos) de F en V (= M ) tal que (bi ) = vi i {1, . . . , n} . : F V epimorsmo V F/Ker . Estudiemos ms en detalle Ker : =
xvj = T (vj ) = n aij vi , donde aij es el elemento ij de la matriz A de la transformacin i=1 lineal T en la base B . xvj
n i=1
aij vi = 0 Frmula en V .
n i=1
En F : Sea cj = xbj
aij bi F
n i=1
(cj ) = (xbj cj Ker .
n i=1
aij bi ) = x(bj )
aij bi = xvj
n i=1
aij vi = 0 , por lo tanto ,
Probemos algo mejor : Ker =< {c1 , . . . , cn } > Sea L =< {c1 , . . . , cn } > , sabemos que L Ker F =< {v1 , . . . , vn } > xbj mdulo L ?
[xbj ]L = [
n i=1
aij bi ]
[x2 bj ]L = [xxbj ] = x[xbj ] = x[ n aij bi ] = [ n i bi ] i K . Inductivamente xk bj L i=1 i=1 n n i=1 i bi i K , por lo tanto , p(x) K[x] , p(x)bj L i=1 i bi . as, z F n z L i=1 i bi i K
En particular , si z Ker :
z L 0=
n i=1
i bi i K
n i=1
n i=1
i (bi ) 0 =
i vi 1 = = n = 0 , es decir ,
z Ker z L 0 , z L .
En resmen :
: F V epimorsmo de K[x] -mdulos , F/Ker V como K[x] -mdulos . Ker =< = {c1 , . . . , cn } > .
Sea F mdulo libre de rango n , de base {b1 , . . . , bn } y f : F F la nica transformacin K[x] - lineal que a bi le asigna f (bi ) = ci i {1, . . . , n} . Resulta Imf =< {c1 , . . . , cn } >=
100
CAPTULO 2. ANILLOS
Ker , V F/Imf como K[x] - mdulos . Por lo tanto , la matriz a diagonalizar para = calcular los factores invariantes de V ( como K[x] - mdulo) es [f ]B B x a11 a21 n columna 1 de esta matriz : [f (b1 )]B = [c1 ]B = [xb1 i=1 ai1 bi ]B = . . .
an1 n i=1 aij bi ]B = x a jj . . . anj a1j a2j . . . , por lo tanto , la matriz
Columna j : [f (bj )]B = [cj ]B = [xbj
es xIn A .
Prop
Los factores invariantes de T : V V son los nicos polinomios mnicos 1 (x)/ /r (x) con gr(1 (x)) 1 , tal que al diagonalizar xIn A resulta .
1(x)
r (x) 0 0
Ejercicio:
Sea R un dip , n N \ {0} . Miremos los elementos del R - mdulo libre Rn como columnas r1 r2 r = . . Sean m1 , . . . , mn Rn y formemos la matriz A = [m1 | |mn ] Mnn (R) . . . Sea
rn = det(A) . Las siguientes proposiciones son equivalentes:
1. El submdulo M =< {m1 , . . . , mn } > Rn es libre
2.5. MDULOS SOBRE UN ANILLO R 2. {m1 , . . . , mn } es l.i 3.
101
=0
4. Rn /M es de torsin , nitamente generado . Adems : (a) Si R = Z , Rn /M es de torsin nitamente generado Rn /M es nito ( grupo abeliano nito ) y en este caso |Rn /M| = | | (b) Si R = K[x] , K cuerpo , Rn /M es de torsin , nitamente generado K[x]n /M es de dimensin nita como e.v sobre K , y en este caso , gr( ) = dimK V .
102
CAPTULO 2. ANILLOS
Captulo 3 Teora de Cuerpos

3.1 Algo ms sobre Polinomios
Sean R un anillo conmutativo y X = {x } , con = , una familia de elementos que llamaremos indeterminadas . Queremos denir polinomios a coecientes en el anillo R con variables x : , con el n de dar sentido a expresiones del tipo 2x2 x2 3x5 x3 x4 + x5 7 . 1 3 Para formalizar esto ( y las operaciones + y que esperaramos que existan entre polinomios) deniremos lo siguiente : Sea : N una funcin tal que , salvo un nmero nito de ellos , () = = 0 . Sea F el conjunto de estas funciones . La suma queda bien denida en F : Sean , F + : N +
+ es asociativa , conmutativa y tiene neutro 0 . Todo es cancelable para + .

A cada F le asociamos el monomio x = x1 1 xk k donde {1 , . . . , k } = { / = 0} . El conjunto de polinomios a coecientes en R con indeterminada X = {x } ser R[X ] = R[{x } ] = Rx . Notar que (R[X ], +) es un R - mdulo libre de base {x }F F . Denimos ahora el producto en R[X ] como sigue : Para dos elementos de la base : x x = x+ , y luego se extiende linealmente en cada ri sj xi +j factor : ( n ri xi )( m sj xj ) = j=1 i=1 i = 1...m j = 1...n 103

104
CAPTULO 3. TEORA DE CUERPOS
Ejercicio:
1. Probar que tenemos un producto bien denido en R[X ] y que (R[X ], +, ) es un anillo conmutativo de neutro xo 1 . 2. La funcin : R R[X ] tal que a r le asigna (r) = rxo es un monomorsmo de anillos , que permite identicar r R con rxo R[X ] . 3. Sean y F tal que 1 si = () = 0 si = Llamando x al elemento x , probar que F , si {1 , . . . , k } = { / =} , entonces x = x1 1 xkk 4. Si R no tiene divisores del 0 R[X ] no tiene divisores del 0. 5. R[X ] tiene la siguiente propiedad universal : Si S es un anillo cualquiera , y : R S es un homomorsmo de anillos y {s } es una familia de elementos en el anillo S que conmutan entre s, Entonces ! homomorsmo de anillos : R[X ] S tal que (r) = (r) r R , y (x ) = s . En particular , si : R R es la identidad , esto signica que , seleccionando para cada incognita x un valor s R , cada polinomio ri xi R[X ] da orgen a su evaluacin en la familia {s } . 6. Interpretar todo esto en X = {x}
3.2 Extensiones de Cuerpos

Sean K y k dos cuerpos . K se dice una extensin de k (K|k ) ssi k es subcuerpo de K .
K es un espacio vectorial sobre k , y su dimensin se anota [K : k] = dimk K . La extensin se dice nita si [K : k] = dimk K es nita.
Denicin
Sea K|k una extensin . Un elemento K se dice algebraico sobre k ssi p(x) k[x] \ {0} , tal que p() = 0 . La extensin K|k se dice algebraica ssi todo a K es algebraico sobre k. Ejemplo : R|Q : 3 2 es algebraico sobre Q , pues x3 2 Q[x] lo tiene como raz .
Prop
Si la extensin K|k es nita , entonces es algebraica.
3.2. EXTENSIONES DE CUERPOS
105
Dem.
Si a K , entonces {1, a, a2 , . . .} K . Este conjunto no es l.i , pues al ser dimk K < ,cualquier conjunto l.i ser nito o , . . . , n k , no todos nulos , tal que o 1 + 1 a + 2 a2 + n an = 0 . Tomando p(x) = o + 1 x + + n xn K[x] \ {0} , se tiene p(a) = 0 a es algebraico.
Denicin
Sean K|k una extensin de cuerpos y A K . El subcuerpo de K generado por A sobre k ser el subcuerpo de K ms pequeo que contiene a k y a A . Anotamos k(A) . Este subcuerpo existe y es
1 ...an ) k(A) = { p(a1 ...an ) /n N, p(x1 . . . xn ), q(x1 . . . xn ) k[x1 . . . xn ], a1 . . . an A, q(a1 . . . an ) = q(a 0}
K se dice nitamente generado sobre k si A es nito.
Prop
Si K|k es una extensin nita , entonces K es nitamente generado como cuerpo sobre k .
Dem.
Si {v1 . . . vn } es base de K como espacio vectorial sobre k , entonces K = k(v1 , . . . , vn ) .
Nota : La recproca de esta propiedad no es cierta . Veamos un ejemplo:

Sean k un cuerpo cualquiera y k(x) el cuerpo cuociente de k[x] :
k(x) =
p(x) /p(x), q(x) q(x)
k[x], q(x) = 0 .
k k[x] k(x) , por lo tanto , k(x) es una extensin nitamente generada (generada por x) sobre k y [k(x) : k] = .
Polinomio mnimo de un elemento algebraico

Sean K|k y a K algebraico sobre k . Sea I = {p(x) k[x]/p(a) = 0}
I {0} ( inclusin estricta) , pues a es algebraico sobre k . I es un ideal en k[x] ( no degenerado , pues 1 I ) / k[x] es un dip, por lo tanto, I = (m(x)) , con m(x) nico generador mnico de grado mnimo. m(x) es primo , si no lo fuera:
106
m(x) = p(x)q(x) con gr(p(x)) y gr(q(x)) ambos mayores o iguales que 1 y menores que gr(m(x)) . I = (m(x)) m(a) = p(a)q(a) = 0 p(a) = 0 q(a) = 0 p(x) I q(x) I gr(p(x)) m(x) gr(q(x)) m(x)
Por lo tanto , !m(x) k[x] primo , mnico y de grado mnimo tal que {p(x) k[x]/p(a) = 0} = m(x) k[x]
m(x) se llama polinomio minmo o polinomio irreducible de a con respecto al cuerpo k

Notar que I = Ker , con el morsmo de anillos : k[x] K tal que a p(x) k[x] le asigna (p(x)) = p(a) . As , la imagen de , que anotaremos k[a] es un subanillo de K , y es isomorfo , como subanillo de K , a k[x]/Ker, de esta forma, k[a] k[x]/(m(x)) ( = p(a) [p(a)] ) . Notemos que , debido a que m(x) es irreducible , el ideal I = (m(x)) es un ideal maximal .En efecto: Si J = (p(x)) , no degenerado , es tal que (m(x)) J ( inclusin estricta ) , entonces p(x)/m(x) .
I ideal maximal k[x]/(m(x)) cuerpo k[a] = {o + 1 a + + n an /n N, o . . . n k} es un cuerpo , y es el subcuerpo de K generado por k y a . En efecto: Es claro que k[a] k(a) . La otra inclusin es cierta , pues a y k estn contenidos en k[a] .
Problema Relacionado
Sea k un cuerpo y p(x) k[x] un polinomio primo . Existe algn cuerpo K , extensin de k , tal que p(x) tenga al menos una raz a K ? Existe , y se construye de la siguiente manera : Consideremos el ideal I = (p(x)) k[x]. Este ideal es maximal (pues p(x) es primo), por lo tanto , E = k[x]/(p(x)) es cuerpo . Sea : k E () = []
es un morsmo de cuerpos , por lo tanto , es inyectivo ( recordar que el nico ideal de un cuerpo es {0} ). As , k se puede ver como subcuerpo de E ( identicando k con [] E ).
En E hay una raz para p(x) . En efecto:
E = {[f (x)]/f (x) k[x]} , pero si f (x) = ao + a1 x + + an xn , entonces [f (x)] = ao + a1 [x] + + an [x]n E = {f ([x])/f (x) k[x]} . [f (x)] = f ([x]) = 0 f (x) es un mltiplo de p(x) , por lo tanto p([x]) = 0 . De esta forma , conclumos que [x] E es raz de p(x) .
107
Ejemplo:
k = R , p(x) = x2 + 1 , polinomio primo en R[x] . E = R[x]/(x2 + 1) .
Sea f (x) = ao + a1 x + + an xn R[x] [f (x)] = ao + a1 [x] + + an [x]n . Sabemos que [x2 + 1] = 0 = [x]2 + 1, [x]2 = 1 , por lo tanto , [f (x)] E, [f (x)] = a1 + b[x] . As como e.v sobre R , E =< {1, [x]} > .
{1, [x]} son l.i :

Si o + 1 [x] = 0 en E [o + 1 x] = 0 o + 1 x = q(x) (x2 + 1) o = 1 = 0
grado 1 grado 2
E es un espacio vectorial de dimensin 2 sobre R con base {1, [x]} .

Cmo es la multiplicacin ?
(a + b[x])(c + d[x]) = ac + (ad + bc)[x] + bd[x]2 = (ac bd) + (ad + bc)[x] E es isomorfo a los Complejos .
Volvamos al caso general : k un cuerpo y p(x) k[x] un polinomio primo. Veamos que E|k es una extensin nita , con [E : k] = gr(p(x)) : Sea p(x) = ao + a1 x + + am1 xm1 + xm ai k, i = 1 . . . m 1
p([x]) = ao + a1 [x] + + am1 [x]m1 + [x]m = 0 [x]m = m1 (ai )[x]i Por induccin se i=0 tiene que [x]j =< {1, [x], . . . , [x]m1 } >j m . Luego , como espacio vectorial sobre k , E est generado por {1, [x], . . . , [x]m1 } .Adems , esta es una familia l.i sobre k :
Si m1 i [x]i = 0 [ m1 i xi ] = 0 m1 i xi (p(x)) , i.e m1 i xi = q(x)p(x) q(x) i=0 i=0 i=0 i=0 k[x] , pero gr( m1 i xi ) m 1 < m = gr(p(x)) q(x) = 0 m1 i xi = 0 en k[x] i=0 i=0 i = 0 i = 0 . . . m 1 . El primer resultado era :
K|k una extensin , a K algebraico sobre k , m(x) primo en k[x] . K contiene un subcuerpo isomorfo a k[x]/(m(x)) , donde m(x) tiene a a como raz , este subcuerpo es k(a) = k[a] = k[x]/(m(x)) , de dimensin nita sobre k , con [k(a) : k] = gr(m(x)) .
As , dado un polinomio p(x) k[x] primo , la extensin minimal de k en la que p(x) tiene una raz es k[x]/(p(x)) .
Consecuencias:
Obsercacin : Si k K E ( cadena de extensiones de cuerpos ) , entonces [E : k] = [K : k][E : K] , sean nitos o innitos los cardinales involucrados .
Dem . Si {e : } es una base de E sobre K y {f : } es una base de K sobre k ,

entonces {f e /(, ) } es una base de E como e.v sobre k . DE aqu:
E|k es extensin nita E|K y K|k son extensiones nitas.
108
Corolario
Sean K|k una extensin y a1 , . . . , an K algebraicos sobre k , entonces k(a1 , . . . , an )|k es una extensin algebraica.
Dem.
Consideremos la siguiente cadena de subcuerpos de K :
k = ko k(a1 ) = k1 k(a1 . . . an ) = kn . Notar que ki+1 = ki (ai+1 ) ai+1 es algebraico sobre k es algebraico sobre ki k . Sea m(x) el polinomio irreducible de ai+1 sobre k, m(x) ki [x] k[x] , sin embargo , m(x) podra no ser el polinomio irreducible de ai+1 sobre el cuerpo ki , as , [k(ai+1 ) : ki ] < , conclumos entonces que kn |ko = k(a1 . . . an )|k es una extensin nita , y por lo tanto , algebraica.
algebraico sobre k , tambin lo es sobre K .
Observacin : si tenemos la cadena de extensiones de cuerpos k K E y a E es
Corolario
Si K|k es una extensin con K = k(a : ) y a es algebraico sobre k , , entonces K|k es una extensin algebraica.
Dem.
Si a K = k(a : ) a = q(a1 ...an ) con p(x1 . . . xn ), q(x1 . . . xn ) k[x1 . . . xn ] , n 1 q(a1 . . . an ) = 0 a k(a1 . . . an ) K , y ya probamos que k(a1 . . . an ) es extensin algebraica de k , por lo tanto , a es algebraico sobre k .
p(a
...a
Ejercicio:
Dada una cadena de extensiones k K E , E|k es algebraica ssi E|k y K|k son algebraicas.
3.2.1 Cerradura algebraica

Denicin
Un cuerpo K se dice algebraicamente cerrado ssi todo polinomio p(x) k[x] de grado 1 tiene races en K . Ejemplo: el teorema fundamental del lgebra asegura que C es algebraicamente cerrado.
109
Denicin
Una extensin K de un cuerpo k se dice cerradura algebraica de k ssi : 1. La extensin K|k es algebraica. 2. K es algebraicamente cerrado. Ejemplo: C es cerradura algebraica de R .
Ejercicio:
Sea k un cuerpo y K k una extensin algebraicamente cerrada . Probemos que existe k k K cerradura algebraica de k : Sea k = {a K/a es algebraico sobre k} .Sabemos que :
k es un cuerpo k|k es algebraico kkK

Debemos probar que k es algebraicamente cerrado : Sea f (x) k[x] de grado 1 .Sabemos que f (x) tiene una raz a K . Sea E = k(ao . . . an ) , donde ao . . . an k son tales que f (x) = ao + a1 x + + an xn . E es extensin nita y algebraica sobre k . f (x) E[x], a es raz de f (x) a es algebraico sobre E .
k E , E E(a) son extensiones nitas k E(a) es extensin nita es algebraica a es algebraico sobre k a k .
Ejercicio:
1. Si K es un cuerpo algebraicamente cerrado , y E es una extensin algebraica de K E=K. 2. Si K es algebraicamente cerrado , todo polinomio f (x) K[x] de grado 1 se descompone en K[x] como f (x) = a(x c) 3. Ningn cuerpo nito es algebraicamente cerrado Apuntamos ahora a encontrarle una clausura algebraica a cualquier cuerpo k .
110
Lema
Si k es un cuerpo y f1 (x) . . . fn (x) son una cantidad nita de polinomios de grado 1 en k[x] , entonces existe una extensin algebraica nita E|k en la que cada uno de estos polinomios tiene al menos una raz.
Dem.
Primero tomemos p1 (x), . . . , pn (x) primos en k[x] , con pi (x)/fi (x) . Extendamos k para que los pi (x) tengan races ( y por lo tanto , los fi (x) tambin las tendrn ). Sabemos que podemos extender k a E1 k[x]/(p1 (x)) y resulta E1 = k(a1 ) , con a1 raz =
de p1 (x) ( y [E1 : k] = gr(p1 (x)) ). p2 (x) k[x] E1 [x] , pero podra no ser primo en E1 [x] . Sea p2 (x) un factor primo de p2 (x) en E1 [x] . Sabemos que E1 se puede extender a E2 E1 [x]/(p2 (x)) y E2 = E1 (a2 ) , con a2 raz de p2 (x) , y por lo tanto , de p2 (x) . As , = E2 = k(a1 )(a2 ) = k(a1 , a2 ) , y como [E2 : E1 ] < , entonces [E2 : k] < .
Con el mismo argumento (induccin) , extendemos E2 , E3 = E2 (a3 ) , con a3 raz de p3 (x) En = En1 (an ) = k(a1 . . . an ) extensin nita de k con ai raz de pi (x) .
Lema
Sea k un cuerpo . Existe una extensin algebraica E de k tal que todo polinomio f (x) k[x] de grado 1 tiene al menos una raz en E . Ms aun , si {f (x)} es la familia de todos los polinomios de grado 1 a coecientes en k , podemos pedir que ( )(a E) raz de f (x) y E = k(a : ) .
Dem.
Sea X = {x } . Trabajemos en el gran anillo de polinomios a coecientes en k e indeterminadas en X : k[X ] . Dentro de este anillo , sea I el ideal generado por los elementos de {f (x)} , I = ({f (x)} ) . ( cosas como f1 (x1 ) + x3 x4 f2 (x2 ) estn en I ). Veamos que I es un ideal no degenerado : Por contradiccin , supongamos que 1 I , i.e 1 = k[X ] i = 1 . . . n .
n i=1
gi (X ) fi (xi ) , con gi (X )
f1 (x1 ) . . . fn (xn ) son una cantidad nita de generadores . Extendamos k a un cuerpo K en el que f1 (x1 ) . . . fn (xn ) tengan races a1 , . . . , an respectivamente .
En K[x] k[x] , 1 = Denamos ahora a =
n i=1
gi (X ) fi (xi ) sigue siendo cierto .
a 1 =
ai si = i n y evaluemos 1 = i=1 gi (X ) fi (xi ) en x = 0 si no n / i=1 gi (X ) fi (xi ) = 0 , por lo tanto , 1 I .
Como I es ideal no degenerado , hay algn ideal maximal J k[X ] que lo contiene . Llamemos E = k[X ]/J , cuerpo , pues J es maximal.
111
i k k[X ] k[X ]/J = E i es morsmo de cuerpos es inyectiva , por lo tanto , podemos pensar que k E . Adems , los elementos de E son de la forma i [x1 ]e1 [xk ]ek , E = k[[x ] : ] . E est generado a partir de k por {[x ] : } y adems en E : f ([x ]) = [f (x )] = 0 .
Llamando b = [x ] E , tenemos E = k(b : ) ,f (b ) = 0 .
IJ
Teorema
Todo cuerpo k tiene clausura algebraica .
Dem.
Eo = k , E1 la extensin de Eo del lema anterior , . . . . En general , En+1 es la extensin de En dada por el lema anterior . Tenemos: k = Eo E1 En En+1
Sea K =
n
K es algebraico sobre k : Si a K n N tal que a En , pero En es algebraico sobre k K es algebraico sobre k . K es algebraicamente cerrado : Sea f (x) = ao + + an xn K[x] mo , . . . , mn N tales que ao , . . . , an estn en Emo , . . . , Emn respectivamente , Si Em es el mayor ( con respecto a la inlcusin ) de estos cuerpos , entonces f (x) Em [x] tiene raz en Em+1 K .
En , es cuerpo por ser unin creciente de cuerpos .
3.2.2 Inmersiones
Si k y K son cuerpos , un morsmo de cuerpos : k K se suele llamar una inmersin de k en K . Recordar que es necesariamente inyectivo. Si ahora L|k es una extensin de cuerpos
L K
i k
y : L K es una inmersin que extiende , se dice que va sobre . Caso particular , si e una inclusin, se dice que va sobre k .
112
L
i k
Ejemplo:
conj.
Lema
Sea K|k una extensin algebraica de cuerpos.
K K
Sea una inmersin sobre k ( (x) = x x k ) , entonces : K K es un automorsmo de cuerpos.
113
Dem.
Observacin1: Si : K K es una inmersin sobre k , entonces es una funcin lineal de K en K con escalares en k : (x + y) = (x) + (y) y (x) = ()(x) , si k () = , por lo tanto , es k - lineal. Observacin2 : As, si [K : k] < , este es el teorema de lgebra lineal: funcin lineal inyectiva de un e.v de dim n a otro de dim n es un isomorsmo.
Hay que probar la sobreyectividad de . Sea a K y E = k(a) , sabemos que , por ser a algebraico sobre k , [E : k] = grado del polinomio mnimo de a en k[x] < . Probemos que (E) E . Sea p(x) = bo + b1 x + + bn1 xn1 + xn k[x] el polinomio mnimo de a p(a) = bo + b1 a + + bn1 an1 + an = 0 . Si aplicamos a p(a) : (p(a)) = 0 = bo + b1 (a) + + bn1 (a)n1 + (a)n (a) es otra raz de p(x) en K . Supongamos que a1 , . . . , ar son las races de p(x) en K . Tratemos de trabajar con L = k(a1 , . . . , ar ) , (L) = k((a1 ), . . . , (ar )) , por el argumento anterior , (ai ) es raz de p(x) en K (L) L ( en realidad, es directamente igual ). como a1 = a L a = (aj ) algn j . Un poco ms de nomenclatura : Sea : k K un morsmo de cuerpos , y sea p(x) = ao + a1 x + + an xn k[x] . Anotamos por p (x) al polinomio de K[x] dado por p (x) = (ao ) + (a1 )x + + (an )xn . Tenemos un monomorsmo de anillos
k[x] K[x] p(x) p (x)

Adems , a k raz de p(x) (a) K raz de p (x) .
Lema *
Sean K|k una extensin de cuerpos, : k E una inmersin y a K algebraico sobre k . Sea p(x) k[x] el polinomio mnimo de a. Entonces , por cada raz b E del polinomio p (x) E[x] , existe una nica extensin : k(a) E de tal que (a) = b . Llamemos b a esta extensin . Adems , toda extensin de a : k(a) E es de la forma b , para algn b raz de p (x) en E .
Dem.
Existencia de b :
114
k(a) b
E k
Sabemos que : k(a) k[x]/(p(x)) =
k [x]
Consideremos la funcin : : k[x] E k () E (co + c1 x + + cn xn ) = (co ) + (c1 )x + + (cn )xn . x b ( Es el nico morsmo de anillos que extiende a todo k[x] y que manda x en b ).
(p(x)) = p (b) = 0 , por lo tanto , se anula en el ideal (p(x)) induce un morsmo : k[x[/(p(x)) E k () . [x] b
Tenemos entonces que :
f k[x]/(p(x)) E k(a) = k k () a [x] b b = f es tal que b () = () si k b (a) = b
La unicidad de b viene del hecho que k(a) est generado por k {a} y b est jo en k y en a . El que todas las extensiones sean de esta forma es directo. Revisemos la demostracin del lema . Tenemos
k(a) b E k
115
Recordemos que en k(a) los elementos son de la forma y = o + 1 a + + n an con i k i = 1 . . . n ( y = f (a) , f (x) k[x]).
b debiera satisfacer que b (o ) + b (1 )b (a) + + b (n )b (a)n = (o ) + (1 )b + + (n )bn . Pero y podra escribirse de varias maneras como polinomio evaluado en a . Cmo garantizamos que (o ) + (1 )b + + (n )bn no depende del polinomio que usamos para escribir y ?
Para resolver este problema , recordemos que k(a) k[x]/(p(x)) mediante k , = x [x] . Denamos entonces : k[x] L k () nico morsmo de anillos x b
q(x) = o +1 x+ +n xn (q(x)) = (o )+(1 )b+ +(n )bn (p(x)) = p (b) = 0 : induce un nico : k[x]/(p(x)) L tal que o + 1 [x] + + n [x]n (o ) + (1 )b + + (n )bn .
Corolario *
Sea K|k extensin algebraica y : k L una inmersin de k en un cuerpo algebraicamente cerrado L . Entonces existen inmersiones : K L sobre .
K L
Si adems , K es algebraicamente cerrado y L es algebraico sobre (k) , entonces cualquiera de tales es un isomorsmo.
Dem.
1) Existencia de extensiones : K L : Por Zorn , sea A = { : J L/k J K, |k = }
116
K
a) A es ordenado : 1 , 2 A, 1 b) Si { } es una cadena en A
2 2 es extensin de 1
Sea J =
J L y J (y) , est bien denida , y es morsmo de cuerpos sobre , por lo tanto , A , y por denicin , es cota superior de la familia { } Existe un elemento maximal J . J es un subcuerpo que contiene a k . Denamos
K
117
Si J K ( estrictamente incluido ), como K es algebraico sobre k , lo es sobre J . Tomando a K \ J , aplicamos el lema con k = K , K = K(a) y podemos extender por a K(a) , lo que contradice que sea maximal . 2) Tenemos el siguiente diagrama
alg. cerrado
K L
alg. cerrado
y queremos probar que es isomorsmo . Slo resta probar que es sobreyectiva . Sea K = (K) L . k es isomorfo a k y , por lo tanto , tambin algebraicamente cerrado , tenemos : k K L , con L|k algebraica
L|K extensin algebraica L = K .
Corolario
Si K|k y L|k son dos cerraduras algebraicas del mismo k , entonces existe un isomorsmo : K L sobre k .
Dem.
Usar el corolario anterior a
K
L k
Ejemplo: C es la cerradura algebraica de R . ( teorema fundamental del lgebra )
118
C
conj.
3.2.3 Cuerpos de descomposicin

Denicin
Si k es un cuerpo y f (x) k[x] es un polinomio de grado 1 , un cuerpo de descomposicin para f (x) es una extensin K de k tal que: 1. f (x) tiene todas sus races en K . i.e f (x) se descompone en factores lineales en K[x] : f (x) = (x c1 ) (x cn ) con c1 , . . . , cn las races de f (x) . 2. K se genera a partir de k mediante las races de f (x) , i.e K = k(c1 . . . cn ) .
Prop
Si f (x) es de grado 1 en k[x] , entonces: 1. Existe un cuerpo de descomposicin para f (x) . 2. Si K|k y E|k son dos cuerpos de descomposicin de f (x) , entonces existen isomorsmos : K E sobre k ( i.e (x k) (x) = x ).
Dem.
K K
k inclusion
E inclusion
119
Sea E cerradura algebraica de E . Notar que , como E es algebraico sobre E y E es algebraico sobre k , entonces E es algebraico sobre k. Adems E es algebraicamente cerrado E es cerradura algebraica de k . Tenemos el siguiente diagrama :
K
E alg. cerrado
Por un corolario anterior , la inclusin : k E se puede extender a una inmersin : K E sobre k . Debemos probar que (K) = E . Como K y E son cuerpos de descomposicin de f (x) k[x] , entonces , en K[x] = k(c1 . . . cn ) f (x) = (x c1 ) (x cn ) y en E[x] = k(c1 . . . cn ) f (x) = (x c1 ) (x cn ).
( ) : K[x] E[x] morsmo de anillos g(x) g (x)

Notar que f (x) = f (x)
f (x) = (x c1 ) (x cn ) f (x) = (x (c1 )) (x (cn )) , As , en E , f (x) se descompone en factores primos como f (x) = (x (c1 )) (x (cn )).
Como E E , f (x) tiene dos descomposiciones en E[x] : 1) f (x) = (x (c1 )) (x (cn )) 2) f (x) = (x c1 ) (x cn ) Por unicidad de descomposicin en factores primos, en el dip E[x] , estas dos descomposiciones son la misma , salvo tal vez el orden de los factores , por lo tanto , i = 1 . . . n j = 1 . . . n tal que (ci ) = cj , ({c1 , . . . , cn }) = {c1 , . . . , cn } Pero K = k(c1 , . . . , cn ) y E = k(c1 , . . . , cn ) , por lo tanto , (k) = k( (c1 ), . . . , (cn )) = k(c1 , . . . , cn ) = E
Denicin
Si F = {f (x)} es una familia cualquiera de polinomios de grado 1 en k[x] , un cuerpo de descomposicin de la familia es una extensin K|k tal que
120
1. Cada f (x) de la familia se escribe como producto de factores lineales en K . 2. K est generado a partir de k por las races de todos los polinomios de la familia. Nota:
El cuerpo de descomposicin de f (x) es el de la familia {f (x)} El cuerpo de descomposicin de la familia vaca es k .
Ejercicio:
1. F tiene cuerpo de descomposicin 2. Si K|k y E|k son cuerpos de descomposicin de la familia F , entonces son isomorfos sobre k . Ms aun , si : K E es una inmersin de K en la clausura algebraica E de E , sobre k , entonces (K) = E , y dene un isomorsmo entre K y E sobre k .
3.3 Aplicacin a cuerpos nitos

3.3.1 Deniciones Preliminares
Sea R un anillo conmutativo con unidad .Cul es el subanillo ms pequeo que contiene R? En ese anillo deben estar 0, 1, 1 + 1, 1 + 1 + 1, . . . , n 1, . . . . Sea P = {n 1/n Z} , este el subanillo ms pequeo en R .P se suele llamar el subanillo primo de R
(P, +) es un grupo cclico generado por {1} , por lo tanto , es isomorfo a (Z|P| , +) si es nito o (Z, +) si no lo es .
Si P es nito , |P| = m es la primera vez que 1 + + 1 = 0 , en caso contrario , 1 + + 1 se anula.
m veces
Si (P, +) (Zm , +) , el anillo R se dice de caracterstica m ,si (P, +) (Z, +) , se dice = = de caracterstica 0 . Notar que , en el caso de caracterstica m , el isomorsmo
P Zm es morsmo de anillos. n 1 [n]
Nota:
si 1 + + 1 = 0 (a R) a + + a = a(1 + + 1) = 0
m veces m veces m veces
Si R no tiene divisores del 0 ( dominio de integridad ) su caracterstica es 0 o primo. En efecto :
3.3. APLICACIN A CUERPOS FINITOS
121
Sabemos que si R no es nito , en cualquier caso , su caracterstica es 0 , por lo tanto , slo basta probar la armacin para R nito de caracterstica m . Supongamos que m no es primo ( recordar que {1, 0} R , por lo tanto , m 2 ) k 2, l m 1 tal que m = k l . Llamemos a = k 1 y b = l 1 , ambos son distintos de 0 , pues k y l son menores que m y la primera vez que una suma de unos se anula es con m . Pero a b = (k l)1 = m1 = 0 a y b son divisores del 0 . Notar que en este caso , R de caracterstica prima m , el subanillo primo (P, +, ) es un cuerpo ( pues es isomorfo al cuerpo (Zm , +, ) ) llamado subcuerpo primo .
Observacin:
En general , el anillo R es un mdulo sobre cualquier subanillo , en particular sobre su subanillo primo , por lo tanto, si R es de caracterstica prima , entonces R es un espacio vectorial sobre el subcuerpo primo.
Caso R = k , con k cuerpo

No tiene divisores del 0 , por lo tanto , es de caracterstica 0 o p prima . 1. Caso caracterstica p prima : k ser espacio vectorial sobre el subcuerpo primo kp = (Zp , +, ) . As, k es una extensin de kp Zp .k ser un e.v vectorial de dimensin nita = ( no podra tener una base innita ) sobre kp .Si dimkp k = n , entonces k kn (Zp )n = p = como e.v. 2. Caso caracterstica 0 : El subanillo primo P es isomorfo a (Z, +, ) . Si tomamos los cuocientes entre elementos de P , resulta un subcuerpo , el subcuerpo ms pequeo en k , llamado subcuerpo primo de k ( anotamos kQ ) , que es isomorfo a (Q, +, ) . k es una extensin de kQ y , por lo tanto , un e.v sobre kQ .
Teorema 1
Si k es un cuerpo nito , entonces |k| = pn , donde p = car(k) primo , y 1 n N . Para la demostracin del siguiente teorema necesitaremos los siguientes resultados:
Lema
En caracterstica p , (a + b)p = ap + bp , i N .
i i i
Dem.
(a + b)p =
p j=0
p j
aj bpj = ap + bp +
0<j<p
p j
0
aj bpj
Por induccin sobre i se concluye .
122
Cmo saber si un polinomio tiene races repetidas ?

Si g(x) k[x] tiene a a como raz repetida , entonces (x a)m q(x) = g(x) . Cuando k es un cuerpo , denimos la derivada , como la nica funcin k - lineal D : k[x] k[x] , tal que D(xn ) = nxn1 (ejercicio). Se prueba facilmente que si f (x), g(x) k[x] , entonces D(f (x), g(x)) = D(f (x)) g(x) + f (x) D(g(x)) . De lo anterior concluimos que a es raz mltiple de g(x) k[x] a es raz de g(x) y D(g(x)) .
Teorema 2
p primo , n 1 , hay cuerpo nitos F de pn elementos.
Dem.
Dnde buscar F ? Si F existe , deber ser una extensin algebraica de Zp (Fp ) , pues dimZp F = n nito ( ext. nita ext. algebraica ). Comencemos con K = Zp , la cerradura algebraica de Zp ( ext. algebraica ms grande posible de Zp ) . Llamemos q = pn . Queremos buscar en K = Zp un subcuerpo de q elementos . Para la busqueda : Si F existiera , tomamos G = (F \ {0}, ) grupo multiplicativo con q 1 elementos (x G) xq1 = 1 xq = x . Tendramos entonces : (x F) xq = x . Sea ahora f (x) = xq x Zp [x] K[x] .Sea F el cuerpo de descomposicin de xq x ( se puede buscar dentro de K ) . Mostremos que F = {races de xq x}
{races de xq x} es cuerpo , en efecto :

Si a, b {races de xq x}
(a b)q = aq bq = a b a b {races de xq x}
1 Si a = 0 , ( a )q = 1 aq
1 a
a tiene inverso en {races de xq x}
1q = 1 1 {races de xq x} 0q = 0 0 {races de xq x} Por el lema anterior (a + b)q = aq + bq = a + b (a + b) {races de xq x} (a)q = (1)q aq = (1)q a . Si p 3 , (1)q = 1 (a)q = a . Si p = 2 , (a)q = a , pero a + a = 0 a = a (a)q = a , por lo tanto a {races de xq x}.
3.3. APLICACIN A CUERPOS FINITOS As , {races de xq x} es cuerpo. Cuntos elementos tiene ? Lo ideal es que tenga q elementos , es decir , que sean q races distintas .
123
Para esto calculemos la derivada de f (x) = xq x : Df (x) = qxq1 1 = 1 , no tiene races , por lo tanto , f (x) no tiene races repetidas . Podemos concluir entonces que F = {races de xq x} es un cuerpo con q = pn elementos.
Teorema 3
Si p es primo y n 1 , entonces dos cuerpos cualquiera K y F con pn elementos son isomorfos.
Dem.
Los elementos de F y de K satisfacen la ecuacin xq x = 0 . Pero xq x Zp [x] tiene a lo ms q races , y en F ( y tambin en K ) hay q races , por lo tanto , F ( y tambin K ) es cuerpo de descomposicin de xq x sobre Zp , por lo tanto , F K . =
Notacin: Si q = pn , se suele anotar como Fq al cuerpo nito con q elementos.

Teorema 4
1. Sea F un subcuerpo de Fq . Entonces |F| = pj , con j/n 2. j/n , ! subcuerpo F de Fq con r = pj elementos .
Dem.
La demostracin queda de ejercicio, pero se pueden tomar en cuenta las siguientes indicaciones : 1. Si k K E , entonces [E : k] = [E : K] [K : k] . 2. Probar que (r 1)/(q 1) , adems si G es grupo abeliano con m = q 1 elementos y l/m , entonces existe H G con l elementos .
Ejemplo :
Estructura de Subgrupos de F12
124
F 12 p
F 6 p
F 4 p
F 3 p
F 2 p
F p
Ejercicio :
Si k es un cuerpo cualquiera y (G, ) (kx , ) es un subgrupo multiplicativo nito , entonces (G, ) es cclico.
Dem.
Como (G, ) es nito , (G, ) es cclico ssi (G, ) (Zn , +), con n = |G| . = Sea n = p1 pl la descomposicin de n en producto de primos distintos entre si. 1 l Z 1 Z l Zn = Z 1 l =
p1 pl p1 pl Tp1 (
Zn )
Tpl (
Zn )
Lo que haremos para la demostracin es entonces tomar una componente primaria cualquiera j Tp (G) = {a G/ap = 1, algn j} de G , y probar que es cclico. Sea H = Tp (G) una componente p - primaria , H = {x G/xp = 1 , algn j} = {x G/O(< {x} >) = pj , algn j} . Si H fuera cclico como queremos , entonces H =< {a} > , O(a) = pl . pl ser el mximo orden de elementos en H . Sea pl = Max{O(x)/x H} y a un elemento de H de orden pl . Claramente : pl = O(a) = l | < {a} > |/|H| . Adems , (x H) xp = 1 , pues O(x) = pj pl . Recordar que H es subgrupo de (kx , ). As , los elementos de H son races en k del polinomio l xp 1 , y este polinomio no puede tener ms de pl races |H| pl , por lo tanto , |H| = pl , y como el subgrupo < {a} > H tiene tambin pl elementos < {a} >= H.
j
125
Ejercicio :
1. Sea K|k una extensin de cuerpos con K = k ( cerradura algebraica de k ) . Sea a K , y sea p(x) el polinomio mnimo de a en k[x] . Si r es la multiplicidad de p(x) ( i.e , en la descomposicin de p(x) en K[x] , (x a) aparece elevado a r ), entonces , todas las races de p(x) en K tienen multiplicidad r . 2. Car(k) = 0 r = 1
Dem.
1. p(x) = (x a1 )r1 (x al )rl en K[x] , con a1 . . . al las races de p(x) en K[x] de multiplicidades r1 . . . rl respectivamente . Podemos tomar a1 = a y , por lo tanto , r1 = r . (Esta descomposicin de p(x) es vlida tambin en E = k(a1 . . . al ) K , el cuerpo de descomposicin de p(x) ). Veamos que ocurre si existe una inmersin sobre k : E E tal que (a1 ) = a2 . Si tal cosa ocurriera , p(x) = (x a1 )r1 (x al )rl = p (x) = (x (a1 ))r1 (x (al ))rl = (x a2 )r1 (x (a2 ))r2 (x (al ))rl , otra descomposicin en factores lineales de p(x) en E[x] debe ser la misma , salvo el orden de los factores , el factor (xa2 )r2 de la primera descomposicin debe coincidir con el factor (x a2 )r1 de la nueva descomposicin r1 = r2 . Con esto , probaramos 1. del ejercicio. Buscamos
Nuestra situacin es:
126
K
K=k
Primero, extendamos (inclusin) a a2 : k(a) K . Obtenemos:
K E
k(a) a 2
K=k
usando el Corolario * , podemos extender la inmersin a2 a toda la extensin algebraica E de k(a) . Llegamos a : E K extensin de a2

K E
127
k(a)
K=k
extiende la inclusin y adems (a) = (a2 ) . El nico problema es como asegurar que (E) E . E = k(a1 . . . al ) (E) = k( (a1 ) . . . (al )) .
Qu valores tienen (a1 ) . . . (al ) ?
p(x) = (x a1 )r1 (x al )rl , p(x) = p (x) = (x (a1 ))r1 (x (al ))rl en K[x] (a1 ) . . . (al ) son las races de p(x) en K (E) = k( (a1 ) . . . (al )) = k(a1 . . . al ) = E .
As
E
Por lo tanto , r1 = r2 ( del mismo modo , r1 = rj j = 1 . . . l ) 2. Hay que probar que en caracterstica 0 , r = 1 . Es decir , si p(x) k[x] es irreducible de grado 1, no tiene races repetidas.
p(x) = xn + an1 xn1 + + ao k[x] irreducible Dp(x) = nxn1 + (n 1)an1 xn2 + + a1 k[x] .
Si a k es raz repetida de p(x) , entonces tambin es raz de Dp(x) pues gr(Dp(x)) < gr(p(x)) , lo que contradice que p(x) sea el polinomio mnimo de a .
128
Ejemplo de un polinomio irreducible con races mltiples

Sea un elemento no algebraico sobre Z2 = F2 , y k = Z2 () ( Ejemplo : tomar k = Z2 (x) =
p(x) /p(x), q(x) q(x)
Z2 [x], q(x) = 0
= x ) . Entonces no tiene raz cuadrada en k ( es

p(x) q(x) 2
decir , x no se puede escribir como
con p(x), q(x) Z2 [x] )
Notar que : Cark = 2 ( su subcuerpo primo es Z2 ) y tiene un elemento sin raz cuadrada. Tomemos el polinomio p(x) = x2 k[x] . p(x) es irreducible. Extendamos k a E = k(b) con b raz de p(x).
b2 = 0 en E b2 = p(x) = x2 b2 en E[x] . Pero estamos en caracterstica 2 p(x) = x2 b2 = (x b)2 b es una raz doble de p(x) .
Observacin:
Si Cark = p , la funcin k k es un morsmo de cuerpos. (y + z)p = y p + z p es un j x xp morsmo aditivo inyectivo. Si adems k es nito es sobreyectivo. En particular , si k es nito y Cark = p todo elemento de k tiene raz p - sima ( y tambin pj - sima en k ) en k . Retomemos la teora de extensiones de cuerpos :
Teorema
Las siguientes propiedades de una extensin algebraica K|k son equivalentes : 1. K es cuerpo de descomposicin sobre k de una familia de polinomios irreducibles a coecientes en k . 2. Todo polinomio irreducible p(x) k[x] que tiene una raz a K , se descompone completamente en factores lineales en K[x] . 3. Sea k una cerradura algebraica de k que contiene a K ( por ejemplo k= K ), cualquier inmersin : K k sobre k es un automorsmo de K .
Dem.
2. 1.
Sea F la familia de todos los polinomios irreducibles p(x) k[x] que tienen una raz a K , 2. dice que cada poinomio de esta familia se descompone en factores lineales en K[x] . Sus races generan K sobre k pues todo a K es raz de algn polinomio irreducible en k[x] : su polinomio mnimo en k[x] .
3. 2.

K
129
Sea p(x) k[x] irreducible con una raz a K . Sabemos que en k[x] , p(x) se descompone en factores lineales : p(x) = (x a1 ) (x an ) . Necesitamos probar que a1 . . . an , las races de p(x) , estn en K k . Con un argumento ya usado antes , se puede extender la inclusin k k a un morsmo a2 : k(a) k tal que a2 (a) = a2 , y luego este , a un morsmo : K k .
K k(a) a 2 k
es una extensin de a2 (a) = a2 (a) = a2 , pero 3. dice que (K) = K , por lo tanto ,a2 K . ( lo mismo para a3 . . . an ). 1.) 3.) K es cuerpo de descomposicin de {f (x)} , familia de polinomios irreducibles , entonces K se genera sobre k con las races de los f .
Probemos entonces que si a1 . . . an son las races de uno de estos f , entonces (a1 ) . . . (an ) K . f (x) = (x a1 ) (x an ) en K[x] , k . Consideremos K[x] k[x] p(x) p (x)
130
f (x) K
k f (x)
k f (x)
f (x) = (x a1 ) (x an ) en K[x]
f (x) = (x (a1 )) (x (an )) en k[x]
Tenemos dos descomposiciones del mismo polinomio en k[x] son iguales , salvo orden i , j tal que (ai ) = aj K (K) K . Tenemos entonces el siguiente diagrama :
K inm. k K| algebraica
inmersin sobre k , K|k algebraica por un ejercicio anterior , es automorsmo.
Denicin
Una extensin algebraica con estas tres propiedades equivalentes , se dice normal.
Observacin:
Recordemos las tres propiedades equivalentes que caracterizan a una extensin normal. a) En la propiedad 1. , la familia de polinomios irreducibles puede tomarse como una familia de polinomios cualquiera , i.e , la frase polinomios irreducibles puede ser reemplazada por polinomios.
131
b) En la propiedad 2. no se puede eliminar la palabra irreducible . Demos un ejemplo de ello : Sean a k y q(x) k[x] , tal que este ltimo no tenga races en K . Sea p(x) = (x a)q(x) , p(x) k[x] ( evidentemente no es irreducible), p(x) tiene una raz a K y no se descompone en factores lineales en k[x] .
Ejemplo :
Toda extensin K|k de grado 2 ( i.e [K : k] = 2 ) es normal .
Dem.
Sea p(x) k[x] irreducible con alguna raz a K .Supongamos que a k . Consideremos / su polinomio mnimo sobre k. Armamos que gr(p(x)) = 2 .
k k(a)
grado del pol.min.
k(a) k[x]/(p(x)) , adems k(a) = K = [K : k] = [K : k(a)][k(a) : k] [k(a) : k] = 2 .

1
Ejemplo :
Ejemplo de una extensin que no es normal . Consideremos Q[4 2] = Q(4 2) como una extensin de Q . Sea p(x) = x4 2 Q[x] , veamos que este polinomio es irreducible en Q[x] . p(x) = (x 4 2)(x +4 2)(x i4 2)(x + i4 2) en C[x] . Es fcil ver que ningn producto de estos cuatro factores ( excepto de los cuatro juntos) est Q[x] p(x) es el polinomio en mnimo de 4 2 sobre Q , sin embargo , p(x) tiene una raz 4 2 en Q[4 2] R , pero no las dos siguientes : i4 2 , i4 2 . Notar que Q Q[ 2] Q[4 2] . Ambas extensiones en la cadena : Q( 2)|Q y Q(4 2)|Q(2) son de grado 2 , por lo tanto ,normales .Sin embargo , Q(4 2)|Q no lo es . Continuemos con el estudio de extensiones de inmersiones :
132
K
k(a) b L
El mismo diagrama :
K ext. algebraica
L ext. algebraicamente cerrada de (k)
isom. de cuerpos
(k)
Notar que , dado que K|k es extensin algebraica , entonces (k) es extensin algebraica de (k) = (k) , por lo tanto , (k) Clausura algebraica de (k) dentro de L . As , L se puede reemplazar ( y no se pierden ni se ganan extensiones de ) por la clausura algebraica (k) L . Supondremos en lo que sigue que L = (k) . Qu sucede si tenemos dos situaciones como las anteriores ?

133
(k)
(k)
-1
Por el corolario *, el isomorsmo 1 : (k) (k) se extiende a un isomorsmo : L L ( dado que L , adems de ser algebraicamente cerrado es algebraico sobre (k) , y L , adems de ser algebraico sobre (k)a es algebraicamente cerrado). Si denimos los siguientes conjuntos : Ext() = { : K L/ es una inmersin extensin de } Ext( ) = { : K L / es una inmersin extensin de } Se deduce entonces que la funcin : Ext() Ext( ) = es una biyeccin .
En un caso simple : K = k(a) , a algebraico sobre k . Qu se puede decir sobre el nmero de extensiones de ?
k(a) k
k = id k
Si p(x) es el polinomio mnimo de a , del lema *, por cada raz b de p (x) , hay una y slo una extensin b : k(a) k , y estas son todas las extensiones de que hay . Por lo tanto , tiene tantas extensiones como el nmero de races (distintas entre si) de p(x) . Sabemos que todas las races de p(x) tienen multiplicidad r , por lo tanto , si las races distintas de p(x) son b1 . . . bl , p(x) = [(x a1 ) (x an )]r , por lo tanto , gr(p(x)) = r l = n nmero de extensiones es n .
134
Denicin
Llamamos grado de separabilidad de la extensin k(a)|k al nmero de extensiones de . Anotamos [k(a) : k]s [k(a) : k] . Notar que [k(a) : k]s /[k(a) : k] . Esta denicin se generaliza para cualquier extensin K|k .
Prop
Sea k K E una cadena de extensiones algebraicas . Entonces : 1. [E : k]s = [K : k]s [E : K]s . 2. Si K es una extensin nita [K : k]s [K : k]s
Dem.
Probemos 2. a partir de 1.
K extensin nita K = k(a1 . . . an ) con a1 . . . an algebraicos sobre k .

Tenemos la siguiente cadena
k k(a1 ) k(a1 an1 )(an ) = K

En cada uno de estos pasos aplicamos que [k(a) : k]s /[k(a) : k] . Obtenemos:
[k(a1 ) : k]s divisor de [k(a1 ) : k] . . . [k(a1 . . . an ) : k(a1 . . . an1 )]s divisor de [k(a1 . . . an ) : k(a1 . . . an1 )]
multiplicando y usando 1.
[K : k]s divisor de [K : k]
Demostremos 1.
E
ij K i L = (k) k
135
Sea Ext() = {i }iI la familia de todas las extensiones de a morsmos de K en L , [K : k]s = |Ext()| = |I| . Para cada i I , sea Ext(i ) = {ij }jJi la familia de extensiones de i a inmersiones de E en L (i I) [E : K]s = |Ext(i )| = |Ji | . Entonces , llamando ExtE () a la familia de todas las extensiones posibles de a un morsmo de E en L , resulta ExtE () = {ij : i I, j Ji } y |ExtE ()| = [E : k]s = | Ji | = |Ji | = |I|[E : K]s = [K :
k]s [E : k]s
iI
iI
Denicin
Una extensin nita K|k se dice separable ssi [K : k]s = [K : k].
Si E|k es una extensin algebraica de k , un elemento a E se dice separable sobre k ssi k(a)|k es una extensin separable (ssi el polinomio mnimo de a en k[x] no tiene races repetidas). Un polinomio f (x) k[x] se dice separable ssi f (x) no tiene races repetidas en su cuerpo de descomposicin. Si K|k es una extensin algebraica ( nita o innita) , decimos que es separable si toda subextensin nita es separable ( i.e , si subcuerpo k F K , F|k es separable).
Propiedades simples
1. Si k K E es una cadena de extensiones nitas , entonces E|k es separable E|K y K|k son separables . 2. Si k K E es una cadena de extensiones algebraicas , entonces , si a E es separable sobre k , tambin lo es sobre K .
Dem.
Para demostrar 1. , usar lo siguiente:
[E : k]s = [E : K]s [K : k]s

Demostremos 2. :
[E : k] = [E : K] [K : k] .
Si pk (x) es el polinomio mnimo de a en k[x] y pK (x) es su polinomio mnimo en K[x] pK (x)/pk (x) en K[x] , por lo tanto , si pk (x) no tiene races repetidas , entonces pK (x) tampoco .
Prop
Una extensin algebraica K|k es separable ssi toda a K es separable sobre k .
136
Dem.
) k(a) es extensin nita siobre k , por lo tanto , por denicin de K|k separable , debe ser separable . )
Sea F|k una subextensin nita de K|k . Entonces F = k(a1 . . . an ) , con a1 . . . an K . Tenemos la siguiente cadena :
k k(a1 ) k(a1 , a2 ) . . . F
Aplicando las dos propiedades anteriores se concluye .
Prop
1. Sea K = k(a : ) extensin de k por la familia {a } de elementos algebraicos . Entonces K|k es separable a separable . 2. Si k K E es una cadena de extensiones algebraicas , entonces E|k es separable E|K y K|k son separables. La demostracin queda de ejercicio.
Observacin:
En cuerpos de caracterstica 0 , los poinomios irreducibles tienen races simples (no repetidas) , por lo tanto , toda extensin algebraica en caracterstica 0 es separable.
Ejemplo :
Extensin normal generada por una extensin nita K|k Sea K|k una extensin nita no necesariamente normal ,
K K=k
137
Probar que el cuerpo E , subcuerpo de K , generado por { (K)/ inmersin de K en K sobre k} es una extensin nita de K , normal sobre k , y la menor posible. Tenemos :
K E=K=k
Si existe tal E , este debe contener a (K) , : K K inmersin sobre k . En efecto : si : K K es inmersin sobre k , debe poder extenderse a : E K inmersin sobre k , y por la normalidad de E|k (E) = E (K) = (K) (E) = E . Notar que tales inmersiones : K K sobre k son un nmero nito : Hay [K : k]s [K : k] < . Sean 1 . . . r tales inmersiones .Sea E el cuerpo ms pequeo que contiene a 1 (K) . . . r (K) (subcuerpo de K ). Si E|k es normal , buscamos:
Denicin:
Sean K1 , K2 dos subcuerpos de un cuerpo L . El compuesto de K1 y K2 , que se anota K1 K2 ( o K1 K2 ) , es el subcuerpo ms pequeo de L que contiene a K1 y a K2 . Este subcuerpo es:
K1 K2 =
P P xi yi /xi , x j xi yi
K1 , yi , yj K2 ,
xi yi = 0
K1 K2 = K1 (K2 ) = K2 (K1 ) y K1 K2 Kn = Kn ( K3 (K2 K1 ) ) .

En el caso del ejemplo , E = 1 (K) r (K) . Probaremos luego que E|k es extensin nita.
138
E
K E=k
Sea : E E una inmersin sobre k .
(E) = ( 1 (K) r (K)) = (1 (K)) (2 (K)) (r (K)) = 1 (K) 2 (K) r (K) .

K 1 E E
1
es inmersin sobre k es algn j Como es inyectiva : i = j i = j |{ i /i = 1 . . . r}| = r , por lo tanto , { i /i = 1 . . . r} = {i /i = 1 . . . r} 1 (K) 2 (K) r (K) = 1 (K) r (K) = E Slo resta ver que si K1 |k y K2 |k son dos extensiones nitas de k, con k, K1 , K2 L cuerpo , entonces K1 K2 |k es extensin nita. [K1 K2 : k] = [K1 K2 : K1 ] [K2 : k] . Esperaramos que
[K1 K2 : K1 ] [K1 : k] 1) Si K1 = k(a) K1 K2 = k(a)K2 = K2 (k(a)) = K2 (a) , luego [K2 (a) : K2 ] [k(a) : k] q(x)/p(x)
gr(q(x)),q(x)K2 [x] gr(p(x))
nito
2) [K2 (a) : K2 ] [k(a) : k] [K2 (a1 , a2 ) : K2 ] = [K2 (a1 , a2 ) : K2 (a2 )][K2 (a2 ) : K2 ] [k(a1 a2 ) : k(a2 )][k(a2 ) : k] = [k(a1 a2 ) : k]
Por lo tanto , [K1 K2 : k] [K1 : k][K2 : k] As , por ejemplo , [1 (K) . . . r (K) : k] [K : k]r
139
Denicin
Sea K|k extensin de cuerpos . Un elemento a K se dice primitivo para K|k ssi K = k(a) . En tal caso , K|k se llama extensin primitiva.
Teorema del elemento primitivo

Sea K|k extensin algebraica: 1. K|k es primitiva ssi existe un nmero nito de cuerpos intermedios para la extensin. Es decir , |{Fcuerpo /k F K}| < . 2. Si la extensin K|k es nita separable , entonces es primitiva .
Dem.
Caso K nito : Lo nico ha probar , es que toda extensin siempre tiene primitivos. Consideremos (K \ {0}, ) , es grupo nito es cclico a K \ {0} tal que K \ {0} = {an : n N} K = k(a) . Caso K no nito: Demostremos primero 1.
)
a elemento primitivo K = k(a) . Sea p(x) k[x] el polinomio mnimo de a . Si F es cuerpo intermedio , entonces K = F(a) . Sea pF (x) F[x] el polinomio mnimo de a en F .
k F , entonces , como pF (x) se anula en a pF (x)/p(x) . p(x) tiene un nmero nito de divisores ( en su su cuerpo de descomposicin) , por lo tanto , si probamos que : F y F cuerpos intermedios pF (x) = pF (x) , estaramos demostrando 1.
Veamos que pF (x) determina F . Sea F el cuerpo construido a partir de k agregando los coecientes del polinomio pF (x) F[x] . Obviamente k F F , probaremos que en realidad F = F . Como F se construye a partir de los coecientes de pF (x) , entonces pF (x) F [x] , adems pF (a) = 0 . Pero tambin pF (x) es irreducible en F [x] , por lo tanto pF (x) es el polinomio mnimo de a en F [x] : pF (x) = pF (x) . Adems F(a) = K = F (a) , luego :
[K : F] = gr(pF (x)) = gr(pF (x)) = [K : F ] [K : F ] = [K : F][F : F ] [F : F ] = 1 F = F
140
As , si pF (x) es el polinomio a coecientes en F[x] , entonces F est generado sobre k por los coecientes de pF (x) .
)
Si hay un nmero nito de cuerpos intermedios K = k(a) algn a . [K : k] nito K = k(a1 . . . an ). Probaremos por induccin en n que (n N) , si K = k(a1 . . . an ) entonces K = k(a) , para algn a . Paso clave es con n = 2 ( paso inductivo ).
k(a1 . . . an+1 ) = k(a1 . . . an )(an+1 ) ,

H.I k(a1 . . . an ) = k(a )
k(a1 . . . an+1 ) = k(a1 . . . an )(an+1 ) = k(a an+1 ) = k(a ) ( n = 2 ). n = 2 : Queremos probar que K = k(a1 , a2 ) = K = k(a) algn a K .
Aqu usaremos K innito k innito Para en k , sea a = a1 + a2 , y sea F = k(a ) = k(a1 + a2 ) . Existe un nmero nito de subcuerpos F y un nmero innito de elementos 1 , 2 k , 1 = 2 tal que F1 = F2 = F .
a1 + 1 a2 F a1 + 2 a2 F
restando: (1 2 )a2 F a2 F , a1 = (a1 + 2 a2 ) 1 a2 a1 F
=0k F F
a1 , a2 F K F K
Probemos 2.
K|k nita separable [K : k]s = [K : k] = n

K i K=k k
Hay n inmersiones distintas entre si 1 . . . n : K K = k sobre k . Igual que en la demostracin anterior , basta probar la propiedad para K = k(a1 , a2 ) y luego aplicar induccin.
3.4. TEORA DE GALOIS Sea f (x) K[x] el polinomio siguiente:
141
f (x) =
1ijn
((a1 + xa2 )i (a1 + xa2 )j ) K[x]
f (x) = 0 en K[x].
Como i < j , i = j i (a1 ) = j (a1 ) i (a2 ) = j (a2 ) Por lo tanto , cada factor de f (x) es distinto de 0 f (x) tiene slo un nmero nito de races en K como k K es innito , habr al menos un k tal que f () = 0 . Para este : i (a1 + a2 ) = j (a1 + a2 ) para i < j
a
{i (a)}n i=1
son n elementos distintos en K .
Si p(x) k[x] es el polinomio mnimo de a pi (x) = p(x)
como p(a) = 0 , p(i (a)) = pi (i (a)) = 0 . Luego , p(x) tiene como races al menos a los n elementos distintos 1 (a) . . . n (a) gr(p(x)) n [K : k] = n k(a) K .
Ejercicio : Encontrar los cuerpos intermedios de Q[ 2, 3]|Q .
3.4 Teora de Galois

Sea K|k una extensin de cuerpos algebraica . La extensin se dice de Galois ssi es normal y separable .
El Grupo de Galois de una extensin K|k es por denicin G = Gal(K|k ) = { : K K/ es automorsmo sobre k} Dado un cuerpo K , y G un grupo de automorsmos de K , el cuerpo jo de G es KG = {x K/(x) = x, G}
142
3.4.1 Teorema fundamental de la teora de Galois

Sea K|k una extensin nita de Galois . Entonces la funcin , que toma subgrupos del grupo G = Gal(K|k ) y entrega cuerpos intermedios k F K , dada por H(subgrupo de G) KH = F , es una biyeccin decreciente ( i.e , H1 H2 KH1 KH2 ).
H subgrupo de G , la extensin K|KH es de Galois , y Gal(K|KH ) = H , adems |H| = [K : KH ] .

Por otra parte , H G KH |k es de Galois , y se tiene una biyeccin entre subgrupos normales H de G y subextensiones de Galois F|k de K|k . Adems , cuando H G G/H Gal(KH |k ) . =
[]
|KH
Antes de demostrar el teorema , demos una aplicacin de l :
Teorema fundamental del lgebra

R=C
Dem.
Aparte de la teora del lgebra que utilizaremos en la demostracin , necesitaremos las dos propiedades siguientes ( de naturaleza topolgica de R ) : 1. Todo r 0 en R tiene exactamente una raz cuadrada 0 en R . En efecto , = sup{q Q/q 0, q 2 r} . 2. Todo polinomio p(x) R[x] de grado impar , tiene al menos una raz en R :
p(x) = xn + an1 xn1 + + ao mnico , n impar.

Si x = 0 , p(x) = xn 1 +
an1 x
+ +
ao xn
como funcin
p(x)
p(x)
Por lo tanto , x1 , x2 R tal que p(x1 ) < 0 , p(x2 ) > 0 , y como p es continua , x R tal que p(x) = 0 . Notar que de 1. se deduce que todo z C tiene raz cuadrada en C : Si z = a + bi , entonces z = (x + yi)2 , con x + yi =
+ a+ a2 +b2 2 a+ a2 +b2 2
+ isgn(b)
Y por lo tanto , cualquier ecuacin de segundo grado a coecientes en C tiene sus races en C. Consecuencia: C no tiene extensiones de grado 2 . Probar que R = C , equivale a probar que C = C , y esto equivale a probar que toda extensin nita E|C es C .
3.4. TEORA DE GALOIS Sea E una extensin nita de C . Entonces E es una extensin nita de R .
143
Como la caracterstica de todos estos cuerpos es 0 , todas las xtensiones son separables , pero E|R podra no ser normal , por lo tanto , E|R podra no ser Galois. Usando un ejercicio anterior , podemos extender E a la extensin normal generada por E : K = 1 (E) r (E) , con 1 . . . r las inversiones de E en E sobre R .
K|R es de Galois , por lo tanto , podemos aplicar el teorema fundamental . Llamemos G = Gal(K|R ) .
1) Probaremos que |G| = 2m , para algn m . Sea P G un 2 - subgrupo de Sylow , |P| = 2r , con |G| = 2r l , con l impar. Sea F el cuerpo jo de P : F = KP = {x K/(x) = x, P} . T.f de Galois : K|F es de Galois , P = Gal(K|F ) , |P| = [K : F] Luego , [F : R] =
[K: ] [K:F]
R =
2r l 2r
=l
Deduciremos usando 2. que F = R : Sea a F y p(x) su polinomio mnimo en R[x] . gr(p(x)) = [R(a) : R]/[F : R] impar gr(p(x)) es impar p(x) tiene alguna raz en R . Pero p(x) es irreducible en R p(x) = x a ( grado 1) a R l = 1 [K : R] = 2r .
R Notando que K es extensin de E , y por lo tanto , de C , se tiene [K : C] = [K:R]] = 2r1 . [C:

Consideremos K como extensin de C . Al ser R C K K|C es de Galois. Sea G = Gal(K|C ) , |G| = [K : C] = 2r1 . G es un 2 - grupo , y tendr subgrupos ( normales en G ) de todos los ordenes intermedios . En particular , H G tal que |H| = 2r2 ( a menos que r = 1 y K = C ). Sea L = KH , 2r2 = |H| = [K : L] [L : C] =
[K: ] [K:L]
C =
2r1 2r2
=2
Lo que no puede ser , pues por 1. , C no tiene extensiones de orden 2 , por lo tanto , 2r1 = 1 K = C .
Demostracin del teorema fundamental de Galois Lema 1

Sean K|k extensin de Galois y G = Gal(K|k ) . 1. KG = k 2. Si H es subgrupo de G y F = KH , entonces K|F es extensin de Galois.
144
Dem.
1.
G = { : K K/ automorsmo tq (x) = x x k} KG = {x K/(x) = x, G}

Por denicin de G , k KG . Probemos la otra inclusin : Sea a KG y p(x) su polinomio mnimo en k[x]. a k k(a) = k [k(a) : k] = gr(p(x)) = 1 . Como K|k es separable , p(x) tiene races simples , por lo tanto , hay que probar que p(x) tiene una sola raz a . Por cada raz b K de p(x) , ! extensin de la inclusin k K a b : k(a) K .
K|k(a) es algebraica , por lo tanto , b se puede extender a : K K . Obviamente tambin ser una extensin de la inclusin k K. K|k es normal (K) = K . Tenemos entonces : K K automorsmo de K sobre k , i.e G. a KG (a) = a , pero dado que extiende a b , (a) = b (a) = b b = a la nica raz de p(x) es a , y por ser de multipicidad 1 , concluios que p(x) tiene slo una raz.
2.
k F K . Queremos demostrar que F|k es normal y separable ( de Galois ) .

La separabilidad de F|k se desprende de la separabilidad de K|k . Para la normalidad de K|F :
K F K
Si : K K es inmersin sobre F , lo es sobre k (K) = K , por lo tanto , K|F es normal . (F|k podra no ser normal ).
3.4. TEORA DE GALOIS
145
Corolario
Sean K|k extensin de Galois y G = Gal(K|k ) . Denamos los siguientes conjuntos y funciones:
C = {F/ k F K cuerpo intermedio} A = {H/Hsubgrupo de G} : C A F Gal(K|F ) : A C H KH
: C C es idC . As , es inyectiva y es sobreyectiva.
Dem.
Sea F C , por 2. del lema anterior , K|F es de Galois. Sea H = Gal(K|F ) ( H = (F) ) . Aplicando 1. del lema 1 a la extensin K|F KH = F (((F)) = F ).
Ejercicio:
Sea K|k extensin de Galois y G = Gal(K|k ) . Sean H1 , H2 dos subgrupos de G y F1 = KH1 , F2 = KH2 . Entonces: 1. H1 H2 F1 F2 2. Sea H = H1 H2 y F = KH , entonces F = F1 F2 . 3. Si H = H1 H2 =< H1 H2 > y F = KH , entonces F = F1 F2 .
Lema 2
Sea K|k una extensin algebraica y separable tal que n 1, n N (a K)[k(a) : k] n . Entonces la extensin K|k es nita con [K : k] n .
Dem.
Sea r = Max{r/r = [k(a) : k] , para algn a K} .Sea a K tal que [k(a) : k] = r . Supongamos que k(a) = K . Sea b K \ k(a) . Tomemos k(a, b) = k(a)(b) , extensin nita de k , separable tiene elementos primitivos , i.e c k(a, b) K tq k(a, b) = k(c) . Pero k(a) k(a, b) ( inclusin estricta) r = [k(a) : k] < [k(a, b) : k] = [k(c) : k] , por lo tanto , K = k(a) [K : k] = r n .
146
Teorema de Artin
Sea K un cuerpo . Sea G un grupo nito de autoorsmos de K . Sea KG = k . Entonces K|k es de Galois , con Gal(K|k ) = G , [K : k] = |G| = n .
Dem.
Sea a K . Sean 1 . . . r una cantidad maximal de elementos de G tal que 1 (a) . . . r (a) son todos distintos de 0 . Notar que la identidad es uno de estos r elementos. Sea p(x) = (x 1 (a)) (x r (a)) . p(a) = 0 Para cada G , p (x) = (x 1 (a)) (x r (a)) , por lo tanto , los elementos de G dejan invariantes los coecientes de p(x) , i.e estn en k = KG , por lo tanto , a es algebraico sobre k K|k es algebraica. Adems , p(x) tiene races distintas en K , por lo tanto , q(x) , el polinomio mnimo de a , que divide a p(x) , tiene races simples a es separable K|k es separable. Por ltimo , p(x) tiene r races el nmero de races de q(x) es r gr(q(x)) r n [k(a) : k] n . Por el lema 2 : K|k es una extensin nita , con [K : k] n . Falta probar G = Gal(K|k ), [K : k] = |G| = n La inclusin G Gal(K|k ) es directa .
n = |G| |Gal(K|k )| = [K : k]s = [K : k] n , por lo tanto , G = Gal(K|k ) y [K : k] = n .
Corolario
A C C F Gal(K|F ) id H KH
Por el teorema de Artin , Gal(K|KH ) = H ( la composicin que faltaba ). Para terminar de probar el teorema fundamental de la teora de Galois consideremos la siguiente situacin:
isom.
k = (k)
3.4. TEORA DE GALOIS
147
K|k extensin de Galois K |k es de Galois
cuerpo intermedio
F = (F)
Qu relacin hay entre Gal(F|k ) y Gal(F |k ) ?
isom.
k = (k)
Gal(F|k ) Gal(F |k ) = Caso que nos interesar:
Gal(K|F ) Gal(K |F ) = 1
148
K

K
Gal(K|F ) 1 = Gal(K|F )
Si K|k es de Galois y F cuerpo intermedio , con estas consideraciones se prueba la siguiente propiedad:
Prop
Si K|k es de Galois , F cuerpo intermedio , G = Gal(K|k ) , H = Gal(K|F ) , entonces F|k es de Galois H G , y en este caso , la restriccin G , |F : F F es un epimorsmo de G en Gal(F|k ) , con H su ncleo y F|k es de Galois , G/H Gal(F|k ) . =

Algebra Abstracta

Cargado por

Copyright:

Formatos disponibles

Algebra Abstracta

Cargado por

Información del documento

Descripción original:

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Algebra Abstracta

Cargado por

Copyright:

Formatos disponibles

Apuntes del Curso Elementos de lgebra (Primera Versin)

Profesor: Pablo Dartnell Auxiliar: Mara Isabel Corts

Captulo 1 Elementos de Teora de Grupos.

Ejemplo: (Z, +) es grupo

CAPTULO 1. ELEMENTOS DE TEORA DE GRUPOS.

1 2 ... n (1) (2) . . . (n)

1.2 Buenas Funciones entre Grupos: Morsmos

1.3. LOS BUENOS SUBCONJUNTOS DE UN GRUPO: SUBGRUPOS.

f (1G ) = 1H (x G) f (x1 ) = f (x)1

1.3 Los Buenos Subconjuntos de un Grupo: Subgrupos.

CAPTULO 1. ELEMENTOS DE TEORA DE GRUPOS.

1.4. BUENOS CUOCIENTES EN GRUPOS.

1.4 Buenos Cuocientes en Grupos.

(G/ , ) es un grupo con neutro [1] y ([x] G/ ) [x]1 = [x1 ] .

1 [1] Si x, y [1] (x 1 y 1) x y 1 x y [1] Si x [1] : x 1 x1 x1 (pues es reeja) 1 x1 x1 [1]

(x G)(y H) x y x1 H (i.e (x G) x H x1 H. En efecto: (y 1) (x x) (x1 x1 ) x y x1 x 1 x1 = 1

CAPTULO 1. ELEMENTOS DE TEORA DE GRUPOS.

1.4. BUENOS CUOCIENTES EN GRUPOS.

G/ H es slo un conjunto . Adquiere estructura natural de grupo ssi H G .

CAPTULO 1. ELEMENTOS DE TEORA DE GRUPOS.

r = h mq H , pues h, mq H r=0 por lo tanto H = mZ

(m 2) : Zm = {[0], [1], ..., [m 1]}.

G , el cuociente G/ H se anota simplemente G/H , y se lee : G

1.4.1 Teorema del Factor

Entonces ! morsmo f : (G/H) (L, ) tal que f = f .(i.e el diagrama conmuta).

[x] = [x ] x H x x1 x H h H tq x1 x = h f (x1 x ) = f (h) = 1 (h Kerf ) f (x)1 f (x ) = 1 f (x) = f (x )

f ([x] [y]) = f ([x y]) = f (x y) = f (x) f (y) = f ([x]) f ([y])

1.4. BUENOS CUOCIENTES EN GRUPOS.

1.4.2 Generadores de Subgrupos

CAPTULO 1. ELEMENTOS DE TEORA DE GRUPOS.

a0 = 1 (con 1 el neutro en G ) an+1 = an a n N an = (an )1 si n < 0

1.4. BUENOS CUOCIENTES EN GRUPOS.

G Z/mZ = Zm . con m =| G | para | G |< . =

CAPTULO 1. ELEMENTOS DE TEORA DE GRUPOS.

Conmutadores y Abelianizacin de un grupo Denicin

1.4. BUENOS CUOCIENTES EN GRUPOS.

Otro Ejemplo de Cuocientes

Biy(X) = {f : X X/f es biyeccin} .

I(G) = {Ia /a G} , la imagen de este morsmo, es el conjunto de automorsmos interiores de G .

Ejercicio: I(G) Aut(G) (notar que f Ia f 1 = If (a) )

a KerI Ia = idG (x G) axa1 = x (x G) ax = xa (x G) a conmuta con x

CAPTULO 1. ELEMENTOS DE TEORA DE GRUPOS.

1.4.3 Teorema de Correspondencia

f : G/Kerf L es isomorsmo [x] f (x)

(H ) = {[x] G/Kerf /f (x) H } = {x Kerf /x f 1 (H )} = f 1 (H )/Kerf

1.4. BUENOS CUOCIENTES EN GRUPOS.

1.4.4 Teoremas de Isomorsmos

f : G/H L/f (H) [x] [f (x)]

CAPTULO 1. ELEMENTOS DE TEORA DE GRUPOS.

f : G/Kerf L/f (H) [x]Kerf f (x) = [f (x)]f (H) e

f : G/f 1 (H ) L/H [x]f 1 (H ) [f (x)]H

Segundo teorema de isomorsmos

H K G, H HK y K/H K H K/H = [x]HK [x]H

1.5. ACCIONES DE GRUPOS SOBRE CONJUNTOS

Frmula: | G |= [G : H] | H | . Ejemplo: si | G | es primo , los nicos subgrupos de G son {1} y G .

1.5 Acciones De Grupos Sobre Conjuntos

20 ( Notacin: (g, x) = gx ) con las siguientes propiedades: 1. (x X) 1x = x

CAPTULO 1. ELEMENTOS DE TEORA DE GRUPOS.

1.2 Buenas Funciones entre Grupos: Morsmos

1.3. LOS BUENOS SUBCONJUNTOS DE UN GRUPO: SUBGRUPOS.

1.3 Los Buenos Subconjuntos de un Grupo: Subgrupos.

1.4. BUENOS CUOCIENTES EN GRUPOS.

1.4 Buenos Cuocientes en Grupos.

1 [1] Si x, y [1] (x 1 y 1) x y 1 x y [1] Si x [1] : x 1 x1 x1 (pues es reeja) 1 x1 x1 [1]

1.4. BUENOS CUOCIENTES EN GRUPOS.

G , el cuociente G/ H se anota simplemente G/H , y se lee : G

Entonces ! morsmo f : (G/H) (L, ) tal que f = f .(i.e el diagrama conmuta).

1.4. BUENOS CUOCIENTES EN GRUPOS.

1.4. BUENOS CUOCIENTES EN GRUPOS.

Conmutadores y Abelianizacin de un grupo Denicin

1.4. BUENOS CUOCIENTES EN GRUPOS.

I(G) = {Ia /a G} , la imagen de este morsmo, es el conjunto de automorsmos interiores de G .

f : G/Kerf L es isomorsmo [x] f (x)

1.4. BUENOS CUOCIENTES EN GRUPOS.

1.4.4 Teoremas de Isomorsmos

Segundo teorema de isomorsmos

Notar que N (K) = NG (K) as {g K g 1 /g G} G/N (K) , y si G es nito ,| {g K g 1 /g G} |= [G : N (K)] . =

h (n) = hnh1 N G (h es un automorsmo de N )

2 : H H son isomorsmos. h (1, h)

4. La accin de H sobre N se convierte en accin por conjugacindeH sobre N , va los isomorsmos 1 y 2 .