Documente Academic
Documente Profesional
Documente Cultură
;a|
C om it E d ito rial:
x \f i
Marcelo A f ila r Ral Quiroga
IM, UNA A t' CINVESTAV
Luz de Teresa Sergio Rajsbaum
JM, UNAM IM, UNAM
Jos Ma. Gonzlez Barrios Jos Sead
IIMAS, UNAM IM, UNAM
Luis Gorostiza M artha Takane
CINVESTAV IM, UNAM
Max Neumann - Jorge X. Velasco
IM, UNAM UAM, Iztapalapa
Guillermo Pastor
ITAM
E ditores E jecutivos:
Luis Gorostiza Luz de Teresa
CINVESTAV Instituto de Matemticas, UNAM
lgorosti@math.cinvestav.mx dcteresa@matem.unam.mx
Publicacin d e la
SOCIED A D M A T E M T IC A M E X IC A N A y
R E Y E R T E D IC IO N E S , S.A . D E C .V .
2006
UNIVERSIDAD NACIONAL DE INGENIERIA
FACULTAD DE CIENCIAS
BIBLIOTECA
Jo s)
F echa .Q .5 /M /M .___________
INGRESO Q
COMPRA
/
DONACION
8 .CO
CANJE .......
Felipe Z aldvar
60833
Departamento de Matemticas
Universidad Autnoma Metropolitana -1
09340 Mxico, D. F.
MXICO
* [ l>Sf)N C r i s t b a l )] / c
C o rrjp ra ,
n d ic e g e n e r a l
Introduccin V
Captulo 1. Simetras y operaciones binarias 1
Captulo 2. Grupos y subgrupos 11
Captulo 3. Grupos cclicos 21
Captulo 4. Grupos de permutaciones 29
Captulo 5. Clases laterales y grupos cociente 53
Captulo 6. Homomorfismos e isomorfismos 71
Captulo 7. Productos directos y grupos abelianos finitos 87
Captulo 8. Acciones de grupos y un teorema de Frobenius 97
Captulo 9. Los teoremas de Cauchy y Sylow 107
Captulo 10. Grupos simples 131
Captulo 11. Grupos solubles 139
Captulo 12. Grupos de matrices 159
Captulo 13. Representaciones lineales de grupos finitos 169
Captulo 14. Caracteres de grupos finitos 185
Bibliografa 251
cuyo origen puede ubicarse en uno de los inicios del lgebra misma, a saber el estudio
de las permutaciones de las races de polinomios, por Galois, Lagrange y Vite.
Captulo
S im e tra s y o p e r a c i o n e s b i n a r i a s
L A IDEA de sim etr a EST presente en varios contextos: en las artes plsticas
(pintura, escultura, arquitectura), donde en algunos casos es obvia, por ejemplo,
en el diseo de algunas construccionesiglesias o catedrales con sus dos torres, acue
ductos con sus arcos repetidos, etc. Un ejemplo inmediato est dado por las simetras
de la figura humana, como es manifiesto en el conocido dibujo de Leonardo da Vinci
sobre las proporciones del cuerpo humano:
2 1
3 4
con vrtices etiquetados por 1 ,2 ,3 y 4. Si queremos ver las simetras de este cuadrado,
lo que deseamos es ver cules movimientos o cambios llevan al cuadrado en s mismo.
Lo primero que observamos es que basta ver qu movimientos o cambios llevan un
vrtice en otro ya que esto es suficiente para que el cuadrado no cambie. Las acciones
sobre el cuadrado, que lo mantienen sin cambio son:
Rotaciones r$ por ngulos 0 7r / 2 , 7r, 37t/ 2 , 27t, etctera. En general,
rotaciones por ngulos que son mltiplos enteros de 7r / 2 . Note que al rotar 2it
es lo mismo que rotar 0 grados, Tambin, si n > 0 es un entero, al rotar nn/2
I. SIMETRAS Y OPERACIONES BINARIAS 3
Veamos cmo son las acciones anteriores (rotaciones y reflexiones actuando sobre
el cuadrado que estamos considerando, al que denotaremos por 6).
Para la rotacin ro, esta accin no hace nada. Le llamaremos la accin neutra
o identidad y la denotamos mediante el smbolo e.
Para la rotacin r v /2, la accin sobre el cuadrado C est dada por:
2 1 1 4
*V/2
3 4 2 3
2 1 4 3
3 4 1 2
y notamos que r = r */2 r*/2>es decir, rotar 180 grados es lo mismo que
rotar primero 90 grados y luego rotar otros 90 grados. Usaremos la abrevia
cin
V = V / 2 V/2 = r / 2
4 i. SIMETRAS Y OPERACIONES BINARIAS
r3ir/2 = r
Tambin, observe que r ^ 2 = e, ya que rotar 360 grados tiene el mismo efecto
que no hacer nada.
Para la reflexin py, su accin sobre el cuadrado 6 est dada por.
2 1 1 2
PY
3 4 4 3
El lector puede ver cmo actan las otras reflexiones. En particular, observe
que la accin de la reflexin pi sobre el cuadrado 6 es:
2 1 4 1
Pi
3 4 3 2
1 1 4 4 1
3 4 2 2
3 3
t SIMETRAS Y OPERACIONES BINARIAS 5
Unos clculos sencillos nos convencern que las simetras del cuadrado 6 estn
dadas por las acciones
G = { e , r , r 2, r 3 , p , p . r , p . r 2 , p . r 3},
donde e es la accin neutra que no hace nada, r = rn /2 y p = py.
Simetras. La discusin anterior nos lleva a las ideas siguientes, que son necesarias
para entender el concepto de simetra. Se tiene un conjunto de objetos (que puede
ser uno solo, como en el ejemplo del cuadrado anterior) al que denotamos mediante
A. Tambin se tiene un conjunto no vaco G, cuyos elementos llamaremos simetras,
junto con una funcin
GxA-+A
que asigna a cada par ordenado (cr, a), con cr 6 G y a A> el objeto o * a 6 A. A
esta funcin la llamaremos una accin de G en A. Estos dos conjuntos y la accin que
estamos denotando por * deben satisfacer las propiedades siguientes:
( 1 ) Para cada elemento a G y cada objeto a A se tiene que, la accin de a
en a, denotada o * a es otro objeto de A.
(2) Debe haber una manera de operar o componer dos elementos cualesquiera
de G, es decir, si a y r son dos elementos de G, debe existir otro elemento
(T ren G. Tambin, el conjunto G debe contener un elemento e que funcione
como la identidad, es decir, que compuesto con cualquier otro elemento de
G no le haga nada. Hay otras propiedades de la operacin de G que tambin
necesitaremos, pero tendremos que esperar hasta el siguiente captulo para
hacerlas explcitas y por el momento slo pensemos que G y su manera de
operar se parecen mucho al conjunto de simetras del cuadrado del ejemplo
1.
(3) Al considerar dos elementos <7, r G , la composicin o r G acta sobre
el objeto o 6 , en la forma natural, es decir, primero acta r para obtener
el objeto r * a .6 A y luego acta a en t * a A para obtener el objeto
a * ( r * a) A. Es decir,
(a t ) * a = a * (t * a).
6 l , SIMETRAS Y OPERACIONES BINARIAS
podemos juntar los dos ltimos y luego operar con el primero: a (/3 7 ).
Observe que, en principio no hay nada que garantize que los elementos de Gyobtenidos
anteriormente, sean iguales. Nosotros pediremos que siempre se tenga la igualdad
a (0 7) = (<* P) 7
1. SIMETRIAS Y OPERACIONES BINARIAS 7
para todos los elementos a , /?, 7 de G. Diremos entonces que la operacin binaria es
asociativa.
Ejercicio 5. Para cada una de las operaciones binarias siguientes, determine si son o
no asociativas:
(i) En A = Z, a* 6 := a 6.
(i) En A = N, a * 6 := 2a+b.
m
En A = R, o * 6 := \/jaf>.
(iv) En A = Z, a * 6 := ab.
(v) En A R, a 6 := a + 26.
(vi) En A = Z, a 6 := a + 6 5.
(vii) En A = Q, a 6 := a + 6 + a 6.
G ru p o s y s u b g r u p o s
donde e es la accin neutra que no hace nada, r = rn/2 y P Py >y con la operacin
binaria a /? dada haciendo 3primero y despus a , simplificando al final hasta obtener
un elemento de G.
p l T :
ya que, si 4 = ^ ^ d ) e R )entonces
A - I = ( a M .f 1 / a 1+ 6 0 a -0 + 6 1 \ (a
2 \ c d ) V0 1 ) \ c - 1 + d -0 C O + d - 1 / " \ c )
por lo que A I 2 = A. Similarmente se muestra que I 2 A = A.
A - A\ \c=d J \ c /A a /A /
( a> ) ( " '/fi
/ ( a d - b e ) /A (a + >a)/A \ _ / 1 0 \
V { cd - d c )/A (6c + ad)/A y \0 1/
= /2
y similarmente se prueba que A - 1 A = J 2.
(1 i ) - **
Ejemplo 8. El grupo aditivo (R, +) de los nmeros reales es un grupo infinito. El grupo
de simetras del cuadrado es un grupo finito de orden 8. El grupo aditivo de los enteros
mdulo n es un grupo finito de orden |Z /nZ | = n.
b
:
a a b
a " 1 (a x) = (a 1 a ) 9 x = e 9 x x
Ejemplo 11. Si (R, -f) es el grupo aditivo de los nmeros reales, entonces Q es un
subgrupo. Esto es claro, porque la suma de racionales es racional, el 0 G R es racional
y si a Q entonces a Q.
Similarmente, Z C Q es un subgrupo del grupo aditivo de Q.
Notas. Los axiomas que definen un grupo abstracto, esencialmente como lo hicimos
en este captulo, fueron formulados explcitamente, por primera vez, en 1887, por F.
G. Frobenius en [33], observando que los teoremas que demostraba slo dependan de
estos axiomas y no haca falta el lenguaje de los grupos de permutaciones vistos como
subgrupos del grupo simtrico que usaban sus predecesores, en particular Cauchy, Jor
dn y Sylow. En su artculo, Frobenius cita a Kronecker [47] como antecedente para
la formulacin de los axiomas de grupo y en el artculo de Kronecker encontramos la
definicin de operacin binaria, esencialmente como vimos en el captulo anterior y
Kronecker lista una serie de propiedades de estas operaciones binarias que equivalen a
los axiomas que satisface un grupo abeliano finito.
De hecho, la afirmacin principal del prrafo anterior debe ser modulada: En 1854,
Cayley [29] formula lo que podra considerarse la primera definicin de un grupo abs
tracto finito, que traducida dice:
Un conjunto de smbolos 1, a , 0 , . . . , todos los cuales son diferen
tes y que satisfacen que el producto de cualesquiera dos de ellos (no
importando el orden) o el producto de uno cualquiera de ellos por
s mismo, pertenece al conjunto, se dice que es un grupo.*
Sin embargo, aparentemente, los matemticos de esa poca no estaban preparados
o interesados para una tal abstraccin, siendo grupos concretos, como los de permu
taciones, los que les importaban para investigacin, de tal manera que la definicin
abstracta de Cayley no trascendi.
En el artculo [47] citado por Frobenius, Kronecker define una operacin binaria
en un conjunto finito y requiere que se satisfagan ciertas condiciones que equivalen a
los axiomas de un grupo abeliano finito:
18 2. GRUPOS Y SUBGRUPOS
Sean 0', 0 " 0 '" ,... un nmero finito de elementos tales que con
cualquiera dos de ellos est asociado un tercer elemento por medio
de un procedimiento definido. As, si / denota este procedimien
to y si 0' y 0" son dos elementos (posiblemente iguales), enton
ces existe un 0"' igual a /( 0 ', 0"). Ms an, f ( 9 \ 6") = /( 0 " , 0'),
/ ( 0> /( 0,>0w)) = / ( / ( 0>0,)>0W) y si 0" es diferente de 0'", en
tonces / ( 0 , 0') es diferente de / ( 0 , 0'"). Asumiendo sto, podemos
reemplazar la operacin / ( 0', 0") por la multiplicacin 0' 0" si en
lugar de la igualdad usamos la equivalencia ~ definiendo 0' 0" ~
0'" por medio de la ecuacin / ( 0', 0") = 0"'.
Kronecker observa que el punto de vista adoptado permite aplicaciones en varios con
textos, particularmente en la teora de nmeros, haciendo innecesario repetir el mismo
argumento en casos diferentes y, adems, la presentacin gana en simpleza haciendo
transparentes los aspectos verdaderamente esenciales de la teora.
Tambin debe mencionarse que, en un artculo de 1882, sobre formas cuadrticas,
H. Weber [55] formula (redescubre) la definicin de grupo abstracto finito como:
Un sistema G de un nmero finito h de elementos arbitrarios 0i,
02, . . . , Oh se dice que es un grupo de grado h si satisface las condi
ciones siguientes:
I. Se tiene unoregla, llamada composicin o multiplicacin, por
medio de la cual de cualesquiera dos elementos del mismo
sistema se deriva un nuevo elemento del mismo sistema. En
smbolos 0r08 = 0f.
II. Se tiene que:
G ru p o s c c lic o s
a 1 := o
a 2 \ o o
<T3 := <j 2 <j
.fc+l := ok o
(decimos que sta es una definicin recursiva o inductiva).
(iii) Si k < 0, como k > 0, se define
a~k :=
donde a - 1 es la inversa de a y la potencia de (<r-1 )* es con exponente
ya definimos en el paso (ii).
{a) := (a n : n Z)
es un subgrupo de G.
El grupo (a) del lema anterior se llama el subgrupo cclico generado por a. Un
grupo G se dice que es un grupo cclico si existe un elemento a G G tal que
G = <<r>.
Al elemento a se le llama un generador de G.
Los grupos cclicos son, de alguna manera, muy sencillos, por ejemplo, son abelia-
nos:
i.e., gm~n = e con m n > 0. Sea k > 0 el menor entero positivo tal que gk = e. (Note
la similaridad con la idea de la demostracin de que los subgrupos de un grupo cclico
tambin son cclicos). Mostraremos que G = {e, g , g2, . . . , ?* 1}, i.e., G sera finito,
lo cual es una contradiccin. Para mostrar que G = {e, g>g2, . . . , t?*"1}, mostraremos
que cualquier elemento de G est en el conjunto de la derecha. En efecto, si gm 6 G
es cualquier elemento, dividiendo m entre el entero k anterior, obtenemos
m = kq + r con 0 < r < k
y por lo tanto
J- = !)^ = ( /)y = e y = /
es decir, la potencia gm es igual a gr con 0 < r < k. Es decir, cualquier elemento de G
es uno de los elementos: e = g, g, g2, . . . , gk~l , como se quera. Como esto contradice
el hecho de que G es infinito, se sigue que todas las potencias gm son diferentes. Hemos
probado as el teorema siguiente:
TEOREMA 3.4. Si G es un grupo cclico infinito, digamos generado por g, entonces
todas las potencias gm son distintas.
Cmo sern los subgrupos de un grupo cclico finito? Por la proposicin 3.3 ante-
I rior, por supuesto que tambin son cclicos. Las preguntas son entonces: (i) qu orden
1 tienen? y (ii) cmo son sus generadores? Las respuestas a estas preguntas son:
I PROPOSICIN 3.6. Sea G un grupo cclico de orden n y generado por un elemento g.
| Sea o 6 G dado por o gk. Entonces, o genera un subgrupo cclico de G de orden
I n/d, donde d = m cd(n, k).
1 Demostracin. Slo debemos mostrar que el orden de {o) es n/d. Ahora, como a gk,
I entonces, por el argumento usado en el teorema anterior, el orden del subgrupo {a) es
| el menor exponente positivo de o = gk que se anula, i.e., es el menor entero > 1 tal
1 que
11=
26 3. GRUPOS CCLICOS
Ahora, por el mismo argumento del teorema anterior, como G = (g) es de orden n,
entonces n es el menor entero positivo tal que g se anula al elevarse a ese exponente,
entonces la igualdad e = (gk)e = gki implica (por la parte 2 del teorema anterior) que
n divide a ki. Ahora, si d = m cd(n, k) entonces d\n y d\k. Escribiendo n = d(n/d)
y k = d(k/d ), entonces n /d y k/d son coprimos y como n\k , entonces (n/d)|(fc/d)?
con m cd(n/d, fc/d) = 1 , por lo que n /d debe dividir al factor t y consecuentemente
(n /d ) < l. Ahora, como
(gk)n/i = {gn)k,d = e,
y como (n /d) < y i es el menor exponente que anula a gk, entonces se debe tener
que i = n /d , como se quera.
Observe que, si G = (<?) es de orden n y k > 1 es coprimo con n, i.e., m cd(n, fc) =
1, entonces el elemento gk genera un subgrupo de G de orden y = n , i.e., de orden n,
y por lo tanto este subgrupo de G es todo G. Hemos as probado:
COROLARIO 3.7. Sea G un grupo cclico de orden n y generado por un elemento g.
Entonces, los otros generadores de G son de la forma gk, con k > 1 coprimo con n.
El orden de un elemento. Si G es un grupo y o G es cualquier elemento, diremos
que o tiene orden infinito si para cualquier entero k > 1 se tiene que ok ^ e. Es decir,
si ninguna potencia con k positiva se muere. Si existe un entero k > 1 tal que ak = e,
al menor de esos enteros positivos se le llama el orden de o. Por ejemplo, el orden de e
es 1 ; y e es el nico elemento de orden 1 en G. Si o ^ e, el orden de o es k si <jk = e
y <rJ e para todo 1 < j < k.
Ejemplo 5. Si G es el grupo de simetras del cuadrado,
G = {e,r,r2,r3,p,pr,pr2,pr3}
el elemento e es de orden 1. El elemento r es de orden 4, el elemento r 2 es de orden 2,
el elemento r 3 es de orden 4, el elemento p es de orden 2, el elemento pr es de orden 2
yaque
(pr)(pr) = p(rp)r = p(pr3)r = p2r* = e.
Notas. El teorema 3.4 esencialmente nos dice que hay una biyeccin entre un grupo
cclico infinito arbitrario y el grupo aditivo Z, y la parte 1 del teorema 3.5 nos dice que
hay una biyeccin entre un grupo cclico finito de orden k y el grupo de enteros mdulo
k , Z/fcZ. De hecho, estas biyecciones son algo ms y, en el captulo 6, ejemplos 10 y
11, veremos que esencialmente slo hay un grupo cclico infinito, Z, y slo hay un
grupo cclico finito de orden fc, a saber Z/fcZ.
EJERCICIO 11. Si G = (g) es cclico de orden n, demuestre que para todo i}j =
0 ,1 ,. . . , n 1, glgi = gk si y slo si i + j = k (md n).
G ru p o s d e p e rm u ta c io n e s
/ 1 2 34 \ 3
T_ 1 342 l 2
Note que una permutacin a de I 4 cambia de lugar los enteros 1 ,2 ,3 ,4 . Es decir, en
la notacin de arriba, los enteros que aparecen en el rengln inferior son todos los
nmeros enteros del 1 al 4, y aparecen una sla vez. Lo anterior es slo una reformu
lacin del hecho de que la permutacin a es una funcin biyectivayi.e., es inyectiva y
suprayectiva.
Sea Sn el conjunto de todas las permutaciones de I. Si <t, t Sn, escribiendo
estas funciones con su dominio y codominio:
o : In - In y r : In In
es claro que las podemos componer para obtener la funcin:
r o <7 : I n I n
ti 2433 1m /
m
3 n 2 3\ \( 1 2 3
l ) ^ = (3 1 2 J u 2 1
y observe que
1 2 3 \ / 1 2 3 \ / 1 2
1= <75
3 1 2 y 0v 1 3 2) \ 3 2 1
1 2 3\ /I 2 3\ /1 2 3 ^
1 3 2 jV3 1 2 ) ~ \ 2 1 3 J1= <72
por lo que 0401 <71(74. Observe que este ejemplo sirve para cualquier n > 3. Expli
que (ejercicio).
i.e., <73 m e por lo que o es de orden 2. Se sigue que el subgrupo cclico generado por
<7 es todo 52, i.e., (<7) = 52 y por lo tanto S2 es cclico.
32 4. GRUPOS DE PERMUTACIONES
<T
o a a a o o
A i / 1 2 3 4 5 \
(2 ,4 ,1 ) - ( 2 4 3 I 5 J
Oa(x) := (a* (x ) : k Z]
se llamar la rbita de x bajo o.
4. GRUPOS DE PERMUTACIONES 33
oMi {4}.
Los ejemplos anteriores muestran cmo se calcula la rbita de un elemento x para
una permutacin a dada: primero observamos que x 0 , ( x ) ya que <7(x) = x.
Despus, nos fijamos en el lugar en que est x en el rengln superior (el dominio) de
c7 y por lo tanto debajo de ste x se encuentra el valor o(x). Luego, localizamos el
valor cr(x) en el rengln superior de o y por lo tanto debajo de l se encuentra el valor
<t(o (x )) = <r2(x). El proceso anterior se aplica hasta que aparezcan repeticiones.
1 2 3 4 5 6
Ejemplo 7. Si cr = ^ G 56, entonces todas sus rbitas son:
( 2 3 1 4 6 5
0 ,(1 ) = {1,2,3} = 0 , ( 2 ) = 0 , ( 3 )
Oa( 4) = {4}
0 ,(5 ) = {5,6}.
El ejemplo anterior ilustra las propiedades generales siguientes:
LEMA 4.2. Sea <7 G 5 n una permutacin. Entonces,
(1) Ninguna rbita es vaca, ya que x G 0 , ( x ) .
(2) Las rbitas de o son disjuntas, i.e., si Oa(x)nO a(z) ^ 0, entonces 0 , ( x ) =
0,(z).
(3) La unin de todas las rbitas es In .
En otras palabras, si o G 5 n, entonces el conjunto de rbitas 0 , ( x ) , con x variando
en 5n, es una particin de In.
Demostracin. (1). Para cualquier x G In se tiene que x = <7(x) G 0 , ( x ) .
(2) . Si w G 0 , ( x ) fl 0 , ( 2 ), entonces existen enteros r, s > O tales que crr(x) = w =
cr8(z) y, sin perder generalidad, podemos asumir que r > s, por lo que or~s(x) = z ,
i.e., z G 0 , ( x ) y por lo tanto, para todo fc G Z se tiene que ok(z) = ok(ar~s(x)) =
(7*+r-(x ) e 0 , ( x ) , i.e, 0 , ( z ) C 0 , ( x ) . En forma similar se muestra que 0 , ( x ) C
0 ,( z ) . Las dos inclusiones anteriores dan la igualdad deseada.
(3) . Como cada 0 , ( z ) C In, se tiene que (J Oa(z) C In . Recprocamente, si x G I n
entonces x G 0 , ( x ) C (J O , (z) y por lo tanto En C (J Oa(z).
34 4. GRUPOS DE PERMUTACIONES
Observacin. Dada a 5n, como Sn es un grupo finito de orden n!, entonces <res (un
elemento) de orden finito tambin, i.e., existe un 1 < k < n\ menor tal que ok = e,
y por lo tanto ok(x) = x para todo x In- As, dado el elemento x 6 Inexiste un
entero positivo menor con 1 < < k < n\ tal que <x*(x ) = x, y por lo tanto la rbita
Oa(x) de x est dada por:
x,a(.x),o2( x ),...,o t- 1(x), (yaque (/(x) = x).
Note lo circular del conjunto anterior, o mejor, grficamente:
a a a a a a
donde notamos la fuerte similaridad con lo que sucede con los ciclos de longitud que
estudiamos previamente. Es decir, a la rbita Oa(x) le corresponde el -ciclo
(*, c(x), a 2( x ) , <r-1(a:)).
Hemos as probado:
Ahora, como Ot {t (x )) = 0 T(x), entonces r mueve a r(x ) por lo que a lo fija, i.e.,
a(r(x)) = t (x ). Se sigue que
2
( ) ctt(x ) = t (x ).
Las igualdades (1) y (2) implican que ar(x) = r c ( x ), en el caso cuando r mueve a x.
Si a mueve a x el argumento es similar. Finalmente, si a y r fijan a x el resultado es
trivial. Se sigue que a r = rcr.
Ejemplo 8. Observe que la condicin de que las permutaciones sean disjuntas es indis
pensable ya que las permutaciones a = ( 1 , 3 ) y r = ( 1 , 2) (de S 3) no son disjuntas
y
<7T = (1,3X 1,2) = (1,2,3) (1,3,2) = (1,2)(1,3) = r<7.
Nuestro objetivo ahora ser mostrar que los ciclos son los ladrillos a partir de los
cuales se construyen todas las permutaciones. Lo que queremos decir con sto es que
cualquier permutacin a Sn que no sea la identidad, es producto de ciclos disjuntos
en forma esencialmente nica:
(* ) <T = K \ K 2 - " K k = 7 l 7 2 * - * 7 m ,
asumir que los ciclos que mueven a x son k\ y 7 1 , respectivamente. Ahora, como
k \ ( x ) = a(x) = 7 i(x ), entonces para cualquier entero t se tiene que
4 ( x ) = fft(x ) = 7 (z )
y como los ciclos estn determinados por sus potencias evaluadas en cualquier elemen
to que mueven, entonces la igualdad anterior implica que k \ = 7 1 . Podemos entonces
cancelar los primeros factores en (*). La demostracin se concluye por induccin.
1 2 3 4 5 6 7 8 9 N
Ejemplo 9. Para la permutacin
6 4 7 2 5 1 8 9 3 J >sus rtatas
son:
O = {1,6}, 2 = {2 ,4}, 03 = { 3 ,7 ,8 ,9 } , 04 = {5}
por lo que la factorizacin de a en ciclos disjuntos es:
a (1)6)(2,4)(3,7,8,9).
Ejemplo 10. No est por dems recordar que para multiplicar ciclos de Sn lo hacemos
de derecha a izquierda, tomando un elemento (de In) del ciclo ms a la derecha que lo
contenga y viendo cmo se transforma siguiendo el orden de las permutaciones hacia
la izquierda. Por ejemplo, para calcular el producto de ciclos de S$:
(I 2) (2,4,5) (1,3) (1,2,5)
calculamos de derecha a izquierda:
1 2 2 4 i>4 por lo que 1 4
2 i5 i5 *2 i1 por lo que 2 1
3 3 *11 2 por lo que 3 2
4 i- > 4 h-> 4 i>5^->5 por lo que 4 5 .
5 13 3 3 por lo que 5 3
y as
(1> 2 )(2 ,4 ,5 )(1 ,3 )(1 ,2,5) = (1 ,4 ,5 ,3 ,2 ).
(Aunque aqu el producto de ciclos result un ciclo, en general esto no tiene por qu su
ceder).
Observemos ahora que todo ciclo no trivial ( a i , 02, . , a*) Sn se puede escribir
como producto de transposiciones de la forma:
(<*1,02, ,<**) = (ai, a^ )(a i, ajb-i) *- *(a x, a3 )(ai, a 2),
tan slo notando que la composicin se hace de derecha a izquierda. Aplicando sto al
teorema 4.5, hemos as probado:
TEOREMA 4.6. Toda perm utacin o en Sn es producto de transposiciones.
Note sin embargo que la factorizacin anterior no es tan buena como la del teorema
4.5 en ciclos disjuntos ya que, en primer lugar, las transposiciones involucradas no
necesariamente conmutan. Por ejemplo,
(1,3)(1,2) = (1,2 ,3 ) (1,3,2) = (1,2)(1,3).
En segundo lugar, los factores no estn unvocamente determinados, por ejemplo,
(1 ,2,3) = (1,3) (1,2) = (2 ,3 )(1 ,3) = (1 ,3 )(4 ,2 )(1 ,2 )(1 ,4 )
= (1 ,3 )(4 ,2 )(1 ,2 )(1 ,4 )(2 ,3 )(2 ,3).
Qu es lo que no cambia en estas factorizaciones? Probaremos a continuacin que
lo que no cambia es la paridad del nmero de transposiciones involucradas, es decir,
que dada o al factorizarl en transposiciones siempre se tiene un nmero par de ellas o
siempre un nmero impar (en el ejemplo anterior el nmero de transposiciones es par).
Para comenzar a probar sto, dada una permutacin o 6 Sn, denotemos con |oj al
nmero de rbitas de a y observemos que si r = (a, b) G Sn es cualquier transposi
cin, entonces
M = Mi,
y para probar sto notamos primero que las rbitas de o que no contienen ni a a ni a 6 ,
no son afectadas al multiplicar r por <7, i.e., tambin son rbitas de rcr. Basta entonces
considerar las rbitas de o que contienen a a 6, y tenemos dos casos:
CASO 1. Supongamos que a y b pertenecen a una misma rbita de o por lo que el
ciclo correspondiente tiene la forma (a, c \ , . . . , c, 6 , d i, . . . , d*) (note que siempre po
demos asumir que el ciclo comienza en a porque para cualquier ciclo se tiene la igual
dad: (i) > -i> ) = (>*i, 2> ,*_i)). Multiplicando el ciclo anterior por
la transposicin r = (a, b) a la izquierda, queda
(I) (a, 6 ) ( a ,c i,. . . , Cj,6, d i , . . . , dfc) = ( a , c i , . . . , c )(6 ,d i,. . . , dk)
ya que el lado izquierdo de (1) manda:
a c \ *- ci; Ci c+i 1-* c*+i para i < j ; Cj 161 a
y
b - di -* d i; di dj+ 1 d+1 para i < k; dk - a -* b
38 4. GRUPOS DE PERMUTACIONES
que es igual a lo que hace el lado derecho de (1). Hemos as mostrado que al multiplicar
el ciclo que contiene a a y a 6 por (a, b) se rompe el ciclo dado en dos ciclos disjuntos
de t g y por lo tanto |roj = |a| + 1.
CASO 2. Supongamos ahora que a, b pertenecen a dos ciclos disjuntos de r, digamos
(a, c i ,. . ., c) y (h, d i , , dk). Queremos ver cmo es el producto
(a, 6) (a, c i ,. . . , Cj)(6, d i , .. , d*)
y para sto multipliquemos los dos lados de (1) por r = (a, b) a la izquierda, recordan
do que t 2 = id:
(dj ci , . . . , Cj, 6, d i ,. . . , dk) (ft> h)(d, 6) (a, c i, . . . , c^, 6, d i,. .. , d/*)
= (>^)(>i> >Cj)(6, di,..., d/)
notando que se obtiene un slo ciclo (el de la izquierda) y por lo tanto los dos ciclos se
fusionaron y as |r a | = |oj 1.
Una consecuencia inmediata de la igualdad \tct\ = |<j | 1 que acabamos de probar
es que si definimos la funcin signo sgn : Sn {1} mediante
sgn(<r) :=
entonces para cualquier transposicin r G Sn se tiene que
(*) sgn(ra) = -sgn(<r).
Observe ahora que para la permutacin id G Sn, sus rbitas son de la forma {i}
para i G In por lo que | id | = n y as sgn (id) = ( - l ) nn = 1. Poniendo o = id en (*)
se sigue que si r G Sn es cualquier transposicin, entonces sgn(r) = 1, y en general,
si t i , . . . , Tk G Sn son transposiciones, induccin sobre k usando (*) implica que
sgn(rj -Tic)= (-1 )* ,
y por lo tanto, para cualquier permutacin a G Sn, si la factorizamos, usando 4.6, como
producto de transposiciones a = ti r*, se tiene que
sgn(<r) = (-1 )*
y como el valor de la parte izquierda slo depende de a, entonces el nmero k de trans
posiciones en cualquier factorizacin 4.6 de a mantiene su paridad. Hemos as probado:
TEOREMA 4.7. Si a G Sn, el nmero de transposiciones que aparecen en cualquier
factorizacin (del teorema 4.6) de a, siempre es par o siempre es impar:
PROPOSICIN 4.9. Hay tantas permutaciones pares como impares. Por lo tanto el
orden del grupo alternante An es n\ 2.
Demostracin. Sea n > 2 (para que hayan transposiciones). Fijemos la transposicin
r m (1,2) Sn y sea Bn el conjunto de permutaciones impares. Definamos la funcin
T . A n *Bn
El grupo didrico. Si denotamos con Dg al grupo de simetras del cuadrado, los ele
mentos de Dg son las cuatro rotaciones rk, 0 < k < 4 (por ngulos de 0, 90, 180, y
270 grados) y las cuatro reflexiones, p, 1 < i < 4 (dos respecto a los ejes coordenados
y dos con respecto a las diagonales del cuadrado). As, los elementos del grupo Dg
mueven los cuatro vrtices del cuadrado colocndolos encima de ellos, de tal forma
que si etiquetamos los vrtices con los nmeros 1 ,2 ,3 ,4 :
40 4. GRUPOS DE PERMUTACIONES
2 1
3 4
los elementos de D$ se pueden pensar como algunas de las permutaciones del conjunto
I 4, i.eMD$ es un subgrupo de S4. De hecho, podemos identificar las 8 permutaciones
de S4 que pertenecen a D%. stas son:
/ 1 2 34 \
a identidad
e V 1 2 34 )
( 12 34 \
a rotacin r ^/2
r V 2 3 41 )
2_ ( 1 2 34 \
a rotacin rn = r ^ 2
r V 3 4 12 )
3 = f 1 2 34 N
a rotacin r 3ff/2 = r \ ^
V 4 1 23 ;
/ 1 2 34 \
a reflexin p alrededor del eje Y
^ \2 1 4 3j
/ 1 2 34 \
a reflexin alrededor del eje X
px ~ V 4 3 21 )
( 1 2 34 \
a reflexin a 45 grados
pl V 1 4 32 )
( 12 34 \
a reflexin a 135 grados.
^ V 3 2 14 J
Observemos ahora que las simetras del polgono incluyen las n rotaciones r* t
donde r = r ^ / n es la rotacin por el ngulo 2n/rt y 0 < k < n:
Adems de las rotaciones tambin se tienen las simetras dadas por las reflexiones:
Si n es impar, el grupo >2n contiene las n reflexiones con respecto a las bisectrices
de los ngulos internos del polgono:
Si n es par, el grupo D2n contiene las n /2 reflexiones con respecto a las bisectrices
de sus ngulos internos (note que slo hay n /2 de stas) y las n /2 reflexiones con
respecto a las rectas que bisectan los lados del polgono (note tambin que hay n /2 de
stas):
por lo que su orden es 2n. El grupo Z)2n se llama el grupo didrico de orden 2n.
Observe que D 2n contiene al subgrupo Rn C D2n formado por las rotaciones
Rn = {r k, 0 < k < n}
y el orden de Rn es n.
Clases de conjugacin en Sn. Dados cr, r G Snsi existe 0 Sn tal que o = flr#1,
se dice que <7 es conjugada de r y sta es una relacin de equivalencia en Sn cuyas
clases de equivalencia se llaman las clases de conjugacin de Sn. Nuestro objetivo
es determinar cundo dos permutaciones son conjugadas y ste es el contenido del
teorema 4.12:
Ejemplo 13. Las permutaciones a = (26) (13) (457) y 0 = (16) (24) (358) de S& tienen
la misma estructura cclica y ponindolas una encima de la otra para definir 9 6 Sg
como en el teorema anterior:
a = (26) (13) (457)
3 = (16)(24)(358)
obtenemos
1 2 3 4 5 6 7
2 1 4 3 5 6 8
44 4. GRUPOS DE PERMUTACIONES
El nm ero de estructuras cclicas en Sn. Sean c > 0 enteros (1 < i < k < n). Una
permutacin a 6 Sn se dice que es del tipo ( c i,. . . , c*) si en la factorizacin de o en
ciclos disjuntos de Sn se tienen c\ ciclos de longitud 1 , C2 ciclos de longitud 2 ,... c*
ciclos de longitud k , i.e.,
Cl C2 Cfc
k k
donde ( ) denota un -ciclo. Note que por cada elemento de In que est fijo
t
bajo o se est contando el 1-ciclo correspondiente. Es claro entonces que
(1) 1 ci 4- 2 C2 4-------H k Cfc = n
y por convencin escribimos los ciclos de o del menor al mayor y tambin ponemos
Cj = 0 si no hay j-ciclos en o por lo que la ecuacin anterior la podemos escribir como
(2) 1 ci 4* 2 C2 + * + n Cn = n.
Ahora, si ponemos
(3) pi := a 4- Ci+i 4-------KCn
entonces p\ > p2 > > Vn > 0 y de ( 1 ) se sigue que
(4) m 4- p2 + ** 4- pn = n,
es decir, los enteros pi > 0 forman una particin del entero n (ms precisamente,
consideramos slo los enteros positivos pi que sumados dan n). Recprocamente, dada
4. GRUPOS DE PERMUTACIONES 45
.
| una particin (/ i,. . . ,/*) de n con /i > P2 > > Pk > 0 y 5L i A* = n
I entonces poniendo
1 (5) C{ := /i j
1 se tiene que los c > 0 y adems S L i i = n. Hemos as probado:
I
| PROPOSICIN 4.13. El nmero de tipos distintos de permutaciones en Sn es igual al
i nmero de particiones del entero n. Por el teorema 4.12 este nmero es igual al nmero
1 de clases de conjugacin en Sn.
3 Ejemplo 14. Para S 4, las particiones de n = 4 son:
1 (1 ,1 ,1 ,1 ); (1 ,1 ,2 ); (1,3); ( 2 , 2 ); (4)
I y por lo tanto S4 tiene 5 clases de conjugacin o, equivalentemente, 5 tipos de estruc-
I turas cclicas. Es fcil listar las 5 estructuras cclicas de S4:
formas distintas.
(2) Adems, cada A;-ciclo se puede escribir de k formas distintas:
= (2> >*>1 )
por lo que los c* ciclos de longitud k en el tipo (*) estn contados kCk veces y por lo
tanto cada permutacin del tipo (*) est siendo contada
l Cl -2 C2 nCn
veces.
Hemos as probado:
TEOREMA 4.14 (Frmula de Cauchy). El nmero de permutaciones distintas del tipo
(*) es:
n!
l Clc i! 2 C2C2 ! n^Cn!
Ejemplo 15. En S 4 consideremos el tipo correspondiente a la particin (2,2) de n = 4,
es decir, al tipo ( ) ( ). Se tiene entonces que c\ = 0, C2 = 2, C3 = 0, C4 = 0, y la
frmula de Cauchy nos dice que hay
4! = 4!
l0!222!3o0!40! 4 2!
permutaciones en 4 del tipo ( ) ( ), y stas son:
(1,2)(3,4); (1,3)(2,4); (1 ,4 )(2 ,3 ).
La tabla siguiente resume todo lo que sabemos hasta ahora de los elementos de S4:
Usaremos los clculos anteriores para mostrar, en el ejemplo 3 del captulo siguien
te, que A4 es un grupo de orden 12 que no tiene un subgrupo de orden 6.
Generadores de Sn Ya vimos en 4.5 que los ciclos generan a Sn (es decir, los ele
mentos de Sn son productos de ciclos) y tambin que las transposiciones generan a
Sn (4.6). A continuacin veremos que Sn tiene familias de generadores ms chicas, de
hecho primero veremos que Sn se puede general con dos permutaciones:
PROPOSICIN 4.15. Para toda n > 2, el grupo simtrico Sn est generado por los
ciclos (12 n) y ( 12 ).
Demostracin. Escribamos o = (12 n) y r = (12), y sea G el grupo generado por
o y t . Entonces, G contiene a <j t o ~ x = (23) y as G contiene a <r(2 3 ) o ~ l = (34),
y continuando este proceso vemos que G contiene a todas las transposiciones de la
forma:
(* ,* + 1 ).
Entonces, G contiene a
(12) (23)(12) = (13)
(13) (34)(13) = (14)
G en erad o res d e An. Los grupos Ai y A2 son triviales. Para n > 3 se tiene:
PROPOSICIN 4.18. Para toda n > 3, el grupo alternante An est generado por los
3-ciclos.
Demostracin. Todo 3-ciclo se factoriza como (a, 6, c) = (a, c)(a, b) y por lo tanto per
tenece a An. Probaremos ahora que toda permutacin o An se puede factorizar como
producto de 3-ciclos y para sto basta probar que todo producto de dos transposiciones
se puede escribir como el producto de 3-ciclos. Tenemos tres casos a considerar:
C aso 1. (a, 6)(c, d) con a, 6, c, d distintos. En este caso
( a , 6)(c,d) = ( a , 6,c)( 6,c, d).
CASO 2. (a, 6) (c, a) con a, 6, c distintos. En este caso
(o , 6)(c,o) = (a,c,b).
CASO 3. (a, b)(a, b) con a, b distintos. En este caso
( a , 6) ( a , 6) = 1 = (o, 6, c )(a , 6,c ) (a , 6,c),
con c cualquier tercer elemento distinto de a y 6.
COROLARIO 4.19. Para toda n > 3, el grupo alternante A n est generado por los
%-ciclos de la forma
(1,2,3), (1,2,4), (1,2,5), . . . . (1 ,2 ,n).
4. GRUPOS DE PERMUTACIONES 49
Demostracin. Por la proposicin previa, basta probar que todo 3-ciclo (a, 6 , c) se pue
de escribir como el producto de 3-ciclos de la forma (1,2, i) con 3 < i < n . Observe
mos ahora que para el 3-ciclo (a, 6, c) se tiene que
(a,6,c) = (l,c, 6)(l,a, 6)(l,a,c)
y por lo tanto es suficiente probar que todo 3-ciclo de la forma (1, x, y ) se puede des
componer como producto de 3-ciclos de la forma (1,2, i) con 3 < i < n . Se tienen
tres casos:
CASO 1. (1 ,x ,y ) con x = 2. En este caso (1, a:, y) m (1,2, y) y no hay nada que
probar.
CASO 2. (1, x, y) con y = 2. En este caso
( l.z .y ) = ( l.z .2 ) = {1,2,*)(!$, *).
CASO 3. (1, x, y) con x j 2 y y ^ 2. En este caso
( l , x , y ) = ( l , 2 , y ) ( l , 2 , y ) ( l , 2 , x ) ( l , 2 ,y ).
Notas. (1) En el siglo XIX, varios matemticos haban estado estudiando el problema de
resolver ecuaciones polinomiales (el lector seguramente conoce la frmula para resol
ver ecuaciones cuadrticas y habr oido hablar de las frmulas para resolver ecuaciones
de grados 3 y 4, que haban obtenido los matemticos italianos Cardano y Ferrari) y la
memoria de Lagrange [48] contiene lo conocido hasta su poca y es el germen de lo
que despus conoceramos como Algebra moderna. Es en este artculo donde Lagrange
estudia condiciones para que una cierta ecuacin algebraica, de grado n,
OnXn 4- an- ix " 1 -I-------h a ix 4- ao = 0
sea soluble por radicales, considerando permutaciones de sus races a i , . . . , a n y obtie
ne resultados genricos sobre estas permutaciones, incluyendo el teorema de Lagrange
que estudiaremos en el captulo siguiente.
(2) En la memoria [40], sobre las condiciones de solubilidad por radicales de las ecua
ciones polinomiales, Galois tambin considera permutaciones de las races de los poli
nomios, usando la definicin de permutacin dada por Cauchy, pero Galois considera,
por primera vez, conjuntos de substituciones cerrados con respecto al producto y llama
grupos a tales conjuntos.
(3) En varios artculos publicados de 1815 a 1844, Cauchy estudia permutaciones
de conjuntos finitos arbitrados introduciendo la notacin que usamos todava, define
el producto de permutaciones, permutaciones cclicas, transposiciones, conjuntos de
permutaciones generados por productos de ciertas permutaciones dadas (en particu
lar prueba que los 3-ciclos generan todas las permutaciones pares). Como un ejemplo
notamos que la frmula de Cauchy la demostr en [27, pp. 192-196].
50 4. GRUPOS DE PERMUTACIONES
Si cr Sn, una inversin en o es un par de valores o(i ), o(j) tales que i < j y o(i) >
o(j). Si k(<j) es el nmero de inversiones en <r, demuestre que (l)*(a) = sgn(a).
E j e r c ic io 2. Si G es el grupo de simetras del tringulo equiltero, puede ver a G
como un subgrupo de un grupo simtrico? Explique y hgalo explcito. Haga lo mismo
para un pentgono y un hexgono regulares.
EJERCICIO 3. Calcule los rdenes de los 6 elem entos del grupo S$.
E j e r c ic io 10. Demuestre que los nicos elementos de orden p (un primo) de Sn son
los productos de p-ciclos disjuntos.
EJERCICIO 12. Para el grupo de simetras del pentgono regular, muestre que sus 10
elem entos se obtienen con las potencias r k, para 0 < k < 5 de la rotacin r = 1*2*/5
4. GRUPOS DE PERMUTACIONES 51
y los productos rkp para 0 < k < 5 donde p es la reflexin por la recta que pasa
por el vrtice v\ y el centro del pentgono. Note que slo debe mostrar que las otras
reflexiones se obtienen con los productos rkp.
E jercicio 13. Mismo ejercicio para los 12 elementos del grupo de simetras del
hexgono regular.
Ejercicio 15. Sea H C D2n el subconjunto formado por los elementos que dejan fijo
al vrtice v\. Demuestre que H = {e, p)
Ejercicio 16. Sea a 6 D 2n cualquier elemento y suponga que cr manda el vrtice
vi en vfc para 1 < k < n. Demuestre que (r~x)k~l o <j deja fijo a v\ y por lo tanto
(r-1)* 1 o a 6 H . Concluya que a = rk~l 6 a rk~lp. Se sigue que todos los
elementos del grupo didrico >2n son de la forma rk con 0 < k < n 6 de la forma rkp
con 0 < k < n.
Ejercicio 17. Sean <r, r Sn. Si a y r son conjugados, demuestre que el nmero de
puntos de In que a deja fijos es igual al nmero de puntos fijos de r .
EJERCICIO 18. Si n > 3, demuestre que An est generado por las permutaciones de la
I forma (, i + l)(j, j + 1) para 1 < j < n, i ^ j ^ i 4-1.
EJERCICIO 22. Aplique lo anterior para hallar las clases de conjugacin de A y A$.
C la s e s l a t e r a l e s y g r u p o s c o c ie n te
SI lencia)
H C G ES UN SUBGRUPO, podemos definir dos relaciones (que sern de equiva
en G:
(1) a = b (md H) <=> a~l b H %a la que llamamos la relacin de congruencia
izquierda mduloH.
(2) a b (md H) <=> ab~l H> a la que llamamos la relacin de congruencia
derecha mdulo H.
[a] := {6 G A : a ~ b}.
Veamos cmo son las clases de equivalencia de las relaciones de equivalencia del
lema 5.1 anterior.
53
54 5. CLASES LATERALES Y GRUPOS COCIENTE
N {a G : a =i a (md H)}
{ a e G :: <r- 1 a H}
{a G :: <7- 1 a = h para algn h H }
{a G : a = a h para algn h G H },
Demostracin. Slo falta demostrar la parte (3). Para sto, definamos la funcin $ :
X V entre el conjunto de clases izquierdas y el conjunto de clases derechas, me
diante $ ( a H ) = H a , para cualquier a e G. Claramente $ es biyectiva.
<73
1 2 3 >
2 3 1 ,) .
/ 1 2 3 >
= V. 3 1 2 ; ) . 05 =
(
y si # = {e, <ri}, note que 7* = e, por lo que # C S3 es un subgrupo.
111)
Las clases laterales izquierdas de H son:
eH = # = o\H = {e,<7i}
(72# = {72,(73} porque 727i = 73
= 73#
<74/ / = {74,(75} porque (74(71 = 75
= (75#.
Las clases laterales derechas de # son:
He H = Ho\ = {e,(7i}
H o2 {(72 , 74} porque 7i72 = (74
= #(74
#(73 = {(7 3 ,(7 5 } porque (71(73 = (75
= #(7 5 .
Note que, excepto por la clase lateral de la identidad eH = # = # e , en este
ejemplo las clases laterales izquierdas y derechas son diferentes, i.e., en general,
(7# Ha.
toda clase lateral izquierda es una clase lateral derecha. Las clases laterales (izquierdas
o derechas) de nZ en Z estn dadas como sigue: para k Z, si dividimos k entre
n > 1:
k = nq + r con 0 < r < n,
se tiene que k = r (md nZ) ya que k r = n q nZ. Se sigue que la clase lateral de
k es igual a la clase lateral de r y como las posibilidades para el residuo r son
r = 0 , 1 , 2 , 3 , . . . , n 1
entonces hay (a lo ms) n clases laterales dadas por
r 4- nZ := {r + h : h nZ} = {r 4- h : h nt con t G Z}
= {r + n t : con Z},
para 0 < r < n 1. Observemos ahora que, si 0 < r, r ' < n 1, y si sucediera que
las clases de r y r ' fueran iguales, r 4- nZ = r' 4* nZ , entonces r = r ' (md nZ) y
por lo tanto se tendra que r - r' nZ , i.e., n divide a r r '. Sin perder generalidad
podemos suponer que r > r ', y as se tendra que 0 < r ~ r ' < n y adems n divide a
r r'. Como este nmero es menor que n, esto slo puede suceder si r r ; = 0, i.e.,
si r = r'. Hemos as probado que las clases laterales correspondientes a los n valores
de r entre 0 y n 1, son distintas. Es decir, las clases laterales de n Z en Z son
n Z, 1 4- nZ, 2 4- nZ, 3 4- n Z , . . . , (n 1) 4- nZ.
todas estas q clases laterales. Por el corolario 5.2 estas clases forman una particin de
G, en particular son disjuntas por pares y su unin es todo G. Se sigue que
i-1
5. CLASES LATERALES Y GRUPOS COCIENTE 57
Ahora, por el lema 5.3, todas las clases laterales o{H tienen el mismo cardinal que
H t i.e., |crjH\ = \H\ = k. Substituyendo sto en la igualdad anterior se sigue que:
n = |G | = || j m \H\= k = kq,
7= 1 7=1 7=1
y por lo tanto k divide a n, como se quera.
orden k. Esto es cierto para grupos abelianos finitos, pero para grupos no abelianos es
falso en general:
Ejemplo 3. El grupo alternante A* (que tiene orden 12) no tiene subgrupos de orden 6.
Una demostracin de este hecho la daremos al final del captulo.
Se puede decir que el resto del libro ser la bsqueda de un recproco parcial del
teorema de Lagrange, es decir, tratar de responder a la pregunta: para qu divisores
del orden de un grupo finito se tienen subgrupos cuyo orden sea el divisor dado?
y como queremos que este conjunto sea otra clase lateral izquierda de H en G, digamos
-OH, i.e., queremos que
(<tH)( t H) = dH
observemos que como gt = (ae )(re ) G (aH)(rH), entonces crr debe ser un ele
mento de 'dH y, ya que las clases laterales izquierdas de H son disjuntas, entonces
OH= (<jt )H y por lo tanto se debe tener que
Supongamos primero que toda clase lateral izquierda es una clase lateral derecha,
i.e., bH = Hb para cualquier b G. Dadas aH y bH en G /H , escojamos represen
tantes a,ah aH y b,bh' bH. Queremos probar que {ab)H = (ahbh')H , i.e.,
queremos probar que (ab)(ahbh'J 1 H. Ahora,
(ab)(ahbh')~l = a 6/i/ 16 1 /i~ 1 a 1
= a 66~ 1 fch_ 1 a ~ 1 yaque h'~lb~l Hb~l = 6 1/ /
y as = 6 1/: para algn k H
= afc'a 1 (para A:7 = kh~l H)
ss a a - 1 fc" ya que fc'a- 1 i f a - 1 = a - 1 i /
y as fc'a- 1 = a 1/:" para algn fc" i
= k"
como se quera.
Supongamos ahora que el producto de dos clases laterales izquierdas es de nuevo
una clase lateral izquierda y que no depende de la eleccin de los representantes de cada
clase lateral. Mostraremos entonces que aH = Ha para todo a G. En efecto, como
observamos previamente, si aH y bH son dos clases laterales izquierdas arbitrarias,
entonces (aH)(bH) = (ab)H . En particular, para b a - 1 se tiene que
(1) (a H ^ a -'H ) = ( a a ^ H = H
y por lo tanto
aHa- 1 = (aHa~l )e C aHa~l H = H por (1),
y por lo tanto
(2) aHa 1 C H.
Por otra parte, si h H es cualquier elemento, entonces por (2) se tiene que bhb~l
H para cualquier b G. En particular, para b = a - 1 se tiene que a~xha H ya que
(a - 1 )*1 = a. Ahora, a~xha H quiere decir que a1ha = h \ para algn h' H> y
como ah'a~l H por (2), entonces
h = a ( a - 1 h a )a ~1 = a /i'a 1 a H a - 1,
y por lo tanto
(3) JFf C a H a - 1.
De (2) y (3) se sigue que
(4) H = aH a- 1 para toda a 6 G.
De esta igualdad, multiplicando por a a la derecha, se sigue que H a = aH como
se quera.
62 5. CLASES LATERALES Y GRUPOS COCIENTE
por ejemplo, para G = S 3, vimos en el ejemplo 1 que si H = {e, 0*1 } se tiene que
(72H H(J2
As que no siempre el conjunto G /H es un grupo bajo la operacin anterior here
dada de la estructura de grupo de G.
H < G
As, por el lema 5.8, el conjunto G /H resulta un grupo al que llamaremos el grupo
cociente de G por H.
Ejemplo 5. Si G = S$ = {e, 0*1 , 0*2, (73, (74, a 5} (para la notacin, vea el ejemplo 3 de
4) y As = {2, <73, (74), entonces A3 < 53, ya que calculando los productos:
5. CLASES LATERALES Y GRUPOS COCIENTE 63
/( 1 2 3
<7l<73= (.3 2 1
'1 2 3
<7i<74 = 1
.2 1 3
/' 1 2 3
<72<73 = ^
s 1 3 2
/' 1 2 3
(72C74 = |,3 2 1
/' 1 2 3
^5^3 = (, 2 1 3
/'1 2 3
(7574 =
:1 3 2
se tiene que sus clases laterales izquierdas son:
i43e = {2,(73,<T4}
43C7i = {<71,<72,<75}
y por lo tanto eA$ = A3 = u43e y (T1A3 = A3<J\. Se sigue que el grupo cociente
S3/A3 es:
S3M3 = { 3,< M 3}-
aaa1 G.
64 5. CLASES LATERALES Y GRUPOS COCIENTE
Subgrupos de un cociente. Si N < G el resultado siguiente nos dice que hay una
correspondencia biyectiva entre los subgrupos de G /N y ciertos subgrupos del grupo
G:
TEOREMA 5.12 (Teorema de correspondencia). Si N es un subgrupo normal de G,
entonces existe una biyeccin entre la familia de subgrupos de G /N y los subgrupos
H C G tales que N C H. La correspondencia es
H C G tal que N C H >-* H /N C G/N.
Demostracin. Sea H un subgrupo de G tal que N C H. Entonces, el subconjunto
H /N := { h N : h H} C G /N
es un subgrupo de G /N ya que e H por lo que eN 6 H /N . Supongamos ahora
que aNjbN son dos elementos de H /N , i.e., a , 6 H. Entonces, ab H por lo que
abN H/N. Finalmente, si aN H /N , i.e., si a 6 H, entonces a - 1 H por lo que
a~lN H/N.
Mostraremos ahora que la correspondencia anterior es inyectiva. En efecto, si
H, H' son dos subgrupos de G tales que N C H y N C H ' y satisfacen que H /N =
H '/N , probaremos que H = H'. Para esto, observemos que si h 6 H, entonces
hN H /N = H '/N , por lo que hN H '/N y as hN = hN con h H'. Se sigue
que h = he hn para algn n N; y como N C H', entonces hn H' y por
lo tanto h H'. Hemos as mostrado que H C H'. En forma similar se muestra que
H 'C H .
Mostraremos ahora que la correspondencia anterior es suprayectiva. En efecto, si
H C G/N es cualquier subgrupo, sea H := {h H : hN e H}. Entonces,
(i) H es un subgrupo de G ya que:
e H porque eN E Ti (es el neutro de G/N).
Si a,b 6 H, entonces aN,bN T y as ( aN)(bN) = (ab)N Ti por lo
que ab H.
Si a H, entonces aN Ti y as (aiV )" 1 = a 1iV Ti por lo que
a " 1 H.
(ii) H D N, ya que si a 6 N , entonces aN = N = eN Ti por lo que a H.
(iii) Ti = H /N ya que:
Si aN Ti, entonces o H por definicin de H y as aN H /N .
m Si hN H /N , i.e., si h H , entonces hN T i por definicin de H .
Un contraejemplo al recproco del teorema de Lagrange. A continuacin damos la
demostracin, prometida en el ejemplo 3, de que el grupo alternante A j (que tiene
orden 12 ) no tiene subgrupos de orden 6.
66 5. CLASES LATERALES Y GRUPOS COCIENTE
EJERCICIO 11 . Sea G cualquier grupo y sea H < G. Demuestre que G/H es abeliano
si y slo si [G, G] C H .
EJERCICIO 13. Sea G un grupo finito de orden impar. Si x es el producto de todos los
elementos de G, en cualquier orden, demuestre que x [G, G].
EJERCICIO 16. Puedes describir al grupo cociente GL(n, R )/S L (n, R) del ejemplo
9?
(iv) Cuente los elementos de la tabla anterior que sean cuadrados y llegue a una
contradiccin.
E je r c ic io 19. [Carmichael [4], Ejercicio 30, pgina 39]. Sea G C S\e el subgrupo
generado por las ocho permutaciones:
(1,3)(2,4); (5 ,7 )(6 ,8); ( 9 ,11)(10,12); (1 3 ,15)(14,16)
(1,3)(5,7)(9,11); (1 ,2 )(3 ,4 )(1 3 ,15)
(5 ,6 )(7 ,8 )(1 3 ,14)(15,16); ( 9 ,10)(11,12).
(i) Muestre que [G, G] lo generan las cuatro primeras permutaciones listadas
arriba.
(ii) Muestre que el orden de [G, G] es 16.
(iii) Por la parte (i) se tiene que a := ( 9 ,11)(10,12)(13,15)(14,16) [G,G].
Muestre que a no es un conmutador.
EJERCICIO 21. [S. W. Golomb]. Sea G un grupo finito. Demuestre que dos elementos
cualesquiera a, 6 G G son conjugados si y slo si se encuentran simtricamente colo
cados, con respecto a la diagonal principal, en la tabla de multiplicar de G. Recuerde
que los elementos de G se pueden escribir como g = uv con u en la columna cero y v
en el rengln cero de la tabla de multiplicar de G.
Eje r c ic io 22. Usando el ejercicio anterior y la tabla de m ultiplicar del grupo didrico
Z?6 (simetras del tringulo equiltero), encuentre los elem entos conjugados en D& y
liste sus clases de conjugacin.
H o m o m o r f is m o s e is o m o r f is m o s
Ya que hemos pedido que un homomorfismo </>: G G ' respete las operaciones
de ambos grupos y ya que estamos en este asunto de ser respetuosos, por qu no le
pedimos a < >que respete los neutros de ambos grupos? o por qu no le pedimos a <f>
que respete la operacin de tomar inversos en cada uno de los dos grupos involucrados?
Todo esto es natural y viene gratis de la definicin de homomorfismo:
LEMA 6.1. Sea <j>: G > G' un homomorfismo de grupos. Entonces,
(1) 4>() = ef, donde e G y e' G ' son los neutros respectivos.
(2) Si o e G, entonces <>{o~l ) = </>(cr)-1 , donde a la izquierda (J 1 es el inverso
dea enG y a la derecha 0 ( a ) -1 es el inverso de </>(o) en G '.
Demostracin. Para (1), como ee = e en G, entonces
0 (e)^(e ) = <>(ee) = <>(e)
71
72 6. HOMOMORFISMOS E ISOMORHSMOS
en G ', de donde cancelando un factor <>{e) en G ' se sigue que <>{e) = e'. f
Para (2), como aa~l = e en G, entonces j
<t>{)<)(arl ) = <t>(aa~l ) = <f>() = ef
(donde en la ltima igualdad usamos la parte (1)). Despejando 0 (a -1 ) de la igualdad ^
anterior se sigue el resultado deseado. q
Ejemplo 6. Sea G = Sn el grupo simtrico en n letras (con n > 2) y sea G ' = {1, 1}
el grupo multiplicativo con neutro 1 y tal que (1)(1) = 1. La funcin signo
sgn : Sn -+ { 1 ,-1 }
dada por
' o es par
s g n (< r):= { !
j o es impar
es un homomorfismo, ya que el producto de permutaciones pares es par, el producto de
permutaciones impares es impar y el producto de una permutacin par por una impar,
en cualquier orden, es impar.
Ejemplo 7. Sea G = (Z, -f) el grupo aditivo de los enteros y sea Z /n Z , para n > 1 un
entero fijo, el grupo aditivo de los nteros mdulo n. La funcin
p : Z + Z /n Z
dada por p(x) = [x] (la clase residual de x mdulo n) es un homomorfismo.
Para sto, sea o G 0 _1( /f ') cualquier elemento. Entonces, 0(<r) K ' y <>(a) G G',y
como K ' < G ', entonces
0 (a )0(<7)0 (a )"~1 K 'i
es decir, 0(a<ra-1 ) K ' y por lo tanto acra 1 G 0 _1(A'), como se quera.
tambin es un isomorfismo.
Demostracin. Slo falta observar que la composicin de funciones biyectivas es bi-
yectiva y que la composicin de homomorfismos tambin es un homomorfismo ya que,
para a, 6 G
o 4>){ab) =ip(<j>(ab))= ip((t>(a)4>(b))=Tp(<t>(a))ip(<l>(b)) = (t/)o 4>)(a)(xp o 4>)(b).
1 Observacin. Si < > : G - G ' es un isomorfismo de grupos, entonces 4>establece
! una correspondencia biyectiva entre los elementos de G y los de G y respeta la es-
I tructura algebraica de G y G porque <\>es homomorfismo; por ejemplo, respeta los
76 6. HOMOMORFISMOS EISOMORFISMOS
Un = {1 =u>,a;,u;2J;3, . . . , u ; n~1}
| y as, por el ejemplo 10, pn es isomorfo a Z /n Z . Note que a pesar que los elementos
de pn y de Z /n Z son totalmente diferentes, el isomorfismo anterior los identifica de
tal forma que desde el punto de vista algebraico son el mismo grupo.
Los ejemplos 10 y 11 nos dicen que cualesquiera dos grupos cclicos del mismo
orden son isomorfos. Si (o) es un grupo cclico finito de orden m , lo denotaremos por
C(m).
G ------------------ I m (0)
p
G /k er(0 )
es decir, escogemos como representante a a ker (0) y definimos < >como <>evaluado
en el representante elegido. Por supuesto que para que esto tenga sentido tenemos que
78 6. HOMOMORFISMOS EISOMORHSMOS
0o p = 0.
Ejemplo 13. Si sgn : Sn {1, 1} es el homomorfismo signo (para n > 2), entonces
sgn es suprayectivo y por lo tanto
Im(sgn) = { 1 ,-1 } .
ker(0) = A
es el subgrupo alternante de Sn. Note que sto muestra que A n < Sn.
6. HOMOMORFISMOS E1SOMORFISMOS 79
Ejemplo 14. Sean G = (R, 4-) y G' = (C*, ) y sea <>: R C* la funcin dada por
4>(x) := cosa; 4- i se n x. La funcin <t>es un homomorfismo ya que
<t>(x 4- y) = cos(ar 4- y) 4* sen(x 4- y)
= eos x eos y - sen x sen y -I- i [sen x eos y 4- sen y eos x]
= eos y [eos x 4- i sen x] 4- i sen y [eos x 4- i sen x]
= [eos x 4-i sen x] [eos y 4- i sen y]
= tf>(*)0(y)-
La imagen de < >es el subgrupo de C* formado por todos los complejos z tales que
z = cosx 4* i sen x, i.e., tales que \z\ = 1. Es decir,
Im(^) = {z C : |z| = 1} = S 1 (la circunferencia unitaria en C).
Ahora, como el neutro del grupo multiplicativo C* es el complejo 1, el ncleo de
0 es el subgrupo:
ker(0) = {x G K : <>(x) = 1} = {x R : cosx 4- sen x = 1}
y observando que eos x 4 i sen x = 1 si y slo si x = 2kir con A; Z, entonces
ker(</>) = {2&7T : k 6 Z} = (27r)
es el subgrupo cclico de R generado por 27T. Por el primer teorema de isomorfismo de
Noether se tiene que
R/(25r) ~ S 1.
Observe ahora que las clases laterales de (27r) en R tienen un representante 9 G R
tal que*0 < 9 < 2n, i,e, en el intervalo [0,27r) y el isomorfismo anterior dobla este
intervalo de tal forma que el extremo cerrado 0 encaja en el extremo abierto 27r y forma
la circunferencia S l .
Note que en esta representacin geomtrica, la suma de ngulos en R /(27 t) corres
ponde al producto de complejos en S 1 C C y recordemos que sto es lo que sucede
cuando se multiplican complejos de mdulo 1.
Note que en ningn momento hemos dicho que homomorfismos distintos tienen
ncleos distintos. Por ejemplo, el homomorfismo identidad idz : Z Z es diferente
del homomorfismo (>: Z Z dado por (>(m) = m y ambos tienen el mismo ncleo
= { 0}.
Supongamos ahora que H y K son dos subgrupos de G con uno de ellos normal,
digamos K < G. Entonces H n K es un subgrupo de G ya que e G H y e G K implica
que e HC\K. Si a,b e H D K entonces ab G H y ab G K , por lo que ab e H OK.
Si a e H H K , entonces a~x e H y a " 1 G K , por lo que a 1 G H fl K. Ms an,
H n K es subgrupo de H y de K y de hecho, H C\K<H ya que si h G H y a G HC\K,
se tiene que hah~l G H porque a , h,h~x G H , y como a K , h G y K <G>
entonces hah~l G K. Se sigue que hah~l G H C\K. Por otra parte, el producto
H K = {hk : h e H , k e K } C G
es un subgrupo de G ya que, e = ee con e G i f y e G ^ y a s e G H K . Si hk y
h'k' son dos elementos de H K , entonces en el producto = h(kh')k', como
K < G, se tiene que K h' = h'K y as kh' = h'k , para algn k G K \ substituyendo
sto en la igualdad (hk)(h'k') = h{kh')k' se obtiene
ln X
i
In X
<
t>
donde la flecha punteada $(( 7) : X X se defne mediante la composicin
$((T) :X I - i . I X
la cual tambin es biyectiva, porque cada una de las funciones involucradas lo es. As,
$ (o ) Sx- La funcin $ : S >S x es inyectiva porque si $(<r) = $ ( t ) , entonces
(popo 0 _1 = 0 o t o 0 -1 y, componiendo con 0 a la derecha se obtiene 0 o (7 = 0 o r
y luego componiendo con 0 1 a la izquierda, se obtiene que a = t , como se quera.
Como los conjuntos Sn y S x tienen el mismo cardinal, se sigue que la inyectividad
de $ implica que es biyectiva. Finalmente, para mostrar que $ : 5 n > S x es un
isomorfsmos slo resta probar que es un homomorfismo. Para esto, si <7, r Sn,
entonces
$ ( ot) = 0 o (a o r ) o 0 1
= ( 0 o < 7 o ( 0 1 ) o ( i^ o t o ^ 1) a s o c ia n d o
= $(( 7) o $ ( r ) ,
como se requera. Hemos as probado:
6. HOMOMORFISMOS EISOMORFISMOS 83
S := {og : g G G} C S g -
A continuacin, mostraremos que S es un subgrupo de S g - Pura comenzar, observe
que para g e el neutro de G , el elemento ot G 5 correspondiente es el neutro de S g
ya que, para toda x G G, oe(x) = ex = x> i.e., <7C = id G S g es la funcin identidad,
que es el neutro de S g - As, id = oe G S. Mostraremos ahora que S es cerrado bajo la
composicin de S g - En efecto, si <ra , G 5 , entonces
$ : G | S C SG
TEOREMA 6.11 (C ayley). Todo grupo es isom orfo a un subgrupo de un grupo de per
m utaciones.
+ 0 1 2
0 0 1 2
1 1 2 0
2 2 0 1
calculemos su representacin como grupo de permutaciones usando el teorema de
Cayley. Para comenzar, hay tres elementos denotados por cro,cri,<72 y definidos, pa
ra x G Z /3 Z , mediante
por lo que:
/O 1 2 \ /O 1 2 \ / 0 1 2 \
a \ 0 1 2 J ffI - V 1 2 0 J ^ \ 2 0 1
con tabla de multiplicar dada por:
6. HOMOMORFISMOS E ISOMORFISMOS 85
como el lector puede comprobar fcilmente. Observe ahora que el isomorfismo dado
por el teorema de Cayley es visible y luce como lo que es: un cambio de nombres, 0 -
a0t i 2 -+ <72*,y con las dos operaciones relacionadas mediante: a + 6 oa 0b>
por ejemplo 2 + 2 = 1 -02 0 <72 = <7i-
EJERCICIO 12. Sea A = ( C i , . . . , Cn) una matriz n x n>con entradas en C, donde las
Cj denotan las columnas de la matriz. Para o G S n , sea A a = . . . ,C a(n)) la
matriz que se obtiene permutando las columnas de A de acuerdo a o.
(i) Si In es la matriz identidad, demuestre que d e t(/ ) = sgn(cr).
(ii) Demuestre que det(i4a ) = sgn(a) det( ).
(iii) Demuestre que Pn = { / : o e Sn } es un subgrupo de G L(n, C).
(iv) Demuestre que la funcin <>: Sn > Pn dada por o 1% es un isomorfismo
de grupos.
Captulo
P r o d u c t o s d i r e c t o s y g r u p o s a b e l i a n o s f in ito s
<t>C(mn) -* C
(m
) xC (n ) dada por 4>{^mn) = ffn) = fam , <
es un homomorfismo. Es inyectivo porque si 0 ( a ^ n ) = (e,e) entonces cr^ = e =
o* por lo que el orden m de om divide a fc y el orden n de on divide a A; y como
m cd (m ,n ) = 1 entonces mn\k y as = e. Es suprayectivo porque C (m n ) tiene
m n elementos que es el orden de C(m) x C(ri).
y si (a ,e ) G Im (<//) entonces
(/i, &)(a, e)(/i, fc) 1 = (hah*1, kek~l ) = (hah^y) Im(<fo/)
porque h a/i 1 G H ya que Ji, a, /i 1 estn en t f . Similarmente se prueba que K *
Im (<!>k ) < H x K . Finalmente observe que Im(</>//) fi Im (<I>k ) = {(e,e)}.
La proposicin siguiente da una condicin, muy til, para que un producto de sub
grupos normales sea un producto directo:
PROPOSICIN 7.4. Sea G un grupo finito y supongamos que G es el producto de los
subgrupos normales H\, ... Hs y que los rdenes de estos subgrupos son coprimos
por pares. Entonces,
G H\ x x Hs.
Demostracin. Slo falta verificar la condicin (3) en la definicin de producto directo
interno, i.e., que
f := f n n f t = {e}.
Para sto, observemos que, por Lagrange, \H | es un divisor de cada \Hj\ y tambin
de i := | Hi\. Por otra parte, | Yi^j Hi\ divide a f l i / j |^ i|(v ea el ejercicio 9)
y as, por transitividad, \H\ divide a J J a j| Se sigue que |/ | divide al mximo
comn divisor de \Hj\ y de n # |. P61^ stos son coprimos por la hiptesis, y por
lo tanto H = {e}.
Sea s > 1 el entero tal que G est generado por s elementos pero no est generado
por algn conjunto con 5 1 elementos, y sea m > 1 el menor entero positivo tal que
existe un conjunto { p i , . . . , 0S} de generadores de G y una relacin:
>9i + 0,292 4*----- h a8gs = 0
con los aj Z. Ntese que m > 1 , ya que de lo contrario G estara generado por los
5 - 1 elementos 92, . . . , gs.
Poniendo a* = mqi 4- r con 0 < r, < m para 2 < i < 5 , si tomamos
= 01 + 9292 H-----H qa9s,
entonces G est generado por {/ii, g2, . . . , gs} y adems
m h\ -f- r 2P2 + ----- 1- rsg9 = mg\ 4- a2g2 4 - ----- b a9ga = 0.
La minimalidad de m , la igualdad anterior y 0 < r* < m implican que r2 = =
r3 = 0 y as m /ii = 0. Mostraremos ahora que
G~{hi) x
En efecto, definamos la funcin x>: (h\) x (02, , 9a) <2 mediante 0 ( a , 6) := a 4-6.
Claramente ^ es un homomorfismo de grupos y es suprayectivo ya que h\, 02, . . . , ga
generan G. Es inyectivo ya que si i!)(a,b) = a 4- 6 s= 0, poniendo a = a i / i i , 6 =
<*202 + * " + <*s0s con 0 < a i < m , se tiene que
a i /ii 4- Q.292 H------- 1- <*s0s = a 4- b = 0,
y por la minimalidad de m y el hecho de que 0 < Qi < m , se sigue que a i = 0 y
as a o \h \ = 0, y consecuentemente 6 = 0 tambin.
Ahora, como el grupo (02, , 0 $ ) est generado por s 1 elementos pero no por
s 2 elementos, por hiptesis de induccin se puede descomponer como
(ff2, , 0) - (^m ,) X ' ' ' * (ffm,),
con los (<7mj) cclicos de orden m y ra j|ra j+ i. Se sigue que
G ^ {hi) x (52, . . . ,gs)= (h i) x (cm2) x x
con (/ii) cclico de orden m. Denotemos con o\ := h\ al generador de {h\).
Por la minimalidad de m se tiene que m < m 2 Escribamos 7712 = e 2m 4- 2 con
0 < t 2 < rn y sea := <ri 4- e2a 2. Entonces, G est generado por , cr2, . . . , <ts, y
como
m<Ti 4* 2^2 == TTKTi + me2<J2 + 2<^2
= 77U71 + (7712 2)^2 + 2&2
= m(7\ + 7712(72 = 0,
ya que ttkji = 0 y 1712 es el orden de 72, entonces 2^2 = 0 y como 0 < t 2 < m
entonces = 0 y as 7712 = e2m 4- 0, i.e., m |m 2.
92 7. PRODUCTOS DIRECTOS Y GRUPOS ABELIANOS FINITOS
COROLARIO 7.7. Todo grupo abeliano finito G contiene un elemento de orden e(G).
G[p2]/G[p] = ( g /G [ p ])[ p ]
= (G i x x G /C i[p] x x Gn [p])[p]
= ( G i / G i b l j b l x x (C/C[p])[p]
= Gl[p2]/Gi[p] X X Gn[p2]/Gn[p])
se sigue que n 2 es el nmero de factores de orden > p2 en (*), y consecuentemente
n i n 2 es el nmero de factores de orden p. El argumento se sigue por induccin.
Una consecuencia inmediata del teorema 7.5 y del ejemplo 1 (o del teorema 7.10 y
de 7.5) es la primera parte del teorema siguiente y la unicidad es la proposicin anterior.
T eorem a 7.12 (Teorema fundamental de los grupos abelianos finitos). Todo grupo
abeliano finito se puede descomponer en producto directo de grupos cclicos p-prima-
ros, en forma nica, salvo el orden de los factores.
E j e r c ic io 3. Si H x K = H x L , demuestre que K ~ L.
\HK\ =
Una forma anticuada, todava usada en teora de nmeros, de decir que 0 tiene orden k.
96 7. PRODUCTOS DIRECTOS Y GRUPOS ABEUANOS FINITOS
kerrp = P| H i.
i= i
E j e r c ic io 19. Sea G un p-grupo abeliano finito de orden pn > 1 y suponga que para
todo a G G se tiene que crp = 1 . Demuestre que G es el producto directo de n grupos
cclicos de orden p.
Captulo
A c c io n e s d e g r u p o s y u n t e o r e m a d e F r o b e n i u s
Puntos fijos. Si un grupo G. acta sobre un conjunto Y , interesa saber cmo mueve G
a los elementos de Y y para sto suele ser til estudiar los elementos de Y que no se
8. ACCIONES DE GRUPOS Y UN TEOREMA DE FROBENIUS 99
mueven, i.e., que permanecen fijos bajo la accin de G. Al pensar en elementos que
quedan fijos bajo la accin de G, podemos hacerlo desde dos puntos de vista:
(1) Si cr G G est dado, podemos considerar los elementos de Y que permanecen fijos
bajo la accin de este cr, y se define
Y := {x G Y : cr * x = x} C y .
El conjunto Y a se llama el conjunto de puntos fijos de o.
(2) Si x y es un elemento dado, podemos considerar el subconjunto de elementos
del grupo G que dejan fijo a x, y se define
Gx := {o G G : o * x = x} C G.
El conjunto Gx se llama el subgrupo de isotropa o estabilizador de x, y en efecto es
un subgrupo:
Ejemplo 10. Si G acta trvialmente sobre Y , entonces orbcf(x) = {x}, para cada
i
x g y.
i
100 8. ACCIONES DE GRUPOS Y UN TEOREMA DE FROBENIUS
|orM*)MG/G,| = [G:G,].
Gx
b
b
II
h = ah'a 1 E aG:
y por lo tanto Gy = oGxo~l , como se quera. Finalmente, los grupos conjugados son
isomorfos.
^Tambin conocido como el lema d e Burnside , pero vea las notas al final del capitula
102 8. ACCIONES DE GRUPOS Y UN TEOREMA DE FROBENIUS
V i T | T =
x'6ortc(x)lrb(X)l *
y as, como r es el nmero de rbitas de Y , se tiene que
1
V = r 1 = r,
gy I orbG(x;
y substituyendo este valor en (4), queda
= |G |r
n - |C| r 4 )
que substituido en ( 1 ) nos da
r |G | = m ,
aG
como se quera.
Notas. En las primeras dos secciones de la memoria [48], Lagrange rescribe las de
mostraciones de Ferrari y Cardano de las frmulas para resolver por medio de radicales
las ecuaciones polinomiales de grados 3 y 4, y en la tercera y cuarta secciones estudia
el caso de ecuaciones polinomiales de grado quinto y mayor, considerando permuta
ciones de las races de estas ecuaciones, y en las partes 97 y 98, pp. 370-373 de la
8. ACCIONES DE GRUPOS Y UN TEOREMA DE FROBENIUS 109
que <>(g ) : Y Y es biyectiva (y as <>{o) 6 S y como se quiere). Demuestre que < >
es un homomorfismo.
Los dos ejercicios anteriores nos dicen que dar una G-accin en Y es lo mismo que
dar un homomorfismo <>: G S y .
104 8. ACCIONES DE GRUPOS Y UN TEOREMA DE FROBENIUS
Ejercicio 6 . Sea G cualquier grupo y hagamos actuar a G sobre s mismo por tras
laciones izquierdas, vea el ejemplo 3. Demuestre que el homomorfismo < : G Sq
correspondiente es inyectivo.
EJERCICIO 7. Use el teorema de Frobenius para dar otra demostracin del teorema de
Lagrange.
c= E I c g (7)I-
Ig I geG
Ejercicio 12. Si V' es un /^-espacio vectorial, el grupo aditivo del campo K acta
sobre el grupo abeliano aditivo (Vi 4-) mediante el producto de un escalar por un vector
K x V -4 V dada por (A, v) - A *v.
Cules son las rbitas de esta accin?
8. ACCIONES DE GRUPOS Y UN TEOREMA DE FROBENIUS 105
I f
G /N
\HxK\ =
\H\\K\
|HnxKx-'y
Sugerencias:
(i) Muestre que la funcin / : H x K *H x K x " 1 dada por f (hx k ) := hxk x~ l
es biyectiva.
(ii) Observe que x K x es un subgrupo de G del mismo orden que K.
(iii) Aplique el ejercicio anterior a los grupos H y x K x ~ l .
EJERCICIO 19. Despus de una funcin de pera, cada uno de los asistentes recoge al
azar uno de los paraguas que previamente haba depositado en el guardaropa. Demues
tre que, en promedio, slo uno de los asistentes recoger su propio paraguas. (Aqu, a/
azar quiere decir que todas las permutaciones de los paraguas pueden darse). Sugeren
cia: use el ejercicio anterior.
Captulo
L o s t e o r e m a s d e C a u c h y y S y lo w
S I laY accin
ES UN G-CONJUNTO, con Y y G nitos y si r es el nmero de rbitas en Y de
de Gy sean . . . , x r representantes de cada una de las rbitas. Como
stas forman una particin de Y , se tiene que
Note ahora que algunas de las rbitas pueden tener un slo elemento, y cuando esto
sucede este elemento a: no lo mueve ningn elemento de Gy es decir, queda fijo bajo
todo a 6 Gy i.e., ax = x para todo a G G. Pongamos entonces
^ 1 = 1^ 1+ o rM * * )!-
t= a + l
Y = Z{G).
Finalmente, si denotamos con C \ y. . . , Ct las clases de conjugacin de G con ms de
un elemento, la frmula (*) se vuelve
|G | = |Z (G )| + | C <|
* 1
107
108 9. LOS TEOREMAS DE CAUCHY Y SYLOW
|G | = |Z (G )| + [ G : G I i ].
t= l
Los teorem as de Sylow. Ya hemos llegado al punto en el cual podemos probar los |
recprocos parciales del teorema de Lagrange y que constituyen, de alguna forma, el |
inicio del estudio de los grupos finitos propiamente hablando, es decir, a partir de los u
teoremas siguientes, debidos a Ludwig Sylow, ya se tiene la herramienta necesaria pa- (
ra comenzar a estudiar los grupos finitos. Nosotros slo daremos algunas aplicaciones
elementales y estudiaremos algunos ejemplos representativos. Recordemos que el teo- I
rema de Lagrange nos dice que si G es un grupo finito, el orden de cualquier subgrupo I
H de G divide al orden de G. El recproco no es cierto, por ejemplo el grupo alternante i
A \yque tiene orden 12, no tiene un subgrupo de orden 6 . El primer teorema de Sylow t
nos dice que si G es finito, entonces G contiene subgrupos de orden ciertos divisores t
d e |G |: ;
TEOREMA 9.5 (Primer teorema de Sylow). Sea G un grupo finito de orden n y supon j
gamos que p es un primo tal que n = pmt con m > 1 y p \ t . Entonces, G contiene un j
subgrupo de orden p* para toda j tal que 1 < j < m .
9. LOS TEOREMAS DE CAUCHY Y SYLOW 11
1*1 = 1 (m dp),
lo cual prueba la primera afirmacin del teorema.
Para la segunda afirmacin, hagamos actuar G en Y mediante conjugacin. Como
todos los p-subgrupos de Sylow son conjugados entre s entonces slo hay una rbita
de esta accin de G en Y , digamos o r b c ( i) para H G Y. Se sigue que
(*) ly iH o r M i^ tG :^ ],
la ltima igualdad por el teorema 8.2 del captulo anterior, donde Gh es el subgrupo
de isotropa de H , i.e, G h = N g (H) es el normalizador de H en G. Ahora, como
[G : G h ] es un divisor de |G| por el teorema de Lagrange, entonces (*) implica que el
nmero de p-subgrupos de Sylow, |V |, divide a |G |, como se quera.
Para el primo p = 3, se tiene que 713 divide a 24 por lo que puede ser 1, 2, 3, 4,
6, 8, 12, 24. Y como 713 = 1 (md 3), las posibilidades para 713 se reducen a: 1 y 4.
Para decidir cul de estas posibilidades es la correcta, observemos que los 3-subgrupos
de Sylow de 4 son de orden 3 y por lo tanto son cclicos generados por un elemento
de orden 3. Entre los elementos de 4 los de orden 3 son los 3-ciclos: (1,2,3), (1,2,4),
(1,3,4) y (2,3,4). Por lo tanto hay cuatro 3-subgrupos de Sylow, los generados por los
ciclos anteriores.
Para el primo p = 2, se tiene que 712 divide a 24 y como 712 = 1 (md 2), las
j posibilidades para 712 se reducen a: 1 y 3. Para decidir cul de estas posibilidades es
la correcta, observemos que los 2-subgrupos de Sylow de 4 son de orden 8 y ahora
observe que el subconjunto de 4:
(a) = (a3)
P - ( p - P)! = ( P _ 1 ) !
p-ciclos. Sea np el nmero de p-subgrupos de Sylow de Sp. Entonces, en cada p-
subgrupo de Sylow H de Sp hay (p 1 ) ciclos de perodo p, por lo que
p(P - 1) = ( p - 1)!
y as np = (p 2)! Note que como n p = 1 (md p ), entonces (p 2)! = 1 (mdp)
(el teorema de Wilson).
Regresando a p-grupos:
Observacin. El corolario 9.12 no es vlido para grupos de orden pk con k > 3, por
ejemplo existen grupos de orden p 3 no abelianos, un ejemplo, para p = 2 , es el grupo
de simetras del cuadrado, i.e., el grupo didrico D% de orden 8.
Grupos de orden pq. A continuacin clasificaremos todos los grupos de orden el pro
ducto de dos primos distintos. Necesitaremos los resultados siguientes: en el ejercicio
2 del captulo 5 se peda probar que si H es un subgrupo de G de ndice 2 , entonces
H<G. La proposicin siguiente generaliza este ejercicio y para probarla necesitaremos
el lema:
iV = ker 0 = p| G 9h
9HY
y como
G 9h = {9 : g ( g i H ) = g i H } = { g e G :g i h para algn h e H }
G
= {</ G : g e g i H g ' 1} = g i H g ~ l ,
entonces G 9h = 9iH
g_1,
, por lo que
IIsHey
n g* h =
9iHey
n 111
de donde se sigue que N C H ya que una de las clases laterales g i H es i / . Finalmente,
por el primer teorema de isomorfismo de Noether, G/ ker < f>~ Im <f>y as
[ G : i V ] = [ G : k e r 0 ] = |Im 0|
y como Im < >es subgrupo de 5 n y este grupo tiene orden n!, entonces |Im <>\divide a
n!, como se quera.
PROPOSICIN 9.15. Sea G un grupo finito de orden n y sea p el menor primo que
divide a n. Entonces, todo subgrupo de ndice p en G es normal.
Demostracin. Sea H C G un subgrupo de ndice [G : H] = p. Por el lema anterior
existe un subgrupo normal N < G , con JV C H y tal que [G : JV] divide ap!. Mostrare
mos que N = H. Para sto observamos primero que como N C H y son finitos, enton
ces basta mostrar que \N\ = \H\, lo que es lo mismo, que [G : N] = [G : H]. Para
probar esto ltimo observemos que como N C H , entonces p = [G : H] < [G : N]
y as [G : N] ^ L Sea q un primo que divide a [G : iV]. Como [G : N] divide a
p!, entonces q\p\ y por lo tanto q < p. Ahora, por el teorema de Lagrange, q tambin
divide a |G| = n, y por la minimalidad de p se sigue que p < q y por lo tanto p = q.
Se sigue que [G : N\ = pr , y como pr = [G : N] divide a p!, entonces r = 1 y
consecuentemente [G : N] = p, como se quera.
PROPOSICIN 9.17. Sea G un grupo de orden pq, con p > q primos. S i p ^ z l (md q)>
entonces G es cclico.
9. LOS TEOREMAS DE CAUCHY Y SYLOW 117
tal que afra1 = fer . Si se tuviera que r = 0, entonces afea1 = 1 y as afe = a por
lo que fe = 1, en contradiccin con el hecho de que fe es de orden p. Si sucediera que
r = 1 , entonces afea1 = fe y as afe = fea y por lo tanto el grupo (a, fe) = G sera
abeliano, en contradiccin con la hiptesis de (2 ). Se sigue que 1 < r <p. Finalmente,
por induccin sobre j > 0 se prueba que
(*) aj ba~j = br\
En efecto, si j = 0 1, el resultado ya se tiene. Supongamos que (*) es verdadera
para j. Entonces,
<+ 16a - +1> = aa?ba~ia~l = abV 1 = ( a b a ^ f = | | f ; = br+\
como se quera.
As, en particular, si j = q, recordando que aq = 1, de (*) se sigue que
fe = aqba~q = br9
y por lo tanto fe7,91 = 1 por lo que el orden p de fedivide a rq 1 , i.e., rq = 1 (md p).
Ejemplo 6. Si p > 2 es un primo, entonces existe un grupo G no abeliano de orden 2p
ya que p = 1 (md 2) porque p es impar. Por el teorema anterior
G ~ (a,fe | a 2 = 1 = fe*\ aba 1 = fer ),
donde r es un entero tal que l < r < p y r 2 = l (md p). Ahora, como p |(r 2 - 1) =
(r 1)(r + 1 ), entonces p\r 1 p |r 4-1. Note que si p\r 1, entonces r = 1 (md p)
por lo que r = 1, lo cual no puede pasar. Se sigue que r = 1 (md p) y as
afea1 = fe1
i.e., bofe = a por lo que G ^ D^p es el grupo didrico de orden 2p.
Productos semidirectos y subgrupos de Sylow del grupo simtrico Sn. En esta sec
cin calcularemos los subgrupos de Sylow del grupo simtrico Sn y para hacerlo in
troduciremos una generalizacin del concepto de producto directo de dos subgrupos,
relajando la hiptesis de que los dos subgrupos sean normales en el grupo grande.
(k .x X fc-1)* -1, * - 1) = = ( k k ~ \ ) = ( 1 , 1 ).
(2): Si definimos 7r : G Q mediante 7r (k, x) = x , claramente n es un homomorfismo
(ya que la accin 0 slo afecta a la primer coordenada) y ker 7r = K, por lo que K<G.
9. LOS TEOREMAS DE CAUCHY Y SYLOW 121
( / *9 )(x) = f(x)g(x)
para x G Q y donde pensamos a f (x ) como la coordenada x-sim a del vector / .
Para los grupos K A9 y Q anteriores, definamos la accin Ode QenK mediante
0 ( /, y) = /v , donde f y(x) := /( x y ) , para / G K> y, x Q. Note que si pensamos a
/ como un vector con coordenadas f (x) para x Q,
O
p = 2 p = 3 p = 5
9. LOS TEOREMAS DE CAUCHY Y SYLOW 123
Esta construccin la podemos iterar para definir el polgono Pt , que est dado por
1 p_1 copias de P i, y nos interesa el subgrupo de simetras de Pt formado por las rota-
| dones que lo dejan invariante. Denotemos este grupo por K t. Por ejemplo, parap = 3 y
para el polgono P 3, la figura siguiente ilustra algunas de estas simetras, rotando 120
^ toda la configuracin P 3, rotando el P2 superior 120 y rotando 240 el P\ inferior
derecho en el P 2 inferior izquierdo, lo cual en la figura lo indicamos por los crculos
A alrededor de los tringulos correspondientes.
124 9. LOS TEOREMAS DE CAUCHY Y SYLOW
Pp)t~V = Ri X x Rp.
126 9. LOS TEOREMAS DE CAUCHY Y SYLOW
(t-l)-copias (l)-copias
_ pPt_ 1+pt~2H--- hp+1 ^
y veremos que pT := j?t~l+Pt~2+" +P+ 1 es el orden correcto para que este producto
corona sea un p-subgrupo de Sylow de Spt, es decir, mostraremos que pT es la mayor
potencia de p que divide al factorial p*!. Para probar sto, observemos que dados enteros
positivos k , m , si consideramos la pregunta: cuntos enteros entre 1 y m son divisibles
por k l , lo que queremos es encontrar los mltiplos de k que hay entre 1 y m, i.e.,
1 , . . . , fc,. . . , 2fc,. . . , 3&,. . . , tk < m , . . . , (t + l)fc > m
y as la respuesta es: hay t mltiplos de k entre 1 y m ; dicho en otras palabras, t =
[m/k] es el mayor entero < mk. Si ahora pasamos a considerar la pregunta: cul es
la mayor potencia del primo p que divide al factorial m!?, por la respuesta a la primer
pregunta, de los factores 1 , 2 , 3 , . . . , ( m - 1 ), m de m!, [m /p] de ellos son divisibles por
9. LOS TEOREMAS DE CAUCHY Y SYLOW 127
Ejercicio 13. Si G es un grupo finito de orden |G | = pqrt con p < q < r primos,
demuestre que el r-subgrupo de Sylow de G es normal en G.
Ejercicio 15. Sea G un grupo finito y suponga que para cada primo p el grupo G
slo tiene un p-subgrupo de Sylow. Demuestre que G es el producto directo de sus
subgrupos de Sylow.
G ru p o s s im p le s
Centros de Sn y An. Los grupos S i, S2, A\> A 2 y A$ son abelianos y por lo tanto son
iguales a sus centros.
PROPOSICIN 10.2. (1) Si n > 3, entonces Z(Sn) = 1.
(2) Si n > 4, entonces Z (A n) = 1.
Demostracin. (1): Dado o 6 Sn , < 7 ^ 1 , supongamos que o ya se ha descompuesto
como producto de ciclos disjuntos. Tenemos dos casos:
CASO 1. En la descomposicin de o hay al menos dos ciclos no triviales, digamos
0 = (x i , x2,...) / i .2/2. )
Entonces, como x i,X 2, y i , 2/2 son diferentes entre s poniendo r = ( x i,y 1 , 2/2) Sn,
por la proposicin 4.11 se tiene que
Entonces, poniendo r = (xi, X2)(x 3, X4) G An>por la proposicin 4.11 se tiene que
TGT~l = ( x 2 ,X l , X 4 , X 3 , . . . ) <7
G = ( x i,X 2 ,X 3 )
LEMA 10.3. Sea N < An con n > 5. Si N contiene un 3-ciclo, entonces N = An.
10. GRUPOS SIMPLES 135
Notas. Los grupos simples finitos son como los ladrillos a partir de los cuales se pue
den construir todos los grupos finitos, como lo expresa de alguna forma el teorema de
Jordan-Hlder (vea el teorema 11.2 y la nota 7 del captulo siguiente), y as, clasificar
y determinar todos los grupos simples finitos es un objetivo importante de la teora de
grupos.
En su tratado, [11], Jordn enfatiza la distincin que hizo Galois [40] entre gru
pos simples y grupos compuestos, i.e., no simples, necesaria para su caracterizacin
de ecuaciones polinomiales solubles por radicales (definiendo de paso los grupos solu
bles (vea las notas al final del captulo siguiente)). En este tratado, Jordn cominzala
clasificacin de los grupos finitos simples (alternantes A n para n > 5 y casi todos los
grupos lineales proyectivos sobre campos finitos de cardinalidad prima (ver el captulo
10. GRUPOS SIMPLES 137
12). Es hasta 1892 cuando Holder estudia por primera vez grupos simples en forma
abstracta y al principio de su artculo [43] escribe:
Sera de gran inters si fuera posible dar un panorama de toda la
familia de grupos nitos simples.
Este podra ser considerado el nacimiento del programa cuya meta principal era clasi
ficar y determinar todos los grupos simples finitos, y en este artculo seero de Holder,
l mismo clasifica todos los grupos simples de rdenes hasta 200. Esta cota fue aumen
tada paulatinamente, usando en las demostraciones las nicas herramientas disponibles
hasta entonces, a saber los teoremas de Sylow, hasta que Frobenius y Bumside intro
dujeron la teora de caracteres en el arsenal.
A finales de los aos 1970 y a principios de la dcada de 1980, se anunci la con
clusin de la clasificacin de los grupos finitos simples y segn sto, se tienen las cuatro
familias infinitas de grupos simples finitos siguientes: grupos cclicos de orden primo,
los grupos alternantes A n con n / 4, los grupos lineales clsicos sobre un campo
finito (proyectivos lineales especiales, proyectivos simplcticos unitarios, proyectivos
ortogonales, proyectivos unitarios especiales) y grupos de Chevalley torcidos. Adems
de estas familias, se tienen 26 grupos simples finitos que no pertenecen a familia algu
na y se les conoce como grupos espordicos, 5 de los cuales fueron descubiertos por
Mathieu hacia 1860 y los otros 21 fueron encontrados entre 1965 y 1975. En los aos
siguientes al anuncio de la completacin del programa de la clasificacin de los grupos
simples finitos se han venido publicando los artculos donde se detalla la clasificacin,
pero hasta la fecha esto no ha sido concluido. De hecho, algunos matemticos todava
se mantienen escpticos con respecto a la pretendida conclusin del programa, aunque
la mayora de los algebristas dedicados a la teora de grupos considera que el programa
esencialmente est concluido y slo es materia de tiempo para que las publicaciones
asociadas aparezcan.
Ejercicio 6 . Demuestre que si n > 5, entonces todos los 3-ciclos de A n son conju
gados del 3-ciclo (1 2 3). Use lo anterior para dar otra demostracin del lema 10.3.
Captulo
G ru p o s s o lu b le s
(*) G = : G0 2 Gi 2 G 2 2 2 Gn = {e}
tal que G+i <1 G para toda i. Los cocientes de la serie son los grupos G/G*+i para
0 < i < n y la longitud de la serie es el nmero de inclusiones estrictas.
Note que no se est pidiendo que G* < G ya que, en general, la normalidad no es
transitiva.
Una serie normal de un grupo G
G = : G0 D G i 2 G2 2 2 G = 1
se dice que es una serie de composicin si cada G+i es un subgrupo normal mximo
de Gi 6 si G*+i = G. Recuerde que un subgrupo normal H < G se dice que es mximo
si no existe otro subgrupo normal K < G entre H y G , i.e., tal que H K G. Por el
teorema de correspondencia H < G es un subgrupo normal mximo si y slo si G /H
no tiene subgrupos normales propios, i.e., si y slo si G /H es simple. As, la serie (*)
es una serie de composicin de G si y slo si cada cociente G /G +i es simple o trivial.
139
140 11. GRUPOS SOLUBLES
G =: G0 2 G?i 3 G2 2 2 Gm= 1
G = :G'02 G\ 2 G i 2 B H
son dos series normales de un grupo G , diremos que son equivalentes si existe una
biyeccin entre las familias de grupos cociente /<?,-} y {G + i/G J} tal que los
grupos cociente correspondientes son isomorfos. Es claro que series equivalentes tienen
la misma longitud.
Ejemplo 1. Para el grupo cclico G = C(30) de orden 30, se tienen las series de com
posicin
G = C(30) D C(6) D C( 3) D 1
y
G M C{30) D C(10) D C(2) D 1
con grupos cociente
{ C (5 ),C (2 ),C (3 )} y { C (3 ),C (5 ),C (2 )>
respectivamente, y por lo tanto las series son equivalentes.
IU
G ^ .H o ^ H x D fy D -
II
(1)
y
(2) G =: K 0 2 K x D K 2 D D Kt = 1
y distingamos los casos siguientes:
CASO l.S\ H\ = K x%las dos series de composicin obtenidas de (1) y (2) eliminando
al grupo G son equivalentes por la hiptesis de induccin aplicada al grupo H\ = K \,
y como Ho/Hi = K o /K u entonces las series (1) y (2) tambin son equivalentes.
CASO 2. Si H\ ^ K\> como ambos subgrupos son normales en G entonces H \K \ < G
y como H\ ^ K\ entonces H\ H iK \ y ya que H\ es subgrupo normal mximo de
G se debe entonces tener que H \K \ = G. Pongamos ahora L\ := H\ C\K\. Por el
segundo teorema de isomorfismo de Noether
(3) G /H i = H iK i/H x | H l t n Kx) = K x/ L x
y
(4) G /K i = H iK i/K i * H X/(H Xn K \) = Hx/L i
y por lo tanto K \/L \ y H \/L \ son simples puesto que G /H \ y G /K \ lo son. Sea
L\ D L2 D D Ls = 1 una serie de composicin de L\. Como H\ D L\ y
K\ D L \yse tienen las series de composicin de G:
(5) G D H i D L i D L 2 2 - 3 Ls = 1
y
(6) G D K i 2 Li DL 2 2 - O L , = l
ya que H\L\ y K \/L \ son simples. Los grupos cociente de (5) y (6) son
G /H l l H l / L l i L l /L 2, . . . iL9
y
G /K u K l / L l ,L 1/L 2, . . . , L 9
y as, por (3) y (4) las series (5) y (6) son equivalentes ya que salvo la permutacin de
los dos primeros grupos de la izquierda, los dems son iguales.
Finalmente, las series de H\ que se obtienen de (1) y (5) son equivalentes por
hiptesis de induccin. Anlogamente las series de K \ que se obtienen de (2) y (6)
tambin son equivalentes. Se sigue que las series de H\ y K \ que se obtienen de (1) y
(2) son equivalentes y de (3) y (4) se sigue que (1) y (2) son equivalentes tambin.
Grupos solubles. Un grupo G nito es soluble si tiene una serie normal cuyos cocien
tes G /G + i son abelianos para 0 < i < n 1 .
142 11. GRUPOS SOLUBLES
Observacin. Los dos ejemplos anteriores son casos muy particulares de un celebrado
teorema de Bumside, cuya demostracin daremos en el captulo 15, como una aplica
cin de la teora de caracteres:
1 = G ^ C G ^ l) C C G (1) C G (0) = G
y es tal que cada G^t+1) <1 G ^ y los cocientes G ^ /G ^ 1* 1) son abelianos. Se sigue que
G es soluble.
Recprocamente, si G es soluble, se tiene una serie
1 = Go C G i C C G n = G
donde cada G <3 G ,+ 1 y los cocientes G + i /G* son abelianos. Entonces, del lema
(11.4)(3) se tiene que [Gi+1, G+ 1] C G, y as
G := [G,G] = [G ,G ]C G _ i
G (2) := [ G W ,G l S [ G _ x>G _ i] C G - 2
i.e.,G<n> = l.
TEOREMA 11.6. Sea G un grupo. Entonces,
(1) SiH C G es un subgrupo y G e s soluble, entonces H es soluble.
(2) SiH < G y G es soluble, entonces G /H es soluble.
(3) Si H < G es tal que H y G /H son solubles, entonces G es soluble.
tal que H
*> = 1, y as G(m+n> = 1.
146 11. GRUPOS SOLUBLES
n(abd)n~1
En particular, para n Sn tal que n(a) r, n(b) = s, 7r(d) = t t donde r, s, t son tres
enteros (entre 1 y n) diferentes, se tiene que
Ejemplo 10. En el ejem plo 7 m ostram os que el grupo S$ es soluble. Veremos que no es
nilpotente. En efecto, por el lem a 11.10 todo grupo nilpotente no trivial tiene centro no
trivial, pero por 1 0 .2 , Z ^ S s ) = 1 .
El lema anterior nos da grupos no abelianos que son nilpotentes y el ejemplo 10 nos
da grupos solubles no nilpotentes. Se tienen as inclusiones estrictas entre las siguientes
clases de grupos:
Grupos abelianos Grupos nilpotentes Grupos solubles.
As como los grupos solubles pueden ser caracterizados usando subgrupos conmu
tadores, se tiene algo anlogo para los grupos nilpotentes y para sto necesitaremos el
concepto siguiente, que generaliza la definicin de subgrupo conmutador. Si H y K
son dos subgrupos de un grupo G, denotemos con [H, K] al subgrupo de G generado
por todos los conmutadores de la forma
[ M ] = hkh~1k~1 con heH y k e K.
Para comenzar notemos que [i/, K] = [K,H], lo cual se sigue de observar que si
h G H y k G K yentonces (hkh~l k~l )~l = k h k ^ h " 1.
LEMA 11.12. (1) Sean H y K subgrupos de G. Entonces, [H, K] C H si y slo si
K C N g (H ) .
(2) Sean K < G y K C H C G. Entonces, [H, G\ C K si y slo si H /K C Z(G/K).
(3) Sea f : G * G' un homomorfismo suprayectivo. Si A C Z(G), entonces f(A) C
Z(G').
Demostracin. (1): Si [H , K] C H , entonces para todo k K y h G H> hkh~xk~l 6
H y as kh~l k~l H para todo k G K y todo h~l G H , por lo que K C N q {H).
Recprocamente, si K C N q (H) entonces para todo k K C N q {H) y todo
h G H < N g (H) se tiene que fc/iAr1 G H y as h(kh~l k~l ) G i f , i.e., [/i, k] G ,
por lo que [H, K) C T.
(2): Si [H , G] C K y entonces para cualquier clase lateral hK G H /K y cualquier
clase gK G /K queremos probar que hK gK = g K h K , es decir, que hgK =
11. GRUPOS SOLUBLES 149
i.e., que (gh)(hg)~x E K t i.e., que ghg~xh~x E K , pero esto ltimo se sigue de la
hiptesis de que [if, G]C K y del hecho de que [JJ, G] = [G, H).
Recprocamente, si H /K C Z (G /K ), entonces gh)(hg)~x E K para todo g G
y h e H. As, ghg~xh~x G Af para todo g e G y h H, i.e, [G, H] C K .
(3): Si /(o ) G /(A ) y si h G G, como / es suprayectivo existe un g G G tal que
h ss f(g). Entonces
f{a)h = f(a)f{g) = /( a p ) = /(p a ) porque o G Z(G)
=
y a s/(a ) G Z(G').
Usando los subgrupos [//, K] definidos arriba, dado cualquier grupo G definimos
los subgrupos siguientes:
L X(G ) := G
L 2(G ) := [L!(G),G] = [G,G]
L3(G) := [L2{G\G]
L + \{ G ) := [L i(G )t G \.
LEMA 11.13. Sea G cualquier grupo. Entonces, para todo entero i > 1,
(1) Lm (G) C L (G).
(2) L (G) es un subgrupo normal de G.
Demostracin. ( 1 ): Induccin sobre i. Como L\(G) = G y L2(G) = [G,G], entonces
L2(G) C L\(G). Supongamos ahora que Li(G) C L _ i (G). Para cualquier generador
hgh-xg -x de Li+ 1 (G) = [Li(G),G], con h E U(G) y g G G, como U{G) C
Li-i(G) entonces h G L j_i(G ), por lo que hgh~xg~x G [L*_i(G),G] = L(G) y
as L+ (G) C Li(G).
(2): Como, por la parte ( 1 ), [L<(G), G] = Li+i(G) C Li(G ), el lema 11.12(1) implica
que G C N g (L (G))9i.e., que JVg (Z, (G)) = G y as U{G) < G.
Note sin embargo que la parte 3 de 11.6 no es vlida para grupos nilpotentes, es
decir, la clase de grupos nilpotentes no es cerrada bajo extensiones. El mismo ejemplo
Sz nos sirve ya que el subgrupo A$ < Sz es abeliano y el cociente S 3/A 3 tambin es
abeliano por lo que tanto el subgrupo Az como el cociente S 3/A 3 son nilpotentes, pero
Sz no lo es por el ejemplo 10 .
Nuestro objetivo ahora es mostrar que los grupos nilpotentes finitos no estn muy
lejos de los p-grupos finitos y para sto necesitaremos los dos lemas siguientes, el
primero de los cuales es la versin para grupos nilpotentes del ejercicio 5.
LEMA 11.16. Si G es el producto directo de un nmero finito de grupos nilpotentes,
entonces G tambin lo es.
Demostracin. Por induccin sobre el nmero de factores directos es suficiente consi
derar el caso cuando G = H x K es el producto directo de dos grupos nilpotentes.
Otra induccin, ahora sobre i > 1, muestra que
Li(G) = Li(H x K ) = Li(H) x Li(K) para todo i > 1.
Sean m y n las clases de H y K> respectivamente y sea t m x{m , n}. Entonces
Lt {G) = Lt (H) x Lt (K) = 1
ya que Lt(H) C Lm(H) = 1 y similarmente para K .
LEMA 11.17. Sea G un grupo finito y sea P un p-subgrupo de Sylow de G. Entonces,
P es el nico p-subgrupo de Sylow de su normalizador N := N g {P) y nonnalizador
de N es igual a N.
Demostracin. Para la primera afirmacin observe que P < Nc{P) y as P es un p-
subgrupo de Sylow de N = N c(P ) y como P es normal en N entonces es el nico p-
subgrupo de Sylow de N . Para la segunda afirmacin, como N C N g {N)> si existiera
un elemento x N q (N) N t entonces x & N = N g (P) por lo que xP x~ l ^ P .
Ahora, como x G N g {N), entonces x N x ~ x = N y como P C N = 7V(P), entonces
xPx~x C x N x ~ l = N y as x P a T 1 C JV, con xP x~ l un p-subgrupo de Sylow de
N distinto de P , en contradiccin con la primera parte del lema.
Demostracin. (1) = (2): Escojamos un ndice i tal que Li+\(G) C H pero L(G) g
H (esto siempre es posible para cualquier cadena de subgrupos de G que comienza en
G y termina en 1). Entonces,
[Li(<2),T] C [Li(G),G] = Li+i(G) C H ,
y as, por 11.12 (1), L(G) C N g {H ), y como L(G) % H , entonces existe algn
elemento en N q {H) que no est en H.
(2) = (3): Sea P cualquier p-subgrupo de Sylow de G y sea N = N g (P) su norma-
lizador en G. Por el lema anterior N es igual a su normalizador y por la hiptesis (2)
se sigue que N no puede ser un subgrupo propio de G , es decir, G = N = N q {P) y
as P < N g (P) = G , i.e., P es normal en G , y como todos los p-subgrupos de Sylow
son conjugados se sigue que todos son iguales a P ya que P < G y por lo tanto slo
hay un p-subgrupo de Sylow para cada primo p.
(3) => (4): Sean p i , . . . , pm todos los divisores primos del orden de G y sean GPi los
(nicos) pt-subgrupos de Sylow correspondientes. El producto directo GPl GPm es
un subgrupo de G cuyo orden es igual al de G. Se sigue que este producto directo debe
ser igual a G.
(4) =s (1): Si G es el producto directo de sus p-subgrupos de Sylow, por los lemas
l l . 1 6 y l l . l l s e sigue que G es nilpotente.
Teorema B (Feit-Thompson). Todo grupo finito, simple y no abeliano tiene orden par.
(5) La demostracin general del teorema prqs de Burnside, en [26], es de una naturaleza
completamente diferente a la de los casos especiales de la nota anterior, en el sentido
de que usaba la teora de caracteres de grupos, lo cual, de cierta forma, legitimaba a
sta como una herramienta poderosa para obtener resultados sobre la estructura de los
grupos finitos. Fue hasta 1972 cuando Bender [23] obtuvo una demostracin elemental,
i.e., sin usar representaciones de grupos, del teorema de Burnside.
154 11. GRUPOS SOLUBLES
(6) A s como el trmino soluble fue tomado de la teora de Galois de las ecuaciones
polinomiales algebraicas, el trmino nilpotente fue tomado de la teora de grupos y
lgebras de Lie, cuyo objetivo inicial era desarrollar una teora de Galois de las ecua
ciones diferenciales. Dado un grupo de Lie G (digamos, lineal conexo) con lgebra
de Lie correspondiente L, se tiene que Z m(G) = G si y slo si el lgebra de Lie L
consiste de matrices nilpotentes. En su libro [2], Bumside prob que un grupo finito
tiene una serie central si y slo si es producto directo de sus p-subgrupos de Sylow.
(7) Existe una analoga muy sugerente entre la aritmtica de los nmeros naturales N
y algunos aspectos de la teora de grupos finitos. En esta analoga, un divisor n de un
nmero natural ra corresponde a un subgrupo normal N de un grupo G, de tal forma
que as como m /n es de nuevo un nmero natural, el cociente G /N es un grupo.
En esta lnea de ideas, si pensamos a un primo p como un entero > 1 cuyos nicos
divisores son 1 y p mismo, el concepto correspondiente es el de un grupo simple,
i.e., aqul cuyos nicos subgrupos normales son el 1 y TV mismo. Recordemos ahora
que el resultado ms importante de la aritmtica de N es el teorema de factorizacin
nica, a saber, que todo entero m > 1 se puede escribir en forma nica (salvo el
orden de los factores) como un producto de primos m = p^1 *p e3s. Para poder ver
el resultado anlogo para grupos finitos conviene reformular el teorema anterior de la
forma siguiente: consideremos a m como un producto de primos repetidos de acuerdo
a su multiplicidad ra = p\p2 pr y definamos los enteros mi como sigue: rao = m,
ra = P2 *Pr wi3 = P 3 ** >m r- i = pr y m r = 1, de tal forma que
(1) ra = rao > mi > 7712 > rar_i > rar = 1
donde cada ra*+i|rat y adems cada cociente ra /m i +1 es primo. Note que en esta
descripcin de ra, los primos que ocurren en la factorizacin de ra y sus multiplici
dades e< estn unvocamente determinados por ra, pero los enteros ra no lo estn, por
ejemplo, si ra = 60 = 22 3 5, podemos escribir
EJERCICIO 21. Use el ejercicio anterior para probar que todo grupo no abeliano de
orden p 3 es nilpotente de clase 2 .
G ru p o s d e m a tric e s
*V = {[0],[l],[ 2] , . . . , [ p - l ] }
y que ya hemos visto que, con la suma definida usando representantes, el conjunto
(Fp, + ) es un grupo abeliano. Si ahora definimos el producto de dos clases residuales
[a], [b] Fp mediante [a][b] := [ah], eligiendo representantes a [a], b [6], en forma
anloga a como se hizo para la suma, se prueba que este producto est bien definido, es
asociativo, conmutativo, distributivo con respecto a la suma y la clase [1] Fp es neutra
para el producto. Ms an, si [a] E Fp con [a] [0], entonces p \ a y como p es primo
entonces mcd(p, a) = 1 por lo que 1 es combinacin lineal de a y p, es decir, existen
enteros uyv tales que au + pv = 1 y reduciendo mdulo p esta igualdad se vuelve
[a][u] = [1] en Fp, ya que [p] = [0]. Hemos as mostrado que si [a] ^ [0], entonces
existe [ti] G Fp tal que [a] [ti] = [1] y decimos que [ti] es un inverso multiplicativo de [a]
y por lo tanto todo elemento distinto de cero de Fp tiene inverso multiplicativo. As, Fp
junto con la suma y producto definidos arriba es un campo y como |FP| = p, entonces
Fp es un campo con un nmero finito de elementos. Adems de los campos finitos
Fp existen otros campos finitos (cuya cardinalidad necesariamente es de la forma p n ,
159
160 12. GRUPOS DE MATRICES
1 <*12 * * * <*l,n)
0 022 * * * <*2,n
A =
\0 <*n,2 * * * <*n,n/
y poniendo
f a\2 *** Oi,n>
022 * * * a 2,n
M
\<*n,2 * * * <*n,n/
162 12. GRUPOS DE MATRICES
-A
A
-A Vo m )
con M e G L (n 1, Fp) y los a\2 , . . . , a i )fl elementos arbitrarios de Fp. Ahora, como
hay p posibilidades para cada uno de estos a i 2 < j < n , entonces hay pn~l maneras
de elegir a los aij y por lo tanto
|G U11 = |G L (n - 1, W 1 = [(p**-1 - - p) (p " - 1 - pn- 2)]p n 1
(la ltima igualdad por hiptesis de induccin). Finalmente, juntando estos clculos:
|G L(n, Fp)| = | orbc?(vi)||G Ul | (por el teorema rbita-estabilizador (8.2))
|P S L (n,F p)|
(pn - l ) ( p n - p ) - - - (Pn - P n- 1)
d(p 1 )
Demostracin. Se sigue de 12.5 y 12.4.
Transvecciones y los grupos PSL(2,Fp). Si A ^ 0 en K y si i ^ j , denotemos con
Eij (A) a la matriz n x n que es igual a la matriz identidad / excepto en que tiene al es
calar A en la entrada (i, j ) ; a la matriz Ei j ( X) la llamaremos una transveccin. Observe
que el determinante de cualquier transveccin es 1 por lo que las transvecciones estn
en SL(n, K)> y tambin, para cualquier matriz A de tamao n x n con entradas en K t
el producto E i j ( X ) A es la matriz que se obtiene de A sumando A veces el rengln j
de A a su rengln i. A partir de ahora nos restringiremos a los grupos G L(2,FP), sus
subgrupos SL(2,FP) y los cocientes PSL(2,Fp), con la intencin de probar que estos
ltimos son simples, parap > 3. La proposicin siguiente es vlida para toda n, aunque
nosotros slo la probaremos para n = 2 :
PROPOSICIN 12.7. Toda matriz A e G L(2,FP) se puede escribir de la forma TD,
donde T es un producto de transvecciones y D es la matriz diagonal y |
d
particular cada matriz de SL(2, Fp) es un producto de transvecciones.
Demostracin. Sea A 6 GL(2, Fp). Si sucediera que la entrada (1,1) de A fuera cero,
como A es invertible su entrada (2,1) no puede ser cero. Sumando el segundo rengln
de A al primero, i.e., multiplicando E \2(l)A t obtenemos una matriz B cuya entrada
(1,1) no es cero. Note que d e tl? = det A ya que d e t f f o l ) = 1. Definamos A\
como A 6 B , dependiendo de que la entrada ( 1 , 1 ) no sea cero, digamos A i
164 12. GRUPOS DE MATRICES
A = E 12{-b /d')A 2 = ( ^ J )
El lema siguiente nos dice que las transvecciones juegan un papel anlogo para los
grupos lineales especiales al que juegan los 3 -ciclos para los grupos alternantes:
(a b \(l A\ ( a 6X 1 /1 -A a c Aa 2 \
\c d) \0 1 / \c d) \ -A c 2 1 + Aac)
12. GRUPOS DE MATRICES 165
(a b \ f 1 0\ (a b y l _ ( \ + \bd - A b2 \
\c d) \A l ) \ c d) \ Ad2 1 - Abd)
(*) (^J)
=
A con r # 1 . -
<> G 1 4 G I
y como d et Ai = 1, entonces a = 1. Antes de considerar estos dos casos, obser
vemos que si la matriz Ai E # es conjugada, por un elemento de GL(2, Fp), a una
matriz R = ^ ^ , entonces existe un escalar /x E F* tal que H contiene a la matriz
M = (T D )R (T D )-1 = T (D R D ~ 1) T - 1 = t ( 5) ( o /i-l) r_ l
/X 16>
= r ( a j) -\
V/iC d
C= u bu - 'b - 1
/ 72 0\
V/ 6(72 - 1) 72/
est en B . Notamos ahora que, si 7 2 ^ dbl, i.e., si 7 4 ^ 1 , entonces ya terminamos
de probar (*). Observamos ahora que ste es el caso si p > 5 porque tal 7 E F* existe
ya que el polinomio x4l tiene a lo ms cuatro races en Fp por 12.1. Si p = 5, hay dos
posibilidades, la primera es cuando la entrada b de B no es cero; en este caso escogemos
un 7 E F 5 ~ Z /5Z tal que 7 2 1 ^ 0. Listando las posibilidades para 7 en F 5 notamos
que se debe tener que 7 2 = 1 . Entonces, la entrada ( 2 , 1 ) de C, A := /6(7 2 1 ), no
es cero y como 72 = 1 , la matriz C es de la forma C = f ^ , y como C e B
Notas. El teorema anterior nos da una familia infinita de grupos simples. Note sin
embargo que |PSL(2, Fs)| = 60, que es igual al orden de A5. En el ejercicio 1 se pide
probar que cualesquiera dos grupos simples de orden 60 son isomorfos. En [22], E.
Artin muestra que slo hay 5 miembros de la familia PSL(2, Fp) que son miembros
de otras familias de grupos simples. Con un argumento esencialmente geomtrico, ver,
por ejemplo [16], se puede probar que los grupos PSL(n, K ) son simples para toda
n > 2 y cualquier campo K.
Ejerc ic io 1. Demuestre que cualesquiera dos grupos simples de orden 60 son isomor
fos.
168 12. GRUPOS DE MATRICES
R e p r e s e n ta c io n e s lin e a le s d e g r u p o s f in ito s
y por lo tanto la funcin (f) define una accin de GL(n, K) en V. Ahora, recordando
que, como espacio vectorial, V tiene las operaciones de suma de vectores y de producto
de un escalar por un vector, observamos que estas operaciones son compatibles con la
accin (f) anterior, es decir, se satisface que:
(iii) A - (v + w ) = T a ( v + w ) = T a ( v ) + T a ( w ) = A v + A w
y
(iv) A ( \ v ) = T a ( \ v ) = \ T a ( v ) = \ ( A v ).
Para recordar que las propiedades (iii) y (iv) provienen del hecho de que Ta es
lineal, diremos que la accin (f) es una accin lineal.
Acciones lineales. Supongamos ahora que G es cualquier grupo y que se tiene una
accin de G en un AT-espacio vectorial V , de dimensin finita, es decir, una funcin
* :G x V -> V
que satisface los axiomas:
(i) e * v = v, para todo v G V y donde e es el neutro de G.
(ii) (<
jt ) * v = a * ( r * v), para todo o, r G y v V.
y que adems es compatible con las operaciones del espacio vectorial V yes decir,
(iii) o * (v + w ) = o * v + o*w , para o G y v, w V.
(iv) o * (Au) = A(<7 * v), para K, v V y o G.
Cuando esto suceda, diremos que la accin es G-lineal y que V es un G-espacio vec
torial.
Recordando ahora que en los ejercicios 1 y 2 del captulo 8 se mostr que las
acciones de un grupo G en un conjunto Y estn en correspondencia biyectiva con
los homomorfismos del grupo G en el grupo simtrico Sy de Y %es natural que nos
preguntemos por lo que sucede cuando se tienen acciones lineales de un grupo G en un
/f-espacio vectorial V. Para ver lo que sucede en este caso, supongamos primero que
se tiene una accin lineal
* :G x V -> V
y usando esta accin definamos la funcin
p:G -> G L (V )
como sigue: para o e G, p(a) GL(V) es el operador lineal p (o ): V - V dado por
p(<r)(v) := cr *v.
Note que, como en los ejercicios mencionados del captulo 8, se tiene que p(a): V 4
V es, en efecto, biyectiva, y es fcil ver que es lineal. Observemos ahora que la fundn
13. REPRESENTACIONES LINEALES DE GRUPOS FINITOS 171
(iv) Para X e K, v V y a e G,
o * (Xv) = p(a)(A v) = X(p(a)v) = A(cr * v).
Dejamos como un ejercicio el probar que las correspondencias anteriores son in
versas una de la otra. Con sto se ha probado:
TEOREMA 13.1. Existe una correspondencia biyectiva entre el conjunto de acciones
lineales de un grupo G en un K-espacio vectorial V y el conjunto de homomorfismos
deGenGL{V).
Representaciones lineales. Si G es un grupo y V es un K -espacio vectorial, una re
presentacin lineal de G en V es un homomorfismo
p : G - GL(V).
El teorema anterior nos dice que estudiar las representaciones lineales de un grupo
Gen un espacio vectorial V, es equivalente a estudiar las acciones lineales de G en V .
172 13. REPRESENTACIONES LINEALES DE GRUPOS FINITOS
/ p(s) = p '() /
para todo s 6 G, es decir, si los diagramas siguientes conmutan
Note que como los espacios V y Vf son isomorfos, los grados de representaciones
equivalentes son iguales.
Ejemplo 5. (La representacin regular). Sea G cualquier grupo finito de orden n y sea
V el C-espacio vectorial de dimensin n con base B = indexada por los
elementos del grupo. Para cada o G G definamos la funcin p(a) : B * B mediante
p(o)(vg) = vag y notemos que p(o) es una biyeccin. Entonces, la funcin p(o)
se extiende linealmente a un isomorfismo de espacios vectoriales p(o) : V V.
Mostraremos que la funcin
del grupo simtrico 5 n. Esta representacin identifica una permutacin a 6 Sn con una
matriz p(o) GL(n, C) escogiendo como V = Cn con base la cannica { e i , . . . , e}
(indexada por los enteros 1 , 2 , . . . , n In).
P := TF ! C P($) P P (9 ~ 1)
Iu l 9eG
i.e.,
p(<T)opop((7 *) = p (<t) o P () P P 9 1
~ w \ H p ( <7) p ( f f ) p p ( s *)
1 1 seG
= i i fBfil 0 P
I geG
= p ya que erg recorre G cuando p lo hace.
(t)
[0 si o 1.
Se sigue que, si r G G,
13. REPRESENTACIONES LINEALES DE GRUPOS FINITOS 177
= Tgr(r ) H v9 P r (t)
geG
1geG
Por lo tanto,
p( ,v ) = v
Y 0(vs) = H a 97^7v = ]i ( a p) v
XgeG J geG geG Ie r VgeG '
y as el complemento directo G-invariante de W es
W := kerp0 = { V a A9 = Q}-
KgeG geG }
donde [pw ((t)]b y[pW {&)]&> son las matrices asociadas a pw {p) yp^0^), respec
tivamente.
En general, si V = W i- es una suma directa de subespacios G-invariantes
Wi y si pi = son las subrepresentaciones correspondientes, entonces diremos
que la representacinn p es la suma directa de las subrepresentaciones p, y la forma
matricial tiene la estructura en bloques:
Con esta terminologa, el teorema 13.2 nos dice que si p : G -+ GLV) es una
representacin y si pw : G GL( W) es una subrepresentacin, entonces existe otra
subrepresentacin pw : G GL(W) tal que p = pw @pw . Note que lo importante
en este teorema es la hiptesis de que V tenga un subespacio G-invariante W no trivial.
Si el espacio V es tal que V 0 y ningn subespacio propio y no trivial de V es G-
invariante, diremos que la representacin p es irreducible o simple. Por el teorema 13.2,
sto es equivalente a pedir que V no sea la suma directa de dos subrepresentaciones,
excepto por la descomposicin trivial V = V 0.
Ejemplo 12. Toda representacin de grado 1 es irreducible, ya que los nicos subespa
cios posibles son el 0 y el total.
Ejemplo 13. Sea G un grupo abeliano finito. Por el teorema de estructura, 7.2, G es una
suma directa de grupos cclicos
G = C (n i) G (jit)
con n|rii+ i y con G(rii) Z /ritZ .
Ahora, si p : G C* es una representacin de grado entonces p est determi
nada por sus valores en los generadores de G, i.e, en los generadores de los sumandos
cclicos G(n) & Z /nZ de G:
e := ( 0 , . ,0) G = C (ni) - G (n t)
(con el 1 en el lugar i). Observe ahora que, como el orden de e es rii, entonces
p{ei)ni = 1, por lo que cada p(e) pni Q C* es una raz ri-sima de la unidad.
Recprocamente, para cada eleccin de una raz uj p U se tiene la representacin
13. REPRESENTACIONES LINEALES DE GRUPOS FINITOS 179
donde V tiene base vo, . . . , vn_ i indexada por los elementos de Z /n Z . Por definicin
de la representacin regular
y as W es invariante.
Del lema anterior se sigue que para detectar cules subespacios unidimensionales
de V son invariantes, basta detectar cules vectores 0 / w G V son vectores propios
de p( 1) : V V. Para sto, observemos que la matriz de p (l) en la base regular
vo, . . . , Vni de V est dada por la transpuesta de la matriz de coeficientes en:
p (l)u 0 = vi
p (l)v i = v2
p (l)v 2 = v3
P(l)vn-2 = Vn-i
p (l)v n- i = V0
es decir, la matriz de p (l) es:
(0 0 0 1\
1 0 0 0
Ri = 0 1 0 0
0 1 v
13. REPRESENTACIONES LINEALES DE GRUPOS FINITOS 181
/ -A 0 0 1 >
1 -A - 0 0
d et(ii AJn) = det 0 1 0 0 = (i)"A n + (i ) n
n _ lI irn 1
0 1 -A ;
= (A"-1)
por lo que sus valores propios son las races de An 1 = 1, i.e., son las races n-
simas de la unidad, Ao = 1, Ai = e2m/ n, A2 = Af, . . An_i = A 1. As, los
vectores propios Wj correspondientes a los valores propios Aj, para 0 < j < n, dan
lugar a subespacios unidimensionales W j = ( w j ) que son Z/nZ-invariantes. Final
mente recordamos que vectores propios correspondientes a valores propios distintos
son linealmente independientes y por lo tanto los Wj constituyen una base de V y
as p = po 0 Pn-i con los pj las subrepresentaciones correspondientes a W j .
TEOREMA 13.5 (Lema de Schur). Sean p\ : G > GL(V) y p2 : G > GL(V 2) dos
representaciones irreducibles de G y sea } : V\ V2 una transformacin lineal tal
que p29 )0 f = / 0 Pi(p)> para todo g G. Entonces,
Ejemplo 16. Usando el lema de Schur podemos completar lo obtenido al final del ejem
plo 14: supongamos que p : G - | GL(V) es una representacin irreducible del grupo
abeliano finito G y sea o G. Como G es abeliano, entonces, para todo g G G,
p{o)p{g) = p(g) = p{g<*) = p(g)p()
por lo que la funcin lineal p(o) : V V satisface la hiptesis del lema de Schur y
as p(<r) es un mltiplo escalar de la identidad, p(o) = X idy. Por lo tanto, si W C V
es cualquier subespacio vectorial, entonces para todo cr G y para todo w W, se
tiene que p(o)w = Aidv(tu) = Xw G W , es decir, W es G-invariante, pero como V
es irreducible sto slo es posible si dim c V = 1. Hemos as probado:
COROLARIO 13.6. Si G es un grupo abelianofinito, entonces todas sus representacio
nes irreducibles son de grado 1.
Notas. (1) En el caso importante cuando el grupo G es finito y cuando V es un espacio
vectorial sobre los complejos y de dimensin finita, el estudio de las representaciones
complejas de G se inici a finales del siglo x ix con los trabajos de Frobenius con la
intencin de obtener resultados en la teora de grupos finitos que, como se vio poste
riormente, no eran accesibles con los mtodos desarrollados previamente. La pequea
introduccin a la teora de representaciones de grupos que vimos en este captulo se
debe esencialmente a Frobenius [36], excepto por el teorema de Maschke y el lema de
Schur, que puede verse en [52].
(2) En este captulo slo consideramos espacios vectoriales sobre C, pero mucho de lo
que desarrollamos permanece vlido para cualquier campo K algebraicamente cerrado
y cuya caracterstica no divida al orden |G | del grupo.
Ejerc ic io 6 . Concluya que Sn , para n > 3, slo tiene dos representaciones de grado
1. Calcule stas. Sugerencia: vea la proposicin 5.14.
EJERCICIO 11. Usando el ejercido 10 para ver la forma que tienen las matrices p(a),
muestre que la representacin por permutaciones de S$ es reducible.
EJERCICIO 16. Se puede invertir la construccin del ejercicio 15: s \ N < G es cualquier
subgrupo normal de G y si p : G / N G L(V ) es una representacin de G / N , defina
la funcin p : G G L(K ) mediante p(g) := p (g N ).
(i) Demuestre que p es una representacin de G.
(ii) Demuestre que si p es fiel, entonces el ncleo de p es N.
(ii) Demuestre que p es irreducible si y slo si p lo es.
C a r a c te r e s d e g r u p o s fin ito s
m i =
(6) : Por (4), x(p) = A, con los A races de la unidad. De la desigualdad del
tringulo se sigue que
n
|X(P)I ^ 53 M ^ n ya que |A*| = 1.
<i
14. CARACTERES DE GRUPOS FINITOS 187
(7): Si g es tal que x(p) = x(l) = n como x($) es la suma de sus n valores propios
| y cada uno de stos tiene valor absoluto 1, entonces cada uno de stos debe ser 1 y por
lo tanto la matriz de p(g) debe ser Jn y as g ker p. Recprocamente, si g ker p,
entonces p(g) = idy y as su matriz es 7n, por lo que x(p) = Tr(/n) = n = x(l) D
PROPOSICIN 14.2. Si P\ : G GL(V) y p 2 : G G L (l^) son dos representacio
nes del grupofinito G, y si Xl y X2 son sus caracteres, entonces
i
i Xpi(&P2 Xl 4 X2*
i Demostracin. Si V = V\ V2 y si B\ y B2 son bases de V\ y respectivamente,
9| entonces B\ U B2 es base de V y la matriz asociada a (pi P2) (9) es de la forma
I
por lo que
I
Xpie(p) = Tr[(pi P2)(s)]s = T r ^ g ) ] ^ , +Tr[p2(p)]Bj = Xi(s) + X2(s)-
Ejemplo 1. Si p : G C es la representacin trivial p(g) = 1, para todo g Gt
su carcter est dado por x(9) := Tr[p(p)] = 1, para todo g G. A ste carcter lo
llamaremos el carcter principal de G y lo denotaremos por xi-
un 1 por cada x Y a y por lo tanto la traza Tr[<(<r)] cuenta los puntos x Y a, i.e., el
carcter x de la representacin por permutaciones de G en Y est dado por
x w = i1 1
p i = X) xw) X)|
que, comparando con el resultado general del ejemplo 2 anterior nos da
= 0 para 0 < j < n.
El resultado siguiente es un corolario del lema de Schur 13.5 y nos ser til para
analizar la ortogonalidad de los caracteres irreducibles de un grupo:
COROLARIO 14.3. Sean P\: G GL(V) y p2 : G * G L (I^ ) dos representaciones
irreducibles de G y sea h : V\ V2 una transformacin lineal arbitraria. Pongamos
h :~T?r[J2 M /) -1 o o Pl(g).
11 geG
IG I geG
=h.
14. CARACTERES DE GRUPOS FINITOS 189
Podemos entonces aplicar el lema de Schur a / = /i y concluir (1) y (2), excepto por
la identificacin del escalar A. Ahora, como p\ = p2. entonces
(<t>,i>) ;= T^T H
1 1 9eG
y observemos que ste es un producto interno, ya que:
(1) Es lineal en 0, i.e., es aditivo y saca escalares.
(2) Es aditivo en tp.
(3) (iM ) =
(4) Saca escalares conjugados en ip. (Se sigue de 3 y 1).
(5) {(/>,<>) > 0 para toda 0 ^ 0 .
En particular, si 0, ^ : G C son caracteres, como 9) = VK#) 1Pr 14.1, la
definicin del producto interior se vuelve
(<.^> = 5Z <K9)'P(9~l )
geG
y observamos que 9G 4>(g)ip(g) = 9G 4>{g~l )i>{g)< ya que T1 recorre G cuan-
do g lo hace. Se sigue que
(4>, i>) = (>!>,<t>)
cuando <j>y ^ son caracteres.
T eo rem a 14.4. Sea G un grupo finito.
(1) Si x y X*son caracteres de dos representaciones irreducibles no isomorfas de G,
entonces son ortogonales, i.e., (x, x') = 0.
(2) Si x es el carcter de una representacin irreducible de G, entonces es de norma
% <X. x) = 1.
Demostracin. (1) Sean p : G + GL(V) y p' : G GL(Vf) dos representacio
nes irreducibles de G, con caracteres x y x \ respectivamente. Sean [p(p)] = (a*) y
\pr($)) = (a'ke) matrices correspondientes. Si h : V r * V f es cualquier aplicacin
lineal con matriz asociada [/i] = (xst) en las bases de V y V' usadas anteriormente,
190 14. CARACTERES DE GRUPOS FINITOS
com o la matriz de p(g x) es de la forma (dij(g *)), entonces para el h del corolario
anterior su matriz asociada es
1^1 geG
(ya que la matriz de una suma de aplicaciones lineales, es la suma de las matrices, y la
matriz de una composicin es el producto de las matrices), y as, los coeficientes | | de
[h] son
X,
i
x') = ( Y aiiY
j hj
f | = Y ( aii' a'i)
= Y aa(9~l Wjj(9)
Y por definicin de ( , >
i j 1 1 geG
= i^ f y m m
11 ij,geG
= 0, por (f),
lo cual prueba la parte ( 1 ).
(2) Con la misma notacin para p = pf y h, slo que en este caso tenemos, por el
corolario anterior, que h = A idy, para un escalar A de la forma A = (l/n )T r(h ), con
n = dim c V %por lo que
0 0
,3 U i= j,
i.e., h!j = A5{jg la delta de Kronecker, y como A es de la forma
entonces
h{j A<5ij %8t$at&ij
M
|<?| "
lG l seo n - (I
[0 en cualquier otr
otro caso,
n 1
= -
h n
= i,
como se quera.
Observacin. Note que la parte 2 del teorema es una condicin necesaria para que
una representacin p sea irreducible: se requiere que (xp>Xp) = 1 - Despus de unos
ejemplos y corolarios, veremos en 14.7 que la condicin anterior tambin es suficiente.
(x, X) = i x(a)x(9~1) = ^ x ( l ) x ( l ) = i n n = n / 1 ,
n ; n n
. . _ J1 si Wi es isomorfo a W }
** (0 si Wi no es isomorfo a W ,
por lo que la suma (*) cuenta los W isomorfos a W. Para la segunda afirmacin del
corolario, note que el nmero (x, 0) no depende de la descomposicin.
Observaciones. (1) Este corolario nos dice que, en efecto, el carcter de una represen
tacin determina o caracteriza a la representacin.
(2) Los corolarios anteriores tambin nos dicen que el estudio de las representaciones
de un grupo se reduce al estudio de los caracteres del mismo.
(3) Si p : G GL(V) es una representacin de grado n con carcter x supongamos
que W \ %. . . , Wr son todos los irreducibles no isomorfos que aparecen en una descom
posicin de p. Pongamos := (x,Xt) donde Xt es el carcter de Wi, recordando
14 CARACTERES DE GRUPOS FINITOS 193
de 14.5 que los m* son enteros > 0, y denotemos con m iW i a la suma directa de W \
consigo mismo m* veces, i.e.,
rr\j_____
rriiWi := W i W i
(con OWi := 0) Al entero m lo llamaremos la multiplicidad de W{. Entonces,
V = m \W \ m r W r
y el carcter x de p es una combinacin lineal de los caracteres irreducibles Xi> >Xr
con coeficientes enteros > 0:
X = TOlXl +;*+ TTlrXr-
0 ) {x,x) = 'Y lm i-
=1
(2) (x,X> > 0.
(3) (x> x) = 1 si y slo si x es irreducible.
Demostracin. La parte 1 se sigue del teorema 14.4 de ortogonalidad de los caracteres
irreducibles. La parte 2 es consecuencia de (1), y para la parte 3 observe que (x, x) =
mi == 1 si y slo si uno de los ra = 1 y los otros son cero, i.e., si y slo si
V - Wi.
COROLARIO 14.8. Toda representacin irreducible pi de un grupo finito G est con
tenida en la representacin regular de G, con multiplicidad m* igual al grado n de
Pi-
Demostracin. Por el ejemplo 2, el carcter XR Ia representacin regular de G
est dado por
si 9 # 1,
XR9) =
si g = 1 .
Ahora, por el corolario 14.5 la multiplicidad con que la representacin irreducible
con carcter x< est contenida en la representacin regular R de G es
,Xi) = p | 5 Z
m i = (X
R X I IGIx . 1) = t
n = |Z /n Z | = = X ) 1>
i=l i=l
entonces stos son todos los caracteres irreducibles del grupo cclico Z /n Z .
71 aeG n
Demostracin. Mostraremos que p f satisface la condicin del lema de Schur. En efecto,
para todo t G:
P(_ 1 )P /P (0 = Pt)~1f{a)p(a)p{t) = / ( ct)p ( -1<t)
aeG aeG
(la ultima igualdad por linealidad, ya que f(o ) C), y poniendo u := t~lot, i.e.,
o= y usando que / es funcin de clases, la igualdad anterior se vuelve
es decir, p/p(t) = p(t)pf , y as, por la parte 2 del lema de Schur, se tiene que pf es
una homotecia, pf A id y. Calculando trazas en esta igualdad:
que Xi(<?t) = 1 para todo 'jffl Esto determina el primer rengln de la tabla. Recuerde
que hi = = [G : C g ($)].
hi = 1 h2 h3 hr
Si= 1 92 93 9r
Xi 1 1 1 1
X2 7*2 X292) X293) X23r)
Ahora, los renglones de esta tabla los podemos ver como vectores en Cr con el
carcter x fijo y variando los representantes de las clases de conjugacin:
( Xi i Xj ) = $ iji
(Xl(9j)\
2P
X ( j)
\X r(S j)/
2xt(9>)Xt(9j) = = [Cc(9iWj
1 "i
donde la ltima igualdad es por el teorema rbita-estabilizador y el ejemplo 12 del
captulo 8.
(1 si o C\ U C 2,
u sxoeC z,
o;2 si a C 4.
200 14. CARACTERES DE GRUPOS FINITOS
a si cr C 2,
X4(<r) = b si o G C3 ,
c si a C 4.
Entonces, por definicin del producto interior y porque |C i| = 1, IC2 I = 3, \Cz\ =
\Ca\ = 4, se tiene que
con u ss exp(27r/3).
Ejemplo 9. Sea S 3 el grupo simtrico en 3 letras. Recordemos, del captulo 4, que las
clases de conjugacin de Sn consisten de todas las permutaciones que tienen la misma
estructura cclica (4.12). Se sigue que las clases de conjugacin de S 3 son
Ci = { 1 }, C 2 = { ( 12 ), (13), (23)}, C 3 = {(123), (132)}
por lo que S3 tiene 3 caracteres irreducibles. Ahora, como S 3/A 3 ~ Z /2 Z , entonces
y
S3 tiene 2 caracteres x i X2 de grado 1, que son el carcter principal x i el carcter y
de la funcin signo (ejemplo 4 del captulo 13). As, X2( l) = sg n (l) = 1, X2 (l 2 ) =
sgn(l, 2) = 1 y X2 (l> 2 ,3 ) = sg n (l, 2 ,3 ) = 1 , por lo que la tabla de caracteres de
S3 empieza como:
hi = 1 3 2
9i = 1 (12) (123)
Xl 1 1 1
X2 1 ||- 1 1
X3
hi = 1 3 2
9i = 1 (12) (123)
Xl 1 1 1
X2 1 -1 1
X3 2 0 -1
202 14. CARACTERES DE GRUPOS FINITOS
1 1 1 i
II II
1 o <r2 <rn_1
Xi 1 1 1 1
X2 1 u u2
X3 1 w4 w 2(n - 2>
: : :
1 u>n_1 (j(nl)(n1)
Xn
Ejemplo 11. Sea G cualquier grupo abeliano finito. Como G es abeliano sus clases de
conjugacin tienen un nico elemento y as, por 14.11, G tiene |G| caracteres irredu
cibles x*- Ahora, por el corolario 14.9, (G| = n?, donde n es el grado de x<-
Esta igualdad implica que todos los n = 1, por lo que todos ios caracteres irreducibles
de G son de grado 1 . En el ejemplo 13 del captulo 13 construimos |G| representacio
nes irreducibles de grado 1 de G, necesariamente irreducibles. La afirmacin recproca
tambin es vlida: si todas las representaciones irreducibles de un grupo G son de gra
do 1, entonces G es abeliano. En efecto, el nmero r de representaciones irreducibles
de G es igual al nmero de clases de conjugacin de G y se tiene que |G| = r ,
donde cada n = 1 por lo que |G| = r y as G tiene |G| clases de conjugacin por lo
que cada una de stas debe contener un nico elemento y por lo tanto G es abeliano.
Una consecuencia inmediata de este ejemplo es:
Ejemplo 12. Para el grupo didrico Z?2n sabemos, por el ejercicio 9 del captulo 5, que
contiene al grupo Rn de rotaciones y que [Z>2n : Rn] 2. Por el corolario anterior
las representaciones irreducibles de Z>2n son de grado 1 6 2. Ahora, >2n tiene como
generadores a la rotacin r = r ^ / n y a la reflexin p, y estos generadores satisfacen
las relaciones
rn = 1 , p 2 = 1 , prp = r 1.
Adems, cada elemento g G Z^n se puede escribir, en forma nica, como
rn con 0 < k < n 1
. si g e Rny
9Z si g & Rn , i.e., si g es una reflexin.
- i prk con 0 < A: < n 1
Observe que prp = r - 1 implica que prkp = (prp)k = p~k y por lo tanto prkprk = 1 ,
i.e., (prk)2 = 1 , por lo que los elementos de la forma prk son reflexiones.
Para calcular las representaciones irreducibles de >2n ya sabemos que stas son
de grados 1 2. Ahora, si < />: D^n ft GL(V') GL(2, C) es una representacin de
grado 2, diagonalizando la matriz <p(g), con g D2nnote que si g = r Rn> como
rn = 1 , se tiene que
m 0 \n m 0N!
= [^( 0 ]n = (' A 2) ~ m
m as ;
por lo que Ai y A2 son races n-simas de la unidad. Esto nos motiva a definir, para
u) Pn una raz n-sima de la unidad, la funcin
<t>u : >2n GL(2,C)
mediante
M r k) == y Mf>rk) ( w* W0 * )
Es inmediato verificar que es un homomorfismo y as tenemos n representaciones
de Z>2n de grado 2, una por cada raz de la unidad u pn. La pregunta natural, en
este contexto, es: cundo es 4>u reducible? Para que sea reducible debe existir un
subespacio W C C 2 de dimensin 1 y que sea >2n-invariante. Sea v = (x, y) C 2 tal
que W = (v) es >2n-invariante. Entonces, para todo g G D2n debe existir un A G C*
tal que
M <j>u(g)v = Xv
204 14. CARACTERES DE GRUPOS FINITOS
^ r ) : = (o w1) y := ( l o)
por lo que (*) se vuelve
0iM = ( J 5) y M p) = ( J _ i)
y
T2 : D2n GL( 1 , C) dada por T 2(r) = 1 y T 2(p) = - 1
que satisfacen Ti T2 = <t>\.
Distinguimos ahora dos casos, dependiendo de la paridad del entero n en D2n'
14. CARACTERES DE GRUPOS FINITOS 203
-i) y 31 ?)
que dan lugar a las subrepresentaciones de grado 1 :
T3 : 2n + GL( 1 , C) dada por T$(r) = 1 y T^(p) = 1
y
T\ &2n ** GL( 1 , C) dada por T i(r) = 1 y T^p) = 1
que satisfacen T3 0 T4 = 0 _i.
As, si n es par hemos construido 4 representaciones de grado 1 que son subrepre
sentaciones correspondientes a las representaciones <f>\ y <t>-\ asociadas a las dos races
1 , - 1 P2 Q Pn que son las nicas representaciones de grado 2 reducibles de D2n.
Se sigue que, si u pn ^ 2 la representacin 0o, correspondiente es irreducible.
Observe ahora que como u ku n~k = 1, entonces 0^* y 0wn-fc son isomorfas. Se sigue
que slo necesitamos considerar las representaciones de grado 2 asociadas a las races
uk con 0 < k < n/2 (recuerde que n es par) y observamos que los casos k = 0 y
k = n /2 corresponden a las races 1 y 1, que ya vimos que son reducibles. Nos he
mos quedado as con (n /2 ) 1 representaciones irreducibles de grado 2. Mostraremos
ahora que stas no son isomorfas entre s. En efecto, si lj, u ' e /zn, entonces 0o, es
isomorfa a 0W/ si y slo si x<t>u> = X/v> Pr 14.6. Pero, por definicin de 4>u y 0 ^ ,
Xu>k(r*) = u kt + u H = 2 eos
y
X^ipr*) = 0.
Eje r c ic io 9. Demuestre que g es conjugado de g~l si y slo x(9) es real para todos
los caracteres de G.
Eje r c ic io 14. Escrba explcitamente la tabla de caracteres del grupo didrco D%.
Ejercicio 18. Demuestre que un grupo finito de orden 8k debe tener al menos 5 clases
de conjugacin. Sugerencia: muestre que el grupo debe tener al menos 5 representacio
nes irreducibles.
Captulo
A p lic a c io n e s d e l a t e o r a d e c a r a c t e r e s
S = B G: = G:
donde cada sumando en el lado derecho es un entero algebraico. Se sigue que el nmero
racional |G |/x ( l) es un entero algebraico y por A. 11 est en Z, i.e., x ( l) divide a
|G |.
x(i)
lx(^)l ^ |fc>i| H------ 1- K ( 1)I 1 "------ 1- 1 = x (i)
y por lo tanto
15, APLICACIONES DE LA TEORA DE CARACTERES 213
(donde los Uj son races de la unidad, porque son conjugados de Uj que satisface xn
1 ), por lo que 0 < I7 I < 1 implica que 0 < |7 '| < 1 y as el producto de los conjugados
algebraicos de 7 (incluyendo a 7 ) satisface que
Pero, como los 7 ' son las races de p(x), entonces el producto de stas races es
ao (el trmino independiente de p(x)), i.e., |ao| < 1 con ao Z, por lo que ao = 0,
y comop(x) es irreducible, sto implica que p(x) = x y por lo tanto 7 = 0 es su nica
raz, i.e., x($)/x (l) = 0 y as x(p) = 0, en contradiccin con la hiptesis del lema. Se
sigue que |7 | = 1 .
P i=2
y com o - l / p no es un entero algebraico, entonces uno de los sumandos X (9)X W / p
no es un entero algebraico, para 2 < i < r , y como Xi9) s es un entero algebraico,
esto implica que p \ x (l) (y tambin que Xi(9) i=- 0).
Ahora, como [G : C a ^ ) ] = pl y com op \ x*( 1), entonces [G : G<?(p)] es coprimo
con X t(l) y as el 1 es combinacin lineal de estos dos enteros:
1 = a[G : C g {9)\ + &X*(1) para algunos enteros a, b.
Se sigue que
Xi(g) a[G : CG(g)\xi{g) ,,
m p | +bx,{s)
donde, por el lema 15.5, el primer sumando de la derecha es un entero algebraico y
como el segundo sumando tambin lo es, entonces Xi(9)/Xi(X) es un entero algebraico
^ 0 y as, por el lema previo se sigue que su mdulo es 1 por lo que |xt(<?) I = lx(l)l =
Xt(l). Ahora, sea pi : G +GL(W) la representacin correspondiente al carcter x-
Observe que como, para g G G, Xt(p) es una suma de x (l) races de la unidad,
entonces
lx*(p)l = X i(l) Pi(9) :W -* W tiene un nico valor propio, digamos Xg,
ya que si | x (<?)| = Xt(l) como en la demostracin del lema anterior, si n es el orden
del elemento g t por 14.1(4), X9) es una suma de X t(l) races n-simas de la unidad,
digamos Uj, y as
\Xi(9)\ = 1^1 H-------= X i1)
y, por la desigualdad del tringulo, la igualdad anterior slo puede suceder si todos
los Wi son iguales (a un u , digamos, con mdulo 1 ); se sigue que XiG?) = rifW, con
ni X(l), por lo que la matriz diagonal asociada a pi(g) tiene a a; en su diagonal
veces, y por lo tanto pi(g) = u idw*- Recprocamente, si pi(g) = Xg idwi entonces Xg
es una raz de la unidad y
IXi(ff)l = |Tr(A3 id w JI = |nA9| = n< = x<(l)
como se quera. As, Pi{g)v = Xgv> para todo v Wi. Sea Ki = ker p < G. Como Xi
no es trivial, entonces Ki ^ G. Si Ki ^ 1 , entonces G no sera simple y ya acabamos.
Si Ki = 1, entonces pi es inyectivo y observando ahora que la matriz de Pi{g), con
respecto a cualquier base de es una matriz diagonal con el nico valor propio Xg
de pi{g) en la diagonal, se sigue que esta matriz conmuta con todas las matrices de la
imagen pi(G) de pi y as
P9h) = Pi(g)pi(h) - pi(h)pi(g) = pi(hg)
15. APLICACIONES DE LA TEORA DE CARACTERES 215
f l | 4 f
Se sigue que : C g (s )] divide a
[G pr yas [G : C g (s
CASO 1. Si t 0, G = CG(g) y as g conmuta con todos los elementos de G, por lo
que 1 t p G Z(G) y por lo tanto 1 ^ Z(G) <1 G, y como G no es abeliano Z (G ) # G,
y as G no es simple.
CASO 2. Si t > 0, como p* = [G : CG(g)] es el nmero de elementos en la clase de
conjugacin de g, por 8.2 y el ejemplo 12 del captulo 8, entonces el teorema anterior
implica que G no es simple.
En cualquiera de los dos casos hemos mostrado que G no es simple y as tiene
un subgrupo normal propio H < G que, por el teorema de Lagrange, tienen orden de
la forma \H\ = paqb con a + b < r + s y consecuentemente, por la hiptesis de
induccin, H es soluble. El cociente G /H tambin tiene orden de la forma paq0 con
a + /3 < r + s, y por lo tanto tambin es soluble por la hiptesis de induccin. De
11 .6(3) se sigue que G tambin es soluble.
x(ff) = x ( l )
para un carcter arbitrario x de G. Usando sto, en esta ltima parte, probaremos un
teorema de Frobenius que identifica un subgrupo normal de un grupo de permutacio
nes bajo ciertas condiciones y al final reformulamos este resultado en forma abstracta,
216 15. APLICACIONES DE LA TEORA DE CARACTERES
= J2 * (9 1<t9 ) = x G{)
. *=i i=i
como se quera.
218 15. APLICACIONES DE LA TEORA DE CARACTERES
Hay otras formas de escribir la frmula para el carcter inducido x G- Por ejemplo,
si giH , . . . , gnH son las clases laterales izquierdas de H en G, podemos elegir como
representantes a elementos de la forma cr = gu con u H fijo. Se tiene entonces que
(3) X ((r) = j4 i X t ^ v t ).
'TG
g (o- ) = Y l ^ r lff9i)
t=i
y para identificar este carcter de G, consideremos la representacin por permutaciones
de G dada por la accin de G en el conjunto G /H de clases laterales izquierdas de H
en G mediante traslaciones izquierdas, i.e.,
G x G /H G /H dada por (cr, giH) ^ (ogi)H
y sea x el carcter de esta representacin de G. Por el ejemplo 3 del captulo 14 se tiene
que xi?) |( G / i / ) a | es el nmero de elementos giH de G /H fijados por cr. Obser
vamos ahora que crgiH = giH si y slo si g//l &g% G H por lo que el nmero x (^) de
clases de G /H fijadas por o es igual al nmero de elementos de la forma g^l crgi que
estn en H y este nmero es Ya =i ya Que cada uno de estos sumandos es 1
cuando g~1ogi G H porque $ es el carcter trivial. Hemos as identificado al carcter
inducido G como el carcter x . i*e., G = x-
(3 ) ^>G ( u j ) = J2'l,(Pi'P}UpJ1Pi)
1=1
y el -simo trmino de esta suma es ^ 0 si y slo si p ^P ju p ^p i H \ , lo cual sucede
si y slo si PjupJ1 PiH\p~ 1 = i/, i.e., si y slo si Hj = #*, i.e., si y slo si i = j ,
por lo que (3) se reduce a
ipG(uj) = t)G(p~l upj) = I>{u) para = 1, . . . ,n .
Finalmente, si w E W , entonces
(4) pG(w) = 0
porque p 1^ Zi para todo i, ya que w no fija a punto alguno.
Resumiendo, los valores del carcter xpG, en 1, Uj e H f y w e W , son:
Ahora, para el carcter virtual dado por (cr) := i)G{a) - d9(a), usando los
clculos de \>G y 0 anteriores, se tiene que
(l)= d n - d(n l) = d, (ij) = i/>(t) d0=ip(u), ( i) = 0 - d(l) = d
por lo que
(5) (iu) = (1) para todo w W.
Note que la igualdad (5) parece identificar W como el ncleo de , sin embargo
sto no es as porque: (i) slo caracteres verdaderos identifican ncleos (15.2) y es
un carcter virtual, (ii) pueden haber otros elementos fuera de W que satisfacen la
ecuacin (5).
El primer problema se resuelve si en lugar de tener cualquier carcter ip de H\
se toma un carcter irreducible ip de H \t digamos de grado <, en la definicin (1),
observando entonces que el carcter virtual resulta en este caso un carcter irreducible
222 15. APLICACIONES DE LA TEORA DE CARACTERES
E K(ff)l2=til + E
GVV
l)l2+j ( K(>)l2)
l UjtH*
= d 2 + (n l) d 2 + n(h d2) = nh = g.
<***> = i K ( ff)i2 = ^ ) = 1
| | | orGG y
(7) p= E <Wk-
k=1
Se define entonces el carcter 7r mediante 7r := ]C=i d*jfe (es un carcter porque los
djfe > 1 son enteros) y substituyendo los valores de * se tiene que
15. APLICACIONES DE LA TEORA DE CARACTERES 223
w (l) = 5Z = '52k = h (p o r (8 ))
*=1 *=i
r r
= 22 dk(k(Uj) 22 dk^k{v) fi(u) = 0
= = (por (8), (7) y la lnea
k=l k=l
arriba de (7))
rn = [G : H] si a = 1,
si cr ^ 1 y a K y
K G /# n =
si a y gHg~l ,
gea
por lo que K = 1 U W , con W el subconjunto de G sin puntos fijos, como se quera.
Notas. (1) Existen grupos simples de orden paqbr c, con p ,q ,r primos, el menor de
ellos es el grupo alternante As de orden 60 = 22 3 5.
(2) En su libro, Bumside [2] haba demostrado algunos casos especiales de su teorema y
despus de estudiar la teora de caracteres de Frobenius, en [25] obtuvo la demostracin
que presentamos en este captulo, como una de las ms clebres aplicaciones de la
teora de caracteres. Como mencionamos antes, fue hasta 1972 cuando H. Bender [23]
encontr una demostracin, sin usar caracteres, del teorema de Bumside.
(3) Todas las demostraciones, conocidas hasta ahora, del teorema de Frobenius [38],
usan teora de caracteres en una forma u otra. El teorema de Frobenius junto con el
teorema paqb de Bumside son modelos de cmo usar teora de caracteres para obtener
informacin sobre la estructura de grupos finitos.
(4) El teorema de Frobenius 15.13 tiene una demostracin, que no usa caracteres, en
los dos casos siguientes:
(1) El orden del subgrupo H es par.
(2) El subgrupo H es soluble.
Note que, por el teorema de Feit y Thompson (vea la nota 2 al final del captulo 11), to
do grupo finito de orden impar es soluble, por lo que los dos casos anteriores son todas
las posibilidades para H y as la demostracin de estos dos casos es una demostracin
del teorema de Frobenius, sin embargo el teorema de Feit-Thompson no slo usa ca
racteres en su demostracin, sino que es de una profundidad mayor. El caso (2), cuando
el complemento de Frobenius H es soluble, ya haba sido demostrado por Bumside en
226 15. APLICACIONES DE LA TEORA DE CARACTERES
[26]. La demostracin que damos se basa en Grin [41] y Shaw [53]. A continuacin
daremos demostraciones de los casos ( 1 ) y (2 ) de arriba.
C a so 1. [H. Bender]. Supongamos que |i / | es par y que H fl gHg~l = 1 para todo
g G G H (y por lo tanto H = N g (H) porque si g G N g {H) entonces gHg~l = H ,
y si g no estuviera en H , entonces H fl gHg~l = 1 por lo que H fl H = 1, en
contradiccin con la hiptesis de que H ^ 1; se sigue que N g (H) C H y la otra
inclusin siempre se da). Ahora, si [G : H] = n, como N g (H) = H , entonces H tiene
exactamente n conjugados en G, digamos . . . , Hn>cada uno de stos tiene orden
|/ | que es par y por lo tanto podemos escoger elementos Gj G Hj tales que cr ^ 1 y
(j'j = 1. Mostraremos que para cada j y
n
(*) WjtTi : i = 1 .............. } = - (
k=i
En efecto, para la inclusin del lado izquierdo en el lado derecho, supongamos que
esto no es as, i.e., que existe un <Tj<Ji G Hk para algn j ^ i y algn k. Se tiene
entonces que Hj fl Hi = 1 ya que Hj fl Hi = gjH gJ1 n giHg~l y si esta interseccin
fuera ^ 1, entonces conjugando con g j 1 se tendra que H fl (g jlgi)H(gJlgi)~l ^ 1,
donde g~lgi & H ya que de lo contrario g j lgi = h G H y por lo tanto # = gjh y
as g{Hg~l = gjhH h~\g~l = gjHgJ1y i.e., Hi = f fj, una contradiccin. Ahora,
Hj fl H{ = 1 implica que a ja i ^ 1 ya que si fij&i = 1 entonces cr = a~l G Hj por
lo que G H i / j = 1, en contradiccin con a* ^ 1. Se tiene entonces que
1 ^ ( ctjT ) ^ 1 = alajCTj = = ir f 1 f l f 1 = ( o ^ t )1
porque a j = l y as cr1 = Gj y lo mismo para <r. Se sigue que Gj{ajGi)aJl =
( a ja )1 est en VjHkaJ 1 y como crjCTj G i/jt, entonces (oj 7)'1 G f*, por lo que
1 j <jj(fjj(Ji)aJl e H k O GjHka J l ,
lo cual por hiptesis slo puede suceder si Gj G i.e., si j = fc. En forma anloga se
prueba que i = k, pero esto contradice el hecho de que i ^ j. Se sigue que GjGi & Hk
para todo k = 1 , . . . , n, y as
n
(**) WjVi : i = 1 ,.. , } C G -y
Ahora, como \Hk\ = \H\ y hay [G : H] de los Hk, que slo coinciden en el 1, entonces
\G-
H*| = |G | - [G : H](\H\ - 1) = |G| - [G : ^ ] |H | + [G ff] = [G : H)=n
k=l
y como \{(Tj(Ti : i = 1 , . . . , n}| = n porque Gj est fijo, entonces la inclusin (**)
debe ser una igualdad, como se quera, y esto para cada j = 1 , . . . ,n .
15. APLICACIONES DE LA TEORA DE CARACTERES 227
flB B M j= i
donde x\H , . . . n = [G : if], son las clases laterales izquierdas de H en G;
podemos suponer que x\ = 1. Entonces,
(1) . Si h H, entonces V(Zi) = hH f (por lo tanto, H 0 ker V = H'). En efecto,
V(h) = j= i x~l hriX jH \ donde x\ = 1 y x J l hr*Xj G H. Como x\ = 1 y h G
H, entonces H = xiET = / i x i # , por lo que i?Jf = 1. Ahora, si j > 1, entonces
x jlhrXj G H f) x~l H xj = 1. Se sigue que V(h) = /i 7, como se quera.
(2) . G = ker V if . En efecto, si 0 G G , escribamos V(<?) = hHf G i / i ' . Por la
parte (1), para esta h G H se tiene que hH f = V (/i) y as V(g) = V (h) y por lo tanto
p/T 1 G ker V, digamos p/ 11 = G ker V y as <7 = uh> con u G ker V y h G H, es
decir, G = ker y # .
JPara la definicin del homomorfismo de transferencia, vea la seccin inmediata al final de esta
demostracin.
228 15. APLICACIONES DE LA TEORA DE CARACTERES
(3). Pongamos K = ker V < G. Por la parte (1) se tiene que K O H = H' y como H
es soluble H ' H.
(i) . Si H ' = 1, ya acabamos.
(ii) . Si H ' / 1, probaremos, por induccin sobre el orden de G que
N : = G - \J g H g ~ 1
gG
es un subgrupo normal de G y que G = N H con N O H = 1.
Para sto, observando que H' C K , mostraremos que K es un grupo de Frobenius
con complemento H r. En efecto, si g K H \ de la igualdad K fl H = H 1se sigue
que g G H y por lo tanto H ' fl gH'g~l C H n gHg~l = 1, es decir, K y Hr
satisfacen las condiciones del caso 2 (ya que K tambin es soluble) y como K $ G
(ya que de lo contrario se tendra que H = 1 y por lo tanto H' = 1), entonces por
hiptesis de induccin el conjunto
F -K - U
geK
es un subgrupo normal de K tal que K F H ' y F fl H' = 1. Se tiene entonces que:
\F\ = [K : H'] porque K = F H 'y F n H ' = 1
= [K: K D H ] y a q u e if ' = K H H
= [KH : H] por el segundo teorema de isomorfismo de Noether
= [G : H] ya que G = K H por (2)
= \N\ por la demostracin del caso 1.
Ahora, si g = kh K H = G, entonces
F n gHg~l n=
F 0lb 1 =
(kh)H Dk
= F n ( K n k H k ~ 1) porque
= F n ( f c j a - 1 nu/Jfc- 1 )
a f n k i K n t i k 1
= F n k H k~l por (1 )6 (3)
= feFfc-1 n kH k~l porque F < K
= jfe (F n F )fc -
1 porque F n H f = 1.
Por lo tanto,
F Q G - \ J gHg"1 m N
13. APLICACIONES DE LA TEORA DE CARACTERES 229
(ma h>)
i=i
donde recordamos que el cociente H /H ' es un grupo abeliano y md H' quiere decir
que estamos tomando clases laterales de H' en H .
TEOREMA 15.14. Sean G un grupo, H un subgrupo de ndice finito n, g\ , ..., gn un
conjunto completo de representantes de las clases laterales izquierdas de H en G y sea
V : G >H /H ' lafuncin anterior. Entonces,
(1) V es un homomorfismo, al que se llama el homomorfismo de transferencia.
(2) La definicin de V es independiente del conjunto completo de representantes de las
clases laterales izquierdas de H en G.
Demostracin. (1): Si g,t G G y si ggi = 9j(g)hi(g) y tgi = 9j(t)hi(t), entonces
tu ) v ( f f ) v w = ( f t fcife)) ( n * w j h '
(1.2) V(gt) =
y denotando por u el producto de los trminos entre parntesis del lado derecho de
(1.1) y por v el trmino entre parntesis del lado derecho de (1.2), para probar que
V es un homomorfismo lo que debemos probar es que u = v (md H'), es decir,
debemos probar que uv~l H', i.e., que u = kv para algn k H'. Para probar sto,
supongamos por un momento que v es igual al producto de los 2n elementos hi(g),
hi(t), 1 < i < n, en algn orden. Observe entonces que al considerar este producto
230 15. APLICACIONES DE LA TEORA DE CARACTERES
donde la primer congruencia es porque H/H 1es abeliano, y tambin notamos que j(g)
recorre In cuando i lo hace, por lo que los productos entre parntesis en el lado derecho
son inversos uno del otro, i.e., u s u (md H') como se quera.
r i = n = [ G :tf].
t=l
EJERCICIO 10. Demuestre que todos los caracteres del grupo simtrico Sn tienen va
lores enteros. Sugerencia: ejercicio 23 del captulo 4.
Ejercicio 11. Bajo la correspondencia del lema 15.1 (vea tambin los ejercicios 15
y 16 del captulo 13), si N < G, los caracteres irreducibles de G /N corresponden a
caracteres irreducibles x de G tales que N C kerx* Demuestre que N = (\K X,
donde la interseccin es sobre todos los caracteres irreducibles de G tales que N C
ker x- Sugerencia: Vea la demostracin de la proposicin 15.2.
Ejercicio 12. La tabla de caracteres de un grupo finito G se puede usar para calcular
el subgrupo conmutador de G. En efecto, demuestre que
[G : G] = p |{ k er x X es un carcter irreducible de grado 1 de G}.
Sugerencia: Como G /[G : G] es abeliano, todos sus caracteres irreducibles son de
grado 1. Luego aplique el ejercicio anterior con N = [G : G].
Ejercicio 13. Uno puede leer de la tabla de caracteres de un grupo finito G los ele
mentos que son conmutadores. En efecto, demuestre que un elemento g e G es un
conmutador si y slo si
E x (fl)/x (i)/o ,
X irreducible
donde la suma corre sobre todos los caracteres irreducibles de G.
Ejercicio 19. Sea M la tabla de caracteres de un grupo finito G, vista como una
matriz cuadrada, y sea M la matriz que se obtiene de M tomando los conjugados
complejos de sus entradas. Como para cada carcter irreducible x que aparece en un
rengln de M su conjugado x tambin aparece como otro rengln de Ai, demuestre
que M se obtiene de M permutando sus renglones, i.e., M = P M , donde P es una
234 15. APLICACIONES DE LA TEORA DE CARACTERES
Ejercicio 21. Una clase de conjugacin C de un grupo finito G se dice que es real
si para cada g 6 C se tiene que p " 1 C. Por ejemplo, la clase de conjugacin {1} es
real. Demuestre que el nmero de clases de conjugacin reales de G es igual a Tr(Q),
donde Q es la matriz de permutaciones del ejercicio anterior.
E n t e r o s a lg e b r a i c o s
On-l = ( l ) 1 X a *
t=l
dn-2 = ( - 1 ) 2 X a
l<i<j<n
On-3 = ( - 1 ) 3 X a<QJa*
l<i<j<k<n
ao = ( - l ) na ia 2 - * * a n ,
donde en la derecha aparecen las sumas de productos de k factores ordenados, 1 < k <
n, de las races a i , . . . , a n, a las cuales se suele denotar por
fl-o ^ ( !) S n (a i,. . . , a n)
y la validez de estas frmulas es el contenido del teorema siguiente:
T E O R E M A A .l (Frmulas de Vite). Sea f(x ) E K[x] un polinomio mnico de grado
n:
f(x ) = xn + O n-ix" 1 H-------h a\x 4- ao
con races a i , . . . , a n, repetidas de acuerdo a su multiplicidad. Entonces, /as coe/i-
cientes a de /( x ) y races a se relacionan mediante las frmulas
ai = ( - l ) n tsn-.i ( a i, , n ),
donde los s* (a i, 9a n) san los polinomios simtricos elementales.
Demostracin. Por induccin sobre n observando que los casos iniciales n = 1 y n = 2
son directos. Supongamos que el resultado es vlido para polinomios de grado < n y
escribamos
= g(x) (x - an) con gx)
( = xn_1 + &n_2xn_2 + + 6
A. ENTEROS ALGEBRAICOS 237
donde observamos que las races de g(x) son a i , , .. , a n- i y satisfacen, por hiptesis
de induccin las frmulas de Vite:
bj = ( - l ) n-1,'s n - l- J ( a i,...,O n -l) -
Ahora, de la igualdad f(x) = g(x)(x an) se obtiene
xn 4* an_ ix -1 4------ h ao = (xn-1 + &n-2n 2 4-------f- 6ix + o)(x - a n)
= xn 4- (6n-2 - 4- (&n-3 anbn-.2)xn~2
4------ h (&o - <*n&i)z - a n6o,
e igualando coeficientes obtenemos
an- i = 6-2 - otn ( - l ) 1s i( a i, . . . , a n- i) - a n = - s i ( a i , . .. , a n)
on-2 = &n-3 - oinbn-2 = ( - l ) 2S2( a i , . . . ,a _ i) - a n( - l ) s i ( a i , . . . , a n- i)
Para probar que los polinomios simtricos elementales sk(x 1 , . . . , xn) son, en efec
to, simtricos, escribiremos a los polinomios sk en una forma que se presta para hacer
sto: denotemos con S* a la familia de todos los subconjuntos de In con k elementos
y observe que cada Y e S* se puede escribir, en forma nica, como Y = {i,. . . , ik}
con 1 < 1 < < ik < n, y se tiene que
M s k = Skfali x n) = (n*)*
Yesk Kie r '
Ahora, cada a e Sn induce una permutacin de los elementos de S*mediante
a(Y) = <r{iu . . . , i*} = (cr(ii),. . . , a(ik)} = : Y '
238 A. ENTEROS ALGEBRAICOS
donde Y ' e Sk porque Y ' tiene k elementos ya que <r es inyectiva. Tambin, si Y ' =
{*i> i *k) Sfc es cualquier conjunto con k elementos, entonces el conjunto Y =
6 8* es tal que a Y = Y'. En otras palabras, la accin de
Sn en Sfc es transitiva. Sin embargo note que esta accin no tiene por qu preservar el
orden de los elementos de un y S* dado.
Con las observaciones anteriores es fcil probar que los polinomios sk son simtri
cos, ya que si a 5 n,
sk(x\i >Xn)
(la ltima igualdad por (*), ya que Y ' recorre S* cuando Y lo hace.)
/( * i. x) = a*xi l ** xJ"
/
donde / = ( d i,. . . , dn) y decimos que x f1 xjj" es un monomio de grado di + +
dn. Si juntamos todos los monomios en / de un mismo grado, digamos d, llamaremos
A. ENTEROS ALGEBRAICOS 239
I 3 = ^ = p ( a ) - b ( a ) = h(a)
donde h(x) p(x)6(x) G Q[x]. Ahora, h(x) se puede elegir de grado menor que el de
m (x), ya que si no es as, dividiendo
h(x) = m(x) A(x) 4- R(x) en Q[x]
con gr(il) < gr(m), y h(a) = m(a)A(a) 4- R(a ) = H (a), i.e. j3 = h(a) = R(a)
con gr(R) < gr(m). Ntese que R(x) ^ 0 ya que si no fuera as se tendra que
h(x) = m (x)A (x), i.e., 0 = h(a) = ^ 0, una contradiccin.
v - Q ~"Q
y como Q C / C , entonces (*) tiene a lo ms una solucin en Q. Ahora, como slo hay
un nmero finito de ecuaciones (*), entonces slo hay un nmero finito de elementos
de Q que satisfacen (*) y como Q tiene un nmero infinito de elementos, podemos
encontrar un r G Q, r ^ 0, que no es ninguna de las soluciones de las ecuaciones (*),
i.e., tal que
(1) a + rfy a + r/3 para toda i y para toda j 1.
Pongamos
(2) 0 := a + r& G Q ( a , P).
Mostraremos que Q(0) = Q(a>/3). Observe primero que, como 0 G Q (a ,/? ) por (2),
entonces Q(0) C Q (a ,P ). Para la otra inclusin, basta probar que a , P G Q (0). Para
sto, pongamos h(x) := p(6 rx) G Q(0)[x]; entonces, como a es raz de p(x),
h(fi) = p(0 rp) = p() = 0 ya que a = Qr(3 por (2),
y com o p es raz de q(x) G Q[x] C Q (^)[x ], entonces h(x) y q(x) tienen el cero
com n P, i.e., tienen el factor com n x P com o polinom ios en C[x]. Mostraremos
que
m cd(h, q) = x p.
En efecto, si pj ^ p es otra raz de q{x), entonces h(Pj) = p{9 -> rPj) ^ 0 ya que,
por la eleccin de r G Q, segn (1) y (2) se tiene que
0 - rPj = a + rp rpj ol + rpj rPj =
i.e., 0 rpj Qi, para j ^ 1, i.e., 0 rpj no es ninguna de las races de p(x) para
j L As, ninguno de los otros x pj, con j j=^ 1, es factor de h(x). Adems, como
( x P)2 \ q(x) (ya que las races de q(x) son distintas), entonces ( x P)2 \ m cd(h, q).
Se sigue que x - P es el mcd d t h y q , que son polinomios en Q(0)[x]. Por lo tanto
x P es combinacin lineal de h y qt i.e., existen polinomios s (x ),t( x ) G Q(0)[x]
tales que
x P = h(x)s(x) 4* q(x)t(x)
donde el lado derecho es un polinomio con coeficientes en Q (0). Se sigue que p G
Q(0). Finalmente, se tiene que a = 0 - rP G Q (0) y as a G Q (0).
que como son races de <>{x), los a* tambin son nmeros algebraicos. Adjuntando
estas races a Q obtenemos el campo
K = Q (o i,. . . , a m)
y por el teorema A.9 existe un elemento 0 G C tal que K = Q(0). Sea p(x) =
Irr(0,Q) y sea n = gr(p). Por la demostracin del teorema A.6, los elementos 1 =
0,0,02, . . . ,0 n-1 forman una base de Q(0) sobre Q, y como a G Q(0), entonces
existen racionales nicos co, c i , . . . , Cn_i tales que
n -l
a = ^ Cid1 = : r(0)
.1 0
/(x ) = n ( x - r ( ^ ) )
t= l
es mnico y satisface que f(a ) = 0 ya que a = r(0) = r(0 i). Ms an, el polinomio
f(x ) tiene coeficientes racionales ya que como a = r(0) y <>(x) = Irr(a, Q), entonces
0 = (>{a) = (>{r(9)) y as el polinomio g(x) <>{r(x))t que tiene coeficientes en Q ya
que </>y r estn en Q[x], satisface que g(0) = 0. Entonces, como p(x) = Irr(0, Q), por
A.4 se sigue que p(x) divide a g(x) y por lo tanto todas las races 0 i, . . . , 0n de p(x) son
races de g(x) = <>(r(x)) y as los nmeros r(0) son races de ()(x) = Irr(a, Q), i.e.,
los r(0i) son algunos de los aj. Ahora, por el corolario A.3 aplicado a <>{x)ypara toda
funcin simtrica h Q f c i , . . . , x n] se tiene que h(a \ , . . . , a n) G Q, en particular
para los de la forma r(0) se tiene que /i( r ( 0 i) ,. . . , r(0 n)) G Q; pero stos son los
coeficientes de /( x ) , por el teorema de Vite, A .l, y por lo tanto f(x ) G Q[x] como se
quera. Podemos entonces aplicar A.4 de donde se sigue que <>{x) divide a f(x ) ya que
<!>es el polinomio mnico de menor grado que se anula en a . Pongamos
f( x ) = <>{xyh(x)
con 5 > 1 entero y con (>y h coprimos (recuerde que <pes irreducible). Mostraremos
que h(x) = 1 y para sto observemos que como h es mnico, entonces basta mostrar
que h(x) es constante. Ahora, si h(x) no fuera constante, entonces tendra una raz y
como h(x)\f(x)> esta raz sera de la forma r(0) para algn t. As, h(r($ij) = 0, i.e.,
h(r(x)) se anula en 0t , y como p(x) = lrr(0, Q ), entonces p(x)\h(r(x)) y por lo tanto
h(r(x)) se anula en todos los ceros de p (x ), i.e., en todos los 0 i , . . . , 0n ; en particular,
en 0 = 0i y as 0 = /i(r(0 )) = h(a ), i.e., a es raz de /i(x), lo cual es imposible
porque a es raz de (>que es coprimo con h. Esta contradiccin implica que h(x) es
246 A. ENTEROS ALGEBRAICOS
t= e + w *= =( r +
t= 0 t= 0 t= 0
V -O nl -Om2 (-O n n )/
donde al desarrollar el determinante los coeficientes bi son polinomios en las oj* y por
lo tanto 6 6 Z y como es raz del polinomio mnico con coeficientes enteros 6,
entonces es un entero algebraico.
TEOREMA A. 13. Si a , P C son enteros algebraicos, entonces tambin lo son a 3
yap.
Demostracin. Supongamos que a y (3 son races de los polinomios
/ ( x ) = x m 4-om-ia ;m" 1 H------ haiar + ao y g(x)=xn + bn-ix n~l + -"+ b ix + bo
con los a, bj Z. Sea t = m n y sean 0 i ,. . . , 0* C dados por los 0j = a r/3s, para
0 < r < m l y O < s < n 1. Entonces, para todo j se tiene que
aO = / a,gntf* s i r + 1 < m 1,
i \ ( - a m_iQm _1--------- a ia -a o )P s s i r + 1 = m,
donde la segunda igualdad se obtiene despejando de / ( a ) = O al trmino a m.
248 A. ENTEROS ALGEBRAICOS
As, en ambos casos se ve que existen enteros hji, . . . , hjt tales que
ctOj = h j\0 i + * + hjtOt.
Por su definicin, los enteros algebraicos son nmeros algebraicos, por lo tanto, si
a C es un entero algebraico, seap(x) = Irr(a, Q) el mnico irreducible del cual a es
raz (A.4). Mostraremos que p(x) tiene coeficientes enteros y para sto necesitaremos
un lema debido a Gauss que esencialmente nos dice que irreducibilidad de un polino
mio en Z[x] es equivalente a irreducibilidad en Q[x]. Para probar este lema usaremos el
concepto siguiente: el contenido de un polinomio g(x) = bo+bix-\-----h bmxm 6 Z[a;]
es c(g) := mcd(&o, . ,bm). Un polinomio f(x ) = ao 4- a\x H------ h anxn e Z[x]
se dice que es primitivo si su contenido c(g) = 1. Observemos ahora que cualquier
polinomio g(x) Z[x\ se puede escribir de la forma g(x) = df(x) con d = c(g) y
f(x ) primitivo, simplemente factorizando el mcd de los coeficientes de g(x).
L ema A. 14 (Gauss). (1) Si f(x), g(x) en Z[x] son primitivos, entonces su producto
f(x)g(x) tambin es primitivo.
(2) Si un polinomio f(x) 6 Z[x] es irreducible, entonces considerado como polinomio
en Q[x] tambin es irreducible.
Obsrvese que como, obviamente, si f(x) es irreducible en Q[x] tambin es irre
ducible en Z[x], entonces el lema de Gauss de hecho dice: f(x) Z[x] es irreducible
en Z[x] si y slo si f(x) es irreducible en Q[x].
los coeficientes a. Sea pues a9 el primer coeficiente de /(x ) no divisible por p. Simi
larmente, sea bt el primer coeficiente de g(x) no divisible por p. Consideremos ahora
al coeficiente cs+t de /(x )p(x):
Cs+t = (a o6s+t + fli6 a+ t - i H--------b a - l6 t+ i) + a9bt
+ ( a a+ l6 * -i + a a^-2^t-2 H------- b
y obsrvese que como p\a*, 0 < i < s 1 , entonces p divide al primer parntesis
en la ecuacin de arriba, y similarmente p divide al segundo parntesis. Y como por
hiptesis p|c+t, entonces p debe dividir a a9bu en contradiccin con el hecho de que
p no divide a a9 ni a
(2) Supongamos primero que /(x ) Z[x] es primitivo. Si /(x ) = p(x)q(x), con p(x)
y q(x) en Q[x], escribamos
p(x) = a0/b0 + (ai/bi)x + + (am/ 6m)xm,
con a/6 6 Q, y
q(x) = a'o/6+ (ai/^ i)* + + (a!jb'n)xn
con a'Jb'i Q. Si b = 6061 bm y V = && Vn, entonces p(x) = ( 1 / 6)6 p(x) y
g(x) = (1/6') 6' q(x), con 6 p(x) y 6' q(x) en Z[x]. Ms an, si d es el contenido de
6-p(x) y d! es el contenido de 6' -q(x)> entonces 6-p(x) = d-u(x) y b'-q(x) = d!-v(x)
con u(x),v(x) Z[x] primitivos. Se sigue que
= u(x)v(x) = ^ u(x)v(x)
y as
11 /( x ) = s u(x)v(x)
y como /(x ) es primitivo, entonces c(t /(x )) = t, y tambin, como u(x) y t/(x) son
primitivos, por la parte ( 1 ) el producto u(x)v(x) es primitivo y as c(s u(x)v(x)) = a.
Se sigue que t = c{t /( x )) = c($ | t(x)v(x)) = s, i.e., s = t y por lo tanto
/( x ) = u(x) v(x)
conu(x),u(x) Z[x].
Finalmente, si /( x ) Z[x] no es primitivo, escribamos f(x) = d * <j(x) con
p(x) Z[x] primitivo. Si /( x ) se factoriza en Q[x] como /(x ) = p(x)g(x), entonces
d g(x) = /( x ) = p{x)q{x) y as
1
250 A. ENTEROS ALGEBRAICOS
Notas. Los resultados sobre conjugados pueden ser demostrados, en forma ms ele
gante, usando los elementos de la teora de Galois, la cual captura, en forma sutil y
econmica, la accin del grupo simtrico sobre las races de un polinomio dado. Simi
larmente, el hecho de que los enteros algebraicos forman un anillo se puede demostrar
usando la teora de anillos conmutativos. Las demostraciones que hemos dado se en
cuentran, con pequeas variaciones, en [7] y [15].
Libros:
(1) Barrera, E, Introduccin a la teora de grupos. SMM-Universidad Autnoma
del Estado de Hidalgo, Mxico, 2004.
(2) Burnside, W., Theory o f Groups o f Finite Order. Second Edition. Dover, New
York, 2004.
(3) Crdenas, H. y Lluis, E., Mdulos semisimples y representacin de grupos
finitos. Trillas, Mxico, 1970.
(4) Carmichael, R. D., Introduction to the Theory o f Groups of Finite Order. Ginn
& Co., Boston, 1937.
(5) Curtis, C. and Reiner, I., Representation theory o f finite groups and associa
tive algebras. AMS Chelsea, New York, 2006.
(6) Hall, M., The Theory o f Groups. AMS Chelsea, New York, 1999.
(7) Hecke, E., Vorlesungen ber der Theorie der Algebraische Zahlen. Chelsea,
New York, 1970.
(8) Hungerford, T. W., Algebra. Springer Verlag, New York, 1997.
(9) Huppert, B., Endliche Gruppen I. Springer Verlag, Berlin, 1967.
(10) Isaacs, M., Character theory o f finite groups. Academic Press, San Diego,
1976.
(11) Jordan, C., Trait des substitutions et des quations algbriques. Gauthier-
Villars, Paris, 1870. Deuxime Edition. Paris, 1957. Rimpression, Jacques
Gabay, 1989.
(12) Kurosh, A. G., The Theory o f Groups, 2 volumes. Chelsea, New York, 1956.
(13) Kurzweil, H. and Stellmacher, B., The Theory o f Finite Groups. An Introduc
tion. Springer Verlag, New York, 2004.
(14) Pineda, M., Aritmtica y teora de grupos. UAM, Mxico, 1995.
(15) Pollard, H. and Diamond, H. G., The Theory o f Algebraic Numbers. Second
Edition. The Cams Mathematical Monographs, MAA, Boston, 1975.
(16) Rotman, J. J., The Theory o f Groups. An Introduction. Second Edition. Allyn
and Bacon, Boston, 1978. (Fourth Edition: An introduction to the theory o f
groups. Springer Verlag, New York, 1999).
(17) Serre, J.-R, Linear Representations o f Finite Groups. Springer Verlag, New
York, 1999.
(18) Weyl, H., La Simetra. Nueva Visin, Buenos Aires, 1958.
(19) Wussing, H., The genesis o f the abstract group concept: A contribution to the
history o f the origin o f abstract group theory. MIT Press, Cambridge, MA,
1984.
251
B ib lio g r a f a
Libros:
(1) Barrera, F., Introduccin a la teora de grupos. SMM-Universidad Autnoma
del Estado de Hidalgo, Mxico, 2004.
(2) Burnside, W., Theory of Groups of Finite Order. Second Edition. Dover, New
York, 2004.
(3) Crdenas, H. y Lluis, E., Mdulos semisimples y representacin de grupos
finitos. Trillas, Mxico, 1970.
(4) Carmichael, R. D., Introduction to the Theory of Groups of Finite Order. Ginn
& Co., Boston, 1937.
(5) Curtis, C. and Reiner, I., Representation theory of finite groups and associa-
tive algebras. AMS Chelsea, New York, 2006.
(6) Hall, M., The Theory of Groups. AMS Chelsea, New York, 1999.
(7) Hecke, E., Vorlesungen ber der Theorie der Algebraische Zahlen. Chelsea,
New York, 1970.
(8) Hungerford, T. W., Algebra. Springer Verlag, New York, 1997.
(9) Huppert, B., Endliche Gruppen I. Springer Verlag, Berlin, 1967.
(10) Isaacs, M., Character theory of finite groups. Academic Press, San Diego,
1976.
(11) Jordan, C., Trait des substitutions et des quations algbriques. Gauthier-
Villars, Paris, 1870. Deuxime Edition. Paris, 1957. Rimpression, Jacques
Gabay, 1989.
(12) Kurosh, A. G., The Theory of Groups, 2 volumes. Chelsea, New York, 1956.
(13) Kurzweil, H. and Stellmacher, B., The Theory of Finite Groups. An Introduc
tion. Springer Verlag, New York, 2004.
(14) Pineda, M., Aritmtica y teora de grupos. UAM, Mxico, 1995.
(15) Pollard, H. and Diamond, H. G., The Theory of Algebraic Numbers. Second
Edition. The Carus Mathematical Monographs, MAA, Boston, 1975.
(16) Rotman, J. J., The Theory of Groups. An Introduction. Second Edition. Allyn
and Bacon, Boston, 1978. (Fourth Edition: An introduction to the theory of
groups. Springer Verlag, New York, 1999).
(17) Serre, J.-R, Linear Representations of Finite Groups. Springer Verlag, New
York, 1999.
(18) Weyl, H., La Simetra. Nueva Visin, Buenos Aires, 1958.
(19) Wussing, H., The genesis of the abstract group concept: A contribution to the
history of the origin of abstract group theory. MIT Press, Cambridge, MA,
1984.
251
252 BIBLIOGRAFA
Artculos:
(22) Artin, E., The Orders of the Linear Groups. Comm. Pure and Applied Math.
8 (1955), 355-365. Collected Papers, 387-397.
(23) Bender, H., A group-theoretical proof of the paqb-theorem. Math. Z. 126
(1972), 327-338.
(24) Brewster, B. and Ward, M., Sylow Fractals. Math. Magazine 68 (1975), 372-
376.
(25) Burnside, W., On groups of order paq&. Proc. London Math. Soc. (2) 1 (1904),
388-392.
(26) Burnside, W., On transitive subgrupos of degree n and class n 1. Proc.
London Math. Soc. 23 (1900), 240-246.
(27) Cauchy, A., Mmoire sur les arrangements que Ton peut former avec des
lettres donnes et sur les permutations ou substitutions a Taide desquelles
on passe d'un arrangement a un autre. Exercises dAnal yse et de Physique
Mathmatique. Tome III. (1844), 171-282 (Especialmente, pg. 192-1%, pa
ra la frmula de Cauchy y pg. 280 para el teorema de Cauchy). uvres
Compltes. IIe Srie. Tome XIII. Gauthier-Villars. Deuxime Edition. Paris,
1932.
(28) Cauchy, A., Mmoire sur diverses proprits remarquables des substitutions
rgulaires ou irrgulaires, et des systmes de substitutions conjugues. C. R.
Acad. Sci. Paris, 21 (1845), 972-98. uvres Compltes. Srie I. Tome IX,
371-387 (Especialmente, pg. 386, para la el teorema de Frobenius en el caso
transitivo). Gauthier-Villars. Deuxime Edition. Paris, 1932.
(29) Cayley, A., On the theory of groups, as depending on the symbolic equation
0n = 1. Philosophical Magazine and Journal of Science, Series 4 ,7 (1854).
(30) Cayley, A., Desiderata and Suggestions: No. 1. The Theory of Groups. Am.
Journal of Math. 1 (1878), 50-52.
(31) Dieck, W., Gruppentheorische Studien. Math. Ann. 20 (1882), 1-44.
(32) Feit, W. and Thompson, J. G., Solvability of groups of odd order. Pacific J.
Math. 13 (1963), 775-1029.
(33) Frobenius, F. G., Neuer Beweis des Sylowschen Satzes. J. fr die Reine und
Angew. Math. 100 (1887), 179-181. Ges. Abh. II, 301-303.
(34) Frobenius, F. G., Ober die Congruent nach einem aus zyvei endlichen Grup-
pen gebildeten Doppelmoduln. J. fur die Reine und Angew. Math. 101 (1887),
273-299. Ges. Abh. II, Springer Verlag, Heidelberg (1988), 304-330.
(35) Frobenius, F. G., Ober Gruppencharaktere. Sber. PreuB. Akad. Wiss. Berlin.
(1896), 985-1021. Ges. Abh. Ill, 1-37.
BIBLIOGRAFA 253
(36) Frobenius, F. G., ber die Darstellung der endlichen Gruppen durch linea
re Substitutionen. Sber. Preu. Akad. Wiss. Berlin. (1897), 944-1015. Ges.
Abh. III, 82-103.
(37) Frobenius, F. G., ber Relationen zwischen den Charakteren einer Gruppe
und denen ihrer Untergruppen. Sber. Preu. Akad. Wiss. Berlin. (1898), 501-
515. Ges. Abh. III, 104-118.
(38) Frobenius, F. G., ber auflsbare Gruppen IV. Sber. Preu. Akad. Wiss.
Berlin. (1901), 1216-1230. Ges. Abh. III, 189-203
(39) Frobenius, F. G., ber Gruppen der Ordnung paq&. Acta Mathematica 26
(1902), 189-198. Ges. Abh. III, 210-219..
(40) Galois, ., Mmoire sur les conditions de rsolubilit des quations par ra
dicaux. (1831), 43-72. crits et Mmoirs Mathmatiques d variste Galois.
dition critique intgrale de ses manuscrits et publications, par R. Bourgne et
J.-P. Azra. Gauthier-Villars. Paris, 1962.
(41) Grn, O., Beitrge zur Gruppentheorie II. ber einen Satz von Frobenius. J.
fr die Reine und Angew. Math. 186 (1945), 165-169.
(42) Holder, O., Zurckfhrung einer beliebigen algebraischen Gleichung auf eine
Kette von Gleichungen. Math. Ann. 34 (1889), 26-56. (Especialmente, pg.
33).
(43) Holder, O., Die einfachen Gruppen im ersten und zweiten Hundert der Ord
nungszahlen, Math. Ann. 40 (1892), 5588.
(44) Holder, O., Die Gruppen der Ordnungen p 3, pq2, pqr, p4. Math. Ann. 43
(1893), 301-412.
(45) Jordan, C., Sur les groupes d ordre pmq2. Liouville Journal 4 (1898), 21-26.
(46) Kaloujnine, L., La structure des p-groups de Sylow des groups symtriques
finis. Ann. Sei. cole Norm. Sup. 65 (1948), 239-276.
(47) Kronecker, L., Auseinandersetzung einiger Eigenschaften der Klassenzahl
idealer complexer Zahlen. Monatsb. Knig. Preu. Akad. Wiss. Berlin, (1870),
881-889. Werke I, Leipzig, (1895), 271-282.
(48) Lagrange, J.-L., Reflxions sur la rsolution algbrique des quations. uv
res de Lagrange, publies par J.-A. Serret. Tome III, No. 99, 205-421. Gau
thier-Villars. Paris, 1869.
(49) Nelson, S., Defining the Sign of a Permutation. Amer. Math. Monthly 94
(1987), 543-545.
(50) Picard, S., Sur les bases du groupe symmtrique et du groupe alternant. Ann.
Math. 116 (1939), 752-767.
(51) Schreier, O., ber die Erweiterung von Gruppen I. Monats. Math. Phys. 34
(1926), 165-180.
(52) Schur, I., Neue Begrndung der Theorie der Gruppencharaktere. Sber. Preu.
Akad. Wiss. Berlin, (1905), 406-432. Ges. Abh. 1 ,143-169.
BIBLIOGRAFA
izquierda,53
iccin,2,5,97 conjugado, 42,69
G-lineal, 170 conmutador, 66
transitiva, 105,238 conmutatividad, 7
lineal, 170 contraejemplo alteorema de Lagrange,65
porconjugacin,98
portraslacin ecuacin de clases, 108
derecha porel inverso,98 elemento
izquierda,97 neutro, 11
trivial,97 elemento primitivo, 160
asociatividad,7,11 enteroalgebraico,246
espacio
campo, 159 G-invariante, 175
nito, 159 estableo invariante, 175
carcter, 185 estabilizador,99
de larepresentacin regular, 187 estructuracclica,43
inducido,217 exponente
principal, 187 de un grupo,92
virtual,219 extensin
carcterer de campos, 241
inducido,216 extensin simple,241
centralizador, 19,104
centrode un grupo, 19 factoresinvariantes,94
ciclo,32 frmula de Cauchy, 46
clase Frmulas de Vite,236
de un grupo nilpotente, 147 funcin
clases de clases, 195
de conjugacin,42,69
laterales G-conjunto, 97
derechas, 54 G-espacio vectorial, 170
izquierdas,54 generador,22
complemento de Frobenius,224 generadores,28
componentes p-primarias,93 grado
congruencia de un carcter, 185
derecha,53 grado de una representacin, 172
255
256 NDICE ALFABTICO
representaciones tabladecaracteres,197
isomorfas, 172 teorema
serie
prqadeBumside, 133,143,215
centralinferior,149 rbita-estabilizador,100
centralsuperior,147 de Bumside-Wielandt, 152
de Cauchy, 108
decomposicin, 139 de Cayley,84
normal, 139 decorrespondencia,65
signodeunapermutacin,38,50 de Feit-Thompson, 153
simetra,1,6 de Frobenius, 101,219,223
subgrupo,16 de isomorfismodeNoether,77
conmutador,66 deJordan-Holder, 140
deFrattini,157 de Lagrange,56
deisotropia,99 de Maschke, 179
normal,62 de Sylow, 110-112
subrepresentacin, 175 fundamental de losgrupos abelianosfinitos,
sumadirectade representaciones, 177 94
Sylow tipode unapermutacin,44
primerteorema, 110 transposicin,36
segundoteorema, 111 transveccin, 163
tercerteorema, 112 traza,185
Sociedad Matemtica Mexicana
Junta Directiva de la Sociedad Matemtica Mexicana 2006-2008:
Alejandro Daz Barriga Casales presidente
Fernando Brambila Faz vicepresidente
Isidoro Gitler Goldwain secretario general
Antonio Rivera Figueroa secretario de actas
Silvia*Alatorre Frenk tesorera
Marcela Santilln Nieto vocal
Vctor H. Ibarra Mercado vocal
La Sociedad Matemtica Mexicana fue fundada en el ao de 1943. Entre sus tareas fundamentales
destacan: Estimular y mantener el inters por la investigacin matemtica en Mxico; publicar
revistas cientficas; contribuir al mejoramiento de los programas de estudio y la enseanza de las
matemticas en el pas; estimular la elaboracin y publicacin de libros de texto en matemticas;
organizar conferencias, reuniones, congresos y concursos de matemticas; cooperar en laresolucin de
los problemas matemticos que se presentan en el sector productivo del pas, ascomo losque surgen
en las investigaciones de otras ciencias; promover el convencimiento entre la sociedad mexicana de
que las matemticas son parte integral de la cultura bsica y de las habilidades de uso cotidiano de
la poblacin.
correo electrnico: smm@smm.org.mx
http://www.smm.org.mx
C U A D E R N O S D E OLIMPIADAS D E MATEMTICAS.
1 Combinatoria. M. L. Prez-Segu. 3a edicin (2005).
2 Principios de olimpiada. A. Illanes Meja. 2a. Reimpresin de la 2a. edicin (2006).
3 Geometra. R. Bulajich, J. A. Gmez Ortega 4a Reimpresin (2006).
4 Geometra. Ejercicios y problemas. R. Bulajich, J. A. Gmez Ortega. 4a. Reimpresin (2006).
5 Teora de nmeros. M.L. Prez-Segu. 3a Reimpresin (2006).
6 Desigualdades. R. Bulajich, J.A. Gmez Ortega 2a. edicin (2005).
12 Inequalities. R. Bulajich, J.A. Gmez Ortega (2005).
T E M A S D E M A T E M T I C A S P A R A BACHILLERATO.
1 Cuando cuentes cuntos... H. A. Rincn Meja (2002).
2 Sistemas de ecuaciones y de desigualdades. A. I. Ramrez Galarza (2002).
3 La historia de un empujn: un vistazo a las ecuaciones diferenciales ordinarias y a los sistemas
dinmicos. L. Ortiz Bobadilla y E. Rosales Gonzlez (2002).
4 Dos o tres trazos. S. Crdenas Rubio (2003).
5 Estadstica descriptiva para bachillerato. M.P. Alonso Reyes, J.A. Flores Daz (2004).
O Relacione de equivalencia. M. Cruz Tcrn (3005).
7 Mosaico. L. Hidalgo (por aparecer).
APORTACIONES MATEMTICAS
Serie: INVESTIGACIN
I Coloquio de sistema dinmico. Memorias. Guanajuato, Mxico, 1983. Editado por J. A.
Seade, G. Sienra (1985).
3 Categorical topology - The complete work o/ Graciela Saltcrup. Edited by H. Herrlich, C. Prieto
(1988).
3 Sistemas dinmicos holomorfos en superficies. X. Gmez-Mont, L. Ortiz-Bobadilla. 3a. edicin
(3004).
4 Simposio de probabilidad y procesos estocstico. Memorias. Guanajuato, Mxico 1988. Edi
tado por M. E. Caballero, L. G. Gorostiza (1989).
5 Topics in algebraic geometry. Proceedings. Guanajuato, Mxico 1989. Editado por L. Brambi-
la-Paz, X. Gmez-Mont (1992).
6 Seminario internacional de lgebra y sus aplicaciones. Memorias. Mxico 1991. Editado por
L. M. Tovar, C. Rentera, R. H. Villarreal (1992).
7 II Simposio de probabilidad y procesos estocstico. I Encuentro Mxico-Chile de anlisis es
tocstico. Memorias. Guanajuato, Mxico 1992. Editado por M E. Caballero, L. G. Gorostiza
(1992).
8 Taller de geometra diferencial sobre espacios de geometras. Memoria. Guanajuato, Mxico
1992. Editado por L. del Riego, C. T. J. Dodson (1992).
9 Poblaciones aleatorias ramificadas y sus equilibrios. A. Wakoibinger (1994).
10 Una Introduccin a la geometra computacional a travs de los teoremas de la galera de arte.
V. Estivill-Castro (1994).
II III Simposio de probabilidad y procesos estocstico. Memorias. Hermosillo, Mxico 1994
Editado por M.E. Caballero, L.G. Gorostiza (1994).
12 IV Simposio de probabilidad y procesos estocisticos. Memorias. Guanajuato, Mxico 1998.
Editado por L. G. Gorostiza, J. A. Len, J.A. Lpez-Mimbela (1996).
13 Taller de variedades abelianas y funciones theta. Memorias. Morelia, Mich., Mxico 1996.
Editado por R. Rodrguez, J.M. Muoz Porras, S. Recillas (1998).
14 Modelos estocstico. Editado por J. M. Gonzlez Barrios, L. G. Gorostiza (1998).
15 Inverse limits. W. T. Ingram (2000).
16 Modelos Estocstico II. Editado por D. Hernndez, J.A. Lpez-Mimbcla, R. Quezada (2001),
17 Topics in infinitely divisible distributions and Lvy processes. A. Rocha-Arteaga, K. Sato
(2003).
18 Parametric Optimization and Related Topics VIL Editado por J. Guddat, H.Th. Jongen, J.-J.
Rckmann, M. Todorov (2004).
S erie: T E X T O S
1 Introduccin a la topologa - Graciela Salicrup. Editado por J. Roscnblueth, C. Prieto. Nivel
medio, la. Reimpresin (1997).
2 Procesos estocsticos. C. Tudor. Nivel avanzado. 3a. Edicin (2002).
3 Lectures on continuous-time Markov control processes. O. Hernndez-Lerma. Nivel avanzado
(1994).
4 Un curso de lgica matemtica. C. R. Videla. Nivel avanzado (1995).
5 Rudimentos de mansedumbre y salvajismo en teora de representaciones. F. Larrin, A. G.
Raggi, L. Salmern. Nivel avanzado (1995).
6 Teora general de procesos e integracin estocstica. T. Bojdecki. Nivel avanzado, la. Reim
presin (2004).
7 Intersection theory. S. X. Descamps. Nivel avanzado (1996).
8 Inverse problems. H. W. Engl. Nivel avanzado (1996).
9 El ABC de los splines. P. Barrera, V. Hernndez, C. Durn. Nivel elemental (1996).
10 Lo antiguo y lo nuevo acerca de los conjuntos convexos. H. Hadwiger. TVaduccin: L. Monte-
jano. Nivel medio (1998).
11 Matemticas para las ciencias naturales. J.L . Gutirrez Snchez, F. Snchez Garduo. Niveles
medio y avanzado (1998).
12 Introduccin a la teora de redes. M. C. Hernndez Ay uso. Nivel medio 2a. Edicin (2005).
13 Teora de conjuntos (una introduccin). F. Hernndez Hernndez. Nivel medio 2a. Edicin
(2003).
14 Lectures on quantum probbility. A. M. Chebotarev. Nivel avanzado (2000).
15 Construccin de procesos autosimilares con variando finita. J. E. Figueroa Lpez. Nivel
avanzado (2000).
16 Grupos algebraicos y teora de invariantes. C. Sancho de Salas. Nivel avanzado (2001).
17 Cohomologa de Galois de campos locales. F. Zaldvar. Nivel avanzado (2001).
18 Dimensin Theory: An Introduction %uith Exercises. S.B. Nadlcr, Jr. Nivel avanzado (2002).
19 Cmputo Numrico con aritmtica de punto flotante IEEE. Con un teorema, una regla emprica
y ciento un ejercicios. M. L. Overton. Traduccin: A. Casares Maldonado. Nivel medio (2002)
C o e d ic i n S IA M .
20 Topologa Diferencial. V. Guiltemin, A. Pollack. Traduccin: O. Palmas Velasco. Nivel medio
(2003).
21 Elementos de Probabilidad y Estadstica. A. Hernndez-dcl-Valle, O. Hernndez-Lerma. Nivel
elemental (2003).
22 Topologa General. D. Hinrichsen, J. L. Fernndez Muiz, A. Fragela Collar, . lvarcz Prieto.
Nivel medio (2003).
23 Introduccin a los grupos topolgicos de transformadones. S. de Ncymet U. Con la colaboracin
de R. Jim nez B. Nivel avanzado (2005).
24 Breviario de teora analtica de los nmeros. E. P. Balanzario. Nivel medio (2003).
25 Clculo de probabilidades. F. M. Hernndez Arcllano. Nivel elemental (2003).
26 Nmeros primos y aplicaciones. F. Lea. Nivel avanzado (2004).
27 Historia y desarrollo de la teora de los continuos indescomponibles. F.L. Jones. Traduccin:
S. Macas. Nivel medio (2004).
28 Hiperespacios de continuos. A. Manes. Nivel medio (2004).
29 Cadenas de Markov. M.E. Caballero, V.M. Rivero, G. U ribc Bravo, C. Velarde. Nivel medio
(2004).
30 The fixed point property for continua. S.B. Nadler, J r. Nivel avanzado (2005).
31 Inxtacin a la teora de los continuos y sus hiperespacios. E d itad o por R. Escobedo, S. Macias,
H. Mndez. Nivel medio (2006).
32 Introduccin a la teora de grupos. F. Zaldvar. Nivel medio (2006).
33 Hyperspaces of sets. A text with research questions. S.B. Nadler, Jr. Nivel avanzado (2006).
Contemporary Mathematics
260 First summer school in analysis and mathematical physics. Cuernavaca, Morelos, 1998. Edi
tad o por S. Prez-Esteva, C. Villegas-Blas. C ontem porary M athem atics No. 260. Coedicin de
A portaciones M atem ticas - American M athem atical Society (2000).
289 Second summer school in analysis and mathematical physics. Cuernavaca, Morelos, 2000.
E ditado por S. Prez-Esteva, C. Villegas-Blas. C ontem porary M athem atics No. 289. Coedicin
de Aportaciones M atem ticas - American M athem atical Society (2001).
336 Stochastic Models. E ditado por J.M . Gonzlez-Barrios, J.A . Len, A. M eda. C ontem porary
M athem atics No. 336. Coedicin de A portaciones M atem ticas - A m erican M athem atical
Society (2003).
340 Spectral Theory of Schrdinger Operators. Lecture Notes from a Workshop on Schrodinger
Operator Theory. IIMAS, UN AM, Mexico, 2001. E ditado por Rafael del Rio, C arlos Villegas-
Blas. Contem porary M athem atics No. 340 Coedicin de A portaciones M atem ticas - A merican
M athem atical Society (2004).
341 Topological algebras and their applications. Fourth International Conference on Topological
Algebras and Their Applications. Oaxaca, Mexico, 2002. E d itad o por Hugo Arizm endi, Carlos
Bosch, Lourdes Palacios. C ontem porary M athem atics No. 341. Coedicin de A portaciones
M atem ticas - American M athem atical Society (2004).
389 Geometry and Dynamics International Conference in Honor of the 60th Anniversary of Alberto
Verjovsky. January 6-11, 2003. Cuernavaca, Mexico. E ditado por Jam es Eclls, E tienne Ghys,
M ikhail Lyubich, Jacob Palis, Jos Seade. Contem porary M athem atics No. 389. Coedicin de
A portaciones M atem ticas - American M athem atical Society (2005).
OBRAS COMPLETAS DE
D I E G O BRICIO H E R N N D E Z C A S T A O S
Apoyo tcnico:
Depto. de Publicaciones
Instituto de Matemticas, U N A M
Gabriela Sangins, Leonardo Espinosa, Celia Osorio
A P O R T A C IO N E S M A T E M T IC A S es una publicacin de la Soc
M atem tica Mexicana. Su serie T E X T O S comprende libros de t
m atem ticas y sus aplicaciones, para la licenciatura y el p o sg rar^ en
tem ticas y en otras disciplinas. Se divide en tres niveles: djg
Nivel elemental:
Dirigido a estudiantes de los primeros dos aos de la licenciatura. ;
Nivel medio: " ^
Dirigido a estudiantes de los dos ltimos aos de la licenciatura.
Nivel avanzado:
Dirigido a estudiantes de posgrado.
I N T R O D U C C I N A L A T E O R A D E G R U P O S
d e F e lip e Z a ld v a r, es un texto de nivel medio.