Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Bruno Stonek
bruno@stonek.com
23 de octubre de 2012
ndice general
1. Teora de grupos
1.1. Definiciones bsicas . . . . . . . . . . . .
1.1.1. Teorema fundamental de los grupos
1.2. Grupos cclicos y orden . . . . . . . . . .
1.3. Coclases y normalidad . . . . . . . . . . .
1.3.1. Teoremas de isomorfismo . . . . .
1.4. Producto directo . . . . . . . . . . . . . .
1.5. Automorfismos . . . . . . . . . . . . . . .
1.6. Producto semidirecto . . . . . . . . . . .
1.7. Extensiones de grupos y sucesiones exactas
1.8. Grupos libres y presentaciones . . . . . . .
1.9. Acciones . . . . . . . . . . . . . . . . . .
1.10. El grupo simtrico . . . . . . . . . . . . .
1.10.1. Conjugacin en Sn . . . . . . . . .
1.10.2. Signo de una permutacin . . . . .
1.10.3. El grupo alternado . . . . . . . . .
1.11. Series subnormales . . . . . . . . . . . . .
1.11.1. Grupos resolubles . . . . . . . . .
1.12. p-grupos y los teoremas de Sylow . . . . .
1.13. Tabla de grupos de orden pequeo . . . .
. . . . . .
abelianos
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
5
5
10
12
16
22
24
26
28
31
37
42
50
52
54
56
60
64
70
77
.
.
.
.
.
.
.
.
.
.
.
.
.
.
78
78
80
85
90
93
97
101
107
108
110
113
118
121
123
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
125
129
131
136
.
.
.
.
1
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
143
143
148
153
162
162
162
167
171
Captulo 1
Teora de grupos
1.1.
Definiciones bsicas
Damos ahora las definiciones y propiedades bsicas de los grupos. Los detalles (sencillas
manipulaciones algebraicas) quedan a cargo del lector.
Definicin. Sea G un conjunto, : G G G una funcin. Consideremos las siguientes
propiedades de :
1. a pb cq pa bq c
2. De P G : a e a e a
@a, b, c P G (asociatividad)
@a P G (existencia de neutro)
3. @g P G Dg 1 P G : g g 1 e g 1 g (existencia de inverso)
4. @a, b P G a b b a (conmutatividad)
Si pG , q satisface 1, es un semigrupo.
Si pG , q satisface 1 y 2, es un monoide.
Si pG , q satisface 1, 2 y 3 es un grupo. Si adems satisface 4, se dice abeliano o conmutativo.
El orden del grupo pG , q, notado |G |, es el cardinal del conjunto G .1 El grupo es finito si
lo es su orden, en caso contrario es infinito.
Si |G | n y G ta1 , . . . , an u, su tabla de multiplicacin es la matriz nn con coeficientes
en G que en la entrada pi, jq consiste del producto ai aj .
Notacin. Cuando un grupo es abeliano, a menudo adoptaremos la notacin aditiva, escribiendo a ` b en vez de ab, 0 en vez de e, y a en vez de a1 .
Observacin 1.1.1.
Escribiremos ab en vez de a b, y diremos que G es un grupo
sobreentendiendo la operacin y el neutro (anlogamente con semigrupo y monoide).
La asociatividad nos permite escribir abc. Por induccin, se prueba que todas las maneras
de asociar n factores dan el mismo resultado, permitindonos escribir en general a1 . . . an
(ver [J] pp. 39-40 para ms detalles).
1
n veces
xSy :
H
SHG
Observacin 1.1.5.
/G
Z
nZ
2
,
n
R n e,
RSRS e
a4 e,
a2 b 2 ,
bab 1 a3
1.1.1.
Recordemos que dar un grupo abeliano es lo mismo que dar un Z-mdulo, y podemos
definir por ejemplo un grupo abeliano libre como un Z-mdulo libre, i.e. que tiene una base
(no hay que confundir esta nocin con la de grupo libre que estudiaremos ms tarde).
Como Z es un dominio de ideales principales, se aplica el teorema de estructura para
mdulos finitamente generados:
Teorema 1.1. Sea G un grupo abeliano finitamente generado. Existe un nico r P N tal que:
existen nicos n1 , . . . , nk llamados factores invariantes de G tales que
G Zr Zn1 Znk
con n1 2 y n1 nk .
existe un nico s P N tal que existen nicos primos p1 , . . . , ps y naturales e1 , . . . , es
tales que
G Zr Zp1e1 Zpses
Los piei , i 1, . . . , s son los divisores elementales de G .
Ejercicios
Ej. 1 Un semigrupo G es un grupo si y slo si :
i. Existe un e P G tal que ea a para todo a P G (neutro por izquierda)
ii. Para todo a P G existe a1 P G tal que a1 a e (inversa por izquierda)
10
Ej. 2 Si todos los elementos de un grupo son involuciones (i.e. a2 e para todo a)
entonces el grupo es abeliano.
Ej. 3 Un grupo no puede ser unin de dos subgrupos propios.
Ej. 4 Un grupo con slo un nmero finito de subgrupos debe ser finito.
Ej. 5 Si H, K G entonces HK : thk : h P H, k P K u es un subgrupo si y slo si
HK K H.
Ej. 6 Cundo es x x 1 un automorfismo de G ?
Ej. 7 Los axiomas de grupo son independientes. Esto es, existe un conjunto con una
operacin que satisface una propiedad y no las otras dos, para cualquiera de las tres propiedades
de grupo.
11
1.2.
Definicin. Sea G grupo, a P G . El subgrupo cclico generado por a es xay : tan : n P Zu.
Un grupo G es cclico si existe a P G tal que G xay.
Observacin 1.2.1. Un grupo cclico siempre es abeliano.
Proposicin 1.2.
m
.
k
Hemos usado el primer teorema de isomorfismo para grupos abelianos, que ya lo conocemos del curso de
lgebra I. Lo volveremos a ver en breve para grupos no abelianos.
12
Proposicin 1.6.
2ki
n
13
Teorema 1.7. Todo subgrupo finito del grupo multiplicativo de un cuerpo es cclico. En
particular, el grupo multiplicativo de un cuerpo finito es cclico.
Demostracin. Sea F un cuerpo y G un subgrupo finito de F . En particular G es abeliano
finito, por lo tanto por el teorema fundamental de los grupos abelianos, G Zm1 Zmk ,
donde 1 m1 mk . Entonces todos los elementos de G son races del polinomio
X mk 1 P F rX s que tiene grado mk , por lo tanto tiene a lo sumo mk races |G | mk .
Por otro lado |G | m1 . . . mk : si fuera k 1 tendramos |G | mk , absurdo. Por lo tanto
k 1 y G Zm1 .
Observacin 1.2.5. pZp q es cclico de orden p 1. Es cclico por el teorema anterior, y es de
orden p 1 porque al ser Zp un cuerpo, todos sus elementos menos 0 son invertibles.
Ejercicios
Ej. 8 Si a, b P G entonces |a| |a1 |, |ab| |ba|, |a| |bab 1 |.
Ej. 9 El producto de elementos de orden finito puede tener orden infinito: considerar
Z2 Z.
Ej. 10 Un grupo cclico finito tiene un nico subgrupo de orden n para cada n que divide
al orden del grupo.
Ej. 11 Sea G un grupo cclico, a, b P G generadores. Existe un automorfismo de G tal
que paq b. Recprocamente, todo automorfismo de G lleva un generador en otro generador.
Deducir que Aut(Zq Z2 .
Ej. 12 El producto de elementos de orden finito puede tener orden infinito: considerar
1
1 0
A p 1
0 1 q y B p 0 1 q en GL2 pQq.
Ej. 13 El producto de elementos de orden 2 puede tener cualquier orden m (Sugerencia:
considerar las matrices del ejercicio anterior en GL2 pZm q).
Ej. 14 En un grupo finito no trivial G , si todos los elementos (salvo el neutro) tienen el
mismo orden entonces |G | es primo.
Ej. 15 En un grupo abeliano el producto de elementos de orden finito tiene orden finito.
Ej. 16 En pZp q el producto de dos elementos que no son cuadrados es un cuadrado.
Ej. 17 Si dos elementos conmutan y tienen orden coprimo, entonces el producto de los
elementos tiene orden el producto de los rdenes. Recprocamente, si g P G tiene orden n
y n n1 n2 con mcdpn1 , n2 q 1 entonces existe una nica descomposicin g g1 g2 con
|g1 | n1 , |g2 | n2 , y tal que g1 y g2 conmutan.
Ej. 18 Si a, b conmutan entonces G tiene un elemento de orden mcmp|a|, |b|q. (Sugerencia: probarlo primero para el caso mcdp|a|, |b|q 1, en cuyo caso el elemento buscado es
14
15
1.3.
Coclases y normalidad
a l b (md Hq si a1 b P H
Observacin 1.3.1. Una manera sencilla de acordarse cul es la derecha y cul es la izquierda
es recordando que es la indicacin del lado de la congruencia del que queda la identidad, i.e.
a r b ab 1 e, a l b e a1 b.
Proposicin 1.8. Sea G grupo, H G , a P G .
Las relaciones r (md H) y l (md H) son de equivalencia.
La clase de equivalencia de a bajo r (md H) es Ha : tha : h P Hu y se llama coclase
derecha de a.
La clase de equivalencia de a bajo l (md H) es aH : tah : h P Hu y se llama coclase
izquierda de a.
|Ha| |H| |aH|.
Demostracin. Lo demostramos para r , para l es anlogo.
Reflexiva: a r a pues aa1 e P H.
Simtrica: a r b ab 1 P H pab 1 q1 ba1 P H b r a.
Transitiva: a r b, b r c ab 1 , bc 1 P H ab 1 bc 1 ac 1 P H a r c.
La clase de equivalencia de a es
tx P G : x r au tx P G : xa1 P Hu tx P G : xa1 h para cierto h P Hu
tx P G : x ha para cierto h P Hu Ha
El mapa Ha H, ha h es una biyeccin.
Observacin 1.3.2. Las coclases de H en G no son generalmente subgrupos de G . La coclase
de la identidad, H, siempre es un subgrupo de G . Las otras coclases pueden pensarse como
trasladados del subgrupo.
Notacin. Si el grupo es abeliano, la coclase izquierda de a se suele notar a ` H, y la coclase
derecha H ` a.
Ejemplo 1.3.3.
En Z, si consideramos el subgrupo 3Z, tenemos tres coclases izquierdas:
3Z, 1 ` 3Z, 2 ` 3Z.
Un ejemplo ms geomtrico: consideramos G R2 , y H Re1 el eje x. La coclase
izquierda mdulo H de un punto p P R2 es
p ` Re1 tp ` e1 : P Ru
Las coclases son pues las rectas paralelas al eje x. Observar que las nicas que son
subgrupos son las que corresponden a puntos p de la forma p px, 0q.
16
Ha Hb ab 1 P H,
aH bH a1 b P H.
jPJ
iPI
K bj
ai
jPJ
K b j ai
pi,jqPI J
PH
bj kbr K bj K k br K bj K br j r
Corolario 1.11. (Teorema de Lagrange). Sea G grupo.
5
17
|G |
.
|H|
18
bNb 1 N
NG
tab 1 n : n P Nu tan1 b 1 : n1 P Nu
aNa1 N
ta1 n1 b 1 : n1 P Nu
NG
ta1 b 1 n2 : n2 P Nu pa1 b 1 qN
Observacin 1.3.8. Hay tantos elementos del grupo cociente como hay coclases, por lo tanto
|G {N| |G : N|.
Corolario 1.20. Si : G1 G2 es morfismo de grupos, entonces ker G1 . Recprocamente,
todo subgrupo normal es el ncleo de un homomorfismo.
Demostracin. Ya sabemos que ker G1 . Es normal: sea a P ker , g P G1 :
pg ag 1 q pg qpaqpg 1 q pg qpg q1 e g ag 1 P ker
Recprocamente, si N G , entonces N ker , siendo : G G {N la aplicacin cannica.
Ejemplo 1.3.9. SLn pkq GLn pkq, pues SLn pkq ker det, donde det: GLn pkq k es el
determinante. El primer teorema de isomorfismo (ver teorema 1.23) nos da un isomorfismo
GLn pkq{SLn pkq k .
Definimos el grupo general lineal proyectivo como PGLn pkq : GLn pkq{ZpGLn pkqq, y el
grupo especial lineal proyectivo como PSLn pkq : SLn pkq{ZpSLn pkqq.
Observacin 1.3.10. Es lo mismo dar:
1. Un subgrupo normal de G ,
2. Un grupo cociente de G ,
3. Una sucesin exacta corta de grupos con G en medio,
4. Un epimorfismo desde G .
20
G {N
y si la sucesin
/
/e
/G
ker p
/Q
Observar que todo esto no es lo mismo que dar un monomorfismo desde G , pues si bien los
ncleos son siempre normales, las imgenes no. Es decir, as como completamos la sucesin
/H i /G
anterior con un ncleo, podramos pensar en completar la sucesin exacta e
con el concleo, i.e. en formar la sucesin exacta corta e
pero G {Im p no tiene por qu ser un grupo.
G {Im p
e,
Nh1 h1 N
hh1 n2 n1 P HN
Nh1 h1 N 1 1
h n P HN
g HNg 1 g H g 1 g Ng 1 HN
de donde HN G .
Cerramos la seccin con una discusin sobre cocientes en general. Los detalles quedan a
cargo del lector.
Definicin. Una relacin de equivalencia en un grupo G es una congruencia si es compatible
con el producto, i.e. si
a b, a1 b 1 aa1 bb 1
De esta manera, el producto de dos clases de congruencia es de nuevo una clase de congruencia. El conjunto cociente G { es un grupo bajo multiplicacin de clases. Observemos
que las congruencias en un grupo G estn en biyeccin con los subgrupos normales de G .
En efecto, si N G entonces a b a1 b P N es una congruencia cuyas clases
de congruencia son las coclases de N en G . Recprocamente, si es una congruencia en
G , entonces el conjunto N de elementos congruentes a la identidad es un subgrupo normal
de G ; sus coclases son las clases de congruencia. De esta manera si y N se corresponden
21
por la biyeccin, generan mismos grupos cociente, i.e. el grupo G { y el grupo G {N son iguales.
Lo interesante de esta discusin es que el concepto de congruencia es fcilmente generalizable a otras estructuras algebraicas (una relacin de equivalencia compatible con la (o las)
operacin (u operaciones)), mientras que la de subgrupo normal no tan fcilmente. Por lo tanto
si queremos averiguar por qu tipo de subconjuntos podemos cocientar, tenemos que poder
describir al conjunto de elementos congruentes a la identidad, dada cualquier congruencia en
el objeto. Queda como ejercicio para el lector el descubrir de esta manera que los subconjuntos
por los que podemos cocientar un anillo son los ideales bilaterales.
1.3.1.
Teoremas de isomorfismo
Enunciamos ahora los clsicos teoremas de isomorfismo sin demostracin pues se trata
de los mismos argumentos que ya usamos para espacios vectoriales, mdulos, anillos, grupos
abelianos...
Proposicin 1.22 (Propiedad universal del cociente). Sea : G H morfismo de grupos,
N G tal que N ker . Entonces pasa al cociente de manera nica, esto es, existe un
: G {N H tal que el siguiente diagrama conmuta:
nico morfismo
G
=H
G {N
Corolario 1.23 (Primer teorema de isomorfismo). Sea : G H morfismo de grupos.
Entonces induce un isomorfismo
G {ker Im
Corolario 1.24. Sea : G1 G2 morfismo de grupos, N1 G1 , N2 G2 tales que pN1 q N2 .
tal que el siguiente diagrama conmnuta:
Entonces existe un nico morfismo
G1
1
G1 {N1
G2
G2 {N2
N
H XN
Corolario 1.26 (Tercer teorema de isomorfismo). Sea G grupo, M N G tales que N G ,
M G . Entonces N{M G {M y
G {M
G
N{M
N
22
Teorema 1.27 (de correspondencia). Si N G , entonces hay una biyeccin entre los subgrupos
de G que contienen a N y los subgrupos del cociente G {N:
tsubgrupos de G que contienen a Nu o
HH{N
H[H {N
tsubgrupos de G {Nu
Ejercicios
Ej. 21 Q y D4 no son isomorfos. (Sugerencia: D4 tiene 5 elementos de orden 2, mientras
que Q tiene slo uno.)
Ej. 22 Sean H, K G .
1. Existe : H{H X K G {K inyectiva, y por lo tanto |H : H X K | |G : K |.
2. Si |G : K | 8 entonces |H : H X K | |G : K | G HK .
Ej. 23 Sean H, K G de ndice finito.
1. |G : H X K | 8 y |G : H X K | |G : H||G : K |.
2. |G : H X K | |G : H||G : K | si y slo si G HK .
Ej. 24 Si H, K G tales que |G : H| y |G : K | son finitos y coprimos, entonces G HK .
Ej. 25 Si H G es tal que H y G {H son finitamente generados, entonces G es finitamente
generado.
23
1.4.
Producto directo
Dados dos grupos, veamos una primera manera de juntarlos para formar otro grupo.
Definicin. Sean G1 , . . . , Gk grupos. Definimos el producto directo externo de G1 , . . . , Gk
como el conjunto G1 Gk con la operacin
pg1 , . . . , gk qpg11 , . . . , gk1 q pg1 g11 , . . . , gk gk1 q
Observacin 1.4.1. Pongamos k 2 por simplicidad. En G1 G2 , las inyecciones G1 G1 G2 ,
g1 pg1 , eq y G2 G1 G2 , g2 pe, g2 q nos dan copias G1 , G2 G1 G2 de G1 y G2
en G1 G2 , que a menudo identificaremos con los originales, escribiendo G1 , G2 G1 G2 .
Adems los elementos de estas copias conmutan entre ellos, la interseccin de las copias es la
2 . Estas tres condiciones son necesarias y suficientes para que un
identidad y G1 G2 G1 G
grupo sea un producto directo interno, como veremos en la proposicin 1.28.
Recin vimos cmo a partir de k grupos construir uno nuevo. Ahora hagmonos la pregunta
inversa y veamos cundo un grupo nos viene dado como producto directo de k subgrupos.
Definicin. Sea G grupo, H1 , . . . , Hk G . Decimos que G es producto directo interno de
H1 , . . . , Hk si el mapa
: H1 Hk G , ph1 , . . . , hk q h1 hk
es un isomorfismo de grupos. En particular G es isomorfo al producto directo externo de
H1 , . . . , H k .
Observacin 1.4.2. Una reformulacin de la definicin es la siguiente: G es producto directo
interno de H1 , . . . , Hk si y slo si todo g P G se escribe de manera nica como g h1 hk
y adems si g h1 hk y g 1 h11 hk1 entonces g g 1 ph1 h11 q phk hk1 q.
Proposicin 1.28. G es producto directo interno de H1 y H2 si y slo si:
G H1 H2 ,
H1 X H2 teu,
todo elemento de H1 conmuta con todo elemento de H2 .
Demostracin. () a) pues es sobreyectiva.
b) si h P H1 X H2 , entonces ph, h1 q e y como es inyectiva entonces h e.
c) Si h1 P H1 , h2 P H2 entonces
h1 h2 ph1 , h2 q pph1 , eqpe, h2 qq ppe, h2 qph1 , eqq h2 h1
() es morfismo:
cq
pph1 , h2 qph11 , h21 qq ph1 h11 , h2 h21 q h1 h11 h2 h21 h1 h2 h11 h21 ph1 , h2 qph11 , h21 q
Es sobreyectivo por a), y es inyectivo:
bq
24
PH2
H2 G
Enunciamos ahora sin demostracin (pues es una sencilla aplicacin de las dos proposiciones
anteriores y un poco de induccin) los criterios anlogos para ms cantidad de subgrupos.
Proposicin 1.30. G es producto directo interno de H1 , . . . , Hk si y slo si:
G H1 . . . Hk
Para cada i 1, . . . , k se tiene Hi X pH1 . . . Hi1 Hi`1 . . . Hk q teu,
Todo elemento de Hi conmuta con todo elemento de Hj , @i, j 1, . . . , k, con i j.
Proposicin 1.31. G es producto directo interno de H1 , . . . , Hk si y slo si:
G H1 . . . Hk
Para cada i 1, . . . , k se tiene Hi X pH1 . . . Hi1 Hi`1 . . . Hk q teu,
H1 , . . . , H k G .
25
1.5.
Automorfismos
26
&Zpp1qpr 1 si p 2
%
Z2 Z2r 2 si p 2, r 2
Demostracin. Ver [DF] p.314, o [M1] p.40-41.
Comparar el resultado anterior con la observacin 1.2.5.
Definicin. Un subgrupo H G es caracterstico si pHq H para todo P Aut(G ).
Notamos H char G .
Observacin 1.5.2. Un subgrupo es normal si es invariante por automorfismos internos, y
un subgrupo es caracterstico si es invariante por todos los automorfismos. Por lo tanto un
subgrupo caracterstico es normal. El recproco es falso. Por ejemplo, si H es un grupo y
G H H, entonces el subgrupo H teu es normal pero no caracterstico, pues no es es
invariante por el automorfismo px, y q py , xq.
Observacin 1.5.3.
P AutpG q:
Ahora vemos en trminos de automorfismos la obstruccin a que la normalidad sea transitiva: al restringir
un automorfismo interno de G a H , resulta un automorfismo de H que no tiene por qu ser interno.
27
1.6.
Producto semidirecto
1 pn1 q1 n2 q11 q1 q2 q
pn1 q1 n2 q11 , q1 q2 q
donde en el ltimo paso utilizamos que q1 n2 q11 P N por ser N normal en G , y por lo tanto
PN
PQ
se tiene n1 q1 n2 q11 q1 q2 .
Si definimos : Q AutpNq como pqqpnq qnq 1 , entonces el nuevo producto en
N Q resulta ser
pn1 , q1 qpn2 , q2 q pn1 pq1 qpn2 q, q1 q2 q
Podemos ahora abstraer esta definicin a una definicin externa, donde N y Q no son
subgrupos de un grupo dado, etc.
Definicin. Sean N, Q grupos, : Q AutpNq morfismo. El producto semidirecto externo
de N con Q es el conjunto N Q con el producto:
pn1 , q1 qpn2 , q2 q pn1 pq1 qpn2 q, q1 q2 q
Lo notamos N Q.7 Decimos que Q acta sobre N por automorfismos.8 El neutro es pe, eq
y el inverso pn, qq1 ppq 1 qpn1 q, q 1 q.
Ejemplo 1.6.2. Dado un cuerpo k, el grupo afn es Aff n pkq kn GLn pkq, donde pAqpv q
Av . Es el grupo de transformaciones afines del espacio afn k n .9
7
28
Nteu,
Proposicin 1.36. El producto semidirecto externo N Q es un grupo tal que, si N
Q teu Q, entonces:
N, Q
Q y N,
Q
N Q,
N
N Q,
N
XQ
tpe, equ,
N
Q
N Q.
N
Recprocamente, si G es un grupo que es producto semidirecto interno de subgrupos N, Q G ,
i.e. si N G , N X Q teu y NQ G entonces si : Q AutpNq es pqqpnq qnq 1 , se
tiene que : N Q G , pn, qq nq es un isomorfismo.
Q
N Q: sea pn, qq P N Q. Entonces
N
Q
Q.
y si q P Q, notemos q pe, qq P Q.
AutpNq
se define como
: Q
Se cumple qnq pqqpnq. En otras palabras, si
1
pqqpnq
Proposicin 1.37. Sean Q, N grupos. Entonces
: Q AutpNq es el morfismo trivial N Q N Q
29
Demostracin.
pn1 , q1 qpn2 , q2 q pn1 pq1 qpn2 q, q1 q2 q pn1 n2 , q1 q2 q @n1 , n2 P N, q1 , q2 P Q
pq1 q idN @q1 P Q es el morfismo trivial
El producto directo de grupos abelianos es abeliano. Ahora vemos que nuestra nueva
construccin, a menos que sea el producto directo, no es abeliana.
Proposicin 1.38. Sean Q, N grupos. Si : Q AutpNq no es el morfismo trivial, entonces
el producto semidirecto N Q no es abeliano.
Demostracin. Si no es trivial entonces existe q P Q tal que pqq idN , por lo tanto existe
n P N tal que pqqpnq n.
pn, eqpe, qq pnpeqpeq, eqq pn, qq
pe, qqpn, eq pepqqpnq, qeq ppqqpnq, qq
Tenemos entonces que existen n, q tales que pn, eqpe, qq pe, qqpn, eq, luego N Q no es
abeliano.
Enunciamos ahora sin demostracin un teorema que permite reconocer un producto semidirecto. Parte de premisas en N y en G {N para concluir algo sobre G . Esto es algo que se repite a
menudo en teora de grupos: trabajando por induccin en |G |, se tiene que |N|, |G {N| |G | y
se puede aplicar la hiptesis de induccin a estos grupos, lo cual puede ser fructfero. Usaremos
esta tcnica ms adelante (y de hecho ya apareci en el ejercicio 25).
Teorema 1.39 (Schur-Zassenhaus). Todo grupo finito G con subgrupo normal N tal que su
orden |N| es coprimo con su ndice |G : N| es producto semidirecto de N con G {N.
Ejercicios
Ej. 26 Dn Zn Z2 .
Ej. 27 El grupo de los cuaterniones no es un producto semidirecto (Sugerencia: contar
elementos de orden 2). Por lo tanto que Q fi D4 (esto ya apareci en el ejercicio 21).
Ej. 28 GLn pkq SLn pkq k .
Ej. 29 Sean N, Q grupos y N 1 Q, N 2 Q dos productos semidirectos. Si existe
P AutpNq tal que 1 2 , entonces N 1 Q N 2 Q.
30
1.7.
n`1
Gn`1
n1
Gn
...
es exacta si Im i`1 ker i para todo i. Una sucesin exacta corta es una sucesin exacta
de la forma
/H i /G p /K
/e
e
(1.1)
donde e denota el grupo trivial, y los morfismos inicial y final son los nicos posibles. De esta
manera, una sucesin de la forma (1.1) es exacta si y slo si i es inyectiva, p es sobreyectiva
e Im i ker p. Por lo tanto cumple pi 0.
Definicin. Una extensin de un grupo Q por un grupo N es una sucesin exacta corta
/
/e
G {N
(1.2)
H1
i1
G
p1
G1
K
K1
Observacin 1.7.3.
Decir que dos sucesiones exactas cortas son equivalentes no es slo
decir que los grupos son uno a uno isomorfos. Lo adicional es la conmutatividad del
diagrama, que nos dice informalmente que H se inyecta en G de la misma manera que
H 1 en G 1 , y que K es cociente de G de la misma manera que K 1 lo es de G 1 .
Dar una sucesin exacta corta es lo mismo que dar un subgrupo normal de G ; esto ya
lo justificamos en 1.3.10, pero ahora lo podemos decir con otro lenguaje. Toda sucesin
exacta corta es equivalente a una de la forma (1.2):
/
pHq
id
i
G
/
31
/K
G {ker
x1y
Q{x1y
(1.3)
con primer y ltimo grupo isomorfos, pero el del medio no. Esto nos dice que conocer
N y G {N no es suficiente en general para conocer G .
Ejemplo 1.7.4. Dados H y K grupos, tenemos una sucesin exacta corta
/
/H
/K
(1.4)
H K
/e
(1.5)
Uno podra preguntarse si todas las extensiones son isomorfas a esta sucesin exacta corta. O,
en otras palabras, si toda extensin es un producto semidirecto. Pero no es as, por ejemplo,
la sucesin (1.3) no lo satisface por el ejercicio 27. Rpidamente vemos que el problema de la
extensin no es trivial.
El grupo afn (ver ejemplo 1.6.2) es una extensin de GLn pkq por k n .
Teorema 1.40. Sea e
valentes:
Ha
/e
(1.6)
id
H K
K
/e
(1.7)
id
/e
Siempre existe una tal funcin, pues al ser inyectiva tiene inversa por izquierda. Lo importante es que
exista una que sea un morfismo.
32
pppg qq pg q.
es inyectiva: supongamos que pg q pe, eq. Entonces 1 pg q e pg q. Luego
g P ker Im , por lo tanto existe h P H tal que g phq. Pero entonces 1 pphqq e,
de donde h e y g peq e.
es sobreyectiva: sea ph, kq P H K . Existe g0 P G tal que k pg0 q. Ahora, si x P H
entonces pg0 pxqq k. Por lo tanto si hallo x tal que 1 pg0 pxqq h, ya est. Pero
1 pg0 pxqq h 1 pg0 qx h x p1 pg0 qq1 h
por lo tanto x p1 pg0 qq1 h e y g0 pxq cumplen py q ph, kq.
(2 1) Sea : H K H la proyeccin sobre la primera coordenada. Definamos
entonces 1 pg q pg q para todo g P G . Es un morfismo que cumple
1 pphqq ppphqqq iphq h
Teorema 1.41. Sea e
valentes:
Ga
/e
(1.8)
id
/H
e
/
K
(1.9)
id
Observacin 1.7.5. En la categora R-Md de R-mdulos, las condiciones del teorema 1.40
y del teorema 1.41 son equivalentes, no as en la categora Grp de grupos en donde estamos
trabajando: ver ejercicio 30. Si quisiramos probar como con mdulos que (1.8) implica (1.7),
intentaramos definir el morfismo ms sensato : H K G , ph, kq phq1 pkq. Pero al
no tener conmutatividad, esto no define un morfismo, por cmo es el producto en el producto
directo H K . Este problema se soluciona usando el mismo morfismo pero cambiando el
producto de H K y poniendo el producto semidirecto. Veremos en la demostracin cmo
de esta manera resulta un morfismo.
11
Como en el teorema anterior, siempre existe una tal funcin, pues al ser sobreyectiva tiene inversa por
derecha. Lo importante es que exista una que sea un morfismo.
33
(1.10)
Primero observamos que para k 1 se obtiene phq p1 phqq para todo h P H; como
es inyectiva esto significa que 1 idH .
Veamos que : K AutpHq es un morfismo de grupos. Notamos k pkq : H H.
Primero tenemos que verificar que k es un morfismo de grupos. k ph1 h2 q est caracterizado
por la ecuacin
1 pkqph1 h2 q1 pkq1 pk ph1 h2 qq
El miembro izquierdo de la ecuacin es
e
1
Tenemos entonces pk ph1 qk ph2 qq pk ph1 h2 qq, pero es inyectiva, luego k ph1 qk ph2 q
k ph1 h2 q y k es morfismo.
Ahora veamos que k es invertible y que es un morfismo. Probemos primero que
k1 k2 k1 k2 . Ahora, k1 k2 phq est caracterizado por la ecuacin
1 pk1 k2 qphq1 pk1 k2 q1 pk1 k2 phqq
El miembro izquierdo de la ecuacin es
1 pk1 q1 pk2 qphq1 pk2 q1 1 pk1 q1 1 pk1 qpk2 phqq1 pk1 q1
pk1 pk2 phqqq
Tenemos entonces pk1 pk2 phqqq pk1 k2 phqq, pero es inyectiva, luego k1 pk2 phqq
k1 k2 phq para todo h P H, i.e.
k1 k2 k1 k2
(1.11)
Dado k P K , tomando k1 k, k2 k 1 obtenemos k k 1 1 idH , y tomando
k2 k, k1 k 1 obtenemos k 1 k 1 idH . Por lo tanto k es un automorfismo, luego
est bien definido, y la ecuacin (1.11) nos dice que es un morfismo de grupos.
Ahora tenemos que construir un isomorfismo entre G y H K . Sea : H K G
definido como
ph, kq phq1 pkq
34
es un morfismo de grupos:
pph1 , k1 qph2 , k2 qq ph1 k1 ph2 q, k1 k2 q
ph1 k1 ph2 qq1 pk1 k2 q
ph1 qpk1 ph2 qq1 pk1 q1 pk2 q
ph1 qp1 pk1 qph2 q1 pk1 q1 q1 pk1 q1 pk2 q
ph1 q1 pk1 qph2 q1 pk2 q
ph1 , k1 qph2 , k2 q
es inyectiva: si ph, kq e entonces phq1 pkq e, por lo tanto
k
HO
e
/
KO
id
GO
H K
/e
id
p
/e
inverso
GO
KO
id
H K
Esto nos dice que 1 ph, kq k, por lo tanto por definicin de se tiene 1 pkq k
para todo k P K , i.e. 1 idK .
Definicin. Una sucesin exacta corta de grupos se escinde si satisface las condiciones del
teorema anterior, y en este caso decimos que la extensin de K por H es una extensin trivial.
Ahora podemos expresar el teorema de Schur-Zassenhaus de esta manera:
Teorema 1.42 (Schur-Zassenhaus). Toda extensin de grupos finitos de orden coprimo se
escinde.
Ejercicios
Ej. 30 La sucesin exacta12
id
/ A3
/ S3
t1u
id
cumple que existe un morfismo : t1u S3 tal que idt1u , pero no existe un morfismo
: S3 A3 tal que idA3 .
Ej. 31 La equivalencia de sucesiones exactas cortas tiene las propiedades de una relacin
de equivalencia.
Aqu termina el ejercicio; lo siguiente es un comentario. Las clases de equivalencia de las
extensiones de un grupo abeliano Q por otro grupo abeliano N son un grupo abeliano isomorfo
al grupo abeliano Ext1 pQ, Nq estudiado en lgebra homolgica. Por ejemplo, decir que toda
extensin grupos abelianos de Q por N es trivial es decir que Ext1 pQ, Nq t0u. El problema
de la extensin en el caso abeliano se traduce entonces en el estudio del grupo Ext1 pQ, Nq.13
12
36
1.8.
<G
F pX q
En otras palabras, F pX q es un grupo tal que para definir un morfismo desde l hacia otro
grupo G , basta definir una funcin desde X hacia G . En an otras palabras, toda funcin
definida sobre X hacia G se extiende a un nico morfismo de F pX q hacia G .
Definicin. F pX q se llama grupo libre de base X . Un grupo H es libre si existe un conjunto
X tal que H F pX q.
Demostracin. Llamamos a X el conjunto de letras. Sea X 1 otro conjunto tal que
X X X 1 H y |X 1 | |X |. Elegimos una biyeccin X X 1 , y a la imagen de x
por esta biyeccin la denotamos x 1 .
Elegimos un elemento que no pertenezca a X Y X 1 : lo denotamos 1 (la letra vaca).
Una palabra en X es una sucesin pa1 , a2 , . . . q X Y X 1 Y t1u tal que existe n P Z`
de manera que ai 1 para todo i n (las palabras son sucesiones finitas de letras). Los
elementos ai y ai`1 se dicen adyacentes para todo i.
La palabra constante p1, 1, . . . q es la palabra vaca y por abuso de notacin la notamos 1.
Una palabra pa1 , a2 , . . . q es reducida si:
i. @x P X , x y x 1 no son adyacentes en pa1 , a2 , . . . q.
ii. Si k P N es tal que ak 1 entonces ai 1 @i k.
El primer tem es que queremos tratar a x 1 como la inversa de x; el segundo tem es que no
queremos frases sino slo palabras. Observar que 1 es una palabra reducida.
Definiendo x `1 como x, toda palabra reducida es de la forma px11 , . . . , xnn , 1, 1, . . . q,
donde i 1 para todo i 1, . . . , n. La escribiremos como x11 . . . xnn . Observar que
x11 . . . xnn y11 . . . ymm si y slo si n m, xi yi , i i para todo i 1, . . . , n.
37
inc
<G
F pX q
es sobreyectiva: Im Im inc X , y X genera G , por lo tanto Im genera G . Pero
Im G , luego Im G . Entonces es un epimorfismo, y se tiene G F pX q{ker
(recordemos la observacin 1.3.10).
38
Observar que la anterior es px11 . . . xnn q x11 . . . xnn , donde a la izquierda no hay
relaciones y a la derecha puede haberlas. Si nunca las hay es ker teu y G es libre.
Definicin. Sea G grupo, S G subconjunto. El subgrupo normal generado por S es la
interseccin de todos los subgrupos normales de G que contienen a S. Explcitamente, es el
subgrupo generado por tasa1 : a P G , s P Su.
A continuacin damos una nueva manera de especificar un grupo. Consideremos un conjunto de letras X ; en vez de formar el grupo libre de base X formando palabras sin cancelaciones,
ahora pasamos a especificar algunas cancelaciones. Por ejemplo, podemos querer especificar
el grupo que tiene como generadores a dos elementos a, b sujetos slo a la condicin de
que conmutan, i.e. ab ba. Esto es lo mismo que decir que aba1 b 1 e. Es as como
especificaremos las relaciones entre los elementos.
Definicin. Sea X conjunto, P F pX q subconjunto. Un grupo G est definido por los
generadores x P X y las relaciones p e, p P P si G F pX q{N donde N es el subgrupo
normal de F pX q generado por P.
Decimos que xX | Py es una presentacin de G .
Observacin 1.8.2. Como todo grupo es cociente de un grupo libre, entonces todo grupo
admite una presentacin.
Si P H, entonces N teu, luego F pX q{N F pX q y xX | Hy es
Ejemplo 1.8.3.
una presentacin de F pX q. Esto es predecible, xX | Hy es el grupo libre de relaciones
entre sus elementos (ninguna palabra se reduce), como lo es F pX q.
El producto tensorial de R-mdulos M, N es un grupo abeliano dado por generadores
los elementos de M N y ciertas relaciones.
Definicin. Un grupo es finitamente generado si admite un generador finito.
Un grupo es finitamente presentado si admite una presentacin xX | Py donde X , P son
conjuntos finitos.
El problema de la palabra es el siguiente: dado un grupo G finitamente presentado por
xX | Py, y una palabra en F pX q, existe un algoritmo para determinar si se puede reducir
la palabra a 1 en G ? La respuesta es que no. Por lo tanto, la impresin de que dar una
presentacin finita de un grupo debera ser algo que convierte al grupo en algo manejable
es ilusoria.
Es lo mismo dar una presentacin de G que dar un epimorfismo
Observacin 1.8.4.
/G
/ e donde F es un grupo libre.
desde un libre, i.e. una sucesin exacta F
Es lo mismo dar un grupo finitamente generado G que dar un epimorfismo desde un
/G
/ e donde F es libre
libre finitamente generado, i.e. una sucesin exacta F
finitamente generado.
Es lo mismo dar una presentacin finita de G que dar una sucesin exacta
/F
/G
/ e , donde F y R son grupos libres finitamente generados.
R
39
Teorema 1.46 (Von Dyck). Si G est presentado por xX | Py y H es otro grupo generado
por X que satisface las relaciones p e, p P P (pero puede verificar otras), entonces es un
cociente de G .14 Ms formalmente:
Si H est generado por Y tyi uiPI , i.e. H xY y, y los elementos de Y satisfacen
i
i
i
i
relaciones yi1 1 . . . yil l , i1 , . . . , il P I , i1 , . . . , il P Z para ciertas palabras reducidas yi1 1 . . . yil l ,
i
i
y G est presentado por xX | Py donde X txi uiPI , |X | |Y | y P txi1 1 . . . xil l u, entonces
existe un epimorfismo
G H, xi yi
Demostracin. Sea : F pX q H definida por pxi q yi . Como H xY y entonces
Im H. Sea N el subgrupo normal de F pX q generado por P.
F pX q
/
;
F pX q{N
Para ver que N ker , basta ver que P ker , pues ker F pX q y N es el menor
i
i
i
i
subgrupo normal que contiene P. Pero pxi1 1 . . . xil l q yi1 1 . . . yil l e. Entonces por la
: F pX q{N H tal que px
i q pxi q yi ,
propiedad universal del cociente, se extiende a
es claramente sobreyectiva.
y
Ejemplo 1.8.5. Probemos formalmente que Dn xR, S | R n , S 2 , SRSRy. De Dn sabemos que
|Dn | 2n y que es generado por la rotacin R y la reflexin S que satisfacen R n S 2 id,
RS SR n1 SR 1 y por lo tanto SRSR id.
Sea X ta, bu y G F pX q{N donde N F pX q es el subgrupo normal de F pX q generado
por P tan , b 2 , babau.
Como : F pX q F pX q{N es un epimorfismo, entonces ta, bu genera G . Queremos
probar que G Dn .
2
P N an b baba e. Adems:
2
b eb
bb b
@n P Z.
ba a1 b.
Por lo tanto en G las nicas palabras que quedan son: te, a, . . . , an1 , b, ab, . . . , an1 bu.
Entonces |G | 2n ( pues a priori no sabemos si no hay ms relaciones).
Por el teorema de Von Dyck, como Dn satisface las relaciones que G satisface, existe
: G Dn epimorfismo, a R, b S. Por lo tanto |G | |Dn | 2n, luego |G | |Dn | y
es el isomorfismo deseado.
Teorema 1.47. Todo grupo no abeliano de orden 8 es isomorfo a D4 o a Q (que no son
isomorfos, ver ejercicios 21 o 27).
14
El grupo que nos da la presentacin es el ms grande que satisface las relaciones dadas, en el sentido
que cualquier otro grupo que las satisface es un cociente.
40
Ejercicios
Ej. 32 El grupo de los cuaterniones Q est dado por la presentacin
xa, b | a4 , a2 b 2 , bab 1 ay
Ej. 33 Dn xa, b | a2 , b 2 , pabqn y. Esta presentacin motiva la introduccin del grupo
diedral infinito, haciendo tender n 8: es el grupo D8 presentado por xa, b | a2 , ababy.
Tiene orden infinito.
41
1.9.
Acciones
@x P X ,
ii. g1 pg2 xq g1 g2 x
@x P X , g1 , g2 P G .
Decimos que G acta en X y que X soporta una accin de G . Esta accin convierte a X
en un G -conjunto. Dado g P G notaremos por g a la funcin X X , x g x.
Observacin 1.9.1. Si G acta en X y H G entonces H acta en X por restriccin de la
accin de G .
La siguiente proposicin nos dice por qu una accin describe nuestro grupo como un
grupo de permutaciones. De esta manera podemos pensar que cada elemento de G nos da
una permutacin de los elementos de X . Otra idea interesante es pensar que los elementos
de X son personas que se van a sacar una foto grupal pero no se deciden en qu orden
ponerse, entonces estn en movimiento; y que la accin de G es sacar fotografas de X en
cada momento diferente g P G .
Proposicin 1.48. Es lo mismo dar una accin de G en X que dar un morfismo de grupos
: G SympX q.
Demostracin. La relacin fundamental es g pg q.
() Definamos : G SympX q, pg q gL donde gL g .
gL es una biyeccin de X : en efecto, tiene como inversa a gL1 ,
gL gL1 pxq g pg 1 xq g g 1 x e x x, @x P X
por lo tanto gL gL1 id, anlogamente se verifica gL1 gL id.
es morfismo:
pg1 g2 qpxq pg1 g2 qL pxq g1 g2 x g1 pg2 xq
g1 L pg2 L pxqq pg1 qppg2 qpxqq,
@x P X
por lo tanto pg1 g2 q pg1 qpg2 q.
() Definamos : G X X mediante g x pg qpxq. Es una accin:
i. e x peqpxq idpxq x,
ii. g1 pg2 xq pg1 qppg2 qpxqq pg1 q pg2 qpxq pg1 g2 qpxq g1 g2 x.
42
x x pues e x x.
x x 1 Dg P G : g x x 1 g 1 x 1 g 1 g x g 1 g x e x x x 1 x.
x y , y z Dg1 , g2 P G , g1 x y , g2 y z. Entonces
pg2 g1 q x g2 pg1 xq g2 y z
luego x z.
Definicin. Sea X un G -conjunto. Las clases de equivalencia de en X se dicen rbitas de
la accin. La rbita de un elemento x P X es
opxq : tg x : g P G u
Si opxq txu decimos que es una rbita unitaria.
El conjunto cociente se denota X {G y se llama espacio de rbitas.
Cuando la accin es de un grupo sobre s mismo por conjugacin, las rbitas se llaman
clases de conjugacin: la clase de conjugacin de x P G es
G xG 1 tg xg 1 : g P G u
Observacin 1.9.6.
Para todo x P X , opxq X es el menor subconjunto G -estable que
contiene a x, y G opxq opxq es una accin transitiva.
Una accin es transitiva si y slo si tiene una sola rbita.
Como las rbitas son una particin de X , entonces opxq X opy q H opxq opy q.
Un subconjunto Y X es G -estable si y slo si para todo y P Y , opy q Y .
La clase de conjugacin de x P G es txu si y slo si x P Z pG q.
Proposicin 1.50. Sea X un G -conjunto. Un subconjunto Y X es G -estable si y slo si
Y es unin de rbitas.
Demostracin. Se deduce a partir del cuarto tem de la observacin anterior.
Corolario 1.51. Un subgrupo H G es normal si y slo si es unin de clases de conjugacin.
44
g h1 x g ph1 xq g ph1 h xq g x x
Gg x g Gx g 1 :
() Si h P Gg x entonces h pg xq g x. Observo que h P g Gx g 1 g 1 hg P Gx :
g 1 hg x g 1 ph g xq g 1 g x x g 1 hg P Gx
() Sea g hg 1 P g Gx g 1 , i.e. h x x. Entonces
g hg 1 pg xq g h x g x g hg 1 P Gg x
Ejemplo 1.9.8. Si H G , entonces G acta en el conjunto cociente G {H de coclases izquierdas
de H en G mediante G G {H G {H, g aH g aH. En este caso se tiene GH H, y en
general Gg H g Hg 1 .
Observacin 1.9.9.
Gx tg P G : g x x @x P X u tg P G : pg q id @g P G u ker G
xPX
Z pG q
CG pxq G .
xPG
opxi q |X |
i1
|opxi q|
i1
|G : Gxi |
i1
Como los puntos fijos son aquellos tales que opxq txu, entonces necesariamente X0
tx1 , . . . , xn u. Escribiendo tx1 , . . . , xn u X0 \ ptx1 , . . . , xn uzX0 q, la ecuacin de arriba queda:
(1.12)
|X | |X0 | `
|G : Gxi |
|G :Gxi |1
Cuando G es un grupo finito que acta sobre s mismo por conjugacin, esta ecuacin queda
|G | |Z pG q| ` |G : CG pxq|
donde x recorre un conjunto de representantes de las clases de conjugacin con ms de un
elemento. Esta ecuacin se llama ecuacin de clases.
Teorema 1.56 (de Cauchy). Sea G un grupo finito, p |G |. Entonces G tiene un elemento
de orden p.
Demostracin. Por induccin en |G |.
Caso 1: Dy P G zZ pG q : p ffl |G : CG py q|.
p |G | |G : CG py q||CG py q|, entonces p |CG py q|. Como y R Z pG q, entonces
CG py q G , luego |CG py q| |G |. Por hiptesis de induccin, CG py q tiene un elemento
de orden p, luego G tambin.
Caso 2: @y P G zZ pG q : p |G : CG py q|.
Corolario 1.57 (Grupos de orden 6). Todo grupo de orden 6 es isomorfo a S3 (si no es
abeliano) o a Z6 (si es abeliano).
Demostracin. Sea G un grupo de orden 6. Por Cauchy, G tiene un elemento a de orden 2
y un elemento b de orden 3. Si ab ba, entonces |ab| 6. En efecto, pabq2 b 2 e y
pabq3 a e, luego por Lagrange ab tiene orden 6. Se tendra entonces G xaby, y G sera
cclico, luego isomorfo a Z6 .
Supongamos entonces que ab ba, en particular bab 1 a. Adems a e bab 1 e.
Entonces si H xay t1, au, se tiene que bab 1 R H, por lo tanto H G .
Hacemos actuar G en G {H por multiplicacin a izquierda. Esto nos da un morfismo
: G SympG {Hq S3 . Si g P ker , entonces g H H, luego g P H. Como el ncleo es
un subgrupo, debe ser ker teu o ker H. Pero no puede ser todo H, pues el ncleo
siempre es un subgrupo normal y H no lo es, luego es ker teu y es inyectiva. Adems
tanto G como S3 tienen orden 6, luego es un isomorfismo.
El corolario anterior es un caso particular del siguiente, que a su vez son casos particulares
de la clasificacin de grupos de orden pq, pero las pruebas nos parecieron interesantes de por
s.
Corolario 1.58. Todo grupo finito de orden 2p, con p 2 primo, es cclico o diedral.
Demostracin. Por Cauchy, el grupo G contiene elementos s y r de rdenes 2 y p respectivamente. Sea H xr y, entonces |G : H| 2 luego H G . Como s R H, se tiene G H Y Hs,
por lo tanto
G t1, r , . . . , r p1 , s, r s, . . . , r p1 su
Como H es normal, entonces sr s 1 r i para algn i. Teniendo en cuenta que s s 1 y que
sr s 1 r i , se obtiene
2
r s 1 r i s sr i s 1 pr i qi r i
por lo tanto i 2 1 (md p). Es decir, p pi 1qpi ` 1q, y por lo tanto i 1 (md p).
Si i 1 (md p), entonces sr r s, luego G es conmutativo, de orden 2p, con mcd(p,2)=1,
luego G Z2p .
Si i 1 (md p), se tiene sr s 1 r 1 , luego G xr , s | r p , s 2 , sr sr y Dp .
Ejercicios
Ej. 34 GLn pkq acta en Mn pkq por conjugacin. Es una accin fiel? Cules son sus
puntos fijos? Cmo es un conjunto de representantes de las rbitas?
Ej. 35 El nico grupo finito con dos clases de conjugacin es Z2 (recordar el ejercicio 8).
Ej. 36 Sean g1 , . . . , gn representantes de las clases de conjugacin de un grupo finito G .
Para probar que G es abeliano basta probar que los gi conmutan dos a dos.
Ej. 37 Si G es un grupo de orden impar, entonces todo x P G , x e no es conjugado a
x 1 .
48
49
1.10.
El grupo simtrico
1
2
...
n
1
r
Definicin. Dos ciclos pi1 . . . ir q, pj1 . . . js q se dicen disjuntos si mueven lugares diferentes, i.e.
si
ti1 , . . . , ir u X tj1 , . . . , js u H
Observacin 1.10.3. Dos ciclos disjuntos conmutan.
Teorema 1.59. Si P Sn , id entonces se escribe en forma nica (a menos de orden)
como producto de ciclos disjuntos.
50
opxi q
i1
1 2 3 4 5
Ejemplo 1.10.4.
p13qp245q.
3 4 1 5 2
Observacin 1.10.5. Como los ciclos disjuntos conmutan (luego pi j qn ni nj ), se deduce
(ejercicio) que si 1 . . . r es la descomposicin en ciclos disjuntos, entonces
|| mcmp|1 |, . . . , |r |q
Corolario 1.60. Toda permutacin se escribe como producto de transposiciones (no necesariamente de forma nica).
Demostracin. Basta ver que todo ciclo lo verifica, pero
pi1 . . . ir q pi1 ir qpi1 ir 1 q . . . pi1 i3 qpi1 i2 q
Observacin 1.10.6. Analicemos este ejemplo para clarificar cmo se lee un producto de ciclos.
Empezamos de derecha a izquierda. Primero vemos que i1 va a parar a i2 . Ahora buscamos si
i2 aparece alguna vez ms en los ciclos posteriores. Como no aparece, entonces i1 va a parar
a i2 . Ahora, i2 en el primer ciclo va a parar a i1 , y en el segundo ciclo i1 va a parar a i3 , que
no vuelve a aparecer, luego i2 va a parar a i3 , y as sucesivamente.
51
El siguiente teorema es de un alto inters terico. Nos dice que un grupo cualquiera puede
ser pensado como subgrupo de un grupo de permutaciones. Un ejemplo claro de este fenmeno
es el grupo diedral Dn , que podemos pensar como subgrupo (propio) de Sn .
Teorema 1.61 (Cayley). Sea G grupo. Existe un monomorfismo : G SympG q.
Demostracin. Definimos pg qpxq g x, i.e. pg q es multiplicar a la izquierda por g : es la
representacin regular de G . pg q P SympG q pues tiene como inversa a pg 1 q. es un
morfismo:
pg g 1 qpxq pg g 1 qx g pg 1 xq pg qppg 1 qpxqq @x P G pg g 1 q pg qpg 1 q
Es inyectiva: pg q pg 1 q g x g 1 x @x P G , en particular para e, luego g g 1 .
Observacin 1.10.7. Podemos ver entonces a un grupo G de orden n como subgrupo de
Sn , pero a lo mejor podemos verlo como subgrupo de un grupo simtrico ms pequeo. Por
ejemplo, Dn tiene orden 2n. Cayley nos dice que podemos verlo como subgrupo de S2n , pero
Dn puede verse como subgrupo de Sn , enumerando los vrtices del n-gono.
Por otro lado, hay ejemplos de grupos donde el orden del grupo simtrico dado por Cayley
no puede disminuirse. Tomemos el grupo de los cuaterniones Q, y veamos que no es subgrupo
de Si para cualquier i 7. En otras palabras, veamos que no existe una accin fiel de Q sobre
un conjunto A de i elementos, para i 7.
En efecto, sea : Q SympAq un morfismo. Si a P A, entonces |Q : Qa | |opaq| 7,
luego por Lagrange |Q : Qa | P t1, 2, 4u, i.e. |Qa | P t2, 4, 8u y Qa es un subgrupo no trivial de
Q.
observar que todo subgrupo no trivial de Q contiene al subgrupo x1y, por lo tanto el ncleo
de no es trivial, luego no puede ser inyectiva.
1.10.1.
Conjugacin en Sn
(1.13)
La primera igualdad es un juego de palabras: primero mover las letras y luego aplicar es lo
mismo que primero aplicar y luego mover las letras movidas por .
() Escribo pi1 . . . ir q . . . pj1 . . . js q, pi11 . . . ir1 q . . . pj11 . . . js1 q. Definamos :
i1 . . . ir . . . j1 . . . js
1
i1 . . . ir1 . . . j11 . . . js1
y se tiene que 1 , como queramos. Observar que hace lo que describamos en la
discusin informal anterior: reetiquetar las cosas transformadas con las etiquetas nuevas.
Observacin 1.10.9. La igualdad (1.13) es interesante. No slo nos dice que conjugar un ciclo
es un ciclo, sino adems qu ciclo. En particular si manda k en l entonces la conjugacin
1 manda pkq en plq.
Miremos la ecuacin de clases en este caso particular. Si la cantidad de clases de conjugacin
de Sn es k y xi son representantes (por lo tanto aparece una permutacin de cada tipo), notando
cpxi q la clase de conjugacin de xi :
|Sn | 1 `
|cpxi q|
i1
53
1.10.2.
(1.14)
muestran que cualquier producto de dos transposiciones en el que el segundo factor mueve a
y el primero no, puede ser escrito como producto de dos transposiciones en las que el primer
factor mueve a y el segundo no. Aplicamos esto i 2 veces y obtenemos la forma deseada.
Suponemos entonces i 2. Si b2 b1 entonces la ecuacin (1.14) reduce la identidad a
un producto de k 2 transposiciones. Por hiptesis de induccin k 2 es par, luego k es par,
y terminamos.
En el caso b2 b1 se tiene pa1 b1 qpa1 b2 q pa1 b2 qpb1 b2 q, y por lo tanto
id pa1 b2 qpb1 b2 qpa3 b3 q . . . pak bk q
Repetimos el argumento anterior: alguno de los ai para i 4 debe mover a3 . O reducimos el
nmero de transposiciones en dos en una descomposicin de la identidad, y terminamos por
hiptesis de induccin, o de nuevo reescribimos la descomposicin con el mismo nmero de
transposiciones pero con una transposicin menos que mueve a1 .
Este proceso debe terminar llegando al caso en que dos transposiciones se cancelan, porque
no podemos terminar con una descomposicin de la identidad como producto de transposiciones
en que solo la primera mueve a1 . Por lo tanto k es par.
El teorema anterior nos permite hacer la siguiente
Definicin. Si P Sn se escribe como producto de r transposiciones, definimos su signo
como pq p1qr . Decimos que es par si tiene signo 1, de lo contrario es impar.
Ejemplo 1.10.11.
usando que hp12q y hp2bq conmutan pues t1u es conmutativo, y que en t1u todo elemento
es idempotente (i.e. 12 p1q2 1).
Si no mueve ni a 1 ni a 2, entonces pabq, a, b 2. Observar que
pabq p1aqp2bqp12qp2bqp1aq
y si le aplicamos h a la ecuacin, nos queda
hpabq hp1aqhp2bqhp12qhp2bqhp1aq rhp1aqs2 rhp2bqs2 hp12q hp12q
por las mismas razones de antes.
Paso 2: El valor de hpq para cualquier permutacin .
Escribo como producto de k transposiciones. Por el Paso 1, las k transposiciones tienen
la misma imagen por h, llammosle u P t1u, luego hpq u k .
Si u 1, h es trivial, y si u 1 entonces hpq p1qk pq para todo P Sn .
1.10.3.
El grupo alternado
Demostracin. Si A4 tiene un subgrupo de ndice 2, entonces tiene orden 6. Por otro lado,
por el lema anterior tiene a todo elemento de A4 de orden impar. Pero hay 8 elementos de
orden 3 en A4 (los 8 diferentes 3-ciclos), absurdo.
Ya vimos en 1.10.10 que A4 no es simple. Veamos que es la excepcin. Para ello, probamos
primero algunos lemas.
Por la proposicin 1.62, ya sabemos que los 3-ciclos son conjugados en Sn . Ahora nos
preguntamos si son conjugados como elementos de An . Cuando n 4 no, por ejemplo p123q
y p132q no son conjugados en A4 . Pero para n 5 s:
Lema 1.68. Si n 5, los 3-ciclos son conjugados en An .
Demostracin. Como la conjugacin es una relacin de equivalencia, basta ver que cualquier
3-ciclo P An es conjugado a p123q en An . Por la proposicin 1.62, existe P Sn tal que
p123q 1
Si P An ya est. Si no, sea 1 p45q P An : como p45q1 p45q entonces
1 1
59
1.11.
Series subnormales
(1.15)
donde cada uno es normal en el siguiente, se llama una serie subnormal de G . Decimos que
los subgrupos Gi son subnormales en G . Si adems cada Gi G , entonces (1.15) se llama
serie normal de G .
Los grupos cociente Gi`1 {Gi son los factores de la serie.
Una serie subnormal es ms una filtracin de G que una descomposicin: si leemos
(1.15) de derecha a izquierda, es como ir imponiendo filtros cada vez ms rigurosos a G .
Ejemplo 1.11.1.
1. Todo grupo tiene al menos una serie subnormal, que es la trivial teuG .
Si G es simple, entonces es la nica.
2. Un grupo puede tener series subnormales con factores no isomorfos, por ejemplo
t0u x2y Z6 y t0u x3y Z6 .
3. Dos grupos no isomorfos pueden tener series subnormales con factores isomorfos. Por
ejemplo, t0u x2y Z2n y t1u xRy Dn son series subnormales de Z2n y de Dn
respectivamente, con factores cclicos de orden n y 2. Observar adems que si n es una
potencia de 2 entonces Z2n no es un producto semidirecto de Z2 con Zn .
4. Si G es un producto directo, entonces induce una serie subnormal con factores isomorfos
a los factores del producto. Por ejemplo, si G H1 H2 H3 , entonces
tpe, e, equ H1 teu teu H1 H2 teu H1 H2 H3
es una serie subnormal de G con factores isomorfos a H1 , H2 y H3 .
Sin embargo, no toda serie subnormal proviene de una descomposicin del grupo en
factores isomorfos a los factores de la serie. En el ejemplo anterior, los factores de Dn
son Zn y Z2 , y Dn no es producto directo de stos pues no es abeliano.
Definicin. Una serie subnormal de G es un refinamiento de otra si introdujo ms subgrupos
subnormales en medio. Si ninguno de los nuevos factores es el grupo trivial, entonces el
refinamiento es no trivial.
Proposicin 1.73.
1. Si H G , entonces si intersectamos una serie subnormal de G
como (1.15) con H, obtenemos una serie subnormal para H:
teu H X G0 H X G1 H X Gr H
Adems los factores sucesivos de esta serie son isomorfos a subgrupos de los factores
sucesivos de (1.15).
2. Si N G , entonces si (1.15) es una serie subnormal de G , obtenemos una serie subnormal
para G {N:
teu G 0 G 1 G r G {N
(1.16)
donde G i : pNGi q{N. Adems los factores sucesivos son isomorfos a cocientes de los
factores sucesivos de (1.15).
60
Demostracin.
1. Consideremos el morfismo obvio (incluir y proyectar): : Hi`1 : H X
Gi`1 Gi`1 {Gi . Entonces
ker Hi`1 X Gi pH X Gi`1 q X Gi H X Gi Hi
Entonces Hi Hi`1 , y adems Hi`1 {Hi es isomorfo a un subgrupo de Gi`1 {Gi .
2. Al ser N G y Gi G obtenemos NGi G para todo i.
Tenemos que N NGi pues N G . Entonces NGi {N NGi`1 {N pues Gi Gi`1 .
Obtenemos entonces que (1.16) es una serie subnormal para G {N.
Combinando los teoremas de isomorfismo con la observacin NGi`1 pNGi qGi`1 se
obtiene
NGi`1 {N
NGi {N
3er teo.
NGi
NGi
Gi`1 X Gi N
3er teo.
Gi`1 {Gi
pGi`1 X NGi q{Gi
61
V tiene como subgrupo normal al subgrupo cclico U generado por un elemento de orden
2, y obtenemos entonces la serie
t1u U V A4 S4
(1.18)
que no se puede refinar no trivialmente porque cada subgrupo tiene ndice primo en el
subgrupo siguiente. sta es entonces una serie de composicin para S4 de largo 4.
Proposicin 1.74. Todo grupo finito no trivial tiene una serie de composicin.
Demostracin. Por induccin en |G |. Empezamos con la serie subnormal trivial teu G . Si G
es simple entonces es una serie de composicin y ya est. Si no, G tiene un subgrupo normal
no trivial N, y obtenemos teu N G {N.
Si N y G {N son simples, entonces es de composicin y ya est. Si no, continuamos refinando
no trivialmente. Este proceso debe parar, pues G es finito y se tiene, por transitividad de
ndices:
|G | |Gr : Gr 1 | . . . |G2 : G1 ||G1 : G0 | 2r
Observacin 1.11.4. Los grupos infinitos pueden no tener una serie de composicin. Por
ejemplo Z no tiene. En efecto, si t0u mZ Z es una serie subnormal, entonces por
ejemplo t0u 2mZ mZ Z tambin lo es.
Teorema 1.75 (Jordan-Hlder). Si G es un grupo no trivial y
teu G0 G1 Gr G
0 G
1 G
s G
teu G
son dos series de composicin para G , entonces r s y para alguna permutacin P Sr se
tiene Gi {Gi1 Gpiq {Gpiq1 para 1 i r .
En otras palabras, el largo de una serie de composicin para G es nico, y los factores
(con multiplicidades) tambin (aunque no necesariamente aparecen en el mismo orden).
Observacin 1.11.5. Esto nos permite especificar cmo todo grupo finito (o ms en general,
todo grupo que admite una serie de composicin) est construido a partir de grupos simples.
Dado un grupo G con una serie de composicin, los factores determinan ciertos (nicos por
Jordan-Hlder) grupos simples Hi . Ya vimos en el tercer ejemplo de 1.11.1 que no podemos
esperar recuperar un nico grupo solamente a partir del largo de una serie de composicin y
de sus factores. Hay que especificar cmo los factores se juntan para formar un grupo mayor.
Hacer esta descripcin equivale a describir las posibles extensiones de Hi ,
e
Ki
/ Gi
Hi
ApA X Bq
BpB X Aq
Demostracin. Probemos primero que A X B A X B ; intercambiando las letras obtenemos
tambin A X B A X B .
Sea c P A X B , x P A X B . Entonces xcx 1 P A pues c P A y x P A A. Tambin
xcx 1 P B pues c, x P B . Por lo tanto xcx 1 P A X B , y ya est.
Por lo tanto se tiene D : pA X B qpA X Bq A X B . Definamos ahora un isomorfismo
ApA X B q
A X B
ApA X Bq
D
en cuyo caso ya est, pues intercambiando las letras obtenemos otro isomorfismo
A X B
BpA X B q
BpA X B q
D
y componiendo isomorfismos obtenemos el deseado.
Sea : ApA X B q pA X B q{D, ax xD, donde a P A y x P A X B .
est bien definida: si ax a1 x 1 , entonces pa1 q1 a x 1 x 1 P AXpA XB q AXB D,
luego x 1 x 1 P D, i.e. xD x 1 D.
AA1
es morfismo: paxa1 x 1 q pa2 xx 1 q xx 1 D paxqpa1 xq.
Es un ejercicio sencillo verificar que es sobreyectiva y que ker ApA X Bq; el primer
teorema de isomorfismo concluye la demostracin.
Teorema 1.77 (de refinamiento de Schreier). Dos series subnormales de un grupo admiten
refinamientos equivalentes, i.e. con mismos factores. Esto es, dadas dos series subnormales,
podemos insertar subgrupos subnormales de manera que los factores sean isomorfos, contando
multiplicidades.
Demostracin. Sean
teu G0 G1 Gr G
y
0 G
1 G
s G
teu G
series subnormales para G . La idea es insertar una copia de la segunda serie entre cada Gi y
Gi`1 de la primera serie, y una copia de la primera serie entre cada Gj y Gj`1 de la segunda
serie. El lema de Zassenhaus nos va a permitir probar que estas nuevas series largas son series
subnormales, refinamientos de las originales con factores isomorfos.
j q. Se tiene que Gij Gi`1 pues Gi Gi`1 , luego Gij Gipj`1q .
Sea Gij Gi pGi`1 X G
Obtenemos entonces la serie
Gi Gi1 Gis Gi`1 . . .
63
pq G
p pG
p`1 X Gq q, se obtiene la serie
Anlogamente, si G
p G
p1 G
ps G
r `1 . . .
G
Ambas series largas tienen r s trminos. Para cada i, j aplicamos el lema de Zassenhaus a los
j G
j`1 : nos dice que las dos series largas son series subnormales,
subgrupos Gi Gi`1 y G
por lo tanto refinamientos de las series originales; y que hay un isomorfismo
Gij
Gipj`1q
j`1 q
j pG
j`1 X Gi`1 q
ij
Gi pGi`1 X G
G
G
j q
j pG
j`1 X Gi q
ipj`1q
Gi pGi`1 X G
G
G
ij {G
ipj`1q es una biyeccin, por lo tanto los dos refinamientos
La asociacin Gij {Gipj`1q G
son equivalentes.
Ahora el teorema de Jordan-Hlder es un sencillo corolario:
Demostracin. Sea G un grupo con dos series de composicin. Como una serie de composicin
slo se puede refinar de manera trivial, el teorema de Schreier nos dice entonces que ambas
series tienen factores isomorfos, contando multiplicidades.
Damos otro corolario del teorema de Schreier:
Corolario 1.78. Si G es un grupo con una serie de composicin, entonces toda serie subnormal
se puede refinar a una serie de composicin.
Demostracin. Refinamos la serie subnormal y la serie de composicin a un refinamiento
equivalente por Schreier. De nuevo, una serie de composicin slo se puede refinar trivialmente,
luego la serie subnormal se refina a una serie de composicin.
Observacin 1.11.6. La factorizacin nica en nmeros primos es un caso particular del teorema
de Jordan-Hlder para grupos cclicos finitos:
Sea n 2. Como Zn es abeliano, una serie de composicin de Zn tendr factores cclicos
de orden primo. Por lo tanto si (1.15) es una serie de composicin para G Zn , y si
pi |Gi`1 : Gi |, entonces se tiene n p1 . . . pr , y obtenemos una factorizacin en primos de
n. Esto prueba la existencia de una factorizacin.
Si n p1 . . . pr es una factorizacin de n en nmeros primos, entonces la serie
t0u xp1 . . . pr y xp2 . . . pr y xpr y x1y Zn
es una serie de composicin para Zn con factores primos de orden p1 , . . . , pr . Comparando
esta serie con una serie subnormal arbitraria como (1.15) para G Zn , se tiene entonces, por
Jordan-Hlder, que dos descomposiciones de n en primos son iguales.
1.11.1.
Grupos resolubles
Ejemplo 1.11.7.
Todo grupo abeliano G es resoluble, tomando la serie trivial t0u G .
S3 es un grupo no abeliano y resoluble, pues t1u A3 S3 tiene factores A3 {t1u Z3
y S3 {A3 Z2 .
S4 tambin es resoluble, pues la serie (1.17) es abeliana: V {t1u Z2 Z2 , A4 {V Z3
y S4 {A4 Z2 .
Obtenemos adems que A4 es un grupo resoluble que no es Lagrangiano (recordar la
proposicin 1.68).
Recordemos (ejemplo 1.2.4) que Z pSLn pkqq n pkqIn . Tenemos entonces la serie
tIn u n pkqIn SLn pkq GLn pkq
Si n no es primo, sta no suele ser una serie de descomposicin, pues n pkq es cclico
de orden n.
Esta serie no suele ser abeliana, pues (recordar ejemplos 1.2.4 y 1.3.9) mientras que
el primer y ltimo cocientes son abelianos, SLn pkq{n pkqIn PSLn pkq no suele ser
abeliano.
En el corolario 1.90 demostraremos que los grupos de orden p n son resolubles.
Teorema de Burnside: Todo grupo de orden p a q b es resoluble. La demostracin ms
sencilla de este teorema usa la teora de caracteres. Como corolarios, todo grupo de
orden p a q b es simple; adems, todo grupo finito no abeliano simple debe tener orden
divisible por tres primos diferentes.
Teorema de Feit-Thompson, 1963: Todo grupo finito de orden impar es resoluble.
La demostracin de este teorema est muy lejos del alcance del humilde redactor de
estas notas. Lo enunciamos por completitud y como curiosidad, pero no usaremos el
resultado.
La siguiente proposicin dice que ser resoluble es una propiedad cerrada bajo subgrupos,
cocientes, extensiones de grupos, y productos.
Proposicin 1.79. Se cumple:
1. Si G es resoluble y H G , entonces H es resoluble.
2. Si G es resoluble y N G , entonces G {N es resoluble.
3. Si N G son tal que N y G {N son resolubles, entonces G es resoluble. En particular el
producto directo de grupos resolubles es resoluble.
4. Si H, K G son subgrupos resolubles, y H G , entonces HK es resoluble.
Demostracin.
1. Basta aplicar el primer tem de 1.74 a una serie abeliana de G , y observar
que un subgrupo de un grupo abeliano es abeliano.
65
2. Basta aplicar el segundo tem de 1.74 a una serie abeliana de G , y observar que un
cociente de un abeliano es abeliano.
3. Sea teu N0 N1 Nk N una serie abeliana de N. Recordando que los
subgrupos normales de un cociente K {N son de la forma H{N para H K , una serie
abeliana de G {N es de la forma teu H0 {N H1 {N Hs {N G {N, donde
Nk H0 H1 Hs G . Entonces una serie abeliana de G es
teu N0 N1 Nk H0 H1 Hs G
En particular, como H K {H K , se deduce que H K es resoluble.
4. Por el segundo teorema de isomorfismo, HK {H K {pH X K q, que es resoluble pues
es cociente de K (usando el segundo tem de esta proposicin). Tenemos entonces que
HK {H y H son resolubles, luego por el tercer tem de esta proposicin HK tambin es
resoluble.
Proposicin 1.80. Un grupo finito es simple y resoluble si y slo si es cclico de orden primo.
Demostracin. Si un grupo es cclico de orden primo, entonces es abeliano y no tiene subgrupos
propios, luego es simple y resoluble.
Recprocamente, sea G finito, simple y resoluble. Al ser simple, G admite una nica serie
subnormal teu G , y al ser G resoluble, G {teu G debe ser abeliano. Por lo tanto todos
sus subgrupos son normales, luego al ser simple no puede tener subgrupos propios. Sea g P G ,
g 0. Entonces xg y t0u, y como G no tiene subgrupos propios debe ser G xg y, i.e. G
es cclico. Pero un grupo cclico finito tiene subgrupos para todos los divisores del orden del
grupo (ver ejercicio 10), luego el orden de G debe ser primo.
Corolario 1.81. Son equivalentes:
1. G es finito y resoluble,
2. G tiene una serie normal con factores cclicos de orden primo,
3. G tiene una serie de composicin con factores cclicos de orden primo.
Demostracin. (1 2 3) G tiene una serie abeliana: sus factores son finitos, abelianos y
resolubles por la proposicin 1.80: entonces por la proposicin anterior, deben ser cclicos de
orden primo. sta es adems su serie de composicin, pues sus factores son no triviales de
orden primo (observacin 1.11.2).
(3 1) Si G tiene una serie de composicin con factores cclicos de orden primo, entonces
es una serie abeliana de G .
Corolario 1.82. Si n 5, entonces An y Sn no son resolubles.
Demostracin. Ya sabemos que An es simple si n 5 (teorema 1.72), luego al ser finito, para
ser resoluble debera ser cclico de orden primo, y no lo es.
Por el corolario 1.73, la nica serie de composicin de Sn es t1u An Sn . Si Sn fuera
resoluble, entonces al ser finito, por el corolario anterior los factores deberan ser cclicos de
orden primo. Pero An no es cclico de orden primo, entonces ya est.
66
67
Sean xG 1 , y G 1 P G {G 1 . Se tiene
pxG 1 qpy G 1 q py G 1 qpxG 1 q xy G 1 y xG 1 x 1 y 1 xy P G 1 rx, y s P G 1
lo cual es cierto, luego G {G 1 es abeliano.
Si G 1 N, entonces por el tercer teorema de isomorfismo G {N pG {G 1 q{pN{G 1 q que
es un cociente de un grupo abeliano por el tem anterior, luego G {N es abeliano.
Recprocamente, si G {N es abeliano entonces pxNqpy Nq py NqpxNq, luego rx, y s
x 1 y 1 xy P N. Entonces todos los conmutadores estn en N, luego el subgrupo que
generan tambin, i.e. G 1 N.
Observacin 1.11.8. Las ltimas dos propiedades nos dicen que G 1 es el menor subgrupo
normal de G tal que el cociente es abeliano.
De esta manera, el tamao del subgrupo conmutador nos da una idea de cun lejos est
el grupo de ser abeliano: a menor subgrupo conmutador, ms abelianidad. Es un rol dual
al que cumple el centro: a mayor centro, ms abelianidad.
Ms evidencia de esta dualidad es que todo subgrupo contenido en el centro es normal,
mientras que todo subgrupo que contiene al conmutador es normal.
Definicin. Sea G grupo. El grupo abeliano G {G 1 se llama abelianizacin de G y se denota
Gab .
Proposicin 1.85 (Propiedad universal de la abelianizacin). Sea G grupo. Entonces cualquier
homomorfismo de grupos f : G A donde A es un grupo abeliano se factoriza a travs de
Gab . Es decir: existe un nico morfismo f tal que el siguiente diagrama conmuta:
G
>A
Gab
Demostracin. Si g , h P G entonces
f prg , hsq f pg 1 h1 g hq f pg q1 f phq1 f pg qf phq rf pg q, f phqs e
pues A es abeliano. Por lo tanto G 1 ker f , y la existencia y unicidad de f se siguen de la
propiedad universal del cociente.
Definicin. Definimos el subgrupo derivado n-simo por recursin:
G p0q : G
G pn`1q : pG pnq q1
Esto es, el derivado n-simo es el conmutador del conmutador del conmutador... n veces. La
serie derivada de G es
G G p0q G 1 G p1q G pnq . . .
Observacin 1.11.9. Como los subgrupos conmutadores son caractersticos y la propiedad de
ser caracterstico es transitiva, la serie derivada es una serie normal.
68
Teorema 1.86. Un grupo es resoluble si y slo si tiene una serie derivada que estabiliza, i.e.
si existe un n P Z` tal que
G G p0q G 1 G p1q G pnq teu
Adems la serie derivada es la menor serie abeliana de un grupo resoluble.
Demostracin. Si n P Z` es tal que G pnq teu, entonces su serie derivada es una serie
resoluble para G , pues G piq {G pi`1q es abeliano.
Recprocamente, sea
G G0 G1 Gn teu
una serie abeliana de G . Como G {G1 es abeliano, entonces G1 G 1 . Adems G2 G1 , luego
G 1 G2 G1 . El segundo teorema de isomorfismo nos da G 1 {pG 1 X G2 q G 1 G2 {G2 G1 {G2 que
es conmutativo, luego G 1 {pG 1 X G2 q es conmutativo, luego G 2 G 1 X G2 G2 . Continuando
por induccin, se tiene G piq Gi para todo i, y por lo tanto G pnq teu.
69
1.12.
Definicin. Sea p primo. Un p-grupo es un grupo finito G tal que |G | p n para algn n P N.
Proposicin 1.87. Un grupo finito G es un p-grupo si y slo si todo elemento tiene orden
una potencia de p.
Demostracin. () Por el teorema de Lagrange.
() Supongamos que existe q primo distinto de p tal que q |G |. Entonces por Cauchy
G tiene un elemento de orden q, que no es una potencia de p, absurdo.
Observacin 1.12.1. La proposicin anterior nos habilita a definir un p-grupo G ms generalmente como un grupo donde todo elemento tiene orden una potencia de p, y entonces G no
tiene por qu ser finito. Como no trabajaremos con estos p-grupos infinitos, no nos hacemos
problema con esta disquisicin.
Teorema 1.88. Todo p-grupo no trivial G tiene centro no trivial. Equivalentemente, si G es
un p-grupo no trivial, entonces p |Z pG q|.
Demostracin. La equivalencia se sigue del teorema de Lagrange. Probemos la segunda formulacin. Sea G un p-grupo no trivial. Entonces |G : CG py q| es una potencia de p, para todo
y en la ecuacin de clases:
|G | |Z pG q| ` |G : CG py q|
Como |G :CG py q| 1, entonces |G : CG py q| es una potencia de p que no es p 0 para todo y ,
luego p |G : CG py q|. Pero adems p |G |, luego p |Z pG q|.
Corolario 1.89. Todo p-grupo finito es resoluble.
Demostracin. Por induccin en el orden de G . Como el centro Z pG q es no trivial, la hiptesis
de induccin nos da que G {Z pG q es resoluble. Por el tercer tem de 1.80, como Z pG q y
G {Z pG q son resolubles, entonces G es resoluble.
Teorema 1.90. Todo p-grupo tiene subgrupos normales de todos los rdenes posibles.
Demostracin. Sea G grupo, |G | p n . Veamos que G tiene subgrupos normales de orden
p m , para todo m n, por induccin en n. Para n 0 el resultado es trivial.
Supongamos que el resultado vale para grupos de orden n 1. Si |G | p n , por el
teorema anterior p |Z pG q|. El teorema de Cauchy nos dice que existe g P Z pG q de orden p.
Consideremos el subgrupo de orden p, N xg y G , pues xg y Z pG q.
Consideremos ahora el cociente G {N: es un grupo de orden |G |{|N| p n1 , luego por
hiptesis de induccin G {N tiene subgrupos normales de orden p m para todo m n 1.
La correspondencia entre subgrupos normales del cociente G {N y subgrupos normales
H G que contienen a N nos garantiza la existencia de subgrupos normales de G de orden
p m , para todo m n.
Lema 1.91. Sea G grupo. Si H Z pG q es tal que G {H es cclico, entonces G es abeliano.
70
g g 1 pai hqpai h1 q
hPZ pG q
ai ai hh1
hPZ pG q
ai ai h 1 h
h1 PZ pG q
ai h 1 ai h g 1 g
|X | |X0 | ` |G : Gx | con |G : Gx | 1
(1.19)
g A g A : tg a : a P Au
(1.20)
|X | |opAq|
Esta ecuacin muestra que si pruebo que p ffl |X |, entonces debe existir un A tal que
p ffl |opAq|, terminando la demostracin. Ahora bien,
r
pm
pp r mq!
pp r mqpp r m 1q . . . pp r m p r ` 1qpp r m p r q!
|X |
pr
pp r m p r q!pp r q!
pp r m p r q!pp r q!
p r m . . . pp r m iq . . . pp r m p r ` 1q
p r . . . pp r iq . . . pp r p r ` 1q
Observar la simetra entre el numerador y el denominador, con i 0, . . . , p r 1. Consideremos aquellos i tales que p pp r m iq. La mayor potencia p k de p que divide p r m i es la
misma que la mayor potencia de p que divide a i, pues i p r implica k r ya que p ffl m.
De la misma manera, para aquellos i tales que p pp r iq, la mayor potencia de p que
divide p r i debe ser la mayor potencia de p que divide a i.
Por lo tanto los trminos correspondientes en el numerador y el denominador que son
divisibles por p, son divisibles por las mismas potencias de p, luego se cancelan todas las
potencias de p en el cociente y p ffl |X |, terminando la demostracin.
Lema 1.96. Sea P P Sylp pG q, H G un p-subgrupo. Si H normaliza a P, i.e. si H NG pPq,
entonces H P. En particular, si H P Sylp pG q y H normaliza a P, se tiene H P.
Demostracin. Para probar H P probaremos HP P. En efecto, si HP P, entonces
dado h P H se tiene que si p P P, entonces hp p 1 P P para algn p 1 P P, luego
h p 1 p 1 P P h P P.
Obviamente P NG pPq y H NG pPq. Por lo tanto HP NG pPq. Podemos entonces
aplicar el segundo teorema de isomorfismo:
H
HP
H XP
P
Entonces como |H| es potencia de p, |H|{|H XP| es potencia de p, luego |HP|{|P| es potencia
de p, i.e. |HP : P| es potencia de p.
Por otro lado |HP| |HP : P||P|, y P P Sylp pG q, luego |P| es la mayor potencia de p
que divide |G |, y como HP G , tambin |P| es la mayor potencia de p que divide |HP|.
Entonces |HP : P| no tiene factores de p, pero recin vimos que |HP : P| es potencia de
p, por lo tanto debe ser |HP : P| 1, i.e. HP P y la demostracin est terminada.
Si adems H es de Sylow, entonces H P y tienen mismo orden, luego H P.
72
(1.21)
|G |
|G |
pr m
m
r
|NG pPq|
|NG pPq : P||P|
|NG pPq : P|p
|NG pPq : P|
y por lo tanto sp m.
c) Sea H G un p-subgrupo. La accin de G en X por conjugacin se restringe a H X X .
Tenemos:
bq
lema 1,94
|X0 | |X | 1 pmd pq
luego |X0 | 0, i.e. X0 H: existe P P X tal que opPq tPu, i.e. tal que hPh1 P para
todo h P H. Esto significa que H NG pPq, luego por el lema 1.97 se tiene H P.
Corolario 1.98. Sea P un p-subgrupo de Sylow de G . Son equivalentes:
i. P G ,
ii. P es el nico p-subgrupo de Sylow de G (i.e. sp 1),
iii. P char G .
73
Demostracin. (i. ii.) Si P, Q P Sylp pG q, P G : entonces por Sylow IIa) existe g P G tal
PG
que Q g Pg 1 P.
(ii. i.) Si Sylp pG q tPu, entonces como g Pg 1 P Sylp pG q para todo g P G , se tiene
g Pg 1 P para todo g P G , i.e. P G .
(ii. iii.) Si P AutpG q, entonces |pPq| |P| , luego como pPq P Sylp pG q se tiene
pPq P.
(iii. i.) Siempre.
Corolario 1.99. Si p y q son factores primos diferentes de |G | tales que sp 1 y sq 1,
entonces los elementos del p-subgrupo de Sylow conmutan con los elementos del q-subgrupo
de Sylow.
Demostracin. Sea P el p-subgrupo de Sylow, Q el q-subgrupo de Sylow. Como P y Q tienen
orden coprimo, se intersectan trivialmente (corolario 1.16). Adems, el corolario anterior nos
dice que son normales en G . Si a P P y b P Q, se tiene:
PQ
1 1
aba b
aba
PP
1 1
a ba b
P P X Q teu
luego ab ba y ya est.
Corolario 1.100. Sea G grupo con un solo p-subgrupo de Sylow para todo p |G |, i.e.
sp 1 @p |G |. Entonces G es producto directo de sus p-subgrupos de Sylow.
Demostracin. Descomponiendo el orden de G en factores primos diferentes, tenemos |G |
p1n1 . . . prnr . Sea Pi el pi -subgrupo de Sylow, para i 1, . . . , r . Consideremos el mapa
P1 Pr G ,
px1 , . . . , xm q x1 . . . xm
Teorema 1.101 (Grupos de orden pq, p q). Sea G de orden pq, con p q. Si p ffl q 1,
entonces G Zpq . Si p q 1, entonces hay dos clases de isomorfismo: Zpq y cierto grupo
no abeliano.
Demostracin. Sea P P Sylp pG q, Q P Sylq pG q, Entonces |G : Q| p que es el menor primo
que divide |G |, por lo tanto (proposicin 1.55) se tiene Q G .
Como mcdp|P|, |Q|q 1, entonces P X Q teu, y |G | |P||Q|, luego G QP.
Como Q G , se tiene que G es un producto semidirecto interno G Q P, para cierto
: P AutpQq.
Ahora, AutpQq Zq1 y |AutpQq| q 1, luego si p ffl q 1 se tiene que es el morfismo
trivial, luego G Zq Zp Zpq .
Si p q 1, entonces como AutpQq es cclico tiene un nico subgrupo P 1 de orden p. De
hecho, P 1 tx x i : i P Zq , i p 1u AutpQq, y necesariamente por Lagrange Im P 1 ,
i.e. : P P 1 .
Como P y Q tienen orden primo, escribo P xay, Q xby. Entonces es de la forma
paqpxq x i0 ,
i0 P Zq , i0p 1, i0 1
Z12
A4
D6
Z3 Z4
s2 1 (md 2q,
s3 4,
s3 1 (md 3q.
Por lo tanto s2 1, 3 y s3 1, 4.
Si s2 1 s3 , entonces G es producto directo de un grupo de orden 4 por un grupo de
orden 3, i.e. G Z4 Z3 Z12 o G Z2 Z2 Z3 Z2 Z6 .
Supongamos s3 1. Entonces s3 4: tenemos 4 3-subgrupos de Sylow diferentes, que se
intersectan trivialmente pues tienen orden primo, luego cada uno nos da 2 elementos diferentes,
luego G tiene 4 2 8 elementos de orden 3. Por lo tanto el resto de los elementos no tiene
orden 3; hay 12 8 4 de estos. Como G tiene un 2-subgrupo de Sylow que tiene orden 4
(luego se intersecta trivialmente con los 3-subgrupos de Sylow), estos elementos restantes son
el 2-subgrupo de Sylow de G , y slo cabe uno, i.e. necesariamente s2 1.
Por lo tanto necesariamente s3 o s2 valen 1. Sea P un 2-subgrupo de Sylow, Q un 3subgrupo de Sylow: uno de ellos es normal en G , luego como P X Q teu y |G | |P||Q|,
necesariamente G PQ, entonces G es producto semidirecto de P y Q: es alguno de estos,
Z4 Z3 ,
V Z3 ,
Z3 Z4 ,
Z3 V.
Ejercicios
Ej. 40 Un p-subgrupo normal de un grupo finito G est contenido en la interseccin de
todos los p-subgrupos de Sylow de G , que es un subgrupo normal.
Ej. 41 Sea G de orden p n q, donde p q y n P Z` . Entonces alguno de sus subgrupos
de Sylow es normal. Por lo tanto un tal grupo no puede ser simple (esto ya nos lo daba el
teorema de Burnside que no demostramos).
Ej. 42 Sea G un grupo de orden 36.
a) Si G es simple, entonces existen dos 3-subgrupos de Sylow diferentes cuya interseccin
es no trivial.
b) Si G es simple y H es un subgrupo no trivial de un 3-subgrupo de Sylow P, entonces
NG pHq P.
c) Deducir que no hay grupos simples de orden 36.
76
1.13.
Grupos
Trivial
Z2
Z3
Z4 y V
Z5
Z6 y S3
Z7
Z8 , Z4 Z2 , Z2 Z2 Z2 , D4 , Q
Z3 Z3 y Z9
Z10 y D5
Z11
Z12 , Z2 Z6 , D6 , A4 , Z3 Z4
Z13
Z14 , D7
Z15
Esta tabla es el resultado de juntar la clasificacin que hicimos en el texto de los grupos
de orden p, p 2 , 2p, pq, 8 y 12.
Para una discusin de los grupos de orden 16 (de los cuales hay 14 clases de isomorfismo),
ver [Wi].
77
Captulo 2
Teora de cuerpos y teora de Galois
2.0.
ai P p para cada i 0, . . . , n 1
an R p,
a0 R p2 ,
entonces f es irreducible sobre FracpDqrX s.
Observacin 2.0.2. Sea : R S un homomorfismo de anillos; lo extendemos a : RrX s
SrX s. Si f P RrX s es tal que pf q es irreducible en SrX s, entonces f es irreducible en RrX s
(pues una factorizacin de f en R es enviada a una factorizacin de pf q en S).
Esto nos da otra manera de verificar que un polinomio es irreducible. Es usual tomar R Z
y S Zp para algn primo p. Para probar que un polinomio es irreducible en Zp se puede
utilizar el criterio de Eisenstein general.
Existen sin embargo polinomios en ZrX s irreducibles que son reducibles mdulo p para
cualquier primo p, por ejemplo f pX q X 4 10X 2 ` 1.
Una prueba sencilla de este hecho es la siguiente ([M2], pp. 6-7). Sea p primo. Si 2 fuera
un cuadrado en pFp q , entonces:
?
?
X 4 10X 2 ` 1 pX 2 2 2X 1qpX 2 ` 2 2X 1q
y X 4 10X 2 ` 1 es reducible mdulo p. Si 3 fuera un cuadrado en pFp q , entonces:
?
?
X 4 10X 2 ` 1 pX 2 2 3X ` 1qpX 2 ` 2 3X ` 1q
y X 4 10X 2 ` 1 es reducible mdulo p. Si ni 2 ni 3 son cuadrados, entonces por el ejercicio
16, 6 debe ser un cuadrado en pFp q , y entonces:
?
?
X 4 10X 2 ` 1 pX 2 p5 ` 2 6qqpX 2 p5 2 6qq
y X 4 10X 2 ` 1 es reducible mdulo p.
79
2.1.
Anlogamente a la situacin con grupos, se define monomorfismo, epimorfismo, isomorfismo, endomorfismo y automorfismo de cuerpos.
Observacin 2.1.5. Una funcin entre dos cuerpos es un homomorfismo de cuerpos si y slo
si es un homomorfismo de anillos. Por lo tanto, dados dos cuerpos, los homomorfismos de
cuerpos entre ellos son todos los homomorfismos de anillos.1 Tenemos entonces a nuestra
disposicin los teoremas de isomorfismo y ms propiedades que conocemos para morfismos de
anillos.
Proposicin 2.4. Sea F un cuerpo y A un anillo no trivial. Entonces todo morfismo de anillos
F A es un monomorfismo.
Demostracin. Sea : F A homomorfismo de anillos. Entonces ker es un ideal de F .
Pero en un cuerpo los ideales son triviales: si ker t0u, entonces es un monomorfismo y
terminamos. El caso ker F es absurdo, pues implicara que 1 p1q 0 que no puede
suceder pues A t0u.
Como corolario, la siguiente sorprendente propiedad de la categora de cuerpos: todo
morfismo es inyectivo.
Corolario 2.5. Todo morfismo de cuerpos es un monomorfismo.
Definicin. Sea K cuerpo. El cuerpo primo de K es el menor subcuerpo de K .
Observacin 2.1.6. F K es el cuerpo primo de K si y slo si F x1y.
Todo cuerpo es una extensin de su cuerpo primo.
Proposicin 2.6. Todo cuerpo tiene una copia de Q o de Zp para un nico primo p (y slo
de uno de ellos).
Demostracin. Para cualquier cuerpo F tenemos un morfismo de anillos : Z F , n n1F .
Tenemos entonces ker xcar F y, y el primer teorema de isomorfismo nos da:
Z
Im F
xcar F y
Ahora bien, como la caracterstica de un cuerpo es prima o nula, se tiene xcar F y t0u
o xcar F y pZ. Por lo tanto F tiene una copia de Z o de Zp . Si F tiene una copia de Z,
entonces tiene una copia de Q, pues por definicin Q FracpZq es el menor cuerpo que
contiene a Z.
Si tiene una copia de Zp , entonces no tiene una copia de Zq para ningn otro primo q,
pues la caracterstica es nica. Adems, tiene una copia de Zp si y slo si no tiene una copia
de Q, pues tiene caracterstica prima si y slo si no tiene caracterstica 0.
Observacin 2.1.7. Como Q y Zp no tienen subcuerpos, deducimos que el cuerpo primo de
un cuerpo siempre es isomorfo a Q o a Zp .
Definicin. Sea F K una extensin de cuerpos. En esta situacin K es un F -espacio
vectorial. La dimensin dimF K de K como F -espacio vectorial se llama el grado de la extensin.
Notamos |K : F | : dimF K . Si |K : F | 8, la extensin se dice finita. En caso contrario
se dice infinita.
1
Esto nos dice que la categora de cuerpos es una subcategora plena de la categora de anillos.
81
i : X
es un cuerpo isomorfo a C.
Consideremos X 2 2 P QrX s. Es irreducible de grado 2, luego QrX s{xX 2 2y es una
extensin de Q de grado 2, y
?
?
QrX s{xX 2 2y ta ` b 2 : a, b P Qu,
2 : X
?
2
En esta construccin,
? 2 es alguna raz de X 2. Si queremos ser coherentes con la
definicin usual de 2, podemos decir que tomamos la raz positiva.
82
83
F rX s
p
F 1 rX s
/ F rX s
F pq
p 1
1
s
/ F rX
1
xpy
xp y
F 1 pq
F pX q
F 1 pX q
F 1 pq
() Sea
f P F rX s un polinomio irreducible con como raz. Si f ni0 ai X i , entonces
0 f pq ni0 ai i . Pero entonces
n
n
n
0 p0q
ai i
pai i q
pai qpqi
i0
i0
i0
n
n
|F id
i
ai pq
ai i f pq
i0
i0
Ejercicios
Ej. 43 (Invariancia del mcd bajo extensiones de cuerpos) Sea F K extensin de cuerpos,
y sean f , g P F rX s polinomios no nulos. Entonces el mcd de f y g como polinomios en K rX s
es igual al mcd de f y g como polinomios en F rX s.
En particular, f g en F rX s sii f g en K rX s, y f , g son coprimos en F rX s sii son coprimos
en K rX s.
?
Ej. 44 Qpiq y Qp 2q son isomorfos como Q-espacios vectoriales pero no como cuerpos.
84
2.2.
Extensiones algebraicas
m,n
bij j i
i1,j1
Entonces tj i um,n
i,j1 es un generador de F sobre L.
(2.1)
(2.2)
Ejercicios
?
?
3
Ej.
45
Se
tiene
que
2
`
5?es algebraico sobre Q de grado 6. Cul es el grado de
?
?
?
2 ` 3 5 sobre Qp 2q y sobre Qp 3 5q?
Ej. 46 Sea F K extensin de cuerpos y , P K . Si es algebraico sobre F pq y
es trascendente sobre F , entonces es algebraico sobre F pq.
?
Ej. 47 Hallar una base de Qpi, 3, q donde es una raz cbica primitiva de la unidad.
2
Ej. 48 Un
? natural n P N es libre de cuadrados si no existe2 m 2 tal que m n.
El conjunto t n : n P Nu es linealmente independiente sobre Q. Se deduce entonces que
?
Qp p : p es primoq es una extensin algebraica de Q que no es finita ni finitamente generada.
2
Sugerencia: proceder por induccin. Ver http://www.thehcmr.org/issue2_1/mfp.pdf para una discusin sobre este problema.
89
2.3.
ab
a/b
1
a
Figura 2.1: Cmo construir ab a partir de a y Figura 2.2: Cmo construir a{b a partir de a y
b constructibles
b constructibles
90
?
Figura 2.3: Cmo construir a a partir de a constructible
#
ax ` by c
Intersectar dos rectas es resolver el sistema
donde a, a1 , b, b 1 , c, c 1 P F .
1
1
1
ax `by c
Es un sistema de dos ecuaciones lineales en F ; si tiene solucin, ser en F , luego no conseguimos elementos adicionales.
#
px hq2 ` py kq2 r 2
Intersectar una circunferencia y una recta es resolver el sistema
ax ` by c
cax
donde h, k, r , a, b, c P F . De la ltima ecuacin se deduce y b , sustituyendo en la primera
vemos que x se obtiene con a lo sumo una extraccin de raz de un elemento de F , e y se
consigue linealmente a partir de x.
Intersectar dos circunferencias C1 y C2 es resolver el sistema
#
px hq2 ` py kq2 r 2
C1
1 2
1 2
12
px h q ` py k q r
C2
donde h, k, r , h1 , k 1 , r 1 P F . Esto es lo mismo que intersectar C1 con la resta C1 C2 que es
una recta, entonces como antes, agregando la interseccin se obtiene a lo sumo un elemento
que es extraccin de raz de un elemento de F .
Por lo tanto, un elemento constructible a partir de F es resultado de finitas extracciones
sucesivas de races cuadradas empezando con un elemento de F . Recprocamente, si un
elemento es resultado de finitas extracciones sucesivas de races cuadradas a partir de un
elemento de F , entonces es constructible. En particular los elementos de F al ser constructibles
son resultado de finitas extracciones sucesivas de races cuadradas a partir de un elemento de
Q. En conclusin,
Teorema 2.27. P R es constructible con regla y comps si y slo si existe una torre de
cuerpos
Q F0 F1 Fn
donde |Fi : Fi1 | 2 para todo i 1, . . . , n y P Fn .
En particular, si P R se construye a partir de F R con regla y comps, entonces
|F pq : F | 2k para cierto k P N.
Teorema 2.28. Ninguna de las tres construcciones clsicas es posible.
Demostracin.
1. Duplicar el cubo:
para duplicar el cubo unitario tendramos que construir
?
?
3
3
2 a partir de Q, pero |Qp 2q : Q| 3 que no es potencia de 2.
91
92
2.4.
Definicin. Sea f P F rX s. Decimos que f se escinde sobre F , o que se factoriza completamente sobre F , si f se escribe como producto de factores lineales en F .
Ejemplo 2.4.1. X 2 ` 1 no se escinde sobre R; se escinde sobre C.
Definicin. Sea F K extensin de cuerpos. Decimos que K es un cuerpo de descomposicin
de un polinomio f P F rX s sobre F si f se factoriza completamente en K , y K es el menor tal
que esto ocurre. Notamos K DescF pf q.3
DescQ pX 2 ` 1q Qpiq, y DescR pX 2 ` 1q C.
Ejemplo 2.4.2.
?
?
Qp 3 2q no es el cuerpo de descomposicin de f X 3 2 sobre Q: en efecto, Qp 3 2q
tiene slo una de las tres races de f . De hecho el cuerpo de descomposicin de f sobre
Q tiene grado 6.
El cuerpo de descomposicin de f X 4 ` 4 sobre Q tiene grado 2, pues
f pX 2 ` 2X ` 2qpX 2 2X ` 2q P QrX s tiene races 1 i, luego DescQ pf q Qpiq.
Los ejemplos anteriores muestran que el grado del cuerpo de descomposicin sobre el
cuerpo base puede ser igual, mayor o menor que el grado del polinomio.
Teorema 2.29. Dado f P F rX s, existe un cuerpo de descomposicin para f sobre F .
Demostracin. La idea de la prueba es la siguiente. Sabemos que existe una extensin de F
donde f tiene una raz. Miramos f sobre esta extensin, y aplicando el mismo teorema vamos
agregando races hasta agotarlas todas.
Ms formalmente, es por induccin en el grado de f . Si gr f 1, el cuerpo de descomposicin es E F . Si gr f n: si f se factoriza en factores lineales en F , tomo E F . Si
no, considero F pq con raz de un factor irreducible de f en F . El polinomio que queda al
quitarle este factor irreducible a f tiene grado menor que n: por hiptesis de induccin tiene
un cuerpo de descomposicin E sobre F .
Considero E pq: f se factoriza en factores lineales en E pq. Entonces
tK cuerpo : F K E pq, f se factoriza completamente en K u es el cuerpo buscado.
Observacin 2.4.3. Se desprende de la prueba que si F K , K DescF pf q y 1 , . . . , r P K
son las races de f , entonces K F p1 , . . . , r q.
Proposicin 2.30. Sea f P F rX s de grado n. Entonces |DescF pf q : F | n!.
Demostracin. Sea 1 P DescF pf q raz de f . Entonces como m1 ,F f , se tiene
|F p1 q : F | gr m1 ,F gr f n
Sea 2 P DescF pf q raz del polinomio g1 que queda al sacarle todos los factores pX 1 q a
f : se tiene gr g1 n 1. Entonces |F p1 qp2 q : F p1 q| n 1.
Continuando hasta agotar todas las races 1 , . . . , r de f , se tiene |DescF pf q : F |
|F p1 , . . . , r q : F | npn 1q . . . 1 n!.
3
Esta notacin se ve justificada por el hecho que dos cuerpos de descomposicin de un polinomio sobre un
cuerpo son isomorfos, como veremos ms tarde.
93
94
Kq1
Kq
qq 1
Sea ahora K
Kq . Es un cuerpo por la condicin ii. de todos los Kq , y es una
qPP
extensin algebraica por la condicin i. de todos los Kq . Ahora, todo polinomio no constante
4
Recordemos que un buen orden es un orden total tal que todo subconjunto tiene un mnimo. Los buenos
rdenes permiten, como los naturales, hacer definiciones por recursin. Si el lector no se siente cmodo con
esta demostracin porque la instancia del axioma de eleccin que utilizamos (el principio de buena ordenacin)
le resulta incmoda, lo remitimos a [M2] para otras demostraciones que usan, por ejemplo, el lema de Zorn.
95
2.5.
Separabilidad y perfeccin
Definicin. Sea f P F rX s, f
ai X i . La derivada formal del polinomio f es el polinomio
i0
1
Df f :
iai X i1 P F rX s
i1
Algunos autores como [M2] dan una definicin no equivalente de un polinomio separable: un polinomio
es separable si todos sus factores irreducibles no tienen races mltiples en sus cuerpos de descomposicin
respectivos.
97
Corolario 2.39.
Todo polinomio irreducible sobre un cuerpo de caracterstica cero es separable. Por lo
tanto toda extensin algebraica de un cuerpo de caracterstica cero es separable.
Un polinomio sobre un cuerpo de caracterstica cero es separable si y slo si es producto
de irreducibles diferentes.
Demostracin.
Sea F cuerpo de caracterstica cero, f P F rX s irreducible de grado n.
Sus factores irreducibles son de grado 0 y n, pero su derivada Df tiene grado n 1
porque al tener car F 0, se tiene n 1 0. Entonces necesariamente mcd(f ,Df )=1,
luego f es separable.
() Siempre p es producto de irreducibles: stos deben ser distintos pues p es separable.
() Sea p producto de irreducibles diferentes. Sin prdida de generalidad podemos
suponer p mnico. Entonces p es producto de separables diferentes (por el primer tem),
luego producto de irreducibles que no tienen races en comn. Aplicando el corolario
2.15 se tiene que p debe ser separable.
Ejemplo 2.5.3. El corolario anterior nos dice que en caracterstica cero, los polinomios inseparables son aqullos donde un factor irreducible se repite, por ejemplo pX 2 ` 1q2 P QrX s.
Un ejemplo menos trivial es X 2 t P Z2 ptqrX s. Es irreducible?por el criterio de Eisenstein
general (el ideal xty Z2 rts es primo),
sea t una raz en algn cuerpo
? pero no es separable:
?
de descomposicin. Entonces pX tq2 X 2 2X t `?
t X 2 ` t X 2 t usando
reiteradamente que la caracterstica de Z2 es dos. Entonces t es una raz doble de X 2 t,
luego X 2 t no es separable.
Anlogamente X p t P Zp ptqrX s es irreducible y no es separable.
Proposicin 2.40. Sea f P F rX s irreducible no constante. Son equivalentes:
a) f es inseparable.
b) mcdpf , Df q 1.
c) Df 0.
d) car F p 0 y f es un polinomio en X p .
e) Todas las races de f son mltiples.
Demostracin. (a b) Ya lo sabemos.
(b c) f es irreducible, y gr Df gr f , entonces mcdpf , Df q 1 Df 0 (recordar
observacin 2.0.1).
(c d) Como f no es constante, Df puede ser el polinomio nulo slo si f es un polinomio
en X p y car F p, pues todos los factores de la
derivada se tienen que anular.
(d e) Sea f pX q g pX p q. Escribo g pX q pX ai qmi en el cuerpo de descomposicin
para f sobre F . Entonces en ese cuerpo, usando el lema 2.71,
?
f pX q g pX p q
pX p ai qmi
pX p ai qpmi
?
donde p ai es alguna raz de X p ai . Entonces todas las races de f tienen multiplicidad al
menos p.
(e a) Obvio.
98
1. Ya lo sabemos.
p
f pX q
ai X pi
bi X pi
bi X i
para ciertos ai P F , bi P F tales que ai bip (existen pues F F p ); en el ltimo paso
usamos el lema 2.71. Pero entonces f no sera irreducible, absurdo.
3. Sea F un cuerpo finito, entonces tiene caracterstica p 0. Sea : F F p , a ap
el endomorfismo de Frobenius. Es inyectivo: ap b p pa bqp 0 a b, y es
obviamente sobreyectivo, luego F F p .
Por lo tanto para que un cuerpo no sea perfecto, debe tener caracterstica p y ser infinito.
En el ejemplo 2.5.3 vimos que Zp ptq no es perfecto.
Proposicin 2.42. Sea F cuerpo. Son equivalentes:
1. F es perfecto,
2. Toda extensin finita de F es separable,
3. Toda extensin algebraica de F es separable.
99
100
2.6.
an pqn ` ` a1 pq ` a0
Tenemos entonces que pq es tambin raz de f , i.e., todo P GalKF permuta las races de
los polinomios en F rX s.
Observacin 2.6.1. Si descomponemos un polinomio como producto de irreducibles, entonces
el grupo de Galois permuta sus races permutando las de cada factor irreducible.
Definicin. Sea K cuerpo, H AutpK q. Definimos el cuerpo fijo de H como
FixpHq : t P K : pq @ P Hu
Consiste de los elementos de K que quedan fijos por H.
101
ai 0 @i 1, . . . , m
Evaluando en g P G se tiene
a1 1 pg q ` ` am m pg q 0 @g P G
102
(2.3)
Como 1 m , existe g0 P G tal que 1 pg0 q m pg0 q. Evaluando en g0 g y usando que los
i son morfismos de grupos, se obtiene
a1 1 pg0 q1 pg q ` ` am m pg0 qm pg q 0 @g P G
(2.4)
((
(0(
((
0 a1 1 pg0 q1 pg q ` ` (
am((
q(m pg q a1 1 pg qm pg0 q (
am((
q(
m pg
m pg
m pg0 q
a1 p1 pg0 q m pg0 q 1 pg q ` . . . am1 pm1 pg0 q m pg0 qqm1 pg q @g P G
0
FixpHq
%
1 pm qx1 ` ` n pm qxn 0
es un sistema lineal homogneo de m ecuaciones con n incgnitas, m n: tiene una solucin
no trivial 1 , . . . , n .
6
103
%
1 pam m q1 ` ` n pam m qn 0
Sumando las m ecuaciones, se obtiene:
1 pa1 1 ` ` am m q1 ` ` n pa1 1 ` ` am m qn 0
para cualquier a1 , . . . , am P F . Pero 1 , . . . , m es una F -base, luego a1 1 ` ` am m
representa un elemento arbitrario P K . La ecuacin queda entonces
1 pq1 ` ` n pqn 0 @ P K
Como los i no son todos cero, entonces la ecuacin anterior nos dice que 1 , . . . n son
morfismos de cuerpos linealmente dependientes. Esto contradice el corolario anterior.
Caso 2: n |K : F |.
Existen entonces n ` 1 elementos 1 , . . . , n`1 P K linealmente independientes sobre F .
El sistema
$
%
n p1 qx1 ` ` n pn`1 qxn`1 0
es un sistema lineal homogneo de n ecuaciones con n ` 1 incgnitas, luego tiene una solucin
no trivial 1 , . . . , n P K .
Afirmacin: existe j tal que j R F .
Demostracin: Supongamos por absurdo que los i estn todos en F . Existe un i tal que
i id (pues H es un grupo). La ecuacin i-sima queda entonces 1 1 ` `n`1 n`1 0:
es una relacin de dependencia de los i , absurdo pues estos son linealmente independientes
sobre F .
Elegimos una solucin del sistema con nmero mnimo r de i no nulos. A menos de
reordenacin podemos suponer que son los r primeros: 1 , . . . , r , y podemos suponer r 1
por estar trabajando en un cuerpo y ser el sistema homogneo. Como no pueden estar todos
en F , debe ser r 1 (pues 1 P F ). A menos de reordenacin podemos suponer 1 R F .
El sistema queda
$
&1 p1 q1 ` ` 1 pr 1 qr 1 ` 1 pr q 0
..
(2.6)
.
%
n p1 q1 ` ` n pr 1 qr 1 ` n pr q 0
Como F FixpHq y 1 R F , entonces existe k0 P t1, . . . , nu tal que k0 p1 q 1 . Apliquemos
k0 al sistema: para todo j 1, . . . , n se tiene
pk0 j qp1 qk0 p1 q ` ` pk0 j qpr 1 qk0 pr 1 q ` k0 j pr q 0
104
i p1 q r1 k0 p1 qs ` ` i pr 1 qrr 1 k0 pr 1 qs 0
Esta es una solucin no trivial del sistema (2.5) con a lo sumo r 1 elementos no nulos:
contradice la minimalidad de r .
Corolario 2.48. Sea F K extensin de cuerpos finita. Entonces |GalKF | |K : F |, y
|GalKF | |K : F | F K es de Galois.
Demostracin. Aplicando el teorema anterior a H GalKF obtenemos |K : FixpHq| |GalKF |.
Por otro lado tenemos la torre de cuerpos F FixpHq K : la transitividad de grados nos da
|K : F | |K : FixpHq||FixpHq : F |, i.e.
|K : F | |GalKF ||FixpHq : F |
Luego |GalKF | |K : F |, y
def.
corolario
|K : FixpHq|
|GalF
| |DescF pf q : F |
|GalF
Qp
2q no es normal: el polinomio X 3 2 P QrX s tiene una
?
?
3
3
raz 2 P Qp 2q, pero no tiene a las dos otras.
Teorema 2.52. Si F K es de Galois entonces es normal y separable.
Demostracin. Sea p P F rX s irreducible tal que existe P K raz de p. Sin prdida de
generalidad podemos suponer p mnico. Veamos que p se escinde sobre K .
Sea GalKF tid, 2 , . . . , n u. Considero entre , 2 pq, . . . , n pq P K los elementos
diferentes, que llamo , 2 , . . . , r , 0 r n.
Sea f pX qpX 2 q . . . pX r q P K rX s.
Afirmacin: p f .
Demostracin: Como todas las races de f lo son de p, entonces f p.
Si pruebo que f P F rX s y anula a , entonces como p m,F se tiene p f . Obviamente
f pq 0: veamos que f P F rX s.
Usemos que F FixpGalKF q para demostrar esto. Sea P GalKF , entonces como
t, 2 , . . . , n u tid, 2 , . . . , n u, aplicarle a , 2 pq, . . . , n pq los permuta. A su vez
tid, 2 , . . . , n u permutan , 2 , . . . , r (pues son races de p) luego permuta , 2 , . . . , r .
Por lo tanto f queda invariante por GalKF , i.e. los coeficientes de f (no estamos diciendo
los i , atencin) estn en FixpGalKF q F , i.e. f P F rX s.
Entonces f p, p f y son ambos mnicos: se tiene p f .
Por lo tanto p se escinde sobre K , y ms an, es separable. Entonces la extensin es
normal, y es separable, pues dado P K obtuvimos que m,F es separable.
106
2.6.1.
Demostracin. () La extensin F K es finita, luego finitamente generada por elementos algebraicos: K F p1 , . . . , n q. Como la extensin es normal, los polinomios pi mi ,F se escinden sobre K , luego f p1 . . . pn tambin se escinde sobre K . Entonces K F p1 , . . . , n q
DescF pf q.
() Sea p P F rX s un polinomio irreducible con una raz P K . Sea L una clausura
algebraica de K , y P L otra raz de p. Entonces extendiendo la identidad id: F F con el
teorema de extensin, existe un F -isomorfismo : F pq F pq. Por el lema anterior (con
F kpq) resulta que kpq K , para cualquier otra raz P L de f . Pero f se escinde sobre
L pues L es algebraicamente cerrado, luego en realidad se escinde sobre K .
De esta manera, el lema 2.55 nos dice que un k-monomorfismo que parte de un subcuerpo
de una extensin normal a un cuerpo mayor, en realidad no se sale de la extensin normal, y
adems se extiende a un k-automorfismo de la extensin normal.
Definicin. Sea F E extensin de cuerpos finita. Decimos que un cuerpo K es una clausura
normal de la extensin si F K es normal, K E , y K es la menor extensin normal de F
tal que K E .
Proposicin 2.57. Toda extensin finita F E tiene una clausura normal K , y dos clausuras
normales son isomorfas.
Demostracin. Tenemos E F p1 , . . . , n q para ciertos 1 , . . . , n P E . Consideremos
f m1 ,F . . . mn ,F y K DescF pf q. Entonces F K es normal, K E y por definicin de
cuerpo de descomposicin f no se escinde en ningn subcuerpo propio de K que contiene a
E , luego K es una clausura normal de F E . Adems K es nico a menos de isomorfismo
porque dos cuerpos de descomposicin para f sobre F son isomorfos.
Definicin. Sea F E extensin de cuerpos finita. Decimos que un cuerpo K es una clausura
de Galois de la extensin si F K es de Galois, K E , y K es la menor extensin de Galois
de F tal que K E .
Corolario 2.58. Toda extensin finita y separable F E tiene una clausura de Galois, que
es la clausura normal.
Demostracin. Sea K la clausura normal de F E . Como en la demostracin de la proposicin
anterior, K es el cuerpo de descomposicin sobre F de f m1 ,F . . . mn ,F . En este caso los
mi ,F son separables. Entonces si a f le quitamos los factores repetidos, nos queda un polinomio
separable g P F rX s tal que DescF pf q DescF pg q, por lo tanto F K es de Galois.
2.6.2.
108
GalK
Fix
Fu o
GalK
Fix
tsubgrupos H GalKF u
K
E
1
E GalK
E
Fix(H)[H
H
GalKF
Demostracin. Ya sabemos que Fix es inyectivo con inversa por izquierda GalK .
Para probar que Fix es sobreyectivo probemos primero 2. Sea E un subcuerpo intermedio.
Como F K es de Galois, entonces K DescF pf q para cierto f P F rX s separable. Pero
entonces f P E rX s y E K DescE pf q, luego E K es de Galois.
Por definicin de extensin de Galois se tiene E FixpGalKE q. Esto nos dice que Fix tiene
inversa por derecha GalK . Por lo tanto Fix y GalK son biyectivos, uno inverso del otro.
1. Es la proposicin 2.44.
3. Como E K es de Galois, entonces |K : E | |GalKE |.
Como F K es de Galois, entonces |K : F | |GalKF |. Por otro lado la torre F E K
nos da |K : F | |K : E ||E : F |. Tenemos entonces
|GalKF : GalKE |
|GalKF |
|K : F |
|E : F |
K
|K : E |
|GalE |
109
2.6.3.
El teorema fundamental del lgebra no tiene una demostracin que se base nicamente en
el lgebra. Esto es lgico pues en el fondo nos dice algo sobre nmeros reales, y los nmeros
reales no son una construccin algebraica.
La demostracin que daremos usa una cantidad mnima de anlisis que se concentra en el
siguiente lema.
Lema 2.60. a) Todo polinomio en RrX s de grado impar tiene una raz real. Por lo tanto R
no admite extensiones propias de grado impar.
b) C no admite extensiones cuadrticas (de grado 2), i.e. todo f P CrX s de grado 2 se escinde
sobre C.
Demostracin. a) Los polinomios de grado impar tienden a 8 en 8, y a 8 en `8,
luego por el teorema de Bolzano, tienen una raz real.
Si R tuviera una extensin de grado impar, existira un polinomio de grado impar sobre R
irreducible, absurdo.
b) Por la frmula de las races de los polinomios de grado 2, basta ver que todo P C tiene
?
una raz cuadrada en C. Escribiendo r e i , r 0, P r0, 2q, se tiene que r e i 2 es
una raz cuadrada de en C.
110
Teorema 2.61 (fundamental del lgebra). Todo polinomio no constante en RrX s tiene una
raz en C. En otras palabras, C es algebraicamente cerrado.
Demostracin. Sea f P RrX s, gr f n 1, y sea K DescR pf q.
Adjuntarle i a K es lo mismo que tomar el cuerpo de descomposicin sobre R del producto
f pX 2 ` 1q, i.e. K piq DescR pf pX 2 ` 1qq, entonces R K piq es de Galois.
K piq
K piq
K piq
Consideremos GalC GalR . Queremos probar que GalC tidu, en cuyo caso por la
correspondencia de Galois C K piq, luego como K piq DescR pf pX 2 ` 1qq, se tendra que
f tiene una raz en C y el teorema estara demostrado.
K piq
Supongamos por absurdo que GalC tidu.
K piq
K piq
Sea P2 un 2-subgrupo de Sylow de GalR . Entonces |P2 | es par, luego |GalR : P2 | es
impar. Por la correspondencia de Galois, |FixpP2 q : R| es impar, luego por la parte a) del lema
2.60, FixpP2 q R.
K piq
K piq
K piq
K piq
Entonces GalR GalFixpP2 q P2 , luego como tidu GalC GalR P2 , se tiene
K piq
que GalC es un 2-grupo. Por ser un p-grupo tiene subgrupos de todos los rdenes posibles,
en particular uno de ndice 2, que por la correspondencia de Galois se corresponde con una
extensin cuadrtica de C, absurdo por la parte b) del lema 2.60.
Observacin 2.6.8. De los nmeros reales tuvimos que usar la completitud, necesariamente,
pues esto est en la base de su definicin. Sin embargo no usamos la completitud en toda
su potencia, la usamos slo en la expresin del lema 2.60. Esto nos dice que la demostracin
?
que hemos dado del teorema fundamental del lgebra no nos dice slo que Rp 1q
? es
algebraicamente cerrado, donde R es el nico cuerpo ordenado y completo, sino que Rp 1q
es algebraicamente cerrado cuando R es un cuerpo ordenado que satisface las condiciones del
lema 2.60 (observar que la condicin b) es una consecuencia de que todo nmero real positivo
tiene una raz cuadrada real).
Ms explcitamente, un cuerpo ordenado es un cuerpo F junto con un orden total en F
que es compatible con las operaciones de F , de esta manera:
a b a ` c b ` c para todo a, b, c P F ,
a, b 0 ab 0 para todo a, b P F .
Un cuerpo real cerrado es un cuerpo ordenado R tal que todo elemento positivo tiene raz
cuadrada en R, y todo polinomio de grado impar en RrX s tiene una raz en R..
Un ejemplo de cuerpo real cerrado, aparte de R, es el de los nmeros algebraicos reales,
i.e. Q X R.
Con esta definicin capturamos exactamente lo que utilizamos de los nmeros reales para
probar el teorema fundamental del lgebra. Podemos entonces enunciar lo que hemos probado
en realidad:
?Teorema (fundamental del lgebra generalizado). Sea R un cuerpo real cerrado. Entonces
Rp 1q es algebraicamente cerrado.
Como ltima observacin, destacamos que la nocin de cuerpo real cerrado captura
exactamente las propiedades de los nmeros reales necesarias para que valga el teorema
fundamental del lgebra.
Es decir, vale el recproco: si R es un cuerpo no algebraicamente
?
cerrado tal que Rp 1q es algebraicamente cerrado, entonces R es un cuerpo real cerrado.
111
Ejercicios
Ej. 49 Toda extensin de grado 2 es normal.
Ej. 50 GalRQ tidu (Sugerencia: un automorfismo de R es una funcin montona. Adems, por Dedekind-completitud de R, para todo x P RzQ, A ta P Q : a xu y
B tb P Q : b xu conforman una particin de Q tal que a b para todo a P A,
b P B y x sup A nf B.)
? ? ?
? ?
Ej. 51 Hallar los grupos de Galois sobre Q de Qp 2, 5q y de Qp 2, 3, 5q.
112
2.7.
m |K2 : F | |K1 K2 : F |
F1
K
Galois
K X F1
F
Demostracin. Como F K es de Galois, entonces K DescF pf q para cierto f P F rX s separable. Entonces K F p1 , . . . , n q donde 1 , . . . , n son las races de f . Luego como F F 1 ,
se tiene K F 1 F 1 p1 , . . . , n q, i.e. K F 1 DescF 1 pf q y f es separable, luego F 1 K F 1 es de
Galois.
1
|K : K X F 1 |
|K : F |
|K X F 1 : F |
1. F K1 X K2 es de Galois.
2. F K1 K2 es de Galois, y GalKF 1 K2 tp, q P GalKF 1 GalKF 2 : |K1 XK2 |K1 XK2 u : H.
Demostracin.
1. Basta ver que la extensin es normal. Si p P F rX s es irreducible con una
raz P K1 X K2 , entonces para i 1, 2, P Ki que es de Galois sobre F , luego todas
las races de p estn en Ki , i.e. estn todas en K1 X K2 .
2. Tenemos K1 DescF pf1 q y K2 DescF pf2 q para sendos f1 , f2 P F rX s separables.
Entonces K1 K2 DescF pg q, donde g es el producto f1 f2 a menos de factores repetidos,
de donde g es separable. Por lo tanto F K1 K2 es de Galois.
Sea : GalKF 1 K2 GalKF 1 GalKF 2 , p|K1 , |K2 q. Est bien definida: para i 1, 2 se
tiene Im |Ki Ki pues las races de fi van a parar a races de fi por .
Claramente es un morfismo de grupos. Es inyectivo:
ker t P GalKF 1 K2 : |K1 |K2 idu t P GalFK1 K2 : |K1 K2 idu tidu
Veamos que Im H. Se tiene Im H pues p|K1 q|K1 XK2 |K1 XK2 p|K2 q|K1 XK2 .
Para ver la igualdad, veamos que tienen el mismo orden. Sea P GalKF 1 .
Considero |K1 XK2 : hay |GalKK21 XK2 | maneras de extender |K1 XK2 a K2 . Luego considerando la torre de extensiones de Galois F K1 X K2 K2 ,
|H| |GalKF 1 ||GalKK21 XK2 | |GalKF 1 |
|GalKF 2 |
|GalKF 1 XK2 |
corolario
Ejercicios
Ej. 52 Sean F E1 K , F E2 K extensiones de cuerpos, con F E1 , F E2 de
Galois.
P GalEF1 E2 , no necesariamente nico.
a)Todo P GalEF1 se extiende a un automorfismo
P GalEF1 E2 tal
b)E1 X E2 F si y slo si todo P GalEF1 se extiende a un automorfismo
|E2 id.
que
117
2.8.
Cuerpos finitos
pa ` bq
p
k0
k pk
a b
a `b `
p1
k1
p k pk
a b
k
`
Pero sabemos que p kp si 0 k p, luego al estar en caracterstica p, concluimos
pa ` bqp ap ` b p .
Adems pa bqp pa ` pbqqp ap ` pbqp . Pero pbqp b p : si p es impar,
pbqp p1qp b p b p , y si p 2 entonces b 2 ` b 2 2b 2 0 b 2 b 2 .
Supongamos que vale para n 1. Entonces:
n1
n1 p n1 p
n1 p
n
n1 p
n
n
pa bqp pa bqp
ap b p
ap
bp
ap b p
Veamos que los cuerpos finitos no pueden tener cualquier tamao.
Proposicin 2.72. Si F es un cuerpo finito de caracterstica p, entonces |F | p n para algn
n P N.
Demostracin. Sea F un cuerpo finito. Entonces su caracterstica p es prima. Entonces debe
ser una extensin finita de su cuerpo primo Zp pues de lo contrario contendra una base infinita
y entonces sera infinito. Luego |F : Zp | n para algn n P N. Entonces F es un Zp -espacio
n veces
119
120
2.9.
pf q :
prj ri q2
ij
121
, 0
, 0
R3 pX q en F
irreducible
irreducible
reducible
reducible
reducible
GalF pf q
S4
A4
V
D4
D4 o Z4
2 pr 12 4dq
Ejercicios
Ej. 53 Sea f X 4 3 P QrX s. Determinar GalQ pf q como subgrupo de S4 .
Ej. 54 Determinar el grupo de Galois de los siguientes polinomios sobre los cuerpos
indicados:
a)X 3 2 sobre Q,
b)pX 3 2qpX 2 5q sobre Q,
?
?
c)X 4 5 sobre Q, sobre Qp 5q y sobre Qpi 5q,
?
d)X 3 10 sobre Q y sobre Qp 2q.
Ej. 55 Determinar todos los subgrupos del grupo de Galois y todas las extensiones
intermedias del cuerpo de descomposicin sobre Q del polinomio X 3 2 P QrX s.
122
2.10.
Polinomios simtricos
La siguiente definicin involucra algunas verificaciones de rutina que dejamos como ejercicio
sencillo para el lector. Intuitivamente lo nico que haremos ser ver Sn como subgrupo de
AutpF pX1 , . . . , Xn qq, de manera obvia, i.e. una permutacin de t1, . . . , nu se corresponde con
el automorfismo que permuta las n indeterminadas de una funcin racional.
Definicin. Sea F cuerpo, P Sn . induce un mapa : F rX1 , . . . Xn s F rX1 , . . . , Xn s
permutando las indeterminadas, i.e. definido mediante
pppX1 , . . . , Xn qq ppX1 , . . . , Xpnq q
Es un endomorfismo de anillos; claramente es un automorfismo que se extiende a un automorfismo de cuerpos (que seguiremos llamando ) de F pX1 , . . . , Xn q.
El mapa Sn AutpF pX1 , . . . , Xn qq, es un monomorfismo de grupos; podemos
identificar entonces Sn con un subgrupo de AutpF pX1 , . . . , Xn qq. Escribiremos ppq en vez de
ppq si no hay riesgo de confusin.
Una funcin racional p (en particular un polinomio) se dice simtrico si ppq p para
toda P Sn , i.e. si ppX1 , . . . , Xn q ppXp1q , . . . , Xpnq q para toda P Sn .
Observacin 2.10.1. Como son isomorfismos, los polinomios simtricos en F rX1 , . . . , Xn s
son un subanillo de F rX1 , . . . , Xn s, y las funciones racionales simtricas son un subcuerpo de
F pX1 , . . . , Xn q.
Definicin. Sea F cuerpo. Los polinomios simtricos elementales de F rX1 , . . . , Xn s son, para
r 1, . . . , n:
sr
Xi1 . . . Xir
1i1 ir n
En otras palabras, sr es la suma de todos los monomios que pueden construirise multiplicando
r indeterminadas distintas. Explcitamente, son:
s1 X1 ` ` Xn
s2 X1 X2 ` X1 X3 ` ` X2 X3 ` X2 X4 ` ` Xn1 Xn
..
.
sn X1 . . . Xn
Observacin 2.10.2. Los polinomios simtricos elementales son polinomios simtricos.
Definicin. Sea F cuerpo, y s1 , . . . , sn los polinomios simtricos elementales de F rX1 , . . . , Xn s.
El polinomio general de grado n sobre F es:
pX X1 q . . . pX Xn q X n s1 X n1 ` s2 X n2 ` p1qn sn P F ps1 , . . . , sn qrX s (2.7)
El teorema que sigue justifican la nomenclatura de elementales: toda funcin racional
simtrica es una funcin racional en los polinomios simtricos elementales. Se puede probar
adems que todo polinomio simtrico es un polinomio en los polinomios simtricos elementales
(teorema fundamental de los polinomios simtricos); no lo haremos porque no es central a
nuestras motivaciones.
123
Teorema 2.78 (fundamental de las funciones racionales simtricas). El cuerpo de las funciones
racionales simtricas de F pX1 , . . . , Xn q es F ps1 , . . . , sn q. Adems la extensin F ps1 , . . . , sn q
F pX1 , . . . , Xn q es de Galois, y su grupo de Galois es Sn .
Demostracin. Consideremos el polinomio ppX q pX X1 q . . . pX Xn q P F pX1 , . . . , Xn qrX s.
La ecuacin (2.7) nos muestra que p P F ps1 , . . . , sn qrX s y que las las indeterminadas X1 , . . . , Xn
son races de p, i.e. son algebraicas sobre F ps1 , . . . , sn q. Como p es separable, entonces
F pX1 , . . . , Xn q es el cuerpo de descomposicin de p sobre F ps1 , . . . , sn q, por lo tanto la extensin F ps1 , . . . , sn q F pX1 , . . . , Xn q es de Galois.
F pX ,...,X q
El grupo de Galois G : GalF ps11,...,sn qn es el grupo de Galois del polinomio p, por lo tanto
G se identifica con un subgrupo (transitivo) de Sn . En particular |G | n!.
Por otro lado tenemos la identificacin Sn AutpF pX1 , . . . , Xn qq como en la definicin
de polinomios simtricos. Los polinomios simtricos elementales s1 , . . . sn son polinomios
simtricos, luego son fijados por los elementos de Sn . En otras palabras, F ps1 , . . . , sn q
FixpSn q.
Tenemos la torre de cuerpos F ps1 , . . . , sn q FixpSn q F pX1 , . . . , Xn q. La transitividad de
grados nos da:
|F pX1 , . . . , Xn q : F ps1 , . . . , sn q| |F pX1 , . . . , Xn q : FixpSn q||FixpSn q : F ps1 , . . . , sn q|
Por un lado, como F ps1 , . . . , sn q F pX1 , . . . , Xn q es de Galois, entonces
|F pX1 , . . . , Xn q : F ps1 , . . . , sn q| |G | n!
Por otro lado, por el corolario 2.49 se tiene que FixpSn q F pX1 , . . . , Xn q es de Galois,
luego
F pX ,...,X q
|F pX1 , . . . , Xn q : FixpSn q| |GalFixpS1 n q n | |Sn | n!
Entonces necesariamente |FixpSn q : F ps1 , . . . , sn q| 1, i.e. FixpSn q F ps1 , . . . , sn q. Como
recin dijimos, FixpSn q F pX1 , . .. , Xn q es de Galois, i.e. F ps1 , . . . , sn q F pX1 , . . . , Xn q.
F pX ,...,X q
F pX ,...,X q
Por lo tanto Fix GalF ps11,...,sn qn F ps1 , . . . , sn q FixpSn q GalF ps11,...,sn qn Sn .
Corolario 2.79. Sea F cuerpo. El grupo de Galois del polinomio general de grado n sobre F
es Sn .
Demostracin. Como F pX1 , . . . , Xn q es el cuerpo de descomposicin del polinomio general
de grado n sobre F ps1 , . . . , sn q, entonces por el teorema anterior su grupo de Galois es
F pX ,...,X q
GalF ps11,...,sn qn Sn .
Corolario 2.80. Sea G grupo finito. Entonces existen F , K cuerpos, F K de Galois tales
que G GalKF .
LpX ,...,X q
1
cuerpo cualquiera. Entonces por el corolario 2.49, GalFixpHq
H G.
Observacin 2.10.3. El corolario anterior nos dice que un grupo finito cualquiera se puede ver
como grupo de Galois de una extensin de cuerpos. Cabe preguntarse si puede verse como
grupo de Galois de una extensin finita de Q: ste es el problema de Galois inverso, que es un
problema abierto.
Un cuerpo de nmeros algebraicos (o ms sencillamente, un cuerpo de nmeros) es una
extensin finita de Q.
124
2.11.
Extensiones ciclotmicas
2i
n
Observacin 2.11.1. d n d n.
Definicin. El cuerpo de descomposicin de X n 1 sobre Q es el cuerpo Qpn q llamado
cuerpo ciclotmico de races n-simas de la unidad.
Definicin. El n-simo polinomio ciclotmico n P CrX s es el polinomio mnico cuyas races
son las races n-simas primitivas de la unidad:
n pX q :
pX zq
pX an q
zPn
z primitiva
Observacin 2.11.2. X n 1
1an
mcdpa,nq1
d . En efecto,
dn
Xn 1
zPn
pX zq
dn
zPd
z primitiva
pX zq
dn
n
pdq
dn
Adems obtenemos una manera de calcular por recurrencia los polinomios ciclotmicos:
Xn 1
n pX q
d
dn
dn
Ejemplo 2.11.3.
X3 1
X2 ` X ` 1
X 1
X4 1
4 pX q 2
X2 ` 1
X 1
X5 1
5 pX q
X4 ` X3 ` X2 ` X ` 1
X 1
X6 1
6 pX q
X2 X ` 1
pX 1qpX ` 1qpX 2 ` X ` 1q
3 pX q
X n 1 n
d n f para cierto f P ZrX s
dn
dn
@a, b
Qp q
GalQ
Q p a1
GalQ
GalQ
a
p k
k
Usando esto y el teorema chino de los restos, [DF] prueba que el problema de Galois inverso
para grupos abelianos se resuelve con extensiones ciclotmicas: dado G grupo abeliano finito
existe K subcuerpo de un cuerpo ciclotmico tal que G GalKQ . El recproco tambin vale:
Teorema (Kronecker-Weber): Todo cuerpo de nmeros con grupo de Galois abeliano
es isomorfo a un subcuerpo de un cuerpo ciclotmico.
Terminamos la seccin con una aplicacin de los cuerpos ciclotmicos a las construcciones
con regla y comps.
Teorema 2.84. El n-gono regular es constructible con regla y comps si y slo si pnq es
una potencia de 2.
Demostracin. Usaremos el teorema 2.27.
La construccin del n-gono regular es equivalente a la construccin de las races n-simas
de la unidad, pues son los vrtices del n-gono regular inscrito en el crculo unitario.
2i
` i sen 2
La construccin de n e n cos 2
es equivalente a la construccin de su
n
n
2
1
1
1
parte real, a : cos n 2 pzn ` n q 2 pn ` n q. Multiplicando esta identidad por n ,
obtenemos que n satisface la ecuacin cuadrtica en Qpaq:
2n 2an ` 1 0
Por lo tanto |Qpn q : Qpaq| 2, pues es y no es igual ya que n P CzR y Qpaq R.
Entonces la torre Q Qpaq Qpn q nos da que |Qpaq : Q| pnq{2.
Por lo tanto si el n-gono regular es constructible, entonces pnq debe ser potencia de 2.
1
Qp q
GalQ
Gm Gm1 G0 tidu
Ejercicios
Ej. 56 La demostracin del teorema 2.83 se puede retocar para probar que si F es un
F p q
cuerpo de caracterstica cero entonces GalF n es un subgrupo de Zn , y en particular es
abeliano.
128
2.12.
Extensiones trascendentes
ai1 ,...,in i11 . . . inn 0 ai1 ,...,in 0 @i1 , . . . , in , donde ai1 ,...,in P F
1i1 ,...,in n
No se trata de ahondar en la teora de las extensiones trascendentes, sino de dar un pantallazo general de
las definiciones y teoremas ms bsicos, y de algunos teoremas sorprendentes.
129
Ejemplo 2.12.4.
Una extensin es algebraica si y slo si su grado de trascendencia es 0
(una base de trascendencia es H).
?
tu es una base de trascendencia para Q Qp, 2q, luego esta extensin tiene grado
de trascendencia 1.
F F pX1 , . . . , Xn q es una extensin puramente trascendente, de grado de trascendencia
n.
Observar que dar el anillo de polinomios en n variables con coeficientes en F , F pX1 , . . . , Xn q,
es lo mismo que dar F junto con una extensin puramente trascendente F F p1 , . . . , n q.
En otras palabras, es lo mismo una indeterminada que un elemento trascendente.
El grado de trascendencia de Q R es el continuo, i.e. c |R| |PpNq|.
No se sabe si el grado de trascendencia de Q Qp, eq es 1 o 2. En otras palabras, no
se sabe si y e son algebraicamente independientes. Por lo tanto no se sabe por ejemplo
si ` e es trascendente. Sin embargo, se sabe que e (la constante de Gelfond) es
trascendente: esto es consecuencia del siguiente teorema, que respondi afirmativamente
al sptimo problema de Hilbert:
Teorema de Gelfond-Schneider (1934): Si , P C son nmeros algebraicos, ,
0, 1, y si R Q, entonces es trascendente.
En efecto, e pe i qi p1qi .
?
2
? ?2
y 2 son trascendentes.
130
2.13.
Extensiones inseparables
En esta seccin estudiaremos las extensiones inseparables. En el corolario 2.39 vimos que
toda extensin algebraica de un cuerpo de caracterstica cero es separable. Por lo tanto en
esta seccin trabajaremos siempre con cuerpos de caracterstica p 0.
Definicin. Sea k cuerpo de caracterstica p, f P krX s un polinomio no constante. El grado
n
de inseparabilidad de f es la mayor potencia p n , n 0 tal que f pX q g pX p q para algn
g P krX s.
Observacin 2.13.1. La anterior definicin tiene sentido: g no puede ser constante pues f no
n
lo es, y gr f pX q gr g pX p q p n gr g pX q, entonces necesariamente hay un mximo n que
n
cumple f pX q g pX p q.
La siguiente proposicin muestra que en un cuerpo de caracterstica p todas las races de
un polinomio irreducible tienen la misma multiplicidad, que es el grado de inseparabilidad del
polinomio:
Proposicin 2.87. Sea k cuerpo de caracterstica p y f P krX s un polinomio irreducible con
grado de inseparabilidad p n . Entonces f se escinde en su cuerpo de descomposicin sobre k
de la siguiente manera:
n
n
f pX q a0 pX a1 qp . . . pX ar qp
donde a1 , . . . , ar son distintos dos a dos.
n
f pX q g pX p q a0 pX p a1p q . . . pX p arp q a0 pX a1 qp . . . pX ar qp
f pX q X p b X p ap pX aqp
ai t i
f
i1
p1
bj t j
j1
i1
p1
P Fp pt p q
bjp t p j
j1
`
algn c P K , m0 P Z , de donde
f pX q g pX qm,F pX q c pm,F pX qqm0 `1
Con m0 ` 1 m P Z` se deduce la tesis.
132
: t P L : p P F u
Fp
Fp
133
...
p 8
Fp
(2.8)
r 1
8
Por la proposicin 2.41, para ver que F p es perfecto basta ver que pF p qp F p .
r
pr 1q
Esto es obvio de la igualdad (2.8) y de observar que pF p qp F p
.
8
Es el menor: sea E L un subcuerpo perfecto que contiene a F . Si P F p , entonces
r
r
r
r
P F p para algn r P Z` , i.e. p P F E que es perfecto: p p para algn P E .
8
Por lo tanto P E , probando que F p E .
El siguiente teorema nos dice que podemos partir una extensin algebraica cualquiera en
una parte separable y una puramente inseparable:
Teorema 2.93. Sea F K extensin algebraica de cuerpos de caracterstica p. Entonces la
extensin KFs K es puramente inseparable. Por lo tanto, si consideramos la torre
F KFs K
tiene el primer tramo separable y el segundo puramente inseparable.
Demostracin. Sea P K . Sea p n el grado de inseparabilidad de m,F . Entonces m,F pX q
n
n
g pX p q para algn g P F rX s. Por lo tanto g pp q m,F pq 0.
n`1
Por un lado, g no es un polinomio en X p , pues si g pX q hpX p q entonces f pX q hpX p q
contradiciendo la maximalidad de n.
Por otro lado, g es irreducible. En efecto, supongamos que g pX q upX qv pX q. Entonces
n
n
m,F pX q upX p qv pX p q: como m,F es irreducible esto implica que uno de los dos factores,
n
por ejemplo upX p q, es constante. En este caso debe ser upX q constante, y g es irreducible.
n
Por la proposicin 2.40 debe ser g un polinomio separable, luego p es raz de un polinomio
n
separable, de donde p P KFs : por el teorema 2.88 se deduce que KFs K es puramente
inseparable.
Isaacs ([Isa], p.301) indica que una extensin algebraica F K puede no poseer un cuerpo intermedio que sea puramente inseparable sobre F y que cumpla que K es separable sobre l.
Demostremos el teorema que auguramos en la observacin 2.4.5:
Teorema 2.94. Sea F K una extensin algebraica tal que todo polinomio no constante en
F rX s tiene una raz en K . Entonces K es algebraicamente cerrado.
Demostracin. Caso 1: F K es separable. Para ver que K es algebraicamente cerrado basta
ver que es una clausura algebraica de F : sea f P F rX s no constante, y veamos que tiene una
raz en K . Basta probarlo para f irreducible. Podemos suponer sin prdida de generalidad que
adems es mnico.
Por hiptesis f tiene una raz P K , y por lo tanto f m,F . Al ser F K separable, se
tiene que f es separable.
Sea E DescF pf q: es el cuerpo de descomposicin de un polinomio en F rX s separable,
luego la extensin F E es de Galois, y por lo tanto es separable (y es finita). Por el teorema
del elemento primitivo, se tiene E F pq para algn P E . Sea g m,F .
134
n`1
p pp qp p
Adems p
p P F , de donde P KFP . Esto muestra que pKFP qp KFP , i.e. KFP es
perfecto.
Como KFP es perfecto y KFP K es algebraica, entonces KFP K es separable (proposicin
2.42). Si probamos que todo polinomio no constante g P KFP rX s tiene una raz en K , entonces
ya terminamos pues estamos en el caso 1.
Sea g pX q a0 ` a1 X ` ` an X n P KFP rX s no constante. Sea r P N suficientemente
r
grande como para garantizar que pai qp P F para todo i 0, . . . , n. Entonces:
r
Por hiptesis, g pX qp tiene una raz P K . Pero si g pqp 0, entonces debe ser g pq 0,
y es raz de f , terminando la demostracin.
135
2.14.
En esta seccin nos proponemos dar una condicin necesaria y suficiente para que una
ecuacin ppX q 0, donde p es un polinomio con coeficientes en un cuerpo de caracterstica
cero, sea resoluble por radicales. Como corolario, probaremos el famoso teorema de Abel, que
dice que el polinomio general de grado n 5 no es resoluble por radicales.
Para simplificar un poco el trabajo lo probaremos para polinomios sobre cuerpos de caracterstica cero. Una demostracin en general se encuentra, por ejemplo en [We], [Rot2] o
[Rot3].
Definicin. Una extensin pura de tipo m es una extensin F F puq donde u m P F para
algn m 1. Una extensin F K es radical si existe una torre de cuerpos (que llamaremos
torre radical)
F K0 K1 Kt K
(2.9)
donde las extensiones Ki Ki`1 son puras para todo i 0, . . . , t 1.
Decimos que f P F rX s es resoluble por radicales si existe una torre como (2.9) tal que f
se escinde sobre Kt (i.e. tal que DescF pf q Kt 9 ).
Observacin 2.14.1.
2
2
donde las races quintas?fueron elegidas
arbitrariamente (i.e. y corresponden a la eleccin
?
5` 5
5 5
5
5
de una raz de X 2 y X 2 respectivamente). Es una torre de extensiones puras
como en (2.9).
9
Kronecker introdujo la siguiente terminologa sugerente. Los elementos de Kt que no estn en F se llaman
irracionalidades; las que estn en DescF pf q se dicen naturales y las que no accesorias.
136
` 2
extensin pura). Pero una raz quinta
2i
`
i
sin
primitiva de la unidad es e 5 cos 2
. Ciertamente no parece ser el tipo de
5
5
elementos que tenemos en mente adjuntar cuando hablamos de ecuaciones resolubles por
radicales. Que haya una expresin por radicales para las races n-simas de la unidad es un
resultado de Gauss, cuya demostracin puede consultarse por ejemplo en [T], pp. 203-207.
Proposicin 2.95. Sea F K una extensin radical. Entonces se puede tomar una torre
de cuerpos como en (2.9) donde Ki Ki`1 es una extensin pura de tipo primo, para todo
i 0, . . . , t 1.
Demostracin. Basta probar que podemos reemplazar cada extensin pura de la torre dada por
una torre donde cada cuerpo es una extensin pura de tipo primo del anterior. Sea entonces
k kpuq una extensin pura de tipo m. Descompongamos m p1 . . . pk como producto de
primos. Entonces
k kpu m{p1 q kpu m{p1 p2 q kpuq
es una torre de extensiones puras tal que kpu m{p1 ...pi q kpu m{p1 ...pi`1 q es de tipo pi`1 .
La siguiente proposicin justifica que en caracterstica cero podamos limitarnos a considerar
extensiones radicales de Galois sin perder generalidad.
Proposicin 2.96. Sea F K una extensin radical. Sea N la clausura normal de la extensin.
Entonces F N es radical.
Demostracin. Sea F K una extensin radical: existen u1 , . . . , ut tales que
F F pu1 q F pu1 , u2 q F pu1 , . . . , ut q K
es una torre radical. Sea E la clausura normal de F K . Afirmo que
`
E F tpui q : P GalEF , i 1, . . . , tu
En efecto, como vimos en la proposicin 2.57,
E DescF pmu1 ,F . . . mut ,F q F ptraces de mu1 ,F . . . mut ,F uq
La observacin 2.9.1 nos da que traces de mui ,F u tpui q : P GalF pmui ,F qu. Veamos que
tambin es igual a tpui q : P GalEF u.
P GalEF por el teorema 2.31 de
pq: Podemos extender cada P GalF pmui ,F q a un
extensin al cuerpo de descomposicin, tomando a mu1 ,F . . . mut ,F P F rX s como polinomio.
pq: Si P GalEF , entonces se restringe a un F -isomorfismo F pui q F ppui qq, luego por
el corolario 2.13 ui y pui q deben ser races del mismo polinomio irreducible con coeficientes
137
(2.10)
Estamos en las hiptesis del lema anterior: tenemos pues que GalF pf q GalEF es resoluble.
Consideremos la torre F F E . Recordando que F es de caracterstica cero, tenemos
que F E es de Galois pues E DescF pf pX m 1qq, y F F tambin es de Galois, por
lo tanto por el teorema fundamental de la teora de Galois, se tiene que GalEF GalEF , y:
GalEF
GalFF
E
GalF
Tenemos que GalEF es resoluble; afirmo que GalFF tambin lo es. En efecto, es abeliano (el
grupo de Galois del cuerpo de descomposicin de X n 1 sobre un cuerpo de caracterstica cero
es abeliano: es el ejercicio 56). Por lo tanto GalEF es resoluble (es una extensin de grupos
resolubles).
Ahora consideramos la torre F E E . De nuevo, F E y F E son de Galois,
luego
GalEF
E
GalF
GalEE
y en conclusin GalEF es resoluble por ser cociente de un grupo resoluble.
Ya podemos probar que, para cualquier n 5, no es posible dar una frmula general que
mediante sumas, productos y extraccin de races exprese los ceros de cualquier polinomio de
grado n:
Corolario 2.99 (Abel). El polinomio general de grado n sobre un cuerpo F (de caracterstica
cero) no es resoluble por radicales, para n 5.
Demostracin. Ya vimos en el corolario 2.79 que el grupo de Galois del polinomio general de
grado n es Sn , que ya probamos (corolario 1.83) que no es resoluble para n 5.
139
140
F
Demostracin. Tenemos que E F pq y E F pq donde es el conjunto de races de
f . Sea P GalEF .
permuta y deja fijo F , por lo tanto deja fijo F . Por lo tanto |E P GalEF .
La restriccin es un morfismo. Para ver que es inyectivo, sea P GalEF tal que |E id.
En este caso, deja fijo F y deja fijo E F pq, por lo tanto deja fijo F pq E , i.e.
id.
Teorema 2.102. Sea F cuerpo de caracterstica cero. Sea F E extensin de Galois tal que
GalEF es resoluble. Entonces existe una extensin radical de F que contiene a E .
En particular, si f P F rX s tiene grupo de Galois GalF pf q resoluble entonces es resoluble
por radicales.
Demostracin. Sea G GalEF . Como G es finito y resoluble, entonces G tiene una serie de
composicin con factores de orden primo. En particular, el penltimo trmino de la serie es
un subgrupo normal H de ndice primo. Sea p |G : H|. Sea una raz p-sima primitiva
de la unidad, que existe en el cuerpo de descomposicin de X p 1 sobre F pues F tiene
caracterstica cero.
1er caso: P F . Hacemos induccin en |E : F |. El caso base es trivial.
Tenemos que FixpHq E es una extensin de Galois, y GalEFixpHq H es resoluble pues es
un subgrupo de G que es resoluble.
Ahora, |E : FixpHq| |E : F |, entonces por hiptesis de induccin obtenemos una torre
radical
Fix(H) R0 R1 Rt
tal que E Rt .
Por otro lado, como H G y |G : H| p, por el teorema fundamental de la teora de
Galois F FixpHq es una extensin de Galois de grado p.
Estamos en las hiptesis del lema 2.100: se tiene que FixpHq F pzq donde z p P F , i.e.
F FixpHq es una extensin pura, por lo tanto es radical, y FixpHq Rt tambin lo es, por
lo tanto F Rt es una extensin radical de F que contiene a E .
2 caso: R F . Sea F F pq, E E pq.
Afirmacin: F E es de Galois.
Demostracin: Como F E es de Galois, es el cuerpo de descomposicin de un polinomio
separable f P F rX s. Si f X p 1 entonces E E y ya est. Si f X p 1, entonces
141
142
Captulo 3
Representaciones de grupos finitos
3.1.
Definiciones bsicas
r `k2m
Ar `km Ar `km Am Ar `k
A veces sobreentenderemos el espacio vectorial o el morfismo, diciendo que V o que es una representacin
de G .
143
V1
V2
2 pg q
V2
g g
h h
g h g h
g PG
finita
hPG
finita
g ,hPG
Proposicin 3.2. Sea k cuerpo. Es lo mismo dar una representacin sobre k (de grado n)
que dar un krG s-mdulo a izquierda (libre de rango n).
145
g g v
g pg qpv q
g PG
finita
g PG
finita
pg q
h h
h g h
hPG
finita
hPG
finita
c ec , c P R
cPclpG q
el centro de RrG s si y slo si conmuta con todos los elementos h P G , i.e. si hxh1 x para
todo h P G . Entonces, si h P G :
x P Z pRrG sq h
g g h1
g g
g PG
g hg h
g PG
1
g PG
g g
g PG
g 1 hg g
g PG
146
g PG
g g
c ec , c P R
cPclpG q
Ejercicios
Ej. 57 La representacin R R2 R2 dada por t px, y q px, x ` ty q no es irreducible
pero es indescomponible.
Ej. 58 Generalizando la representacin dual, si V , W son representaciones de un grupo
G sobre k, entonces Homk pV , W q es una representacin, con la accin
G Homk pV , W q Homk pV , W q, pg f qpv q g f pg 1 v q
Ej. 59 Sea G grupo finito, V una representacin de G . Para todo v P V existe una
subrepresentacin W V de grado finito tal que v P W .
147
3.2.
Primeros teoremas
ker f V f 0, o
ker f t0u y f es inyectiva. Como Im f W es G -invariante y W es irreducible,
entonces Im f t0u f 0 o Im f W , y f es sobreyectiva, luego un isomorfismo.
2. Como C es algebraicamente cerrado, existe P C valor propio de f . Sea v0 0 un
vector propio de valor propio .
Probemos que f I . Para esto consideremos la transformacin lineal f : V V ,
f pv q f pv q v . Veamos que f 0, en cuyo caso terminamos.
f es un G -mapa:
g f pv q g f pv q g v f pg v q g v f pg v q
Como f pv0 q 0 y v0 0, como V es irreducible debe ser ker f V , i.e. f 0.
El siguiente teorema nos da condiciones suficientes para que toda subrepresentacin tenga
un complemento: el grupo debe ser finito y la caracterstica del cuerpo debe ser nula o no
dividir al orden del grupo. En realidad se puede probar que estas condiciones son tambin
necesarias.
Recordemos primero que una proyeccin de un espacio vectorial V sobre un subespacio W
es una transformacin lineal T : V W tal que T |W id. Es equivalente dar una proyeccin
que dar una transformacin lineal T : V V tal que T 2 T , tomando como subespacio a
Im T .
Teorema 3.6 (Maschke). Sea G grupo finito, pV , q una representacin de G . Si car k 0
o car k ffl |G |, entonces todo subespacio G -invariante W posee (al menos) un complemento
G -invariante. Es decir, existe U subespacio G -invariante tal que V W U.
148
Demostracin. Basta encontrar una proyeccin p0 de V sobre W que sea un G -mapa, pues
entonces ker p0 e Im p0 son subespacios G -invariantes, y V ker p0 Im p0 ker p0 W .
Sea q : V V una proyeccin de V sobre W , i.e. q es una transformacin lineal tal que
Im q W y q|W id. Definimos p0 : V V como
p0
1
g q g 1
|G | g PG
Aqu hemos usado la hiptesis de que |G | es finito, y adems es invertible por las hiptesis
sobre car k. Veamos que p0 es la proyeccin que estamos buscando.
Im p0 W :
pq : g q g 1 pv q g pqpg 1 pv qqq P W , pues como q es proyeccin, qpg 1 pv qq P W ,
luego como W es G -invariante, g pqpg 1 pv qqq P W , para todo g P G , v P V , luego
p0 pv q P W para todo v P V , i.e. Im p0 W .
pq Dado w P W ,
1
q|W id 1
g qpg 1 pw qq
g g 1 pw q
|G | g PG
|G | g PG
1
1
1
|G | w w
g g 1 pw q
w
|G | g PG
|G | g PG
|G |
p0 pw q
1
g q g 1 pg0 pv qq
|G | g PG
id
1
g0 g0 1 g q g 1 g0 pv q
|G | g PG
1
g g 1 g q g 1 g0 pv q
|G | g PG 0 0
1
g 1 g q g 1 g0 pv q
g0
|G | g PG 0
g0
h q h1 pv q
|G | hPG
g0 pp0 pv qq
La igualdad * se deduce de que g01 g h es una biyeccin de G , i.e. cuando g se mueve por
todo G , tambin g01 g recorre todo G .
Adoptando la perspectiva de los mdulos sobre el lgebra de grupo, el teorema de Maschke
dice que si G es un grupo finito tal que car k 0 o car k ffl |G |, entonces el lgebra de grupo
krG s es un anillo semisimple.
149
Notacin. V
: V V .
W1m1
Wkmk ,
donde Vi Vj si i j
(3.1)
donde Wi Wj si i j
(3.2)
ij : Vini Wj
ij j i
Podemos suponer que la cantidad de sumandos diferentes que aparecen en V y que aparecen en W son
los mismos: si no lo son, completamos el menor con sumandos nulos.
150
Basta pues probar que ij 0 para todo i j, pues entonces pVini q Wimi que es
lo que queremos probar.
i : V ni y
Consideremos los bloques afuera de la diagonal, i.e. los ij con i j. Si V
i
j : W mj , tenemos ij : V
i W
j.
W
j
ni veces
i y W
j en irreducibles es Vi Vi Vi y
La nica manera de descomponer V
mj veces
1
g
|G | g PG
1
1
1
g pg0 pv qq
g g0 pv q
h pv q pv q
|G | g PG
|G | g PG
|G | hPG
1
1
g pv q
g g pv q
g0 ppv qq g
|G | g PG
|G | g PG 0
1
1
g0 g pv q
h pv q pv q
|G | g PG
|G | hPG
usando que g0 g h es una biyeccin de G . Esto muestra que es un G -mapa. Adems
tenemos g ppv qq pv q.
Im V G :
pq: u pv q g puq g ppv qq pv q u u P V G .
151
1
1
1
g pv q
v
|G |v v v P Im .
|G | g PG
|G | g PG
|G |
1
1
1
2 : ppv qq
g ppv qq
pv q
|G |pv q pv q.
|G | g PG
|G | g PG
|G |
pq: v P V G pv q
Ejercicios
Ej. 60 Sean V , W representaciones de un grupo G sobre k. Notemos
HomG pV , W q tG -mapas de V en W u y consideremos la representacin Homk pV , W q.
Entonces pHomk pV , W qqG HomG pV , W q.
Ej. 61 Sea G grupo finito, V una representacin compleja de grado finito. Existe un
producto interno en V preservado por la accin de G , i.e. tal que xg v , g w y xv , w y para
todo v , w P V , g P G . Adems, si la representacin es irreducible, el producto interno es nico
a menos de multiplicar por un escalar.
152
3.3.
Caracteres
@g , h P G .
2. V p1q dimk V .
3. V W V ` W .
4. V bk W V W .
5. V pg q V pg 1 q
@g P G .
2. V p1q Trpidq 1.
3. V W pg q TrpV W pg qq TrpV pg qq ` TrpW pg qq V pg q ` W pg q pues la
matriz asociada a pV W qpg q es una matriz en bloques p A0 B0 q donde A, B son matrices
asociadas a V pg q, W pg q respectivamente (en bases adecuadas).
4. Anlogamente al tem anterior: recordemos que si A paij q y B son las matrices
asociadas a V pg q y a W pg q respectivamente,
la matriz
asociada a pV b W qpg q
a11 B a1n B
es el producto de Kronecker, A b B
.. . . ..
. .
.
am1 B amn B
g 1 vi
aij vj ,
g vi
aij vj
j
luego por definicin de base dual, aii pg vi qpvi q vi pg 1 vi q aii . Sumando para
todo i obtenemos que V pg q V pg 1 q.
6. Sea g P G . Por la proposicin 3.10 podemos elegir una base de V tal que la matriz
asociada a g sea una matriz diagonal pij q cuya diagonal est formada por races de
la unidad. En particular |ii | 1, luego 1
ii ii . Entonces
V pg 1 q
1
ii
ii
ii V pg q
V bW
ppg f q b pg w qqpv q
def. de
pg f qpv q g w
f pg 1 v q g w
linealidad de g
g pf pg 1 v qw q
Homk pV ,W q
def. de
g rppf b w qqpg 1 v qs
g pf pg 1 v qw q
Teorema 3.16 (Ortonormalidad de caracteres). Sean V , W representaciones complejas irreducibles de un grupo G . Entonces
#
0 si V fi W
xV , W y
1 si V W
Demostracin. Por los ejercicios 58 y 60, tenemos que HompV , W q es una representacin
compleja de G tal que pHompV , W qqG HomG pV , W q.
Por lo tanto en este caso el operador de Reynolds es
: HompV , W q HomG pV , W q,
1
g
|G | g PG
(3.3)
1
tr es lineal 1
trpq tr
g
HompV ,W q pg q
(3.4)
|G | g PG
|G | g PG
Aplicando el lema 3.15 y la propiedad 3.13, se tiene:
HompV ,W q V bW V W V W
Usando esta igualdad en la ecuacin (3.4) e igualando a (3.3), junto con la definicin del
producto interno se obtiene:
156
1
xW , V y
V pg qW pg q
|G | g PG
#
0 si V fi W
1 si V W
aj xVj , y a
j1
157
n1 1 ` ` nk k , entonces se cumple x, y
ni2 . En particular es irreducible si y
i1
slo si xV , V y 1.
Demostracin. Descomponemos V en irreducibles, V V1 Vn . Se tiene V
n1 1 ` ` nk k para ciertos ni P N. De esta manera,
xV , V y xn1 1 ` ` nk k , n1 1 ` ` nk k y
ni2
i1
ni2 1
i1
xV , V y 1
Ahora vemos que el nmero de caracteres irreducibles de un grupo finito es finito.
Teorema 3.22. Un grupo finito G tiene un nmero finito de caracteres irreducibles complejos
1 , . . . , k cuyos grados ni verifican la relacin:
|G |
ni2
i1
Observacin 3.3.3. Cabe destacar que en la demostracin anterior probamos que todo carcter
irreducible aparece en la representacin regular tantas veces como su grado.
Vamos a refinar ahora el teorema anterior diciendo exactamente cuntos caracteres irreducibles tiene un grupo finito.
Definicin. Sea G un grupo finito. Una funcin de clases, o funcin central, es una funcin
f : G C tal que f pg 1 hg q f phq para todo h, g P G . Notaremos CpG , Cq al conjunto de
funciones centrales de G .
Ejemplo 3.3.4. Los caracteres son funciones centrales.
Proposicin 3.23. Sea G un grupo finito. Entonces CpG , Cq CG es un C-subespacio
vectorial, y su dimensin es el nmero de clases de conjugacin de G .
Demostracin. Claramente, la suma y el producto por un escalar de funciones centrales es
una funcin central.
Si C1 , . . . , Cn son las clases de conjugacin de G y c1 , . . . , cn son representantes, entonces
#
1 si g P Ci
fi : G C, fi pg q
0 si no
son una base de CpG , Cq.
Observacin 3.3.5. La proposicin anterior nos da que hay a lo sumo tanto caracteres irreducibles de un grupo finito como clases de conjugacin de G . En efecto, si F t P CpG , Cq :
es carcter irreducible de G u, por ortogonalidad de caracteres se tiene que F es linealmente
independiente. Entonces |F | dim CpG , Cq nmero de clases de conjugacin de G .
Nos dirigimos ahora a probar que en realidad esta cota siempre se alcanza, i.e. siempre
hay tantos caracteres irreducibles de G como clases de conjugacin.
mo de C-espacios vectoriales. El lema 3.3 nos dice que bajo este isomorfismo, CpG , Cq se
corresponde con el centro de CrG s. Por lo tanto si P CpG , Cq, podemos identificar con
x
pg qg P Z pCrG sq.
g PG
x
pg qg P Z pCrG sq.
g PG
|G |
x, V yv
n
159
n Trpf q Tr
pg qg
pg qTrpg q
pg qV pg q |G |x, V y
g PG
g PG
g PG
Teorema 3.25. Si G es un grupo finito, sus caracteres irreducibles forman una base ortonormal
de CpG , Cq.
Demostracin. Sean 1 , . . . , k los caracteres irreducibles diferentes de G . Como los caracteres son ortogonales, entonces son linealmente independientes. Slo resta ver que generan
CpG , Cq. Basta ver que los caracteres conjugados 1 , . . . , k generan CpG , Cq, observando que
xi , j y xj , i y implica que los caracteres conjugados son ortogonales luego linealmente
independientes.
Sea P CpG , Cq, y sea
:
x, i yi P CpG , Cq
i1
x, j y x, i yi , j x, j y x, i yxi , j y x, j y x, j y 0
i1
i1
Sea x
P Z pCrG sq el elemento correspondiente a a travs del isomorfismo CG CpG , Cq,
i.e. x
pg qg P Z pCrG sq (observacin 3.3.6).
g PG
|G |
x, V yv 0
n
0 x1
pg qg
g PG
de donde necesariamente 0.
160
La proposicin 3.23 junto con el teorema nos dan el nmero exacto de caracteres irreducibles
de un grupo finito:
Corolario 3.26. El nmero de caracteres irreducibles de un grupo finito G es igual al nmero
de clases de conjugacin de G .
161
3.4.
Ejemplos y aplicaciones
3.4.1.
Representaciones de grado 1
3.4.2.
Tablas de caracteres
162
Ejemplo 3.4.2. Sea : Sn GLn pCq, definida en la base cannica te1 , . . . , en u de GLn pCq
como pqpei q epiq . sta es la representacin estndar de Sn . Se tiene:
0 1 0
0 0 1
p12q 1 0 0, p123q 1 0 0
0 0 1
0 1 0
Ejemplo 3.4.3. Sea : S3 GL2 pCq definida en los generadores p12q,p123q como
1 1
1 1
p12q
, p123q
0
1
1
0
y sea : S3 GL1 pCq definida como id para todo . Entonces:
1 1 0
1 1 0
1 0, p qp123q 1
0 0
p qp12q 0
0
0 1
0
0 1
En el ejemplo 3.4.5 probaremos que es irreducible, y al final habremos probado que la
representacin es equivalente a la representacin estndar.
Ejemplo 3.4.4. Sea la accin Sn C C, definida como z pqz: define una representacin no trivial de Sn de grado 1, llamada representacin alternada de Sn .
Ejemplo 3.4.5. Determinemos la tabla de caracteres de S3 .
Sabemos que S3 tiene 3 clases de conjugacin: tidu, tp12qp23qp13qu, tp123qp132qu. Por lo
tanto S3 tiene 3 caracteres irreducibles, cuyos grados d1 , d2 , d3 satisfacen la relacin
d12 ` d22 ` d32 1
La nica solucin posible a menos de reordenacin de esta ecuacin es d1 1, d2 1, d3
2: hay dos representaciones irreducibles de grado 1 y una representacin irreducible de grado
2.
Deben ser entonces la representacin alternada y una representacin irreducible de grado
2. Consideremos la del ejemplo 3.4.3.
Afirmacin: es irreducible.
Demostracin: Basta ver que x , y 1. Como los caracteres son funciones centrales,
para calcular el producto interno basta ver cunto valen en un conjunto de representantes
de las clases de conjugacin. pidq 2, pp12qq 0, y pp123qq 1. Como hay tres
transposiciones y dos 3-ciclos, se tiene:
1
x , y p22 ` 3 02 ` 2 p1q2 q 1
6
y es irreducible.
Ya podemos entonces calcular la tabla de caracteres de S3 .
S3
id
alt
1
id
1
1
2
3
p12q
1
-1
0
163
2
p123q
1
1
-1
0 1 0
0 0
p12q 1 0 0, p123q 1 0
0 0 1
0 1
las matrices:
1
0
0
id
3
p12q
1
p123q
0
Ejercicios
Ej. 62 Generalizar la representacin 3.4.3 para conseguir una representacin irreducible
de grado n 1 de Sn .
164
Bibliografa
[A] P. Aluffi, Algebra: Chapter 0, 2009, Graduate Studies in Mathematics, Volume 104, AMS
[DF] D. Dummit & R. Foote, Abstract Algebra, Third Edition, 2004, John Wiley & Sons, Inc.,
US
[F] W. Fulton & J. Harris, Representation Theory: A First Course, 1991, Springer-Verlag
New York, Inc.
[H] T. Hungerford, Algebra, 1974, Springer-Verlag New York, Inc.
[J]
Theory,
disponible
en
http://www.jmilne.org/math/
166
ndice alfabtico
4-grupo de Klein, 8
ciclotmico, 125
compuesto, 113
de adjuncin, 83
de descomposicin, 93
de nmeros, 124
de nmeros algebraicos, 88
generado, 83
ordenado, 111
perfecto, 99
real cerrado, 111
Abelianizacin, 68
Accin, 42
fiel, 43
primitiva, 49
transitiva, 43
trivial, 43
lgebra de grupo, 145
lgebra sobre un anillo conmutativo, 145
Algebraicamente dependientes, 129
Asociatividad, 5
Automorfismo, 7, 26
externo, 26
interno, 26
Ecuacin de clases, 47
Elemento
algebraico, 83
primitivo, 83
trascendente, 83
Endomorfismo, 7
de Frobenius, 99
Entero algebraico, 153
Epimorfismo, 7
Estabilizador, 45
Extensin
de cuerpos, 80
abeliana, 127
algebraica, 85
de Galois, 102
finita, 81
finitamente generada, 83
normal, 106
pura, 136
puramente inseparable, 131
puramente trascendente, 129
radical, 136
separable, 97
simple, 83
trascendente, 85
de grupos, 31
Carcter, 153
de un grupo, 102, 153
irreducible, 153
Caracterstica de un cuerpo, 80
Centralizador, 46
Centro de un grupo, 8, 26
Ciclo, 50
Clase de conjugacin, 44
Clausura
algebraica, 95
de Galois, 108
normal, 108
perfecta, 133
separable, 133
Coclase, 16
Completa reducibilidad de una representacin, 150
Congruencia, 16, 21
Conjugacin, 26
Conmutador, 67
Conmutatividad, 5
Correspondencia de Galois, 109
Criterio de Eisenstein, 78
Cuaterniones, 9
Cuerpo, 80
algebraicamente cerrado, 95
167
Funcin
de Euler, 13
central, 159
de clase, 159
hamiltoniano, 19
Lagrangiano, 18
libre, 37
multiplicativo, 8
resoluble, 64
simtrico, 9, 50
simple, 19
trivial, 8
G -conjunto, 42
Generador, 6
Generadores y relaciones, 39
G -mapa, 43, 144
G -mdulo, 143
Grado
de inseparabilidad, 131, 133
de separabilidad, 133
de trascendencia, 129
de un elemento algebraico, 85
de una extensin de cuerpos, 81
Grupo, 5
abeliano, 5
abeliano libre, 10
aditivo, 8
afn, 28
alternado, 56
cclico, 12
circular, 13
cociente, 20
completo, 26
de cuaterniones, 9
de Galois, 101
de un polinomio, 121
de isotropa, 45
de orden 2p, 48
de orden p, 18
de orden p 2 , 71
de orden pq, 75
de orden 12, 75
de orden 6, 48
de orden 8, 40
de permutaciones, 50
diedral, 9
diedral infinito, 41
especial lineal, 9
proyectivo, 20
finitamente generado, 6, 39
finitamente presentado, 39
general lineal, 9
proyectivo, 20
Homomorfismo
de cuerpos, 80
de grupos, 7
Imagen de un morfismo, 7
ndice
de un subgrupo, 17
Inverso, 5
Involucin, 11
Isomorfismo, 7
de G -mdulos, 144
k-monomorfismo de cuerpos, 101
Lema
de Schur, 148
de Zassenhaus, 63
Monoide, 5
Monomorfismo, 7
Morfismo
de G -conjuntos, 43
de G -mdulos, 144
de cuerpos, 80
de grupos, 7
trivial, 8
Ncleo de un morfismo, 7
Nmero
algebraico, 88
constructible, 90
trascendente, 88
Neutro, 5
Operador de Reynolds, 152
rbita de una accin, 44
Orden
de un elemento, 6
de un grupo, 5
168
Semigrupo, 5
Serie
abeliana, 64
de composicin, 61
derivada, 68
normal, 60
subnormal, 60
Signo de una permutacin, 55
Subconjunto G -estable, 44
Subcuerpo, 80
Subespacio G -invariante, 144
Subgrupo, 6
caracterstico, 27
conmutador, 67
de Sylow, 71
derivado, 67
generado, 6
normal, 19
normal generado por un subconjunto,
39
subnormal, 60
transitivo, 43
Subrepresentacin, 144
Sucesin exacta, 7, 31
se escinde, 36
Permutacin, 9, 50
par, 55
p-grupo, 70
Polinomio
ciclotmico, 125
general de grado n, 123
mnimo, 85
puramente inseparable, 131
resoluble por radicales, 136
se escinde, 93
separable, 97
simtrico, 123
elemental, 123
Presentacin de un grupo, 39
Primo de Fermat, 128
Problema
de Galois inverso, 124, 127
de la extensin, 31, 36
de Whitehead, 36
Producto
directo de grupos, 24
semidirecto de grupos, 28
tensorial, 39
Propiedad universal
de la abelianizacin, 68
del cociente, 22
p-subgrupo de Sylow, 71
Punto fijo de una accin, 45
Raz
n-sima primitiva de la unidad, 13
Representacin, 143
alternada de Sn , 163
completamente reducible, 145
conjuntista, 42
equivalente, 144
estndar de Sn , 163
indescomponible, 145
irreducible, 144
lineal, 143
matricial, 143
por permutaciones, 42
regular, 52, 146
trivial, 144
Resolvente cbica, 122
169
de Nielsen-Schreier, 38
de refinamiento de Schreier, 63
de Schur-Zassenhaus, 30, 36
de Sylow, 71, 73
de transitividad de ndices, 17
de transitividad de grados, 86
de Von Dyck, 40
del elemento primitivo, 116
fundamental de la teora de Galois, 108
fundamental de las funciones racionales
simtricas, 124
fundamental de los grupos abelianos, 10
fundamental del lgebra, 111
Torre de cuerpos, 85
Transposicin, 50
Unin disjunta, 17
170
ndice de notaciones
<, 6
|G |, 5
xay, 12
rG , G s, 67
xSy, 6
H char G , 27
HK , 11
HompG1 , G2 q, 7
Im , 7
|G : H|, 17
InnpGq, 26
A, 153
Aff n pkq, 28
a ` H, 16
aH, 16
An , 56
Aut(G ), 9
k , 8
ker , 7
KFP , 133
KFs , 133
CG pxq, 46
, 121
m,F , 85
Mn pkq, 9
n pCq, 13
, 121
DescF pf q, 93
Df , 97
Dn , 9
N G , 19
NG pHq, 46
N Q, 28
opxq, 44
End(G ), 9
Ext1 pQ, Nq, 36
PGLn pkq, 20
PSLn pkq, 20
F pq, 83
, 13
n , 125
8
F p , 133
Fpn , 118
F pX q, 37
Q, 9
Q, 88
R , 8
g , 143
G 1 , 67
g , 42
Gab , 68
GalF pf q, 121
GalKF , 101
GLn pkq, 9
GLpV q, 143
grF pq, 85
Gx , 45
g x, 42
G xG 1 , 44
SLn pkq, 9
Sn , 9, 50
StabpSq, 45
Stabpxq, 45
Sylp pG q, 71
SympX q, 9, 50
T, 13
\, 17
V, 8
V n , 150
H ` a, 16
Ha, 16
X0 , 45
171
xX | Py, 39
rx, y s, 67
Z pG q, 8
n , 125
Zn , 8
172