Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Algebra II PDF
Algebra II PDF
- ii -
Indice
Captulo 1 Grupo 1
Definicin de operacin binaria, neutro, asociativa................................... 1
Semigrupo, monoide.................................................................................. 2
Submonoide, elemento invertible............................................................... 3
Grupo, grupo abeliano................................................................................ 4
Ejemplos............................................................................... 5
Orden del grupo.......................................................................................... 6
Ejemplos de grupos abelianos.............................................. 7
Propiedades de grupo................................................................................. 8
Subgrupo..................................................................................................... 9
Subgrupos triviales, propios........................................................ 10
Subgrupo cclico generado por a............................................................. 11
Conjunto generador, grupo finitamente generado....................... 12
Orden de un elemento................................................................................. 13
Morfismos de grupos.................................................................................. 14
Monomorfismo, epimorfismo, isomorfismo, endomorfismo............. 16
Producto directo de grupos......................................................................... 18
Grupo cclico.............................................................................................. 20
Teorema de clasificacin............................................................................ 21
Coclases...................................................................................................... 25
Conjunto cociente....................................................................................... 27
Conjunto de representantes......................................................................... 28
Teorema de Lagrange................................................................................. 30
Normalidad................................................................................................. 34
Subgrupo normal........................................................................................ 35
Propiedad universal del cociente................................................................ 39
Primer teorema de isomorfimo................................................................... 40
Segundo teorema de isomorfismo.............................................................. 42
- iii -
Tercer teorema de isomorfismo.................................................................. 43
Captulo 3 Acciones
Accin de un grupo en un conjunto............................................................ 73
G acta en X...................................................................................... 73
G-conjunto......................................................................................... 73
Accin trivial.............................................................................................. 75
- iv -
Accin fiel.................................................................................................. 76
G-estable............................................................................................. 76
G-funcin............................................................................................ 76
Accin transitiva......................................................................................... 76
Orbitas........................................................................................................ 78
Estabilizador............................................................................................... 78
Punto fijo............................................................................................ 80
Accin por conjugacin............................................................................ 80
Normalizador.............................................................................................. 82
Ecuacin de las clases......................................................................... 82
Accin por traslacin............................................................................... 83
Criterio par obtener subgrupos normales............................................ 85
Ejemplo............................................................................................... 85
Producto semidirecto............................................................................... 86
Neutro, inverso.................................................................................... 87
Subgrupos de Sylow................................................................................. 90
p-grupo................................................................................................ 91
p-subgrupo........................................................................................... 91
p-subgrupo de Sylow.................................................................................. 91
Primer teorema de Sylow........................................................................... 93
Teorema de Cauchy.................................................................................... 95
Segundo teorema de Sylow........................................................................ 95
Aplicaciones............................................................................................... 98
Captulo 4 Cuerpos
Cuerpo........................................................................................................ 103
Subcuerpo................................................................................................... 103
Morfismo de cuerpos.................................................................................. 104
Extensin de cuerpos.................................................................................. 104
Extensin finita........................................................................................... 104
Grado de la extensin................................................................................. 104
Cuerpo compuesto...................................................................................... 105
Cuerpo intermedio...................................................................................... 105
Subcuerpo generado................................................................................... 105
-v-
Cuerpo primo.............................................................................................. 105
Caracterstica de un cuerpo........................................................................ 106
Extensin finitamente generada................................................................. 106
Extensin simple........................................................................................ 107
Elemento trascendente................................................................................ 107
Elemento algebraico................................................................................... 108
Polinomio irreducible................................................................................ 108
Extensin algebraica................................................................................... 108
Extensin trascendente............................................................................... 108
Buena clase................................................................................................. 115
Un polinomio se escinde............................................................................ 119
Cuerpo de descomposicin......................................................................... 119
Cuerpo algebraicamente cerrado................................................................ 120
Clausura algebraica.................................................................................... 122
Captulo 5 Galois
Grupos de Galois........................................................................................ 127
Ejemplos............................................................................................. 129
Extensin de Galois.................................................................................... 132
Cuerpo cerrado........................................................................................... 132
Subgrupo cerrado........................................................................................ 132
Cuerpo estable............................................................................................ 138
Cuerpo extendible....................................................................................... 139
Teorema de Galois...................................................................................... 140
Ejemplo.............................................................................................. 141
Teorema de Artin........................................................................................ 143
Polinomio separable................................................................................... 144
Elemento separable..................................................................................... 144
Extensin separable.................................................................................... 144
Extensin normal........................................................................................ 148
Ejemplo.............................................................................................. 149
- vi -
Captulo 6 Grupo de Galois de polinomios
Clausura normal ......................................................................................... 152
Teorema fundamental del lgebra.............................................................. 153
Subgrupo transitivo.................................................................................... 154
Discriminante de f ..................................................................................... 155
Grupo de Klein........................................................................................... 157
Resolverte cbica de f................................................................................. 158
Polinomio de 4to grado.............................................................................. 159
Funciones racionales simtricas sobre K ................................................. 164
Funciones simtricas elementales.............................................................. 165
Apndice A
Operaciones elementales............................................................................ 169
Punto constructible..................................................................................... 169
Rectas constructibles.................................................................................. 170
Nmero constructible................................................................................. 170
Coordenadas............................................................................................... 173
Teorema de Gauss...................................................................................... 176
ndice alfabtico......................................................................................... 177
- vii -
- viii -
Captulo 1
Grupos
Definicin 1.1 Sea G un conjunto no vaco llamamos operacin binaria o ley de
composicin interna a una funcin:
:G G G
( a, b ) a b
Anotamos a b o ab
Ejemplo 1.2 Los movimientos del plano con la composicin como operacin binaria
es un monoide
-2-
Notas de lgebra II Grupos -3-
Ejemplo 1.8 Las matrices Mnn ( K ) n por n definidas en el cuerpo K se tiene que:
(Mnm ( K ) , + ) es un monoide conmutativo;
(Mnn ( K ) , ) es un monoide no conmutativo si n 2
a G tal que aa = aa = e.
Adems al elemento a le llamamos inverso de a y anotamos a = a 1.
Proposicin 1.2 Dado un monoide ( G , ) y dado a G invertible entonces el
inverso es nico.
Definicin 1.9 Un monoide en el cual todos sus elementos son invertible es llamado
grupo.
Es decir que se cumple U ( G ) = G .
Adems si es conmutativo se dice que es un grupo abeliano.
Tener en cuenta que:
ab a + b
Cuando la operacin es la suma anotamos e 0
a 1 a
En resumen tenemos un conjunto G en que hemos definido una operacin binaria.
Las estructuras hasta ahora, en forma esquemtica, son:
-4-
Notas de lgebra II Grupos -5-
todo elemento
( ( G + asociativa = semigrupo ) + neutro = monoide ) + = grupo
invertible
Ejemplo 1.19 Los movimientos del plano con la composicin forman grupo G.
En particular nos interesa un subconjunto del anterior que denominamos D4 .
Sea C el cuadrado de la figura.
Entonces:
D4 = { f G / f ( C ) = C} S D2 S D1
Dado el cuadrado en la siguiente ubicacin:
C S ox x
B A S oy
C D
Los movimientos que conservan al cuadrado invariante son: las simetras axiales
S D1 , S oy , S D2 , S ox
las rotaciones:
R o, 2 , R o, = Co , R o,3 2 , Ro ,2 = Id
-6-
Notas de lgebra II Grupos -7-
Clasificados en directos:
R o, 2 Co R o,3 2 Id
Los inversos
S oy S D2 S ox S D1
Entonces: D4 = 8
-7-
Notas de lgebra II Captulo 1 -8-
Propiedades de Grupo
Proposicin 1.3 Dado un grupo G entonces se cumple:
i) Propiedad cancelativa:
si ab = ac b = c
ba = ca b = c a, b, c G ;
ii) Si a G tal que a 2 = a a = e ;
iii) La ecuacin ax = b tiene una nica solucin x = a 1b ;
la ecuacin xa = b tiene una nica solucin x = ba 1 .
Demostracin
{ a ( ab ) = a ( ac ) { ({ a 1a ) b = ( a 1a ) c
1 1
i) Si ab = ac eb = ec b = c ;
def. oper. asociativa
{ def.{ neutro
=e =e
ii) Si a 2 = a a a = a = a e
{a = e.
(i)
Dado un monoide G y a G podemos considerar:
-8-
Notas de lgebra II Grupos -9-
e si n = 0,
a n = n1
a a para n = 1, 2...;
de esta forma
a0 = e
a1 = a 0 a = ea = a
a 2 = a1a = aa
M M
a n = aa
12 3a .
....
n veces
Definicin 1.11 Dado un grupo G y un elemento a del mismo definimos la potencia
de exponente negativo como sigue:
a G , n + , a n = ( a 1 ) .
n
iii) Si G es abeliano ( ab ) = a nb n .
n
Observacin 1.2 Las propiedades i) y ii) que indican que el producto es cerrado en
H y que el neutro pertenece a H son las condiciones que debe cumplirse para que
( H , ) sea submonoide. Si definimos H como la restriccin de la operacin definida
en G entonces ( H , H ) es un grupo.
-9-
Notas de lgebra II Captulo 1 - 10 -
Demostracin ( ) Como a, b H 1
{b H
1
{ ab H .
( iii ) ( ii )
aH
Definicin 1.13 Dado un grupo G a los subgrupos {e} ,{G} son llamados subgrupos
triviales. Los otros subgrupos no triviales son llamados subgrupos propios.
Ya que :
z1 H z1n = 1
m ( z1 z2 ) = z1 z2 = ({
z1n ) ( z2m ) = 1 z1 z2 H ;
mn mn mn m n
z2 H z2 = 1 {
=1 =1
por otro lado:
z n = 1 ( z 1 ) = ( z n ) = 1 z 1 H ;
n 1
{
=1
adems:
n
zn = 1 zn = z = 1 z = 1 z K
es decir H < K .
Demostracin e H ya que e = a 0 H
Adems
a n ( a m ) = a n ( a 1 ) = a n a m = a n m H
1 m
Demostracin
a n a m = a n + m = a m+ n = a m a n .
Luego a es conmutativo.
- 11 -
Notas de lgebra II Captulo 1 - 12 -
-H
iI
i = UH
iI
i ,
Morfismos
En general, cuando se estudian estructuras algebraicas, son de gran importancia las
funciones que preservan dichas estructura. Con lo anterior en mente nos interesa
estudiar funciones de un grupo en otro, que preservan las operaciones.
por def.
- 14 -
Notas de lgebra II Grupos - 15 -
( ab 1 ) = ( a ) ( b1 ) = ( a ) ( b ) ( H ) ( H ) < G2 .
1
luego:
( ab 1 ) K ab 1 1 ( K ) 1 ( K ) < G1 .
Como el N ( ) = 1 ({e2 }) y {e2 } < G2 N ( ) es un caso particular de lo
anterior.
( a n ) = a123
.a....a = ...... = ( a ) ( a ) .... ( a ) = ( a )
n
remplazando
( b n ) = ( b )
n
123 123
P P
n 1
n
(
( b 1 ) = ( b ) )
1 n
= b{ ,
{ =a
=a
- 15 -
Notas de lgebra II Captulo 1 - 16 -
O sea:
( an ) = ( a ) .
n
G1 G2 o G1 y G2 ;
abeliano
Luego es un morfismo, pero como todo elemento es invertible por ser G grupo
tenemos que es sobreyectiva y por ser el inverso nico, es inyectiva. Luego es un
isomorfismo, (un automorfismo).
- 17 -
Notas de lgebra II Captulo 1 - 18 -
n End ( G ) ya que:
n ( gh ) = ( gh ) g n h n = n ( g ) n ( h ) .
n
=
{
G abeliano
Producto directo
Uno de los problemas fundamentales en lgebra, al estudiar estructuras, es poder
descomponer los objetos bajo estudio en trminos de elementos ms simples de
entender. Por ejemplo al estudiar a los nmeros enteros, se tiene que estos se
representan como producto de primos. Cuando se estudian matrices no singulares, se
tiene que estas se representan como producto de matrices elementales. Si el objeto
bajo estudio es un espacio vectorial de dimensin finita junto con un operador T,
ste se puede representar como suma directa de subespacios T-invariantes con
propiedades adicionales (Teorema de descomposicin primaria).
En el estudio de grupos, un problema de gran importancia es la descomposicin de
un grupo como producto de subgrupos. Este resultado es un problema de gran
dificultad, sin embargo, bajo buenas hiptesis (abeliano y finito) la respuesta es
satisfactoria.
a 1op b = b 1 a
y al grupo ( G2 , op
2 ) obtenemos estructuras equivalentes.
Definicin 1.22 Dada una familia de grupos {Gi }iI definimos en el producto
cartesiano
Gi = {( gi )iI : gi Gi i I }
iI
la operacin como:
( gi )iI ( hi )iI = ( gi hi )iI
entonces Gi , es un grupo que llamamos producto directo de grupos.
iI
Definicin 1.23 Dada la familia de grupos {Gi }iI definimos los morfismos
inclusin y proyeccin de la siguiente forma:
i j1 j0
G j1 y G j G j0
jI
(y ) j jI
y
y j0
g ( xi )iI
tal que xi = ei i j1, x j1 = g.
Notamos:
ij : Gj y G j
jI
entonces :
G j0 G% j0 < G j .
jI
- 19 -
Notas de lgebra II Captulo 1 - 20 -
x G% j
con i j xy = yx
y G% i
adems
j o i j = Id G j .
la proyeccin j es sobre por eso es un epimorfismo y la inclusin es inyectiva.
{m +
: am H }
y por lo tanto tiene mnimo, sea
n = min {m + : a m H }
tenemos que a n < H (observacin 1.2) lo que implica a n H .
Probaremos ahora la otra inclusin
Sea b H < G x tal que a x = b supongamos primero que:
a) x 0 entonces si dividimos x por n tenemos:
x = nq + r con q y 0 r < n
como
b = a x H a nq + r = a{ a H ya que a n H a nq H a r H
nq r
- 20 -
Notas de lgebra II Grupos - 21 -
a x an
es un subgrupo ( a x ) a n b = a x a n
1
pero como an y tambin
123
=a x
- 21 -
Notas de lgebra II Captulo 1 - 22 -
: n G
n a an
De esta forma = o y y son sobreyectiva es sobreyectiva , adems :
n1 = n2 n1 = n2 ( mod n ) h : n1 = n2 + nh
y entonces:
h
n2 + nh
a =a
n1
= a a = a a{n = a n2
n2 nh n2
=e
lo que prueba que es inyectiva luego es un isomorfismo.
m = min {k + : a k = e}
ii) Si a = m < a k = e k = m&
k
a = a k = l ( mod m )
l
Adems si n | m entonces a n = m
n
- 22 -
Notas de lgebra II Grupos - 23 -
H = m m = min {n + : n H } = min {n + : a n = e}
esto ltimo por se definicin de H
De acuerdo a la proposicin anterior:
: m a
n an
es un isomorfismo, y como m = {0, 1,..., m 1} entonces:
{ }
a = ( 0 ) , ( 1 ) ,..., ( m 1) = {e, a, a 2 ,..., a m1}
a = e es consecuencia de m = min {n : a = e} y si:
m + n
a{k = a{l
P P
( k ) = ( l ) con inyectiva k = l en m
k = l ( mod m )
a k = e a k = a 0 k = 0 ( mod m ) m | k o k = m&
Consideremos ahora el caso que n | m :
sea a n = t por lo anterior se tiene que ( a n ) = e es decir a nt = e m | nt
t
= ( a n ) n t | mn
m
Demostracin
i) En este caso como ya vimos en la proposicin 1.9 G alcanza con
probar que 1, y 1 son los nicos generadores de ( , + ) y esto se cumple
ya que:
Si m y m 1 m = m ya que 1 m
ii) En este caso por proposicin 1.9 G m entonces alcanza con probar que
k genera a m mcd ( k , m ) = 1
- 23 -
Notas de lgebra II Captulo 1 - 24 -
Entonces:
k genera a m 1 k = k m b m :
1 = k b 1 = kb ( mod m ) b, h :
1 = kb + hm mcd ( k , m ) = 1
Ejemplo 1.33
Sea G = { z : z m = 1} <
2 k i
Entonces como z m = 1 z = e m
con k = 0,1,..., m 1 2
2 i
G esta generado por = e m
Luego
G = = {1, , 2 ,..., m1} es cclico de orden n luego
por la proposicin 1.9 G n
As por ejemplo para el caso m = 4
z 4 = 1 z = 1, i los generadores en este caso son i
En general los generadores de G son de la forma:
k = e m mcd ( k , m ) = 1
2 k i
=e
- 24 -
Notas de lgebra II Grupos - 25 -
y como ( ab )
1 1
= (b )
1 1
a 1 = ba 1 H
Luego b d a ( mod H )
iii) Transitiva
a d b ( mod H ) ab 1 H
{ a b{b c H ac H a d c ( mod H )
1 1 1
b d c ( mod H ) bc H H es subgrupo = e
1
op : G G G
a op b b a
tal que la operacin es la del grupo original. Llamaremos para abreviar a
(G, op ) = G op entonces:
a i b ( mod H ) b 1 a H a op b 1 H a d b ( mod H ) en G op
esta ltima ya probamos que es una relacin de equivalencia, luego i tambin.
Demostracin
Sea g d a ( mod H ) ga 1 H h H tal que:
ga 1 = h g a{
1
a = ha g = ha
=e
g Ha
Recprocamente:
- 25 -
Notas de lgebra II Captulo 1 - 26 -
Si g Ha h H tal que:
g = ha ga 1 = h aa 1 1
{ = h ga H
=e
g d a ( mod H )
Anlogamente para la coclase izquierda.
H = Ha
anlogamente se prueba que
- 26 -
Notas de lgebra II Grupos - 27 -
H = aH
a 1H = b 1 H ( b 1 ) ( a 1 ) H ab 1 = ( ba 1 ) H Ha = Hb
1 1
14243
= ba 1
y es sobre por definicin luego es biyectiva y por lo tanto:
D = I
luego D = G =G
G {}
= e D = 1 o sea:
d ( mod H )
[G : G ] = 1
# ( S HG I H ) = 1
H= Kb
bS KH
Primero probaremos que se trata de una unin luego justificaremos que es disjunta.
Sea g G a S HG , h H tal que:
g = ha
por otro lado si h H b S KH , k K tal que:
h = kb
sustituyendo:
g = kba
luego g Kba esto prueba la unin.
Para probar que son disjuntos consideremos que g Kba I Kba esto implica:
k , k K tal que g = kba = k b a
entonces b{ k{
1
k b = aa 1 aa 1 H Ha = Ha y como tomamos un solo
1
H
1
K
23
H
representante por clase a = a y sustituyendo
kba = k ba kb = k b
1k = bb1 bb 1 K Kb = Kb
k{
K
y como tomamos un solo representante se tiene b = b y luego:
- 29 -
Notas de lgebra II Captulo 1 - 30 -
Kba = Kba
Entonces de tener interseccin son la misma y se trata de una unin disjunta.
Sea
S KG = {ba : b SKH , a S HG } = S KH S HG
entonces:
#{S KG = #{ S KH #{ S HG
P P P
[G : K ] = [ H : K ][G : H ]
G = [G : H ] H
adems en particular si:
G < H |G G
[G : H ] =
H < G y [G : H ] | G H
y si
H <
G <
[G : H ] <
- 30 -
Notas de lgebra II Grupos - 31 -
H +K
Proposicin 1.21 Dado el grupo G, sean H < G , y K < G con H < , K <
entonces:
H K
HK =
H IK
- 31 -
Notas de lgebra II Captulo 1 - 32 -
K = ( H I K ) ki
n
i =1
tenemos que demostrar que:
n
=
{HK Hki
i =1
H IKH
veamos primero que es una unin simple.
n
Como H ki HK U Hki HK para la otra inclusin:
{ i =1
K
i =1
i / k = aki con a H I K
n
hk = h{ {a ki Hki HK U Hki
H H I K H i =1
n
luego HK = U Hki
i =1
veamos ahora que son disjuntos, supongamos que Hki I Hk j entonces por la
observacin 1.12 Hki =
{ Hk j
h1ki = h2 k j ki = h11h2 k j
ki k j 1 = h{
1
h ki k j 1 H I K
{ 1 2
K H
entonces:
ki d k j ( mod ( H I K ) )
y como tomamos un solo representante por clase ki = k j luego la unin es disjunta y
n
HK = Hki = n H
i =1
{
=H
HK = n H
sustituyendo el n tenemos la tesis
- 32 -
Notas de lgebra II Grupos - 33 -
H K
HK =
H IK
K = {( H I K ) k : k K } =
{ K H IK
d ( mod ( H I K ) ) not.
y sea el diagrama adjunto i
Tenemos definida una aplicacin K G
:K G
H IK H 1 2
( H I K ) k Hk
es decir que
( ( H I K ) k ) = Hk K G
H IK H
tomemos dos elementos iguales en la imagen
o sea que k1 k2 ( mod H )
Hk1 = Hk 2 k1k 21 H
k1k 2 H I K ( H I K ) k1 = ( H I K ) k 2
1
1
como k1 , k2 K k1k2 K
luego k1 d k2 ( mod ( H I K ) ) es inyectiva , entonces la cantidad de coclases de
H I K son menor o igual a las coclases de H.
K G
H
1424 I K
3 { H
P P
[ K : H I K ] [G : H ]
ii) Siendo [G : H ] < tenemos que probar que [ K : H I K ] = [G : H ] G = HK y
esto se cumple es sobreyectiva.
Hg G
Sea es sobreyectiva; tomemos g G {
H
= 2 ( g )
- 33 -
Notas de lgebra II Captulo 1 - 34 -
} K
1
h1 , h2 H tal que h1k = h2 g h h k = g g HK
{ 2 1
H
Sea g G queremos ver si k K tal que {
Hk = Hg
P
(( H I K ) k )
y como G = HK h H y k K tal que g = hk despejando:
gk 1 = h H gk 1 H g d k ( mod H ) Hk = Hg
es sobreyectiva.
Normalidad
Dado un grupo G , un subgrupo N donde las relaciones de equivalencia derecha e
izquierda mdulo N coinciden juegan un papel importante para determinar la
estructura del grupo G as como para la naturaleza de los morfismo de dominio G.
Proposicin 1.24 Dado un grupo G, sea N < G las siguientes afirmaciones son
equivalentes:
i) Las relaciones izquierda derecha mdulo N son iguales es decir:
d ( mod N ) = i ( mod N )
- 34 -
Notas de lgebra II Grupos - 35 -
Definicin 1.31 Dado un grupo G, sea N < G decimos que es subgrupo normal si
verifica alguna de las condiciones de la proposicin anterior.
Escribimos
N <G
Ejemplo 1.38 Dado un grupo cualquiera G los subgrupos triviales son normales es
decir los subgrupos {e} y G ya que:
- 35 -
Notas de lgebra II Captulo 1 - 36 -
geg 1 = e g G y aGa 1 G a G
- 36 -
Notas de lgebra II Grupos - 37 -
Demostracin
Asociativa
g1 g( g 2 g g3 ) = g1 g( g 2 g3 ) = g1 ( g 2 g3 ) =
{ ( g1 g 2 ) g3 = ( g1 g 2 )g g 3 = ( g1 g g 2 )g g3
asoc. grupo
Neutro El neutro de G es e
N
Inverso El inverso de la clase de g es la clase del inverso:
( g )1 = ( g )1
ya que:
( g )g( g 1 ) = gg 1 = e
Luego G
N( )
,g es un grupo
Adems:
ker = { g G : ( g ) = e } = { g G : g = e } = { g G : g e ( mod N )} = N
ker = N
Por otro lado Lagrange
G
N por{def. [
G = G : N] = {
G < N
( n1k1 )( n2 k2 ) = n1 k{
1 1 1
1k 2 n2
n1 , n2 N n2 k2 NK K
obser.}
anterior
es decir que:
gNKg 1 NK NK < G
iii) Sea n N y k K entonces:
- 38 -
Notas de lgebra II Grupos - 39 -
}
K
1
1
nkn
{ k K
K por ser K <G
nkn k N I K = {e}
1 1
}N
1 1
n kn 123 k N
N por ser N <G
1 1
nkn k = e nk = kn
H K HK
Im = Im
ker = ker G1 G2
N
( ab 1 ) = e
1424 3
P
( a ) ( b 1 ) = ( a ) ( b ) = e
1
( a ) = (b )
veremos ahora que es un morfismo.
( ab ) = ( ab ) = ( ab ) = ( a ) ( b ) = ( a ) ( b )
luego es un morfismo que adems es nico
Como el diagrama conmuta y es sobreyectiva implica que las imagines son
iguales.
a = aN ker ( a ) = e ( a ) = e
{
= ( a )
es decir que:
ker = {aN : a ker } = ker
N
- 40 -
Notas de lgebra II Grupos - 41 -
( 2 o )( a ) = ( a ) = e ( a ) N 2
a ker ( 2 o ) ( a ) N 2 a 1 ( N 2 )
entonces resulta
1 ( N 2 )
ker =
N1
y por lo tanto ser inyectiva si y solo s
1 ( N 2 )
1 ( N 2 ) = N1 ker =
N1 { }
= e
b = ( a ) en G2 n N 2 tal que b 1 ( a ) = n b = n ( a ) N 2 Im
N2
luego si G2 = N 2 Im = Im N 2
Demostracin
Si N < G como N < NK < G entonces por el G
ejemplo 1.40:
<
N < NK NK
Por otro lado sea a K , b N I K entonces: <?
b% K aba K
}K 1
N K
a { 1
b a = aba 1 N I K
b% N aba N
1
N <G
<?
luego NIK
a K , a ( N I K ) a 1 N I K { NIK<K
por def.
i
Definimos ahora la aplicacin inclusin i : K NK
K NK
y aplicamos la proposicin anterior ya que
i(N I K ) = N I K N
i
Entonces existe i : K NK y como: K NK
N IK N NIK N
i ( N ) = {k K : k N } = N I K
1
luego i es inyectiva
- 42 -
Notas de lgebra II Grupos - 43 -
K NK
N IK N
como queramos probar. Adems se tiene:
[ K : N I K ] = [ NK : N ]
H ImId = HG = G Id
luego es sobre y como G G
Id 1 ( H ) H
ker =
K= K
esto implica dos cosas una que:
G G
H <G K H
K H
la otra que podemos aplicar el primer teorema de = Id
isomorfismo al morfismo para obtener un
G G
K G K
morfismo : definido: H
H H
K K
H
g = { g = gH
K
= gK
- 43 -
Notas de lgebra II Captulo 1 - 44 -
G
H G
Entonces g
gG
gH K
K H H
K
Como N 2 < G2 ( a ) ( b ) 1 ( a ) N 2
{ 123
144 42444 3
G2 G2
( a ) ( b ) 1 ( a ) = ( aba 1 ) N 2 aba 1 1 ( N 2 )
Luego 1 ( N 2 ) < G1
iii) ahora como {e} < H entonces aplicando la proposicin 1.6
1 ({e} ) < 1 ( H )
1424 3
P
ker < 1 ( H )
:G G si H < G ( H ) < G
N N
: N G si K < G N ( K ) < G
1 G 1
1
( ( H ) ) H
Y se da la igualdad H = 1 ( ( H ) )
Por otro lado siempre se cumple la siguiente inclusin :
( 1 ( K ) ) K
Para probar la otra inclusin sea K lo que significa que:
g G tal que = g = ( g )
entonces
( g ) = g 1 ( K )
sustituyendo
( 1 ( K ) )
y se da la inclusin K ( 1 ( K ) ) y por lo tanto se cumple:
K = ( 1 ( K ) )
As una es la inversa de la otra y existe entonces una biyeccin como afirmamos.
- 45 -
Notas de lgebra II Captulo 1 - 46 -
Ejemplo 1.43
Sea : G1 G2 un epimorfismo y sean
S1 = {H < G : ker < H }
S 2 = {K : K < G2 }
Entonces la aplicacin en que
f : S1 S 2
verifican lo mismo
H < G1 ( H ) < G2
que la proposcin anterior
1 ( K ) K < G2
- 46 -
Captulo 2
Grupos Simtricos
En este captulo estudiaremos con ms detalle a los grupos simtricos ya
mencionados en los ejemplos 1.15 y 1.16 S n as como los subgrupos de los mismos.
Recordar que; si S es un conjunto no vaci llambamos:
Biy ( S ) = { f : S S / f es biyectiva}
y ( Biy ( S ) , o ) es un grupo con la composicin como operacin.
Si llamamos I n = {1,..., n} , entonces S n = Biy ( I n ) y llamamos al grupo ( S n , o ) grupo
simtrico , en particular si S n lo llamamos permutacin y escribimos:
1 2 L n
=
(1) ( 2 ) L ( n )
Cuando los grupo aparecieron al principio en las matemticas, generalmente
procedan de una fuente especfica y se presentaban en forma muy concreta. Muy a
menudo era en la forma de un conjunto de transformaciones de algn objeto
matemtico particular. En realidad, la mayor parte de los grupos aparecieron como
grupo de permutaciones, es decir , como subgrupos de S n (cuando S es un conjunto
finito de n elementos ) De ah la importancia de estos grupos en particular.
El matemtico ingls Cayley fue el primero en notar que todo grupo poda realizarse
como un subgrupo de S n Con ese propsito daremos el teorema de Cayley como
alguno de sus otros resultados.
El teorema de Cayley afirma que todo grupo G es isomorfo a un subgrupo de
Biy ( G ) , ac lo veremos como corolario del siguiente teorema:
- 47 -
Notas de lgebra II Captulo 2 - 48 -
: G Biy ( G )
a a : G G
x ax
123 123
P P
a 1 = ( a )
1
ax = x a = e ker = {e}
Luego es inyectiva y se trata de un monomorfismo.
- 48 -
Notas de lgebra II Grupos de Permutaciones - 49 -
Demostracin Ya esta hecha la demostracin solo hay que tener en cuenta que por
ser un monomorfismo (inyectiva) de acuerdo a lo visto en la proposicin 1.6 (ii)
Im < Biy ( G ) entonces es un isomorfismo sobre Im que es a su ves un
subgrupo de Biy ( G ) .
El teorema de Cayley nos permite exhibir cualquier grupo abstracto como un objeto
ms concreto, a saber, como un grupo de transformaciones. ( Biy ( G ) ) Pero tiene sus
limitaciones; pues si G es un grupo finito de orden n , entonces como S n = n ! .
Nuestro grupo G de n elementos es algo perdido en un grupo que, con sus n!
elementos es gigantesco en comparacin con G . Una pregunta natural es: podemos
mejorar el resultado en el sentido de encontrar otro grupo con menos elementos, de
manera que la conclusin del teorema siga siendo vlida? En esta direccin
veremos ms adelante el teorema de generalizacin de Cayley.
Anotamos = ( i1 , i2 ,..., ir )
En el caso particular que sea un 2-ciclo lo llamamos trasposicin y anotamos
= ( i, j )
Un 1-ciclo por definicin es la identidad
1 2
Ejemplo 2.1 Sea I 2 = {1, 2} = claramente S 2 = {Id, } 2
2 1
En el caso de S3 tenemos :
1 2 3 1 2 3 1 2 3 1 2 3
Id = ; = ( 2,3) ; 2 1 3 = (1, 2 ) ; 2 3 1 = (1, 2,3)
1 2 3 1 3 2
1 2 3 1 2 3
3 1 2 = (1,3, 2 ) ; 3 2 1 = (1,3)
luego
S3 = {Id, (1, 2 ) ; (1,3) ; ( 2,3) ; (1, 2,3) ; (1,3, 2 )}
Observar que
( i1 , i2 ,..., ir ) = ( i2 ,..., ir , i1 ) = ..... = ( ir , i1 ,..., ir 1 )
Si = ( a1 , a2 ,..., ar ) entonces = r ya que r = Id entendiendo a
- 49 -
Notas de lgebra II Captulo 2 - 50 -
r = o o ... o
14243
r veces
Definicin 2.2 Dadas dos permutaciones y S n decimos que son disjuntas si:
( x) x ( x) = x
( x) x ( x) = x
- 50 -
Notas de lgebra II Grupos de Permutaciones - 51 -
t
I n = 5 xi
i =1
teniendo en cuenta que puede haber clases con un solo elemento es decir que
x = { x} y reordenando
xi = 1 si i = s + 1,..., t
s t tal que
xi > 1 si i = 1, 2,..., s
consideremos i = 1, 2,..., s vamos a probar que mi tal que
xi = mi y xi = { xi , ( xi ) , 2 ( xi ) ,..., mi 1}
cumplindose mi ( xi ) = xi
Definimos
H xi = {m : m ( xi ) = xi }
se tiene que:
1) 0 H xi ya que 0 ( xi ) = Id ( xi ) = xi :
m ( xi ) = xi
2) Si m, n H xi n
( xi ) = xi xi = ( xi )
n
sustituyendo:
6474
= xi
8
m n ( xi ) = m ( xi ) = xi
14 4244 3
P
m n
( xi ) = xi m n H x i
m n ( mod H xi ) m = n en mi mi
entonces sabemos que existe una nica
: xi tal que ( m ) = ( m ) entonces:
mi
- 51 -
Notas de lgebra II Captulo 2 - 52 -
( m ) = ( n ) ( m ) = ( n ) m = n
luego es inyectiva y como es sobre entonces es sobre y por lo tanto es
biyectiva.
mi = { 0, 1 ,..., mi 1}
, ,...,
xi , ( xi ) ,.., mi 1 ( xi )
Como mi = mi xi = mi y adems dichos elementos son:
xi = { xi , ( xi ) , 2 ( xi ) ,..., mi 1 ( xi )}
Llamemos i = xi para i = 1,..., s vamos a probar que
= 12 ....s
Sea x I n puede suceder dos cosas:
s
1) x 5 xi ( x ) = x i ( x ) = x i = 1,..., s 12 ...s ( x ) = x
i = 1
2) i {1,..., s} tal que x x ( x ) = x j i
i j
r
Entonces si llamamos z1 ,..., zk = I n \ U Ai se tiene que
i =1
Ejemplo 2.2
1 2 3 4 5 1 2 3 4 5
3 4 1 5 2 = (1,3 )( 2, 4,5 ) ; 3 5 1 4 2 = (1,3)( 2,5 )
Demostracin Basta con demostrar que todo ciclo lo verifica y que la identidad
tambin
Id = ( i, j )( j , i )
( x1 , x2 , x3 ,..., xr 2 , xr 1 , xr ) = ( x1 , xr )( x1 , xr 1 ) ...( x1 , x3 )( x1 , x2 ) r 2
Ejemplos 2.3
1. ( a, b, c ) = ( a, c )( a, b )
2. ( x, y , a )( x, y, b ) = ( x, a )( x, y )( b, y )( b, x )
1424 3
( b , x, y )
Por otro lado
( x, y , a ) = ( x, a )( x, y )
( x, a )(14243
x, y )( y, x )( y , b ) = ( x, a )( y , b )
( x, y, b ) = ( b, x, y ) = ( y, b, x ) = ( y, x )( y, b ) = Id
Luego tenemos dos descomposiciones
- 53 -
Notas de lgebra II Captulo 2 - 54 -
( x, a )( x, y )( b, y )( b, x )
( x, y , a )( x, y, b ) =
( x, a )( y , b )
en las que no hay unicidad en la cantidad de factores.
Demostracin Ejercicio.
- 54 -
Notas de lgebra II Grupos de Permutaciones - 55 -
( x1 , x2 ,..xr ,..., xs ,..., xn ) = x1 ,..., xr 1 , xs ,..., xs 1 , xr ,..., xn
E5555555F
cambiamos r con s
entonces podemos escribir:
8 6447448 64447444 8
3
6 4741 2
( x1 ,..., xn ) = ( xs xr ) ( x j xi ) ( x j xs )( xj xr )
1 i < j n j >s
{i , j}I{r , s} =
( xs x j )( xr x j ) ( xs x j )( x j xr )
14442444
j<r
3 1144424443
< j<s
4 5
De esta forma
= 1 2 3 4 5
ahora 1 ( x1 ,..., xn ) = ( x ( s ) x ( r ) ) = ( xr xs ) = 1
2 = (x
1 i < j n
j xi )
2 ya que r y s no aparecen
{i , j}I{r , s}=
3 = ( x j xs )( x j xr )
( x j xr )( xj xs ) = 3 1 r s j n
j >s j >s
4 = ( xs x j )( xr x j )
( xr x j )( xs x j ) = 4 1 j r s n
j<r j <r
5 = (x
r < j <s
s x j )( x j xr )
( xr x j ) ( x j xs ) = 5 1
r < j <s 1
424
31 424 3
r j s n
= ( x j xr ) = ( xs x j )
Luego = , con = ( r , s )
Para el caso general S n cualquiera, tenemos por el corolario anterior que existen
trasposiciones 1 ,..., k tal que:
= 1 2 ... k
entonces
= ( 1 2 ... k ) = 1 ( 2 ( ...( k ) ...) ) = ( 1)
k
- 55 -
Notas de lgebra II Captulo 2 - 56 -
Observacin 2.4 Ya vimos que una permutacin se puede escribir como producto
de trasposiciones lo que adems se cumple que esta descomposicin no es nica ni
siquiera en el nmero de factores, pero estos son iguales mdulo dos.
Es decir si: S n y
= 1 2 ... r
( 1) = ( 1) r s ( mod 2 )
r s
= 12 ....s
Ejemplo 2.4
S 2 = {Id, (1, 2 )} A2 = {Id}
S3 = {Id, (1, 2 ) ; (1,3) ; ( 2,3) ; (1, 2,3) ; (1,3, 2 )} entonces A3 = {Id, (1, 2,3) ; (1,3, 2 )} 3
- 56 -
Notas de lgebra II Grupos de Permutaciones - 57 -
Ejemplo 2.7 Sea en S 4 N = {Id, (12 )( 34 ) ; (13)( 24 ) ; (14 )( 23)} < A4 (ejercicio del
practico) luego A4 no es simple.
- 57 -
Notas de lgebra II Captulo 2 - 58 -
- 58 -
Notas de lgebra II Grupos de Permutaciones - 59 -
Caso 1 Como existe un ciclo de orden mayor que cuatro sea este ( a1a2 ...ar ) y
consideremos = ( a1a2 ...ar ) con ( a1a2 ...ar ) y disjuntos
Sea = ( a1a 2a3 ) An entonces como N { N { (1 1 ) N
1 1
N < An N 424 3
N
1
( ) = ( a ...a ) ( a a a )( a ...a ) ( a a a )
1 1
1 r
1
1 2 3 1 r 1 2 3
1
=
1 ( ar ... a1 )( a1 a2 a3 )( a1...ar ) ( a1a2 a3 ) = 1 ( ar ...a1 )( a1a2 a3 )( a1...ar )( a1a2 a3 )
1 1
14444244443
Aplicamos el lema 2.6
- 59 -
Notas de lgebra II Captulo 2 - 60 -
luego N = An
144444 42444444 3
aplicamos lema 2.6
= ( a4 a3 )( a2 a1 )( a2 a3 )( a1a4 ) = ( a1a3 )( a2 a4 )
Llamemos 2 = ( a1a3 )( a2 a4 ) N sea b a1 , a2 , a3 , a4 esto es posible por ser n 5
Sea 2 = ( a1a3b ) An 21 2 2 21 N y entonces:
21 2 2 21 = ( a2 a4 )( a1a3 )( a1 a3b )( a1a3 )( a2 a4 )( a1 a2 b ) =
1
144444244444 3
Aplicamos Lema 2.6
Grupos Libres
Proposicin 2.10 Dado un conjunto X entonces existe un grupo F ( X ) y una
funcin inyectiva i : X F ( X ) tal que para todo grupo G y funcin : X G
existe un nico morfismo : F ( X ) G tal que el diagrama conmuta, es decir que
o i =
X G
Demostracin Para la demostracin primero vamos a #
construir al grupo F ( X ) que definiremos de la siguiente
manera. i
X = X 1 y X I X 1 =
entonces existe una biyeccin entre dichos conjuntos , y convenimos en llamar al
correspondiente de un elemento x en dicha biyeccin, x 1 , o sea
X X 1
x x 1
Notar que ac x 1 no indica el inverso de x debido a que no tenemos definido un
producto, an.
Tomamos un elemento que llamamos 1 X U X 1 .
Una palabra en X (o de alfabeto X ) es una funcin g : Y donde
Y = X U X 1 U {1} una palabra entonces es una sucesin de elementos de Y.
= ( a1 , a2 ,....) tal que ai Y i = 1, 2...
y tal que existe n0 + tal que ai = 1 i n0
es decir:
= ( a1 , a2 ,...., ano 1 ,1,1,1,.....)
A los elementos ai , ai+1 se les llaman adyacentes.
La palabra constante (1,1,1,......) es la palabra vaca y le llamamos 1 es decir
escribimos:
1 = (1,1,1,.....)
Definicin 2.10 Una palabra se llama reducida si se verifica:
1) x X x, x 1 no son adyacentes en .
2) Si existe k + tal que ak = 1 ai = 1 i k
Como caso particular la palabra 1 = (1,1,1,.....) es reducida.
F ( X ) como conjunto es el conjunto de las palabra reducidas es decir:
F ( X ) = {palabras reducidad de alfabeto X }
Observar que toda palabra reducida es de la forma:
- 61 -
Notas de lgebra II Captulo 2 - 62 -
3) Si
p = x11 x22 ...xnn z11 z 2 2 ...z r r
r r 1 1 1 2 m
con xnn y1 1 p q = x11 x22 ...xnn y11 y2 2 ... ym m
q = zr zr 1 ...z1 y1 y2 ... ym
4) Si
p = x11 ...xnn ym m ... y1 1
1 m p q = x1 1 ... xn n
q = y1 ... ym
5) Si
p = x11 ...xnn
n 1 1 m
p q = y11 ... ymm
q = xn ...x1 y1 ... ym
6) Si
p = x11 ...xnn
pq =1
q = xn n ... x1 1
Esta ltima nos dice que todo elemento es invertible , lo que falta probar es que este
producto es asociativo (ejercicio).
Luego ( F ( X ) , ) es un grupo.
Definimos i : X F ( X ) funcin
x x x1 = ( x,1,1,...)
Como i ( x ) = i ( y ) ( x,1,1,...) = ( y,1,1,...) x = y luego i es inyectiva.
Sea G un grupo y : X G una funcin. Probaremos que existe un nico
morfismo : F ( X ) G tal que : o i = .
Entonces de existir tal morfismo : F ( X ) G con o i = se tiene:
- 62 -
Notas de lgebra II Grupos de Permutaciones - 63 -
( x1 ) = ( x ) x X { ( x ) = ( x ) = ( x ) x X
1
1 1
morfismo
entonces
( x ) = ( x ) , = 1
x = 1 ( x ) = e
Si x F ( X ) 1 2 n
x 1 ! x1 ,..., xn X , i = 1 tal que: x = x1 x2 ...xn
Y se tiene:
( x ) = ( x11 x22 ...xnn ) = ( x1 ) 1 ( x2 ) 2 ... ( xn ) n
= ( x1 ) 1 ( x2 ) 2 ... ( xn ) n G
Luego es sobre G ( )
F X
ker
Observar que el morfismo es simplemente:
x11 x22 ...xnn = x11 x22 ...xnn
14243 14243
F ( X ) G
no hay relaciones puede haber relaciones
entre x1 x2 ...xn
Proposicin 2.12 Dado un grupo F, ste es libre si y solo s existe un conjunto X tal
que F F ( X )
- 64 -
Notas de lgebra II Grupos de Permutaciones - 65 -
falta ver que esta es nica. Supongamos que existe otro morfismo : F G tal
que:
oi =
entonces consideremos el morfismo = o donde X G
: F ( X ) G y tal que iX
o iX = o o iX = o i =
{
=i
F(X )
o iX =
pero el morfismo que cumple con eso era nico luego:
= 1 = o 1 = 1 o 1 = F
lo que prueba la unicidad.
Ahora demostraremos el directo.
Por ser F grupo libre X y una funcin i : X F ; a esta funcin y a este X
aplicamos la proposicin 2.10 un grupo F ( X ) y una
funcin iX : X F ( X ) inyectiva tal que para todo grupo F(X )
(y en particular para F) y para toda funcin (y en particular
para la funcin i) existe un nico morfismo 1 : F ( X ) F iX ! 2
tal que:
1 o iX = i (parte de abajo del diagrama) i
X F
Por otro lado como F es libre implica que para todo grupo
(y en particular F ( X ) ) y toda funcin iX : X F ( X )
entonces existe un nico morfismo 2 : F F ( X ) tal que: iX ! 1
2 o i = ix (parte de arriba del diagrama)
Tenemos entonces que 2 o 1 : F ( X ) F ( X ) pero si F(X )
aplicamos la propiedad universal a iX , implica que existe
un nico morfismo de F ( X ) en s mismo que conmuta el iX
diagrama, pero como la identidad ya es un morfismo que X F(X )
cumple lo anterior.
Es decir que:
iX
2 o 1 = Id F ( X )
2 o 1 Id
Anlogamente.
1 o 2 = Id F
F(X)
por lo tanto 1 : F ( X ) F es un isomorfismo.
- 65 -
Notas de lgebra II Captulo 2 - 66 -
Generadores y Relaciones
Definicin 2.12 Sea G un grupo y S G un subconjunto, llamamos subgrupo
normal generado por S y anotamos N S a la interseccin de todo subgrupo normal
que contiene a S.
Es decir :
NS = I N
S N <G
en particular S N S ya que S N N < G adems por ser intersecciones de
subgrupos normales, entonces es normal.
es decir
H < G
NS = I N H
S H S N <G
entonces H = N S
F(X )
Ejemplo 2.8 Si P = , N = {1} F ( X ) entonces
N
F ( X ) = (X |)
es decir que una representacin de F ( X ) es la dada por el conjunto X y ninguna
relacin.
F(X )
= {a, b, c : a 2b = bab 1 = ac = 1} = {1}
N
ya que
ac = 1 c = 1
bab 1 = 1 ba = b a = 1 2
a b = 1 b = 1
Notacin De ahora en adelante adoptaremos la siguiente anotacin :
x1 x1 y 1 y 1 y 1 = x 2 y 3
palabras reducidas
Sea X un conjunto tal que X = Y , X = { xi }iI y sea :
{ }
P = xi1 i1 ...xil il : i1 ,..., il I , i1 ,..., il F ( X )
l
morfismo
p P p ker
Luego
P ker < F ( X ) F(X ) G
N P = I H N P ker , N P < F ( X )
PH <F ( X )
Aplicando la propiedad universal a (proposicin 1.27)
tenemos que existe un nico morfismo que conmuta el
F(X )
diagrama, es decir: NP
o =
adems Im = Im es sobre.
Ejemplo 2.10
F(X )
Sea X = {a, b} P = {a n , b 2 , abab} G =
NP
Sean = a , = b con , G tenemos que :
n = a n = an = 1 = e n = e
2 = b 2 = b2 = 1 = e = e
2
= abab = abab = 1 = e
luego F ( X ) = a, b G = ,
y como:
2 = e = 1 { n : n } = {e, } #
2
G 2n
n = e { m : m } = {e, , 2 ,..., n1} #
n
adems
= 1 = 1 1 = 1
M { : m } = { , , ,..., }
m 2 n 1
m = m
Entonces al ser:
G = , = { m n : m, n } = {e, , 2 ,..., n 1, , , 2 ,..., n1 } G 2 n
luego G = 2n
- 68 -
Notas de lgebra II Grupos de Permutaciones - 69 -
Ejemplo 2.11
Sea X = {a, b} , P = {aba 1b 1} Probaremos que ( X | P ) es una presentacin de
F(X )
Sea G = , = a , = b G = , y =
NP
Tenemos en a los generadores (1, 0 ) y ( 0,1) , son tales que:
(1, 0 ) + ( 0,1) = ( 0,1) + (1, 0 )
conmutan. Por el teorema anterior existe un epimorfismo : G tal que:
( ) = (1, 0 )
( ) = ( 0,1)
G es abeliano por ser generado por dos elementos que conmutan.
Consideremos los morfismos 1 , 2 : G definidos por:
1 ( n ) = n
como = 1 ( n ) 2 ( m ) = n m = m n = 2 ( m ) 1 ( n )
2 (m) = m
n, m
i ( n ) = ( n, 0 )
Sean i1 , i2 : definidas 1
i2 ( m ) = ( 0, m )
1
Entonces existe un nico morfismo:
: G i1
tal que (1, 0 ) = , ( 0,1) = y es claro que:
G
( o )( ) = , ( o )( ) =
como y generan a G entonces o = Id G . i2 2
Anlogamente
( o )(1, 0 ) = (1, 0 ) y ( o )( 0,1) = ( 0,1)
entonces o = Id luego = 1
y se trata
entonces de un isomorfismo.
- 69 -
Notas de lgebra II Captulo 2 - 70 -
cantidad finita.
i =1
Observase que un grupo abeliano libre nunca es un grupo libre ya que este ltimo no
es abeliano (observacin 2.8).
- 70 -
Notas de lgebra II Grupos de Permutaciones - 71 -
y llamamos a los m1 ,..., mt factores invariantes y a los p1n1 ,..., prnr divisores
elementales
En el caso en que A es un grupo abeliano finito T ( A ) = A entonces:
A m1 ... mt
A = m1m2 ...mt
Ejemplo 2.13 Hallar los grupos abelianos de orden 1500.
Descomponemos 1500 en producto de factores primos:
1500 = 22.3.53
( 2, 2,3,5,5,5) 2 2 3 5 5 5
( 2, 2,3,5 ,5)
2
2 2 3 25 5
( 2, 2,3,5 )
3
2 2 3 125
( 2 ,3,5,5,5)
2
4 3 5 5 5
( 2 ,3,5 ,5)
2 2
4 3 25 5
( 2 ,3,5 )
2 3
4 3 125
6 = p ( 2 ) p (1) p ( 3) siendo p nmero de particiones
El algoritmo para hallar los factores invariantes es el siguiente:
Tomamos todos los primos repitindolos tatas veces como el factor que ms se
repite, elevndolos a la cero si no est en la descomposicin de factores primos.
- 71 -
Notas de lgebra II Captulo 2 - 72 -
Para ( 2, 2,3,5 ,5 ) 2,2 ; 3 ,3 ; 5,52 luego los factores invariantes para este caso
2 0
Corolario 2.15 Sea G un grupo abeliano finito y m | G entonces existe H < G tal
que H = m .
- 72 -
Captulo 3
Accin de un grupo en un conjunto
El teorema de Cayley demuestra que los elementos de G pueden ser considerados
como permutaciones de los elementos de un conjunto, es decir G y Biy ( X ) para
algn X. Este es un caso especial de una situacin ms general de gran utilidad para
el estudio de un grupo, lo cual se precisa con la siguiente definicin.
(i) ( ii )
g g x = g g( g 1 g y ) = ( g g 1 )g y = eg y = y que es sobreyectiva; ahora para ver que es
inyectiva consideremos para un determinado g 0 G
g 0 g x1 = g 0 g x2
entonces como existe g 0 1 G por ser G un grupo podemos escribir:
g 01 g( g 0 g x1 ) = g 01 g( g 0 g x2 )
y por definicin de accin aplicando la condicin (i) :
(1g424
0 g 0 )g x1 = ( g 0 g 0 )g x2
1
3 1424
1
3
=e =e
eg x1 = eg x2
Aplicando la condicin (ii) x1 = x2 .
Lo mismo se cumple para cualquier otro g G.
{144424443
acciones de G en X }
Hom ( G , Biy ( X ) )
144 42444 3
P P
g
G X X : G Biy ( X )
( g, x) g gx g g : X X
Demostracin Definimos:
g g x = ( g )( x ) g G , x X
esta frmula nos da una biyeccin
Consideremos morfismos : G Biy ( X ) g1 , g 2 G entonces por ser morfismo:
( g1 g 2 ) = ( g1 ) o ( g 2 )
y tenemos que:
( g1 g 2 )( x ) = ( g1 ) ( ( g 2 )( x ) )
14 4244 3 144 42444 3
aplicamos la frmula P P
( g1 g 2 )g x = g1 g( g 2 g x )
esto ltimo es la condicin (i) de accin, luego se cumple por ser morfismo
Por otro lado si : G Biy ( X ) es un morfismo ( e ) = Id
eg x = ( e )( x ) = Id ( x ) = x ( ii )
De esta forma dado un morfismo en las condiciones de arriba implica tener una
accin G en X.
g
Y recprocamente sea G X X una accin de G en X.
- 74 -
Notas de lgebra II Acciones - 75 -
Definimos
: G fun ( X )
g (g)
de manera que ( g ) : X X est definida por ( g )( x ) = g g x
entonces:
i) ( g1 g 2 )g x = g1 g( g 2 g x ) g1 , g 2 G, x X
1424 3 1424 3
P P
( g1 g 2 )( x ) = ( g1 ) ( ( g 2 )( x ) ) = ( ( g1 ) o ( g 2 ) ) ( x )
luego es un morfismo.
ii) e{ gx = x
P
( e ) = Id .
( e )( x ) = x
Por otro lado
( g ) o ( g 1 ) = ( g g 1 ) = ( e ) = Id
luego ( g ) es invertible y 1 ( g ) = ( g 1 ) ( g ) es biyectiva y entonces
: G Biy ( X ) .
Entonces dar una accin de G en X es lo mismo que dar un morfismo
: G Biy ( X ) y viceversa. Y esta poda haber sido nuestra definicin de accin
de un grupo en un conjunto, en consecuencia todo grupo por el teorema de Cayley es
un G-conjunto ya que existe siempre un morfismo : G Biy ( G ) .
g
Corolario 3.2 Si G X X accin { g G : g g x = x , x X } < G
- 75 -
Notas de lgebra II Captulo 3 - 76 -
G Y > Y
y por lo tanto Y es un G-conjunto.
Es decir que un conjunto Y es G-estable haciendo abuso de notacin podemos
escribir GY Y y entonces:
y Y {g 1 y Y y = g ( g 1 y ) GY Y GY
G
123
Y
Y = GY
Luego Y es G- estable Y = GY
G Yn > Yn
Definicin 3.5 Sean X,Y dos G-conjuntos, entonces a una funcin f : X Y se le
llama G-funcin si verifica:
f ( g g x ) = g g f ( x ) g G , x X
g
Definicin 3.6 Dada una accin G X X decimos que es transitiva si
x, y X existe algn g G tal que g g x = y
- 76 -
Notas de lgebra II Acciones - 77 -
g
Proposicin 3.3 Dada una accin G X X entonces
i) La relacin : en X definida por: x : y g G tal que g g x = y es una
relacin de equivalencia.
ii) Para cada x X , Gx = { g G : g g x = x} es un subgrupo de G.
Demostracin
i) a) x : x ya que eg x = x
b) Sea x : y g G tal que g g x = y
pero como G es un grupo implica que:
g 1 G tal que g 1 g( g g x ) = g 1 g y
1424 3
x = g gy y : x
1
P
( g 1 g )g x = x
c) Transitiva
x : y g G tal que g g x = y
{ g g( g g x ) = z
y : z g G tal que g g y = z sustituyendo 1424 3
P
( g g )g x = z x : z
({ g g )g x
G
ii) Primero que nada e Gx de forma obvia.
Sean g1 , g 2 Gx g1 g x = x y g 2 g x = x como G es un grupo tenemos que existe
g 21 G y podemos escribir g 21 g( g 2 g x ) = g 21 g x pero por otro lado:
123
=x
- 77 -
Notas de lgebra II Captulo 3 - 78 -
g 21 g( g 2 g x ) = ( g 21 g 2 )g x = x
luego
g 21 gx = x
sustituyendo en g1 g x = x tenemos:
g1 g x = g1 g( g21 g x ) = ( g1 g 21 )g x = x
g1 g 21 Gx
y Gx < G
( g11 g1 )g x = x
entonces sustituyendo
g 2 g( g1 g x1 ) = x2
1
14243
( g 2 g1 )g x1 = x2
1
P
1 424 3
( g2 g11 )g x1 G
- 78 -
Notas de lgebra II Acciones - 79 -
4) IG
xX
x = { g G : g g x = x , x X } = ker IG
xX
x < G.
Ya habamos visto que dar una accin es lo mismo que tener un morfismo
: G Biy ( X ) entonces ker = { g G : ( g ) = Id} como ( g )( x ) = g g x x X
luego ker = { g G : Id ( x ) = g g x , x X } = {g G : x = g g x, x X } = IG
xX
x
Demostracin como cada orbita es G-estable implica que la unin tambin lo es.
Si y Y ( y ) Y luego U ( y ) Y pero como la otra inclusin es obvia
yY
se tiene que Y = U ( y )
yY
(h 1
g )g x = ( h 1 h )g x ( h 1 g )g x = x h 1 g Gx
1424 3
=e
gGx = hGx entonces induce una biyeccin
: G ( x ) G ( x)
Gx
gGx g g x
entonces
( x) = G = [ G : Gx ] G
Gx Gx
como se quera demostrar.
- 79 -
Notas de lgebra II Captulo 3 - 80 -
g
Definicin 3.9 Dada una accin G X X decimos que x es punto fijo si:
g g x = x g G
Al conjunto de puntos fijos lo anotamos por X 0 es decir:
X 0 = { x X : g g x = x ,g G} X
Observar que claramente X 0 es G-estable y adems la accin de G sobre X 0 es la
trivial.
Si x X 0 Gx = G [G : Gx ] = 1 ( x ) = 1 ( x ) = { x}
i =1 i =1
luego
n
X = G : Gxi
i =1
Aplicaciones
1) Accin por conjugacin
Como conjunto X tomamos el propio G y definimos la funcin siguiente:
g
G G G
( g , x ) g
gxg 1
o sea que a g g x = gxg 1 (o tambin g g x = int g ( x ) siendo int g la funcin definida
en la observacin 3.4)
1) eg x = exe1 = x ;
2) hg( g g x ) = hg( gxg 1 ) = h ( gxg 1 ) h 1 = ( hg ) x ( hg ) = hg g x .
1
- 80 -
Notas de lgebra II Acciones - 81 -
- 81 -
Notas de lgebra II Captulo 3 - 82 -
n =1
Demostracin
i) En este caso la orbita es igual a la clase de conjugacin, entonces:
( x ) = C ( x ) = [G : CG ( x )] x G
ii) Si x X 0 gxg 1 = x g G gx = xg g G x Z ( G ) X 0 = Z ( G )
Aplicando lo obtenido en la observacin 3.3 para este caso particular se obtiene lo
que se da en llamar ecuacin de las clases.
iii) Sea H < G , g G gHg 1 < G entonces si consideramos la accin definida por:
G Subg ( G )
g
Subg ( G )
g g H := gHg 1
( g , H ) g
definido
tenemos que:
- 82 -
Notas de lgebra II Acciones - 83 -
( K ) = { g g K : g G} = { gKg 1 : g G}
en forma general, el orden de la orbita es el ndice del estabilizador en el grupo G,
pero en este caso el estabilizador es el normalizador; luego:
( K ) = [G : N G ( K )] = {H < G : H conjugado de K } = n
luego n | G .
g
G G G
( g , x ) g
gx
Producto en G
O sea g g x = g x .
A diferencia de la accin por conjugacin, la funcin que define la accin en este
caso no es un morfismo (en el caso de accin por conjugacin vimos que era un
isomorfismo observacin 3.4)
Claramente se cumplen las condiciones para que sea accin :
i) eg x = e x = x x X = G
- 83 -
Notas de lgebra II Captulo 3 - 84 -
ii) g1 g( g 2 g x ) = g1 g( g 2 x ) = g1 ( g 2 x ) = ( g1 g 2 ) x = ( g1 g 2 )g x g1 , g 2 , x G .
Observar que es una accin transitiva ya que x, y G, tenemos que ver si existe
g G que cumpla g g x = y .
ggx = y
{ 1
P g = yx G
gx
Adems es una accin fiel ya que g g x = x gx = x g = e .
Observacin 3.6
La accin por traslacin induce una accin por traslacin de G sobre las partes de G.
G P ( G )
g
P ( G )
( g , Y ) gY = { gy : y Y }
Sea H < G , G P ( G ) y g G , fH G se tiene gfH = gH % G G
H H H H
es G-estable, entonces por restriccin, G acta por traslacin en G , y se tiene:
H
G G g
G
H H
( g , fH ) gfH
que por ser la primera transitiva esta ltima tambin, luego tenemos solo una orbita:
( fH ) = { gfH : g G} = {gH% : g% G} = G
H
El estabilizador de fH es por definicin:
G fH = { g G : gfH = fH }
Pero por otro lado:
gfH = fH f 1 gf H h H tal que f 1 gf = h g = fhf 1 g fHf 1
luego:
G fH = { g G : gfH = fH } = fHf 1
Consideremos
: G Biy G
H ( ) G Biy G
H ( )
g (g):G G
H H
fH gfH
Sea K = ker entonces como: monomorfismo
G
K = I G fH K = I gHg 1 < G K
f G gG
1
y fHf = H si f H entonces K H luego:
- 84 -
Notas de lgebra II Acciones - 85 -
K H
K es el mayor subgrupo normal a G contenido en H
K <G
ya que si existe algn T que cumple:
T <G 1 1
f G, T = fTf fHf
{ TK
T H por ser K = I fHf 1
f G
y como [G : N ( )] = [G : H ][ H : N ( )] | p ! [ H : N ( )] | ( p 1)!
123 14243
=p P
H
N ( )
Supongamos que N ( ) H [ H : N ( )] > 1 . Sea q primo tal que:
q | [ H : N ( )] | ( p 1)! entonces q | ( p 1)!
- 85 -
Notas de lgebra II Captulo 3 - 86 -
adems como
H
q | [ H : N ( ) ] = q| H | G q| G
N ( )
entonces:
q | ( p 1)! q p 1
q| G { q > p absurdo
por hip.
Luego N ( ) = H H < G
Producto semidirecto
Dado un grupo G tal que existe N < G y K < G tales que N I K = {e} y NK = G .
Si adems K < G entonces
NK G
( n, k ) nk
es un isomorfismo.
Analicemos el caso en que K no es necesariamente normal.
Observar que N I K = {e} g G existe un nico n N , k K tal que g = nk
ya que de no ser as :
n1 , n2 N , k1k2 K n = n2
1
n{
2 n1 = k k11 N I K = {e} 1
n1k1 = n2k 2 { 2
k1 = k 2
N K
Consideremos la accin por conjugacin
g
G G G
( g , x ) gxg 1
g
Como N es normal es G-estable y por lo tanto induce una accin G N N y
como K < G tenemos una accin por restriccin:
g
K N N
( k , x ) kxk 1
lo que equivale a tener un morfismo:
: K Biy ( N )
k k : N N
n knk 1
es decir ( n ) = knk 1
Observar adems que G = NK entonces el producto nos queda:
- 86 -
Notas de lgebra II Acciones - 87 -
= ( k 1 ( n ) k 1 ( n ) , k k ) = k 1 ( n n ) , eK = k 1 ( eN ) , eK ( eN , eK )
1 1 1
{ 1 424 3
= eN = eN
por ser k 1 morfismo automorfismo
- 87 -
Notas de lgebra II Captulo 3 - 88 -
: K Fun ( N )
k k : N N
que verifique:
k ( n1n2 ) = k ( n1 ) k ( n2 )
n , n N
k1 ( k2 ( n ) ) = k1k2 ( n ) 1 2
k1 , k 2 K
e (n) = n
En particular tenemos ( k ) = k 1 , k ( e ) = e, k ( n 1 ) = k ( n ) k K , n N .
1 1
entonces:
i) N% < N K , K% < N K , N% I K% = {( e, e )} y NK
% % = N K
Demostracin Definimos
: N N K y : K N K
n ( n, e ) k ( e, k )
( n ) ( n ) = ( n, e ) ( n, e ) = ( n e ( n ) , e e ) = ( n n, e ) = ( n n )
( k ) ( k ) = ( e, k ) ( e, k ) = ( e k ( e ) , k k ) = ( e, k k ) = ( k k )
lo que implica que y son morfismos, como N% = Im , K% = Im y claramente
, son inyectivos, se deduce N% < N K , K% < N K y N N% , K K% .
N% I K% = {( e, e )} es obvio.
%%.
( n, e ) ( e, k ) = ( n e ( e ) , k ) = ( n, k ) N K = NK
- 88 -
Notas de lgebra II Acciones - 89 -
( n1 , k1 ) ( n2 , e ) ( n1 , k1 )1 = ( n1 k ( n2 ) , k1 ) ( k ( n11 ) , k11 ) =
1
1
1
678 1 %
N
( )
= n1 k1 ( n2 ) k1 k 1 ( n1 ) , k1k1 = n1 k1 ( n2 ) n1 , e N
1 1
14 4244 3 144244 3
1
Id ( n1 )
N
1
luego N% < N K .
Tomando n1 = e ( e, k1 ) ( n2 , e ) ( e, k1 ) = ( e k1 ( n2 ) e, e ) = ( k1 ( n2 ) , e )
1
Proposicin 3.9 Sea G un grupo tal que existen N < G , K < G que verifiquen
G = NK = KN y N I K = {e} Entonces K < G si y solo s nk = kn, n N , k K
luego K < G
- 89 -
Notas de lgebra II Captulo 3 - 90 -
Subgrupos de Sylow
Ya hemos visto que si G es un grupo de orden n, el orden de cada subgrupo H de G
divide a n. Tambin sabemos con ejemplos del practico que el recproco no es cierto
en general. A4 no posee subgrupos de orden 6.
- 90 -
Notas de lgebra II Acciones - 91 -
Demostracin Si la accin es la trivial todos los puntos son fijos y se cumple por ser
G un p-grupo.
Si la accin no es la trivial x1 ,..., xm X tales que:
m
X = X 0 + G : Gxi con G : Gxi > 1 i = 1,..., m
i =1
- 91 -
Notas de lgebra II Captulo 3 - 92 -
y 1 < [G : CG ( xi )] | G = p n [G : CG ( xi )] = p l i p | [G : CG ( xi )] i = 1,...m
luego
p | Z (G ) Z (G ) 1
- 92 -
Notas de lgebra II Acciones - 93 -
Por la proposicin 1.32 tenemos una biyeccin entre los subgrupos de G y los
subgrupos de G montona creciente que respeta la normalidad. Es decir que
H
aplicando dicha biyeccin que en su momento establecimos por medio de :
G% 0 = {e} < G%1 < ... < G% n1 = G H
b 1
{{
e} < { H < G1 < .... < G n 1 = G
= G0
= G0
Es decir que para cada i existe G i < G con H < G i y tal que G% i = Gi entonces:
H
G i +1
Gi +1
= H = G% i +1 =p
G i G i G% i
H
Definimos
Gi = G i 1 i = 1,..., n
G0 = {e}
luego tenemos {e} = G0 < G1 < ... < Gn = G en las condiciones de la tesis.
P P
G 0 G n1
Adems Gi = p i i = 0,1,..., n
- 93 -
Notas de lgebra II Captulo 3 - 94 -
G = p n k con ( p , k ) = 1
Si G no tiene subgrupos propios G es primo G = p la tesis.
Supongamos entonces que existe H < G con {e} H G , consideremos las
siguientes situaciones:
a) p [G : H ] , entonces como:
G = [G : H ] H p n k = [G : H ] H
p | H
n
( p , [G : H ]) = 1
n
[G : CG ( xi )] > 1 CG ( xi ) G
{ {e} CG ( xi ) G y CG ( xi ) < G , luego por
por obser.3.11 (1)
hiptesis:
p | [G : CG ( xi )] , i = 1,..., m p | Z (G )
H < Z ( G ) tal que H = p
p | G Z ( G ) abeliano
Pero que H < Z ( G ) H < Z ( G ) y podemos considerar el cociente G que
H
cumple:
G = p k = p n 1 k
n
{ K% < G tal que K% = p n 1
H p por hiptesis de induccin
H
considerando la biyeccin de la proposicin 1.32 se tiene que:
K < G con H < K tal que K% = K K = K H = p n1 p = p n
H H
Este K es el p-subgrupo de Sylow que estbamos buscando.
- 95 -
Notas de lgebra II Captulo 3 - 96 -
G
Demostracin n p = S = G : N G ( S p ) =
NG ( S p )
G
S p < N G ( S p ) < G G : N G ( S p ) N G ( S p ) : S p = G : S p n p | G : S p =
14 4244 3 Sp
=np
Demostracin
G
np = 1 = 1 NG ( S p ) = G S p < G
NG ( S p )
NG ( N G ( S p ) ) NG ( S p )
como la otro inclusin es obvia son iguales.
Veamos ahora algunas aplicaciones.
- 97 -
Notas de lgebra II Captulo 3 - 98 -
Aplicaciones
Ejemplo 3.5 Sea un grupo G tal que G = 72 probar que G no es simple.
Descomponemos el 72 = 23 32 . Entonces si S3 es un 3-subgrupo de Sylow, implica
que S3 = 9 (Primer Teorema de Sylow).
Por el segundo Teorema de Sylow
G 72 1 S3 < G af.
n3 | = = 8 n3 | 8 y n3 1( mod 3) n3 =
Sp 9 4
Si n3 = 4 [G : N G ( S3 )] = 4 G G : N G ( S p ) ! = 4!
{ entonces de acuerdo a lo
{ 24
72
visto en la aplicacin 2) de acciones (pag.83) (ver conclusin de la observacin 3.6)
K{ < G tal que {e} K < N G ( S3 ) K < S3 Lema 3.18
= ker
Ejemplo 3.6 Sea G un grupo tal que G = p 2 con p primo, entonces G es abeliano
luego es G p 2 o G p p .
G es un p-grupo, luego tenemos:
p 2 Z ( G ) = G af.
Z ( G ) {e} como G Z ( G ) ( mod p ) Z ( G ) =
cor.3.13
p
Si Z ( G ) = p, como Z ( G ) < G G es un grupo con:
Z (G )
G =p G
Z (G ) { Z (G )
es cclico
cor. 1.20
}
m n+ m
entonces ab = hE
n
F k = { E
n m
hkF ={ kh = m
E5Fk h =
n
{ {k
m
{h = ba
n
hZ (G ) hZ ( G ) kZ (G ) =b =a
Ejemplo 3.7 Sea G un grupo tal que G = 112132 demostrar que es abeliano.
1 n11 = 1 S11 < G
n11 = 1 + 11k |132 n11 = 1 + 11k = 13
132
- 98 -
Notas de lgebra II Acciones - 99 -
Y como S11 = 11 y S13 = 13 por el ejemplo anterior S11, S13 son abelianos y por
2 2
g (g):G G
S2 S2
( g )( hS2 ) ghS2
{e}
ker =
gG
I gS g
2
1
< S 2 (ver observacin 3.6) pero como S 2 = 2 ker =
S2
entonces si ker = S 2 como ker = I gS 2 g < G S2 < G
1
gG
- 99 -
Notas de lgebra II Captulo 3 - 100 -
n p = 1 S p < G G S p S q p q pq
n p = 1 + kp | q
n p = q
=s
S p y Sq son cclicos ms an son simples si
{ Sp, y {
S q entonces
e e
S p = , S q = con = p , = q y como:
- 100 -
Notas de lgebra II Acciones - 101 -
Si 1 = l ( 1 ) = ( l ) l 1 = l sustituyendo:
l l 2
( 1 ) 1 = l 2 2 = l y as sucesivamente t t = l t
2 2 t
luego l 1( mod q )
En q es ( l) =1 y l1 l = l = p
p
l r ( mod q )
d
=q
Observar que la proposicin anterior prueba que hay solamente dos grupos de orden
pq con p < q a menos de isomorfismos.
- 101 -
Notas de lgebra II Captulo 3 - 102 -
Demostracin
Si G es no abeliano, como ( p 1) = p 2 2 p + 1 1( mod p )
2
p 1 1( mod p )
pues p 2
Teorema de Cauchy Sea G un grupo finito, p primo tal que p | G , entonces existe
un elemento a G tal que a = p .
p 1
X = AApG1 = G (arreglos con repeticin)
Consideremos la accin de p actuando en X, definida por una k permutacin
circular de la p-upla, en forma explcita:
k ( a1 ,..., a p ) = ( ak +1 ,..., a p , a1 ,..., ak )
Primero que nada ( ak +1 ,..., ak ) X por que si xy = e yx = x 1 ( xy ) x = x 1x = e , y
por otro lado se trata de una accin de p sobre X porque:
i) h g( k g x ) = ( h + k )g x (notacin aditiva para el grupo aditivo p ) ii) 0 g x = x y en
este caso X 0 conjunto de puntos fijos de la accin, es tal que ( a1 ,..., a p ) X 0 si y
solo s a1 = a2 = ... = a p es decir X 0 = {( a,..., a ) : a G y a p = e} .
Adems como p = p p es un p-grupo actuando en X, entonces por la
proposicin 3.12 X = X0 (mod p) y p| G entonces X = 0 ( mod p ) y
como ( e,..., e ) X 0 X 0 1 , entonces X 0 p a e tal que a p = e a = p
- 102 -
Captulo 4
Cuerpos
Definicin 4.1 Un cuerpo es un anillo conmutativo K {0} en el cual todo
elemento no nulo es invertible.
Adems:
K := I L
U
K i L
iI
donde L subcuerpo de F.
K es el menor subcuerpo de F que contiene a K i , i I .
- 104 -
Notas de lgebra II Cuerpos - 105 -
K ( S ) F subcuerpo.
Es K U S K [ S ] K ( S ) F .
- 105 -
Notas de lgebra II Captulo 4 - 106 -
- 106 -
Notas de lgebra II Cuerpos - 107 -
ai xi aiu i
i=0 i=0
- 108 -
Notas de lgebra II Cuerpos - 109 -
{ ( )
2 = f 2 : f [ x ] }
es decir que si f ( x ) = a0 + a1 x + a2 x 2 + ... + an x n con ai entonces:
( 2) = a ({
2 ) + a ( 2 ) ... + a ( 2 )
2 3 n
f + a1 2 + a2 reagrupando nos queda:
0
{3 n
2 2 2
{
= a + b 2 : a, b = } ( 2)cuerpo y ( 2 ) : = 2 teniendo que {1, 2} es
una base de ( )
2 sobre . Recordar:
1 1 a b 2 a b 2 a b
= = 2 = 2 2 2
a + b 2 a + b 2 a b 2 a 2b a b a b
2 2 2
1424 23 1 424 23
Irr( 2 ) ( )
2 + 3 = x 2 2 2 x + 1 ( 2 ) [ x] .
Si u = 2 + 3 u 2 = 3 u 2 2 2u + 1 = 0 u 2 1 = 2 2u luego:
u 4 2u 2 + 1 = 8u 2 u 4 10u 2 + 1 = 0
- 109 -
Notas de lgebra II Captulo 4 - 110 -
i) v) 0 u K [u ] u 1 K [u ] g K [ x ] tal que u 1 = g ( u ) ug ( u ) = 1
luego u es raz de xg 1 K [ x ] y xg 1 0. i) ii)
v) i) esto ya lo probamos K [u ] [ ]
K x
IrrK ( u ) iii)
cuerpo, (ver definicin 4.11 b).
iii) iv) Es dim K K [u ] < y como iii) ii), es: v) iv)
- 110 -
Notas de lgebra II Cuerpos - 111 -
0
K [ x] l [ x]
K (u ) l (v )
IrrK ( u ) Irrl ( v )
%
- 111 -
Notas de lgebra II Captulo 4 - 112 -
k K % ( k ) = ( 0 ( 1 ( k ) ) ) = ( 0 ( k + IrrK ( u ) ) ) = ( k ) + Irrl (v ) = ( k )
l
luego % |K = y adems:
% ( u ) = ( 0 ( 1 ( u ) ) ) = ( 0 ( x + IrrK ( u ) ) ) = ( x ) + Irrl ( v ) = v
=x
o sea % ( u ) = v como en la tesis.
luego f ( v ) = 0 .
Sea f K [ x ] irreducible tal que f ( v ) = f ( u ) = 0.
Siempre podemos suponer que f es mnico, luego f = IrrK ( u ) = IrrK ( v ) y esto
implica:
- 112 -
Notas de lgebra II Cuerpos - 113 -
K [ x] K [x ] K [ x ]
K ( u ) = K [u ] = = K [v] = K ( v )
IrrK ( u ) f IrrK ( v )
u [ x ]u [ x ]v v
k [ k ]u [ k ]v k k K
p (u ) [ p] p ( v ) p K [ x ]
Luego K ( u ) K ( v ) .
En el cuadro anterior la notacin [ x ]u corresponde a la clase de x respecto a
IrrK ( u ) .
(
luego x 3 2 = x 3 2 )( x 2
+ 3 2 x + 3 22 )
Consideremos v = 3 2 (candidato a isomorfismo) entonces:
f ( v ) = v3 2 = 2 3 2 = 2 ( 3 1) = 0 3 1 = 0
Aplicamos Ruffini para hallar todas las races de 3 1
1 0 0 1
1 1 1 1
1 1 1 0
o sea que 3 1 = ( 1) ( 2 + + 1) y hallando las races de 2 + + 1
1 3 1 i 3 1+2i 3
=w
= = = 1i
2 2 2
3
=w
- 113 -
Notas de lgebra II Captulo 4 - 114 -
( )
3 2 = w 3 2 32 ( ) wl 3 2 ( )
2 3
w 2
algebraico sobre K ( u1 ) K ( u1 , u2 ) = K ( u1 )( u2 ) K ( u1 )
es finita, entonces: K ( u1 , u2 )
K ( u1 , u2 ) K ( u1 ) K K ( u1 , u2 ) K es finita
finita finita K ( u1 )
Razonando por induccin obtenemos que:
F = K ( u1 ,..., un ) K es finita
iii) Supongamos F K es una extensin algebraica F = K ( F ) K y los
elementos de F son algebraicos sobre K.
- 114 -
Notas de lgebra II Cuerpos - 115 -
En forma explcita:
{
K ( S ) = g ((u11,...,unn )) : f , g K [ x1 ,..., xn ] con g ( u1 ,..., u n ) 0, u1 ,..., un S n + .
f u ,..., u
}
Si u K ( S ) n + , T = {u1 ,..., un } S
y f , g K [ x1 ,..., xn ] con g ( u1 ,..., un ) 0 tal que:
f (u1 ,...,un )
u= g (u1 ,...,un ) , luego u K ( u1 ,..., u n ) .
{ K ( u1 ,..., un ) K es
Como u1 ,..., un S u1 ,..., un son algebraicos sobre K.
ii)
Definicin 4.13 Sea C una clase de extensiones de cuerpos. Decimos que C es una
buena clase si verifica:
- 115 -
Notas de lgebra II Captulo 4 - 116 -
EF EF EF K
C C
E F E F C
C C
K K K
ii) F K es algebraica E F = E ( F ) E
los elementos de F (pensados en E F ) son algebraicos sobre E.
E F E es algebraica.
- 117 -
Notas de lgebra II Captulo 4 - 118 -
n
K [ x]
Sea z = x E , f ( z ) = ai x i = f = 0 en E = luego:
i =0
f
f E [ y ] , z E es raz de f
Sea S un conjunto tal que S = E \ ( K ) y S I K = .
Definimos F = S U K y extendemos : K E a una K E z=x
biyeccin . Definimos una estructura de cuerpo en F
copiando la estructura de E va :
Si a, b F ,definimos: F
a + b = ( ( a ) + ( b ) )
1
u = 1 ( z )
a b = 1 ( ( a ) ( b ) ) .
De esta forma F es un cuerpo y : F E es un isomorfismo de cuerpos.
Como : K E es un morfismo de cuerpos y |K = , entonces la operaciones de
F restringidas a K coinciden con las de K ; por ejemplo si a, b K , es:
a{ + b = ( a ) + ( b ) = ( a ) + ( b ) = a{+ b = a{+ b a{ + b = a{+b
en F en K en K biy. en F en K
Luego F K es una extensin.
Sea
n n
u = 1 ( z ) F ( u ) = z ( f ( u ) ) = ai ( u ) = ( ai ) z i
i
i=0 K i=0
{
=a i
( f ( u ) ) = f ( z ) = 0 f ( u ) = 0 en F con u F
iso.
Como E =
K [ x]
f
= {i =0
bi x
m
i
: bi K i = 1,..., m = }
m
i=0
bi x i
: bi K i = 1,..., m
=
m m
= bi z i : bi K i = 1,..., m = ( bi ) z i : bi K i = 1,..., m =
i =0 i =0
= { g ( z ) : g K [ x ]} = ( K ) [ z ]
F = 1 ( E ) = 1 ( ( K ) [ z ]) = 1 ( ( K ) ) 1 ( z ) = K [u ] =
{ K (u )
u alg. sobre K
F = K (u ).
- 119 -
Notas de lgebra II Captulo 4 - 120 -
(
f = x 2 )( x + 2 ) ( x i)( x + i ) en ( )
2, i [ x ]
y el cuerpo de descomposicin es F = ( 2, i ) .
Observacin 4.13
Si K es algebraicamente cerrado K = .
Demostracin Supongamos que K es finito y sea K = {u1 , u2 ,..., un } consideremos:
f ( x ) = ( x u1 )( x u2 ) ... ( x un ) + 1
f ( x ) K [ x ] ya que despus de hacer todos los productos, los coeficientes de f son
productos y sumas de elementos de K, luego tienen que pertenecer a K , por ser este
un cuerpo, como adems 1 K , resulta que f es un polinomio en K [ x ]. Pero no
- 120 -
Notas de lgebra II Cuerpos - 121 -
1 = g i ( z1 ,...zm ) fi ( zi ) = 0 en E
{
=0
- 121 -
Notas de lgebra II Captulo 4 - 122 -
n
Si f = ai y i K [ y ] ( f ) L [ y ] , sea x f L , es ( f ) ( x f ) =
i=0
n n n
= ( ai ) x if = ai x if = ai xif = f ( x f ) = 0
i =0
{ i =0 i =0
x f I M
= ai
f ( x f ) = 0 en L , f .
Como en la proposicin 4.10 , construimos un cuerpo F1 que extiende a K tal que si
f K [ x ] \ K , entonces f tiene alguna raz en F1 .
Aplicando el razonamiento anterior a F1 , existe una extensin F2 F1 tal que todo
polinomio no constante en F1 [ x ] tiene alguna raz en F2 .
Razonando inductivamente construimos una sucesin de extensiones:
... Fn Fn1 .... F2 F1 K
tal que todo polinomio en Fn1 [ x ] \ Fn1 tiene alguna raz en Fn , n = 1, 2,...
Sea F = U Fn , la condicin Fn Fn 1 extensin n que F es un cuerpo y
n =1
F K extensin.
Sea f F [ x ] \ F n tal que f F n [ x ] u F n+1 F tal que f ( u ) = 0.
F es algebraicamente cerrado.
que f ( u ) = 0.
K ( u ) K algebraica
u es algebraico sobre K K ( u ) K algebraica
K K algebraica
u es algebraico sobre K u K. Luego K es algebraicamente cerrado.
Demostracin
Primero lo probaremos para cuando el conjunto S K l
consta de un solo polinomio S = { f } K [ x ] .
Procedemos por induccin en el grado [ K : K ] . %
K (u ) K (v)
Si [ K : K ] = 1 K = K que f se descompone
sobre K :
f ( x ) = u0 ( x u1 )( x u2 ) ... ( x un ) con ui K y K l
por lo tanto
( f )( x ) = ( u0 ) ( x ( u1 ) ) ( x ( u 2 ) ) ...( x ( u n ) ) con ( ui ) l
luego ( f ) se descompone en l y no hay nada que extender, es decir = .
Supongamos ahora que el resultado es vlido para [ K : K ] = n > 1 , entonces existe
u raz de f en K \ K y consideremos K K ( u ) K [ K : K ( u )] < n .
Se tiene que u es raz de un factor irreducible g de grado > 1 de f y sea v una raz de
( g ) en l , ( g ) es irreducible de grado > 1 l l ( v ) y por la proposicin
4.5 se extiende a %:K ( u ) l ( v ) tal que % ( u ) = v y %|K = .
Y como [ K : K ( u )] < n y K cuerpo de descomposicin de f sobre K ( u ) , l
cuerpo de descomposicin de f sobre K ( v ) , se puede aplicar la hiptesis de
induccin y % (y por lo tanto ) se extiende a un isomorfismo : K l .
En general con S conjunto arbitrario de funciones.
( F , , E ) : K F K ; l E l y
Sea F =
: F E es un isomorfismo que extiende a
- 123 -
Notas de lgebra II Captulo 4 - 124 -
= Id
K K
|K = Id
K K
= Id
Demostracin Por observacin 4.14 si S = K [ x] \ K
K K
K es el cuerpo de descomposicin sobre K de S.
Entonces si tenemos dos clausuras algebraicas tenemos dos cuerpos de
descomposicin, y por el corolario anterior tienen que ser isomorfos, luego las
clausuras algebraicas son isomorfas.
- 124 -
Captulo 5
Extensiones de Galois
Definicin 5.1
Sea F un cuerpo, Aut ( F ) = { : F F : isomorfismo de cuerpos} es un grupo
con la operacin de composicin.
Si K F es un subcuerpo, definimos GalK F = Aut K F = { Aut ( F ) : |K = Id.}
es el grupo de Galois de F en K.
Observar que GalK F < Aut ( F ) (subgrupo).
- 125 -
Notas de lgebra II Captulo 5 - 126 -
( x ) = ax + b
Si a 1, b 0 b a b a a b GalK F es no
a b ( x ) = a ( x + b ) = ax + ab
abeliano
elemento cualquiera de K ( u ) :
( a0 + a1u + ... + an 1u n1 ) = a0 + a1 ( u ) + ... + an 1 ( u )
n 1
con ai K i = 1,..., n 1
y queda determinado conociendo ( u ) .
Luego el mapa:
u : GalK K ( u ) R y como ( u ) = ( u ) 1 ( u ) = u
( u ) 1 = Id. = u es inyectivo.
Por otro lado si v K ( u ) es una raz de f , queremos saber si existe GalK K ( u )
tal que ( u ) = v u es una biyeccin.
Sabemos que existe un nico isomorfismo (proposicin 4.5):
: K ( u )
K ( v)
^ Z
K
( 2 ) = {a + b 2 : a, b }
2 es raz de x 2 = Irr ( 2 ) Gal ( 2 ) , ( 2 ) = 2 entonces:
2
( a + b 2 ) = a b 2 a, b
Ejemplo 5.5 , = ( i )
Irr ( i ) = x 2 + 1
races
i ( i )
x 2 + 1 = ( x i )( x + i ) en [ x ]
Gal = 2 Gal = {Id; } ( i ) = i tal que deja a los reales fijos entonces
( a + bi ) = a bi a , b es ( z ) = z
3 ( 2) x 2
3 Irred. en ( 2 )[ x] Irr ( ) ( 3 ) = x 3
2
2
2,
( 3 ) : ( 2 ) = 2 ( 2, 3 ) : = 4
Por otro lado como:
2 2, 3 ( )
2 + 3 ( )
2, 3 ( 2+ 3 ) ( 2, 3 )
3 2, 3 ( )
y como vimos en el ejemplo 4.10
G555555555555555555555
4 H
Irr ( )
2 + 3 = x 10 x + 1 2 + 3 2, 3
4 2
E55555555555
F
( ) ( )
4
Es decir:
( )
2 + 3 : = 4 = dim
( 2 + 3 )
( 2+ 3 = ) ( 2, 3 )
( )
2, 3 : = 4 = dim
( 2, 3 )
tenemos las races del Irr 2 + 3 ( )
2+ 3 1 2+ 3
2 3 2 3
x 4 10 x 2 + 1 LL 2 LL
2 3 3 2 3
4
2 + 3 2+ 3
1
Observar que = 3 2 entonces si llamamos u = 2 + 3 entonces:
2+ 3
3 2 = u 1 , 2 3 = u , 2 3 = u 1 los automorfismos:
1 2 3 4
u u u 1 u u 1
Id
Y como 22 ( u ) = 2 ( u 1 ) = ( u 1 ) = u; 32 ( u ) = 3 ( u ) = ( u ) = u ;
1
42 ( u ) = 4 ( u 1 ) = ( u 1 ) = u
1
{ } ( ) {
tiene 1, 2 base de 2 y 1, 3 base de 3 entonces: } ( )
- 128 -
Notas de lgebra II Galois - 129
{ }
1, 2, 3, 6 base de ( 2, 3 ) y
( 2, 3 ) = {a + b 2 + c 3 + d 6 : a, b, c, d }
( 2 ) = ( u + u ) = ( u u ) = 2
2
1
2 2
1 1
2
1
2
2 2
( 3 ) = ( u u ) = ( u + u ) = 3
2
1
2 2
1 1
2
1
3
2
3
( 2 ) = (u + u ) = 2
4
1
2
1
2 2 4
( 3 ) = (u u ) = 3
4
4
1
2
1
3 3
entonces:
2
a b 2 + c 3 + d 6
a + b 2 + c 3 + d 6 3
a b 2 c 3 + d 6
4
a + b 2 c 3 + d 6
Demostracin
i) si GalE F , F F GalK F
^ Z
E
K
es un cuerpo.
- 129 -
Notas de lgebra II Captulo 5 - 130 -
F S S F
E E = = Gal E F H 'H = F H F {Id} F {Id}
La correspondencia da vuelta las inclusiones U U
F = GalF F = {Id}
E E H H
K = Gal K F = G
por def. U U
'{Id} = F = F Id
?
Ahora no siempre se cumple que: K G K G
' G = F G = F GalK F = K por ejemplo:
(3 2)
( 2 ) = {Id} ( 2 ) ( 2) ( 2)
Gal
Si u = 2 Gal = =
Id
3 3 3 3 3
- 130 -
Notas de lgebra II Galois - 131
v)
l ' ( l ') [ ' ( l ')] ' l '
l ' = [ ' ( l ')] ' el otro es anlogo.
l ' [ ' ( l ')] '
Demostracin
Sean Fc = {l E K : ' ( E ') = E }
S c = {H < G : ( ' H ) ' = H }
Si E Fc [' ( E ' )] ' = E ' E ' S c (Fc ) ' S c y anlogamente ' (S c ) Fc
Ahora vamos a ver una serie de lemas previos a la demostracin del teorema central
de este captulo, que es el Teorema de Galois.
Si [ F : K ] < Gal K F [ F : K ].
GalK F [ F : K ]
tenemos la segunda parte de la afirmacin de la tesis.
Para probar la primera parte lo hacemos por induccin completa en el grado [ M :l ]
Sea n = [ M : l ] y consideremos el caso n = 1 M = l l ' = M ' luego se
cumple. M M
Sea ahora n > 1 , M l y supongamos que el n
k
teorema vale para toda extensin con grado < n .
Sea u M \ l , M l finita u es algebraico sobre l (u ) l (u ) '
L.
Sea f = IrrL ( u ) con gr ( f ) = k > 1 ( u l ) . k
G55555H
k
L L
M l ( u ) l entonces [ M : l ( u )] = nk consideremos
E5555555555F
n
los siguientes casos:
a) k < n
nk < n , [ M : l ( u )] = kn hip [ l (u ) ' : M '] [ M : l ( u )] = kn
1< k < n
de ind.
Sea T = {races de f en l ( u )} , T gr ( f ) = n = [ M :l ]
n
Sean las coclases a izquierda: L L
l (u ) ' {
l' = l ( u ) ' : l '} l ' = l ' : M '
l (u ) ' P
l (u ) '
K G
- 132 -
Notas de lgebra II Galois - 133
f l x y |l = Id
()
Debido a que si l ', l ( u ) ' = GalL ( u ) F u = ( u ) , se puede pasar
l ( u )
Sea ( a1 ,..., an +1 ) F n+1 solucin no trivial con una cantidad minimal de entradas no
nulas. Reordenando si es necesario podemos suponer ai 0 i = 1,..., r y ai = 0
para todo i = r + 1,..., n + 1 .
Como ker TA es un subespacio de F n+1 podemos suponer a1 = 1F (si no
multiplicamos por a11 ).
Afirmacin 1
Probaremos que {u1 ,..., u n+1} L.I. sobre ' J = F J J tal que y1 = ( a1 ) ,
y2 = ( a2 ) ,..., yr = ( ar ) , yr +1 = .... = yn +1 = 0 es solucin de (1) y ( a2 ) a2
Si se cumple lo anterior, tenemos que la resta de dos soluciones es tambin una
solucin, pero:
x1 y1 = 1 (1) = 1 1 = 0 implica que la resta es una solucin no
x2 y2 = a2 ( a2 ) 0 trivial de (1) con r 1 entrada no nula
Luego necesariamente [ ' H : ' J ] n = [ J : H ] y se cumple la tesis.
Demostracin
En J !i : iH = H , reordenando podemos suponer 1H = H 1 H luego
H
como u1 ,..., un+1 ' H = F H 1 ( ui ) = ui , i = 1,..., n + 1. Los ai son solucin,
tenemos que la primer ecuacin de (1) queda:
u1a1 + u2 a2 + ... + ur ar = 0
Como {u1 ,..., u n+1} F es L.I. sobre ' J y a1 ,..., ar F son no nulos, i : ai ' J y
podemos suponer reordenando que a2 ' J = F J J : (a 2 ) a 2 .
Consideremos el sistema de ecuaciones en F.
1 ( u1 ) x1 + 1 ( u 2 ) x2 + L + 1 ( u n+1 ) xn+1 = 0
1 H < J
(2) M M i J
( u ) x + ( u ) x + L + ( u ) x = 0 , i J
n 1 1 n 2 2 n n +1 n +1
V H tal que i = j V
u
y ul ' H = F H i ( ul ) = j V l = j ( ul ) , l = 1,..., n + 1 .
H F H
Lo que significa que los sistemas son equivalentes porque la fila i de (2) coincide
con la fila j de (1) , y entonces:
y1 = ( a1 ) ,..., yr = ( ar ) , y r +1 = ... = yn = 0 es solucin de (1) con J , ( a2 ) a2
luego queda probada la afirmacin 1, y por lo tanto el Lema.
- 135 -
Notas de lgebra II Captulo 5 - 136 -
(E ) E
( E ) = E |E Gal K E Gal K F
1 ( E ) E E ( E )
- 136 -
Notas de lgebra II Galois - 137
E es estable |E Gal K E y |E ( u ) u . k
Si 1 |E = 1 , 2 |E = 2 21 |E = 21 como 2 ( E ) = 2 ( E ) = E 1 2 |E = 1 2
Demostracin Para ver que la correspondencia es una biyeccin, basta con probar
que todos los subcuerpos y subgrupos son cerrados y eso es el Lema 5.7 y antes
habamos probado de que existe una correspondencia biyectiva entre cerrados
(proposicin 5.4). Adems el Lema 5.7 prueba que en este caso si F E l K
entonces [ E : l ] = [ l ' : E '] y GalK F = [ F : K ] .
Sea F E K como E es cerrado, es F E de Galois.
- 138 -
Notas de lgebra II Galois - 139
GalK F GalK E = [ E : K ]
GalK F
=G
GalE F E'
E y E ' son cerrados y ' G = K (F K de Galois)
G
E' [
= G : E '] = { [ ' ( E ') : ' G ] = [ E : K ]
Lema 5.7
G
Gal K E
Lema 5.11 G Gal K E E '
E'
|E |E
pero E K de Galois GalK E = [ E : K ] <
( a + b 2 + c 3 + d 6 ) = a b 2 c 3 + d 6 F = ( 6 ) K
- 139 -
Notas de lgebra II Captulo 5 - 140 -
F G = F {Id, , , } = F { } I F { } I F { } = ( 3) I ( 2 ) I ( 6 )
{Id} F = ( 2, 3 )
H K J
( 3) ( 6) ( 2)
G
Subgrupos Subcuerpos
Se tiene que ( 3 ) I ( 2 ) I ( 6 ) = ' ' = la extensin es de Galois.
Corolario 5.13 Sea F K de Galois finita, L y E cuerpos intermedios entre F y
K ; H y J subgrupos de G = GalK F , entonces se cumple:
i) GalE L F = GalE F I GalL F ,
ii) GalE IL F = Gal E F Gal L F . Si E K es de Galois, entonces:
GalE IL F = Gal E F GalL F
iii) F H I J = F H F J
iv) F H J = F H I F J . Si H < G F HJ = F H I F J
K G
Si E K de Galois E ' < G E ' L ' = E ' L ' ( E I L ) ' = E ' L '.
iii) y iv)
F Id
Sean:
EL HIJ ' H = E y 'J = l
(i)
( ' H ' J ) ' = ( ' H ) ' I (' J ) ' = H I J H ' J ' = ' ( H I J )
E = 'H, L = 'J
( ' H I ' J ) ' (=ii) ( ' H ) ' ( ' J ) ' = H J H ' I J ' = ' ( H J ) ,
K
Demostracin
GalE L F = GalL F I Gal E F = {Id} E l = F {Id} = F
( u ) u F K es de Galois.
Si G es finito [ F : K ] = F {Id} : F G
{ [G : {Id}] = G F K es finita.
Lema 5.6
GalK F = [ F : K ] G <
F K de Galois finita G = GalK F .
G < Gal K F
- 141 -
Notas de lgebra II Captulo 5 - 142 -
- 142 -
Notas de lgebra II Galois - 143
irreducibles y a K .
f escinde en F f i escinde i {1,..., r}
Sea u F tal que fi ( u ) = 0
f i = IrrK ( u ) K [ x ]
fi mnico e irreducible K [ x ] f i separable
F K separable
u
iii) i) Para demostrar esto consideraremos dos casos:
a) Sea S < , S = { f1 ,..., f r : separables} K [ x ]
r
si f = f i K [ x ] f es separable F es el cuerpo de descomposicin de f
por def.
i =1
Queremos probar que F K es de Galois finito. F K finitamente generada por
elementos algebraicos finita [ F : K ] = n < . Queremos ver que:
[ F : K ] = Gal K F
y lo probaremos por induccin completa en n.
1) Supongamos [ F : K ] = 1 F = K GalK F = {Id} y se tiene:
GalK F = 1 = [ F : K ].
2) Supongamos n > 1 y razonamos por induccin
- 143 -
Notas de lgebra II Captulo 5 - 144 -
: GalK F T F {Id}
GalK ( u ) F
(u )
entonces s = GalK F = F F K (u )
GalK ( u ) F GalK : Gal K ( u ) n GalK (u ) F
como s > 1 [ F : K ( u )] = ns < n
F es el cuerpo de descomposicin de f sobre K F s s
es cuerpo de descomposicin de f K ( u ) [ x ] sobre
K GalK F
K ( u ) f ahora como polinomio en K ( u ) [ x ] es
separable y por hiptesis de induccin como:
[ F : K ( u )] = ns < n GalK (u ) F = [ F : K ( u )] entonces por ser:
GalK F = GalK F : Gal K ( u ) F Gal K ( u ) F
sustituyendo
GalK F = [ K ( u ) : K ] [ F : K ( u )] = [ F : K ]
F K es de Galois.
b) Sea ahora S = con S familia de polinomios separables.
F = K (T ) , con T = {u F : f ( u ) = 0 para algn f S }
F = U
t1 ,..., tn T
K ( t1 ,..., t n ) tenemos que probar que F K es algebraica y de
n +
- 144 -
Notas de lgebra II Galois - 145
se tiene: K ( R) K ( R)
% ( u ) u ' ( GalK F ) = K
uK ( R ) P
K
' ( K ')
F K es de Galois.
Definicin 5.7 Dada una extensin F K decimos que es normal si para todo
f K [ x ] irreducible que tiene una raz en F , entonces tiene todas sus races en F .
- 145 -
Notas de lgebra II Captulo 5 - 146 -
S K [ x ] y u es raz de f S ( u ) es raz de f ( u ) F .
Sea T = {races de f : f S } entonces lleva a T sobre s mismo y T genera a F
(por definicin de cuerpo de descomposicin) entonces ( F ) = F .
iii) i)
Si : F K ( F ) = F K alg. cerrado
^ Z
K
( x 2 )( x + 2 )( x i 2 )( x + i 2 ) = 0
4 4 4 4
Irr ( u ) = x 2
4
i ( u ) , x 2 + 1 [ x ] ( u ) [ x ] Irr( u ) ( i ) = x 2 + 1 G =8
- 147 -
Notas de lgebra II Captulo 5 - 148 -
( u, i ) {Id}
Gal 2 4 Gal
(u ) 8 (i ) H J
4 2 Gal 2 <
G
H = {Id, } , con ( u ) = u y ( i ) = i
J = 4, J = Gal(i ) ( u, i )
[ ( i )(u ) : ( i )] = [ ( u, i ) : ( i )] =
J = 4 grIrr( i ) ( u ) = 4
Irr( i ) ( u ) = x 2
4
u verifica x 2 = 0 con x 2 [ x ] ( i ) [ x ]
4 4
Si Gal( i ) ( u , i ) ( u ) = u , iu y ( i ) = i, | = Id entonces
J = {Id, , , } tales que:
Id
u u iu u iu
i i i i i
J = 4 J 4
2 2
( u ) = iu 2 ( u ) = ( iu ) = i ( u ) = i iu = u 2 =
3 ( u ) = ( 2 ( u ) ) = ( u ) = ( u ) = iu = ( u ) 3 = entonces:
- 148 -
Notas de lgebra II Galois - 149
J = {Id, , 2 , 3} , 4 = Id J 4
J < G 1 J , u
u iu
iu 1 = 3
{
= ( iu ) = ( i )u = iu
= 3
G = , , con = 2, = 4, = 3 G D4
2 ( u ) = 2 ( u ) = u = 2 ( u ) = 2 ( u )
= es de orden 2,
2 2 2
( i ) = ( i ) = i = ( i ) = ( i )
2 2 2 2
2 2 3 (u ) (C ) ( D) (E) (F )
2 , 2 , ( A) (i ) ( B)
,
(A) [ ( u ) : ] = 4 ( u ) = {a + bu + cu 2 + du 3 : a, b, c, d }
2 ( u ) = u
2 ( u 2 ) = ( u ) = u 2 2 ( a + bu + cu 2 + du 3 ) = a bu + cu 2 du 3 =
2
2 ( u 3 ) = ( u ) = u 3
3
= a + bu + cu 2 + du 3 b = d = 0
( u, i ) (u ) ( u, i ) = (u ) = (u ) = {a + cu 2 : a, c }
2 , 2 , 2 , 2
|( u ) = Id
- 149 -
Notas de lgebra II Captulo 5 - 150 -
(D) Como:
2 , I = 2 ( u , i ) = ( u, i ) ( u, i ) = ( u 2 ) ( i ) = ( u 2 , i )
2 2 ,
Luego ( u , i ) = (u2 , i )
2
P
2
( u ,i )
(u 2 , i ) = (u 2 ) (i ) (u 2 )
u = 4 2 u 2 = 2, Irr ( u 2 ) = x 2 2 {1, u 2 } base de ( u 2 ) sobre
Irr ( i ) = x 2 + 1 {1, i} base de ( u 2 , i ) sobre ( u 2 ) Luego:
( u 2 , i ) = {a + bi + cu 2 + diu 2 } : a, b, c, d
entonces como:
i i i
u 2 u 2 u 2 ( a + bi + cu 2 + diu 2 ) = a bi cu 2 + diu 2 =
iu 2 iu 2 iu 2
= a + bi + cu 2 + diu 2 b = c = 0
Luego ( u , i ) = ( iu 2 )
2 ,
(C ) , ( E ) y ( F )
1 u u2 u3 i ui u 2i u 3i base de ( u , i ) sobre
2
1 u u 2
u 3 i ui u 2 i ui3
1 iu u 2 iu 3 i u u 2i u 3
3 1 iu u 2 iu 3 i u u 2i u3
a b c d e f g h
(C)
( u, i ) b = d = e = g = 0 (u, i ) = {a + cu 2 + fui + hu 3i : a , c, f , h }
2 2
Entonces: ( u , i ) = ( ui )
2
Anlogamente:
( u, i ) = ( u ( i + 1) )
( u, i ) = ( u (1 i ) )
3
- 150 -
Captulo 6
Proposicin 6.1 Sea E K una extensin algebraica, entonces existe un cuerpo F
tal que K E F y :
i) F K es normal.
ii) Si K E E' F y E' K es normal entonces E' = F
iii) Si E K es separable entonces F K es de Galois.
iv) Si [ E : K ] < entonces [ F : K ] < y F est determinada por i) y ii) salvo
isomorfismos.
F F
Demostracin
i) Sea {u }I una base de E sobre K y consideremos el
conjunto: E normal Galois
S = {IrrK ( u ) : I } y sea F el cuerpo de descomposicin y alg.
Sep.
- 151 -
Notas de lgebra II Captulo 6 - 152 -
Observacin 6.1 f [ x ] de grado impar tiene una raz real ( por Teorema de
Bolzano), y adems para todo u tal que ( u ) = .
2
y en consecuencia:
u = ( u + av ) av K ( u + av )
luego:
K ( u ) K ( u + av ) con u + av E
y [ K ( u ) : K ] no sera mximo, lo cual es absurdo K ( u ) = E .
- 153 -
Notas de lgebra II Captulo 6 - 154 -
Proposicin 6.5
i) G f es isomorfo a un subgrupo de S n si f tiene n races distintas en K f .
ii) Si f , irreducible es separable de grado n, entonces n | G f y G f S n es
transitivo.
Demostracin
i) Si las races de f sobre K f son u1 ,..., un y G f ( ui ) = u j para algn j, i .
Sea la correspondencia permutacin que lleva i en j como arriba, es decir:
( ui ) = u ( i )
Por ser inyectiva que dicha correspondencia est bien definida.
Adems esa correspondencia es un morfismo de grupos de G f S n y es inyectivo
porque como K f = K ( u1 ,..., u n ) , si ( ui ) = ui y Gal K K f = Id. que el
ncleo es la identidad inyectivo.
ii) G f S n con n el grado de f
Sea u una raz de f en K f entonces:
K K ( u ) K f por ser f irreducible [ K ( u ) : K ] = n
E55555F
n
- 154 -
Notas de lgebra II Grupo de Galois de Polinomios - 155 -
Llamaremos discriminante de f a D = 2 K f
a2 a
b 2 4ac
D=
a2
Demostracin
i) ( ui u j ) = ( u ( i ) u ( j ) ) = sg ( ui u j ) = sg
i< j i< j i< j
ii)
G f ( D ) = ( 2 ) = ( ( ) ) = ( ) = D
2 2
Gf
luego D K f = K por ser la extensin de Galois, (corolario 5.18).
Demostracin
- 155 -
Notas de lgebra II Captulo 6 - 156 -
= {u : ( u ) = u G f I An }
G f I An ' ( G f I An )
K
G f : K f ^ Z K f
G f I An K
An (V) =V Gal K ( V ) K f
= x 3 bx 2 + b3 x b27 + bx 2 2 b3 x + b3 + cx cb3 + d
2 3 2 3
= x 3 + ( c b3 ) x + d + 827b cb3
2 3
1442443 14444244443
p q
D ( f ) = ( u1 u2 ) ( u2 u3 ) ( u1 u3 )
2 2 2
haciendo cuentas y usando relacin entre
coeficientes y races se llega a que D ( f ) = 4 p 3 27 q 2
Ejemplo 6.3 f ( x ) = x3 + 3 x 2 x 1 [ x ]
Entonces:
g ( x ) = ( x 1) + 3 ( x 1) ( x 1) 1
3 2
= x 3 3 x2 + 3 x 1 + 3 x 2 6 x + 3 x + 1 1
= x3 4 x + 2
Aplicando Eisenstein se tiene que 2 divide a todos los coeficientes menos el primero
y su cuadrado no divide al termino independiente, por lo que es irreducible.
D ( f ) = 4 ( 4 ) 27 ( 2 ) = 4 ( 64 ) 4 ( 27 ) = 4 ( 37 ) que no es un cuadrado perfecto,
3 2
luego G f S3 .
- 157 -
Notas de lgebra II Captulo 6 - 158 -
Grupo de Klein
Llamamos grupo de Klein al siguiente grupo:
N = {e, (12 )( 34 ) , (13)( 24 ) , (14 )( 23)} 2 2 < S4
se tiene que N < S 4 ya que S4 (12 )( 34 ) 1 = ( (1) ( 2 ) ) ( ( 3) ( 4 ) ) , es
un producto de trasposiciones disjuntas de S 4 y como la cantidad de elementos de
esta clase son tantos como:
C24 6
= =3
2 2
que son las tres que aparecen en el grupo de Klein, entonces (12 )( 34 ) 1 N .
Adems podemos ver que N < A4 < S4 con N < S4 N < A4 .
- 158 -
Notas de lgebra II Grupo de Galois de Polinomios - 159 -
- 159 -
Notas de lgebra II Captulo 6 - 160 -
Demostracin Est claro que solo alcanza con hacer todas las implicancias en un
solo sentido, elegimos , entonces:
Sea G f = S 4 , por ser K ( , , ) K de Galois y K K ( , , ) K f entonces:
E55555555F
m
Gf S4 S 24
m = GalK K ( , , ) = = = 4 = =6
Gf I N S4 I N N 4
G f = A4 en este caso:
A4 12
m= = =3
A4 I N 4
- 160 -
Notas de lgebra II Grupo de Galois de Polinomios - 161 -
Gf = N
N
=1 m=
N
Gf 4 entonces G f est generado por un 4-ciclo es decir por ejemplo:
G f = (1234 ) , (13 )( 24 ) , (1432 ) , e{
1442443 144424443 1442443 N
2N 3
y tenemos
4 4
m=
= =2
4 I N 2
lo mismo si G f estuviera generado por otro 4-ciclo.
G f D4 un de las formas de escribir D4 es:
D4 = ( 24 ) , (1234 )
{ 1442443
entonces D4 = {e, , , , , , ,
2 3 2 3
} observamos que , N y si hacemos:
= ( 24 )(1234 ) = (14 )( 23 ) N
pero = 2 N porque uno pertenece y el otro no,
2 = (1234 ) = (13 )( 24 ) N
2
G55555555555555555552 H
K ( , , ) K ( , , )( ui ) K f lo cual es absurdo.
E555555555555555F
4
Gf 4
144 + 2b432 + 2 ab
a 2 4244 { 2 = 3 a = 0 2b = 3 b =
2 3
2
=3 0
( ) ( ) ( )
entonces 2, 3 : 2 = 2 y 2 : = 2 2, 3 : = 4 ( )
( )
y como la extensin 2, 3 es de Galois por ser cuerpo descomposicin de
un conjunto de polinomios { x 2 2, x 2 3} separables. G f = 4
Sea G f = {e, 1 , 2 , 3} = {e, , , } con 2 = 2 y = y definidos:
2 2 2 2
3 3 3 3
- 162 -
Notas de lgebra II Grupo de Galois de Polinomios - 163 -
y por lo tanto G 2 2 .
f
( ) ( )
y ( , , ) = i 2 i 2 : = 2 m = 2 y entonces:
4
Gf
D4
Sea u = 4 2 entonces las races de x 4 2 son u , u , ui, ui x 4 2 es irreducible
( )
sobre i 2 ya que:
4
( )
2 i 2 4 2 = a + bi 2 con a, b y b 0
entonces elevando al cuadrado:
2 = a 2 2b2 + 2 ab 2i a = 0 2b 2 = 2 b
anlogamente si 4
( )
2i i 2 4 2i = a + b 2i con a, b b 0 elevando al
cuadrado:
2 = a 2 2b2 + 2 ab 2i a = 0 2b 2 = 2 b
lo mismo con las dems races.
Luego G f D4 . Ver ejemplo 5.11 donde se muestran todos los subgrupos y los
correspondientes cuerpos intermedios.
Demostracin Como f tiene dos races complejas estas tienen que ser conjugadas y
por lo tanto existe un isomorfismo : tal que ( z ) = z G f y es
(viendo a G f < S p ) es una transposicin ( ab ) S p por otro lado como f es
irreducible p | G f por ser p primo aplicando Cauchy existe un elemento de
orden p existe un p ciclo ( ai1....b....i p 1 ) G f entonces k = ( ab.....) para algn
k ( ab....) G f
Podemos suponer reordenando las races de f si fuera necesario que:
(12 ) , (12.... p ) G f
Y como {(1k ) : k = 2,..., p} genera a S p , y:
(12... p ) (12 )(12... p ) = ( k + 1, k + 2 ) G f k = 0,..., p 2
k k
(12 ) , ( 23 ) , ( 34 ) ,..., ( p 1, p )
y podemos construir (13) = ( 23)(12 )( 23) y por induccin
(1, k + 1) = ( k , k + 1)(1, k )( k , k + 1) G f con k = 2,..., p 1
G f S p
4 y
Ejemplo 6.8
f ( x ) = x5 4 x + 2 [ x] es 2
ser f ( x ) = 5 x 4 1
-2
- 164 -
Notas de lgebra II Grupo de Galois de Polinomios - 165 -
Proposicin 6.16 Sea G un grupo finito, entonces existe una extensin de Galois
con grupo de Galois isomorfo a G.
f 2 ( x1 ,..., xn ) =
1 i < j n
xi x j
M M
f k ( x1 ,..., xn ) =
1 i1 <... <ik n
xi1 ...xik
- 165 -
Notas de lgebra II Captulo 6 - 166 -
Demostracin Si k = n 1
f1 = x1 + ... + xn h1 = x1 + ... + xn1
y entonces h1 = f1 xn , anlogamente:
h2 = xx
i, jn
i j = f 2 h1 xn
i< j
y as sucesivamente:
hk = f k hk 1 xn
Aplicando una induccin para atrs.
Si vale para k + 1 llamemos a dichas funciones g1 ,..., g k +1 entonces como antes:
h j = g j h j 1 xk +1
Como por hiptesis de induccin los g j son polinomios en f1 ,..., f n , xk + 2 ,..., xn ,
entonces las h j son polinomios en f1 ,..., f n , xk +1 ,..., xn .
y es el irreducible de xn en F .
Para la extensin F ( xn ,..., xk +1 ) F ( xn ,..., xk +1, xk ) probaremos que:
- 166 -
Notas de lgebra II Grupo de Galois de Polinomios - 167 -
[ F ( xn ,..., xk ) : F ( xn ,..., xk +1 )] k
para ello tomamos el polinomio irreducible:
g k ( y ) = ( y x1 ) ... ( y xk )
donde los coeficientes son las funciones elementales en las variables x1 ,..., xk , que
por el Lema anterior F ( xk +1 ,..., xn ) g k F ( xk +1 ,..., xn ) [ y ] y g k ( xk ) = 0 .
Luego [ F ( x1 ,..., xn ) : F ] n! F = S K ( x1 ,..., xn ) .
Lema 6.20 Sea el conjunto B = { x1i1 x2i2 ...xnin : 0 ik < k , k = 1,..., n} es una base de
K ( x1 ,..., xn ) sobre S K ( x1 ,..., xn ) .
- 167 -
Notas de lgebra II Captulo 6 - 168 -
Demostracin
Sea g k ( y ) = ( y x1 )( y x2 ) ....( y xk ) = y k h1 y k 1 + ... + ( 1) hk siendo h j los
k
- 168 -
Apndice A
Construcciones con regla y comps
Supongamos que disponemos solo de una regla, sin marcas y un comps donde
podemos hacer uso de la regla solo para construir una recta de la que conocemos dos
puntos y el comps para construir una circunferencia de la que conocemos el centro
y un punto de la misma.
Definicin A.1 Sea P un subconjunto de 2 conteniendo por lo menos dos puntos
distintos.
Diremos que una recta r 2 es una recta de P si r contiene dos puntos distintos
en P, y diremos que una circunferencia C 2 es una circunferencia de P si C
tiene su centro, y un punto en P.
- 169 -
Notas de lgebra II Apndice A - 170 -
Cada Pn es finito n y si definimos P = UPn , P es obvio que es infinito y
n =1
que P = P .
Definicin A.4 Los puntos del plano perteneciente a P son llamados puntos
constructibles y las rectas en P esto es conteniendo dos puntos distintos
constructibles son llamadas rectas constructibles
- 171 -
Notas de lgebra II Apndice A - 172 -
- 172 -
Notas de lgebra II Construcciones con regla y comps - 173 -
3) Si 0 a C a 1 C
Vamos a asumir sin perdida de generalidad que b > a > 0 Consideremos
A = ( a, 0 ) , B = ( b,0 ) Por la proposicin A.1 ii) podemos construir X sobre la recta
OU (siendo O = ( 0,0 ) y U = (1, 0 ) ), tal que OX = AB y as X = ( b a, 0 ) .
Antes que nada observe que existen rectas constructibles que pasan por O distintas
de las rectas OU y OT siendo T = ( 0,1)
Sea r una de esas rectas constructibles como en la figura de ms abajo.
Construimos la
perpendicular a r por A y
por U e interceptamos con
r para obtener el punto A
y U luego construimos la
paralela a UA por U y la
interceptamos con OU, y
as obtenemos X. Que por
semejanza se tiene:
OA OA' OU
a= = =
OU OU' OX
1
luego OX = lo que
a
prueba 3)
Construimos ahora la perpendicular por B a la recta r determinando B, construimos
la paralela por A a UB interceptando a r en A, luego construimos la perpendicular
a r por A interceptando a OU en Y, El punto Y es tal que por semejanza:
OA OA'' OY OY
a= = = = OY = a b
OU OB' OB b
Lo que prueba 2).
- 173 -
Notas de lgebra II Apndice A - 174 -
Proposicin A.5 i) No existe C tal que el volumen del cubo de arista sea el
doble del volumen del cubo de arista 1.
ii) No existe C tal que el rea del cuadrado de lado sea igual al rea del
crculo de radio 1.
iii) Es imposible trisecar un ngulo de 60 con regla y comps (regla sin marcas)
constructible.
2 2
Ahora sea = cos + isen = + i ( , , i ) entonces:
p p
( ) ( , , i ) y [ ( ) : ] = 2 r para algn r
- 175 -
Notas de lgebra II Apndice A - 176 -
entonces:
p = ( 2v + 1) ( 2v ) ( 2v )
t 1 t 2
+ ... 1
contradiciendo el caso de que p es primo.
s
Los nmeros Fs = 2 2 + 1 son llamados nmeros de Fermat.
- 176 -
ndice alfabtico
Discriminante de f 155
Accin 73 Divisores elementales 71
Accin fiel 76 Ecuacin de las clases 82
Accin por conjugacin 80 Elemento separable 144
Accin por traslacin 83 Elementos conjugados 57
Accin transitiva 76 Endomorfismo 16
Accin trivial 75 Epimorfismo 16
Algebraicamente cerrado 119 Escinde 119
Algebraico 108 Estabilizador 78
Anillo conmutativo 103 Extensin algebraica 108
Asociativa 1 Extensin de cuerpos 104
Automorfismo 16 Extensin de Galois 132
Base 70 Extensin finita 104
Buena clase 115 Extensin finitamente generada
Caracterstica de un cuerpo 106 106
Ciclo de longitud r 49 Extensin infinita 104
Clase de conjugacin de un Extensin normal 143
elemento 58 Extensin separable 144
Clausura algebraica 122 Extensin simple 107
Clausura Normal 152 Extensin trascendente 108
Coclase a derecha 25 Factores invariantes 71
Coclase a izquierda 25 Finitamente generado 70
Conjunto cociente a derecha 26 Finitamente generado 12
Conjunto cociente a izquierda 27 Funciones racionales simtricas
Conjunto de representantes 28 sobre un cuerpo 164
Conjunto generador 12 Funciones simtricas elementales
Conmutan 2 165
Constructible 153 G-acta en X 73
Coordenadas 173 G-conjunto 73
Cuerpo 103 G-estable 76
Cuerpo algebraicamente cerrado Grado de una extensin 104
120 Grupo 4
Cuerpo cerrado 138 Grupo abeliano 4
Cuerpo compuesto 105 Grupo abeliano libre 70
Cuerpo de descomposicin 119 Grupo alternado 56
Cuerpo estable 133 Grupo cclico 19
Cuerpo extendible 139 Grupo de Galois 127
Cuerpo intermedio 105 Grupo de isotropa 78
Cuerpo primo 105 Grupo de Klein 157
- 177 -
Grupo definido por los Punto fijo 80
generadores 66 Puntos constructibles 169
Grupo libre 60 Rango 70
Grupo simtrico 47 r-ciclo 49
Grupo simple 57 Recta constructible 170
Inclusin 19 Representacin de un grupo 66
Indice 27 Resolverte cbica de f 158
Inverso 4 Segundo teorema de isomorfismo
Invertible 3 42
Isomorfismo 16 Segundo teorema de Sylow 95
Ley de Composicin 1 Semigrupo 2
Modulo H 24 Subcuerpo 103
Monoide 2 Subcuerpo generado 105
Monoide conmutativo Subgrupo 9
Monomorfismo 15 Subgrupo cclico generado por a
Morfismo de cuerpo 104 11
Morfismo de Grupos 14 Subgrupo de Galois cerrado 133
Neutro 1 Subgrupo de torsin 70
Normalizador 82 Subgrupo normal 35
Nmero constructible 170 Subgrupo normal generado 66
Operacin binaria 1 Subgrupo transitivo 154
Operaciones elementales 169 Subgrupos de Sylow 90
Orbitas 78 Subgrupos propios 10
Orden de un elemento 12 Subgrupos triviales 10
Orden de un grupo 5 Submonoide 3
Palabra reducida 61 Teorema de Artin 143
Permutacin impar 56 Teorema de Cauchy 95
Permutacin par 56 Teorema de Galois 140
Permutaciones 47 Teorema de Gauss 176
Permutaciones disjuntas 50 Teorema de Lagrange 30
p-grupo 91 Teorema fundamental del lgebra
Polinomio de cuarto grado 159 153
Polinomio irreducible 108 Tercer teorema de isomorfismo 43
Polinomio separable 144 Trascendente 107
Primer teorema de isomorfismo 40 Trasposicin 49
Primer teorema de Sylow 93
Producto directo de Grupos 18
Producto semidirecto 87
Proyeccin 19
p-subgrupo de Sylow 91
- 178 -