Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Introduccion A La Teoria de Grupos Felipe Zaldivarpdf
Introduccion A La Teoria de Grupos Felipe Zaldivarpdf
;a|
C om ité E d ito rial:
x \f i
Marcelo A f ila r • Raúl Quiroga
IM, UNA A t' CINVESTAV
Luz de Teresa Sergio Rajsbaum
JM, UNAM IM, UNAM
José Ma. González 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 Matemáticas, UNAM
lgorosti@math.cinvestav.mx dcteresa@matem.unam.mx
Publicación 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 aldívar
60833
Departamento de Matemáticas
Universidad Autónoma Metropolitana -1
09340 México, D. F.
MÉXICO
* [ 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
Introducción V
Capítulo 1. Simetrías y operaciones binarias 1
Capítulo 2. Grupos y subgrupos 11
Capítulo 3. Grupos cíclicos 21
Capítulo 4. Grupos de permutaciones 29
Capítulo 5. Clases laterales y grupos cociente 53
Capítulo 6. Homomorfismos e isomorfismos 71
Capítulo 7. Productos directos y grupos abelianos finitos 87
Capítulo 8. Acciones de grupos y un teorema de Frobenius 97
Capítulo 9. Los teoremas de Cauchy y Sylow 107
Capítulo 10. Grupos simples 131
Capítulo 11. Grupos solubles 139
Capítulo 12. Grupos de matrices • 159
Capítulo 13. Representaciones lineales de grupos finitos 169
Capítulo 14. Caracteres de grupos finitos 185
Bibliografía 251
cuyo origen puede ubicarse en uno de los inicios del Álgebra misma, a saber el estudio
de las permutaciones de las raíces de polinomios, por Galois, Lagrange y Viéte.
Capítulo
S im e tría 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 plásticas
(pintura, escultura, arquitectura), donde en algunos casos es obvia, por ejemplo,
en el diseño de algunas construcciones—iglesias o catedrales con sus dos torres, acue
ductos con sus arcos repetidos, etc. Un ejemplo inmediato está dado por las simetrías
de la figura humana, como es manifiesto en el conocido dibujo de Leonardo da Vinci
sobre las proporciones del cuerpo humano:
Es fácil encontrar ejemplos, en las artes plásticas, de cómo el artista aprovecha la si
metría para crear objetos de arte. Los frisos de Mitla en Oaxaca, o las decoraciones de
edificios construidos por los árabes en la España morisca comparten una misma fuente
geométrica. Sin embargo, aunque no tan obvio como en los ejemplos anteriores, tam
bién la idea de simetría está presente en otra de las artes: en la música, por ejemplo en el
contrapunto (fugas especulares, cánones, etc.). El lector puede pensar en cómo la idea
de simetría también se usa en la literatura, en ocasiones en forma sutil. Ahora, una vez
convencidos de la ubicuidad de la idea de simetría, su aparente simplicidad no ayuda
2 i SIMETRÍAS Y OPERACIONES BINARIAS
2 1
3 4
con vértices etiquetados por 1 ,2 ,3 y 4. Si queremos ver las simetrías de este cuadrado,
lo que deseamos es ver cuáles movimientos o cambios llevan al cuadrado en sí mismo.
Lo primero que observamos es que basta ver qué movimientos o cambios llevan un
vértice 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, etcétera. En general,
rotaciones por ángulos que son múltiplos enteros de 7r / 2 . Note que al rotar 2it
es lo mismo que rotar 0 grados, También, si n > 0 es un entero, al rotar nn/2
I. SIMETRÍAS Y OPERACIONES BINARIAS 3
Veamos cómo son las acciones anteriores (rotaciones y reflexiones actuando sobre
el cuadrado que estamos considerando, al que denotaremos por 6).
■ Para la rotación ro, esta acción no hace nada. Le llamaremos la acción neutra
o identidad y la denotamos mediante el símbolo e.
■ Para la rotación r v /2, la acción 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
ción
»V = »V / 2 »»V/2 = r í / 2
4 i. SIMETRÍAS Y OPERACIONES BINARIAS
r3ir/2 = rÍ
■ También, observe que r ^ 2 = e, ya que rotar 360 grados tiene el mismo efecto
que no hacer nada.
■ Para la reflexión py, su acción sobre el cuadrado 6 está dada por.
2 1 1 2
PY
3 4 4 3
■ El lector puede ver cómo actúan las otras reflexiones. En particular, observe
que la acción de la reflexión 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 SIMETRÍAS Y OPERACIONES BINARIAS 5
Unos cálculos sencillos nos convencerán que las simetrías del cuadrado 6 están
dadas por las acciones
G = { e , r , r 2, r 3 , p , p . r , p . r 2 , p . r 3},
donde e es la acción neutra que no hace nada, r = rn /2 y p = py.
Simetrías. La discusión anterior nos lleva a las ideas siguientes, que son necesarias
para entender el concepto de simetría. Se tiene un conjunto de objetos (que puede
ser uno solo, como en el ejemplo del cuadrado anterior) al que denotamos mediante
A. También se tiene un conjunto no vacío G, cuyos elementos llamaremos simetrías,
junto con una función
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 función la llamaremos una acción de G en A. Estos dos conjuntos y la acción que
estamos denotando por * deben satisfacer las propiedades siguientes:
( 1 ) Para cada elemento a € G y cada objeto a £ A se tiene que, la acción 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. También, 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 operación de G que también
necesitaremos, pero tendremos que esperar hasta el siguiente capítulo para
hacerlas explícitas y por el momento sólo pensemos que G y su manera de
operar • se parecen mucho al conjunto de simetrías del cuadrado del ejemplo
1.
(3) Al considerar dos elementos <7, r € G , la composición o • r € G actúa sobre
el objeto o 6 á , en la forma natural, es decir, primero actúa r para obtener
el objeto r * a .6 A y luego actúa a en t * a € A para obtener el objeto
a * ( r * a) € A. Es decir,
(a • t ) * a = a * (t * a).
6 l , SIMETRÍAS 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 operación 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 acción neutra que no hace nada, r = rn/2 y P — Py >y con la operación
binaria a • /? dada haciendo ¡3primero y después 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 números reales es un grupo infinito. El grupo
de simetrías del cuadrado es un grupo finito de orden 8. El grupo aditivo de los enteros
módulo 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 números 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 capítulo, fueron formulados explícitamente, por primera vez, en 1887, por F.
G. Frobenius en [33], observando que los teoremas que demostraba sólo dependían de
estos axiomas y no hacía falta el lenguaje de los grupos de permutaciones vistos como
subgrupos del grupo simétrico que usaban sus predecesores, en particular Cauchy, Jor
dán y Sylow. En su artículo, Frobenius cita a Kronecker [47] como antecedente para
la formulación de los axiomas de grupo y en el artículo de Kronecker encontramos la
definición de operación binaria, esencialmente como vimos en el capítulo 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 afirmación principal del párrafo anterior debe ser modulada: En 1854,
Cayley [29] formula lo que podría considerarse la primera definición de un grupo abs
tracto finito, que traducida dice:
«Un conjunto de símbolos 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 matemáticos de esa época no estaban preparados
o interesados para una tal abstracción, siendo grupos concretos, como los de permu
taciones, los que les importaban para investigación, de tal manera que la definición
abstracta de Cayley no trascendió.
En el artículo [47] citado por Frobenius, Kronecker define una operación 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 número 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"). Más aún, 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 operación / ( 0', 0") por la multiplicación 0' • 0" si en
lugar de la igualdad usamos la equivalencia ~ definiendo 0' • 0" ~
0'" por medio de la ecuación / ( 0', 0") = 0"'.»
Kronecker observa que el punto de vista adoptado permite aplicaciones en varios con
textos, particularmente en la teoría de números, haciendo innecesario repetir el mismo
argumento en casos diferentes y, además, la presentación gana en simpleza haciendo
transparentes los aspectos verdaderamente esenciales de la teoría.
También debe mencionarse que, en un artículo de 1882, sobre formas cuadráticas,
H. Weber [55] formula (redescubre) la definición de grupo abstracto finito como:
«Un sistema G de un número 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 composición o multiplicación, por
medio de la cual de cualesquiera dos elementos del mismo
sistema se deriva un nuevo elemento del mismo sistema. En
símbolos 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 definición 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.
Demostración. Por definición a° = e y así e G (<r). Observe ahora que (a) es cerrado
bajo productos, ya que si am}an € (a), entonces <jmcrn = a m+n es un elemento de
(a). También, si am G (a), entonces or~m G (a) satisface que
_—ma_ m _
cr —a_ 0 _
— e*
por lo que el inverso de am es <7“ m. □
El grupo (a) del lema anterior se llama el subgrupo cíclico generado por a. Un
grupo G se dice que es un grupo cíclico si existe un elemento a G G tal que
G = <<r>.
Al elemento a se le llama un generador de G.
Los grupos cíclicos 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 demostración de que los subgrupos de un grupo cíclico
también son cíclicos). Mostraremos que G = {e, g , g2, . . . , í?*“ 1}, i.e., G sería finito,
lo cual es una contradicción. 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 quería. 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 cíclico infinito, digamos generado por g, entonces
todas las potencias gm son distintas.
□
¿Cómo serán los subgrupos de un grupo cíclico finito? Por la proposición 3.3 ante-
I rior, por supuesto que también son cíclicos. Las preguntas son entonces: (i) ¿qué orden
1 tienen? y (ii) ¿cómo son sus generadores? Las respuestas a estas preguntas son:
I PROPOSICIÓN 3.6. Sea G un grupo cíclico de orden n y generado por un elemento g.
| Sea o 6 G dado por o — gk. Entonces, o genera un subgrupo cíclico de G de orden
I n/d, donde d = m cd(n, k).
1 Demostración. Sólo 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 CÍCLICOS
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 quería. □
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 cíclico 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 simetrías 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 biyección entre un grupo
cíclico infinito arbitrario y el grupo aditivo Z, y la parte 1 del teorema 3.5 nos dice que
hay una biyección entre un grupo cíclico finito de orden k y el grupo de enteros módulo
k , Z/fcZ. De hecho, estas biyecciones son algo más y, en el capítulo 6, ejemplos 10 y
11, veremos que esencialmente sólo hay un grupo cíclico infinito, Z, y sólo hay un
grupo cíclico finito de orden fc, a saber Z/fcZ.
E jer c ic io 1. Si*G es el grupo de simetrías del cuadrado, ¿es G cíclico? Liste todos
los subgrupos cíclicos de G. Haga lo mismo para un triángulo equilátero, un pentágono
y un hexágono regulares.
EJERCICIO 11. Si G = (g) es cíclico de orden n, demuestre que para todo i}j =
0 ,1 ,. . . , n — 1, glgi = gk si y sólo si i + j = k (mód 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 permutación a de I 4 cambia de lugar los enteros 1 ,2 ,3 ,4 . Es decir, en
la notación de arriba, los enteros que aparecen en el renglón inferior son todos los
números enteros del 1 al 4, y aparecen una sóla vez. Lo anterior es sólo una reformu
lación del hecho de que la permutación a es una función 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 función:
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 j°V3 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 cíclico generado por
<7 es todo 52, i.e., (<7) = 52 y por lo tanto S2 es cíclico.
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 cómo se calcula la órbita de un elemento x para
una permutación a dada: primero observamos que x € 0 , ( x ) ya que <7°(x) = x.
Después, nos fijamos en el lugar en que está x en el renglón 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 renglón 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 permutación. Entonces,
(1) Ninguna órbita es vacía, 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 unión 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 partición de In.
Demostración. (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 . Recíprocamente, 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
Observación. Dada a € 5n, como Sn es un grupo finito de orden n!, entonces <res (un
elemento) de orden finito también, 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 In»existe 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, gráficamente:
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 condición 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 permutación 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 están 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 demostración se concluye por inducción. □
1 2 3 4 5 6 7 8 9 N
Ejemplo 9. Para la permutación
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 factorización de a en ciclos disjuntos es:
a —(1)6)(2,4)(3,7,8,9).
Ejemplo 10. No está por demás recordar que para multiplicar ciclos de Sn lo hacemos
de derecha a izquierda, tomando un elemento (de In) del ciclo más a la derecha que lo
contenga y viendo cómo 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 i—►5 i—►5 *—►2 i—►1 por lo que 2 •—►1
3 »—►3 *—►1»—►1 •—►2 por lo que 3 •—►2
4 i- > 4 h-> 4 i—>5^->5 por lo que 4 5 .
5 •—►1«—►3 •—►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 sólo notando que la composición se hace de derecha a izquierda. Aplicando ésto al
teorema 4.5, hemos así probado:
TEOREMA 4.6. Toda perm utación o en Sn es producto de transposiciones.
□
Note sin embargo que la factorización 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 están unívocamente 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 continuación que
lo que no cambia es la paridad del número de transposiciones involucradas, es decir,
que dada o al factorizarlá en transposiciones siempre se tiene un número par de ellas o
siempre un número impar (en el ejemplo anterior el número de transposiciones es par).
Para comenzar a probar ésto, dada una permutación o 6 Sn, denotemos con |oj al
número de órbitas de a y observemos que si r = (a, b) G Sn es cualquier transposi
ción, entonces
M = M±i,
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., también 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 transposición 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 1—►61 —►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 cómo 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 sólo 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 función signo sgn : Sn —►{±1} mediante
sgn(<r) :=
entonces para cualquier transposición r G Sn se tiene que
(*) sgn(ra) = -sgn(<r).
Observe ahora que para la permutación id G Sn, sus órbitas son de la forma {i}
para i G In por lo que | id | = n y así sgn (id) = ( - l ) n“n = 1. Poniendo o = id en (*)
se sigue que si r G Sn es cualquier transposición, entonces sgn(r) = —1, y en general,
si t i , . . . , Tk G Sn son transposiciones, inducción sobre k usando (*) implica que
sgn(rj • • -Tic)= (-1 )* ,
y por lo tanto, para cualquier permutación 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 sólo depende de a, entonces el número k de trans
posiciones en cualquier factorización 4.6 de a mantiene su paridad. Hemos así probado:
TEOREMA 4.7. Si a G Sn, el número de transposiciones que aparecen en cualquier
factorización (del teorema 4.6) de a, siempre es par o siempre es impar: □
PROPOSICIÓN 4.9. Hay tantas permutaciones pares como impares. Por lo tanto el
orden del grupo alternante An es n\¡ 2.
Demostración. Sea n > 2 (para que hayan transposiciones). Fijemos la transposición
r m (1,2) € Sn y sea Bn el conjunto de permutaciones impares. Definamos la función
T .’ A n *Bn
El grupo diédrico. Si denotamos con Dg al grupo de simetrías 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 vértices del cuadrado colocándolos encima de ellos, de tal forma
que si etiquetamos los vértices con los números 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 rotación r ^/2
r “V 2 3 41 )
2_ ( 1 2 34 \
a rotación rn = r ^ 2
r “V 3 4 12 )
3 = f 1 2 34 N
a rotación r 3ff/2 = r \ ^
V 4 1 23 ;
/ 1 2 34 \
a reflexión p alrededor del eje Y
^ “ \2 1 4 3j
/ 1 2 34 \
a reflexión alrededor del eje X
px ~ V 4 3 21 )
( 1 2 34 \
a reflexión a 45 grados
pl ” V 1 4 32 )
( 12 34 \
a reflexión a 135 grados.
^ “V 3 2 14 J
Observemos ahora que las simetrías del polígono incluyen las n rotaciones r* t
donde r = r ^ / n es la rotación por el ángulo 2n/rt y 0 < k < n:
Además de las rotaciones también se tienen las simetrías 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 polígono:
• Si n es par, el grupo D2n contiene las n /2 reflexiones con respecto a las bisectrices
de sus ángulos internos (note que sólo hay n /2 de éstas) y las n /2 reflexiones con
respecto a las rectas que bisectan los lados del polígono (note también que hay n /2 de
éstas):
por lo que su orden es 2n. El grupo Z)2n se llama el grupo diédrico 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 conjugación en Sn. Dados cr, r G Sn»si existe 0 € Sn tal que o = flr#“1,
se dice que <7 es conjugada de r y ésta es una relación de equivalencia en Sn cuyas
clases de equivalencia se llaman las clases de conjugación de Sn. Nuestro objetivo
es determinar cuándo 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 cíclica y poniéndolas 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 núm ero de estructuras cíclicas en Sn. Sean c¿ > 0 enteros (1 < i < k < n). Una
permutación a 6 Sn se dice que es del tipo ( c i,. . . , c*) si en la factorización 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 convención escribimos los ciclos de o del menor al mayor y también ponemos
Cj = 0 si no hay j-ciclos en o por lo que la ecuación 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 partición del entero n (más precisamente,
consideramos sólo los enteros positivos pi que sumados dan n). Recíprocamente, dada
4. GRUPOS DE PERMUTACIONES 45
É .
| una partición (/¿ 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 además S íL i i • = n. Hemos así probado:
I
| PROPOSICIÓN 4.13. El número de tipos distintos de permutaciones en Sn es igual al
i número de particiones del entero n. Por el teorema 4.12 este número es igual al número
1 de clases de conjugación 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 conjugación o, equivalentemente, 5 tipos de estruc-
I turas cíclicas. Es fácil listar las 5 estructuras cíclicas de S4:
formas distintas.
(2) Además, cada A;-ciclo se puede escribir de k formas distintas:
= (£2> • • • >£*>£1 )»
por lo que los c* ciclos de longitud k en el tipo (*) están contados kCk veces y por lo
tanto cada permutación del tipo (*) está siendo contada
l Cl -2 C2 • nCn
veces.
Hemos así probado:
TEOREMA 4.14 (Fórmula de Cauchy). El número 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 partición (2,2) de n = 4,
es decir, al tipo (• • ) ( • •). Se tiene entonces que c\ = 0, C2 = 2, C3 = 0, C4 = 0, y la
fórmula de Cauchy nos dice que hay
4! = 4!
l°0!222!3o0!4°0! 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 cálculos anteriores para mostrar, en el ejemplo 3 del capítulo 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 también que las transposiciones generan a
Sn (4.6). A continuación veremos que Sn tiene familias de generadores más chicas, de
hecho primero veremos que Sn se puede general con dos permutaciones:
PROPOSICIÓN 4.15. Para toda n > 2, el grupo simétrico Sn está generado por los
ciclos (12 • • • n) y ( 12 ).
Demostración. 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:
PROPOSICIÓN 4.18. Para toda n > 3, el grupo alternante An está generado por los
3-ciclos.
Demostración. 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 permutación 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
Demostración. Por la proposición 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 matemáticos habían estado estudiando el problema de
resolver ecuaciones polinomiales (el lector seguramente conoce la fórmula para resol
ver ecuaciones cuadráticas y habrá oido hablar de las fórmulas para resolver ecuaciones
de grados 3 y 4, que habían obtenido los matemáticos italianos Cardano y Ferrari) y la
memoria de Lagrange [48] contiene lo conocido hasta su época y es el germen de lo
que después conoceríamos como Algebra moderna. Es en este artículo donde Lagrange
estudia condiciones para que una cierta ecuación algebraica, de grado n,
OnXn 4- an- ix ” " 1 -I-------h a ix 4- ao = 0
sea soluble por radicales, considerando permutaciones de sus raíces a i , . . . , a n y obtie
ne resultados genéricos sobre estas permutaciones, incluyendo el teorema de Lagrange
que estudiaremos en el capítulo siguiente.
(2) En la memoria [40], sobre las condiciones de solubilidad por radicales de las ecua
ciones polinomiales, Galois también considera permutaciones de las raíces de los poli
nomios, usando la definición de permutación 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 artículos publicados de 1815 a 1844, Cauchy estudia permutaciones
de conjuntos finitos arbitrados introduciendo la notación que usamos todavía, define
el producto de permutaciones, permutaciones cíclicas, 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 fórmula de Cauchy la demostró en [27, pp. 192-196].
50 4. GRUPOS DE PERMUTACIONES
Si cr € Sn, una inversión 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 número de inversiones en <r, demuestre que (—l)*(a) = sgn(a).
E j e r c ic io 2. Si G es el grupo de simetrías del triángulo equilátero, ¿puede ver a G
como un subgrupo de un grupo simétrico? Explique y hágalo explícito. Haga lo mismo
para un pentágono y un hexágono 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 simetrías del pentágono regular, muestre que sus 10
elem entos se obtienen con las potencias r k, para 0 < k < 5 de la rotación r = 1*2*/5
4. GRUPOS DE PERMUTACIONES 51
y los productos rkp para 0 < k < 5 donde p es la reflexión por la recta que pasa
por el vértice v\ y el centro del pentágono. Note que sólo debe mostrar que las otras
reflexiones se obtienen con los productos rkp.
E jercicio 13. Mismo ejercicio para los 12 elementos del grupo de simetrías del
hexágono regular.
Ejercicio 15. Sea H C D2n el subconjunto formado por los elementos que dejan fijo
al vértice v\. Demuestre que H = {e, p)
Ejercicio 16. Sea a 6 D 2n cualquier elemento y suponga que cr manda el vértice
vi en v¡fc 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 diédrico £>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 número de
puntos de In que a deja fijos es igual al número 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 conjugación 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 serán de equiva
en G:
(1) a =¿ b (mód H) <=> a~l b € H %a la que llamamos la relación de congruencia
izquierda móduloH.
(2) a b (mód H) <=> ab~l € H> a la que llamamos la relación de congruencia
derecha módulo H.
[a] := {6 G A : a ~ b}.
Veamos cómo 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 (mód H)}
{ a e G :: <r- 1 a € H}
{a € G :: <7- 1 a = h para algún h € H }
{a € G : a = a h para algún h G H },
Demostración. Sólo falta demostrar la parte (3). Para ésto, definamos la función $ :
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 ¿72¿7i = ¿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 ¿7i¿72 = (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 están dadas como sigue: para k € Z, si dividimos k entre
n > 1:
k = nq + r con 0 < r < n,
se tiene que k = r (mód 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 más) 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 ' (mód nZ) y
por lo tanto se tendría que r - r' € nZ , i.e., n divide a r — r '. Sin perder generalidad
podemos suponer que r > r ', y así se tendría que 0 < r ~ r ' < n y además n divide a
r —r'. Como este número es menor que n, esto sólo 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 partición de
G, en particular son disjuntas por pares y su unión 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:
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 demostración de este hecho la daremos al final del capítulo.
Se puede decir que el resto del libro será la búsqueda de un recíproco 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 algún 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 algún fc" € i í
= k" €
como se quería.
Supongamos ahora que el producto de dos clases laterales izquierdas es de nuevo
una clase lateral izquierda y que no depende de la elección 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 a“1ha = h \ para algún 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 quería. □
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 operación 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 notación, 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
(75í74 =
: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}-
aaa“1 € 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 biyección 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.
Demostración. 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 algún 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 definición de H y así aN £ H /N .
m Si hN £ H /N , i.e., si h £ H , entonces hN £ T i por definición de H .
□
Un contraejemplo al recíproco del teorema de Lagrange. A continuación damos la
demostración, 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 sólo 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
contradicción.
E je r c ic io 19. [Carmichael [4], Ejercicio 30, página 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 sólo si se encuentran simétricamente 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 renglón 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 diédrico
Z?6 (simetrías del triángulo equilátero), encuentre los elem entos conjugados en D& y
liste sus clases de conjugación.
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 operación de tomar inversos en cada uno de los dos grupos involucrados?
Todo esto es natural y viene gratis de la definición 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 '.
Demostración. 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 simétrico en n letras (con n > 2) y sea G ' = {1, —1}
el grupo multiplicativo con neutro 1 y tal que (—1)(—1) = 1. La función 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 permutación 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 módulo n. La función
p : Z —+ Z /n Z
dada por p(x) = [x] (la clase residual de x módulo 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 quería. □
también es un isomorfismo.
Demostración. Sólo falta observar que la composición de funciones biyectivas es bi-
¡ yectiva y que la composición de homomorfismos también 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 Observación. 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 cíclicos del mismo
orden son isomorfos. Si (o) es un grupo cíclico 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 función dada por
4>(x) := cosa; 4- i se n x. La función <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 núcleo 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 sólo si x = 2kir con A; € Z, entonces
ker(</>) = {2&7T : k 6 Z} = (27r)
es el subgrupo cíclico 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 representación geométrica, 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 módulo 1.
Note que en ningún momento hemos dicho que homomorfismos distintos tienen
núcleos distintos. Por ejemplo, el homomorfismo identidad idz : Z —►Z es diferente
del homomorfismo (¡>: Z —►Z dado por (¡>(m) = —m y ambos tienen el mismo núcleo
= { 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. Más aún,
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 algún 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 defíne mediante la composición
$((T) :X I „ - i . I„ X
la cual también es biyectiva, porque cada una de las funciones involucradas lo es. Así,
$ (o ) £ Sx- La función $ : 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 quería.
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
isomorfísmos sólo 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 requería. Hemos así probado:
6. HOMOMORFISMOS EISOMORFISMOS 83
S := {og : g G G} C S g -
A continuación, 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 función identidad,
que es el neutro de S g - Así, id = oe G S. Mostraremos ahora que S es cerrado bajo la
composición 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 representación 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 fácilmente. 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 función <¡>: Sn —> Pn dada por o 1% es un isomorfismo
de grupos.
Capítulo
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 están en t f . Similarmente se prueba que K *
Im (<!>k ) < H x K . Finalmente observe que Im(</>//) fi Im (<I>k ) = {(e,e)}.
Hemos así definido dos tipos de productos de grupos. El producto directo externo
de dos grupos arbitrarios nos sirve para construir nuevos grupos y, como veremos en
los capítulos siguientes, el producto directo interno nos sirve para describir la estruc
tura interna de un grupo dado. Ambos conceptos se pueden generalizar para definir
productos de un número finito de grupos o subgrupos. El más sencillo de generalizares
el producto directo externo: sean G i , . . . , Gs grupos arbitrarios; el producto cartesiano
G i x • • • x Ga := { ( p i , . . . }gs) : <7¿ £ G¿}
tiene estructura de grupo con la operación definida componente a componente, con
neutro el elemento ( e i , . . . , es), para el neutro de G*. A este grupo se le llama el
producto directo externo de los grupos G i , . . Gs. Generalizando lo que sucede en el
caso con dos factores (observación después del ejemplo 1), se tienen homomorfismos
inyectivos
—►G\ x • • • x G¡
7. PRODUCTOS DIRECTOS Y GRUPOS ABEUANOS FINITOS 89
La proposición siguiente da una condición, muy útil, para que un producto de sub
grupos normales sea un producto directo:
PROPOSICIÓN 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.
Demostración. Sólo falta verificar la condición (3) en la definición 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 también
de i := | Hi\. Por otra parte, | Yíi^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 máximo
común divisor de \Hj\ y de n ¿ # |. P61^ éstos son coprimos por la hipótesis, y por
lo tanto H = {e}. □
Grupos abelianos finitos. Aplicaremos los resultados anteriores, sobre productos di
rectos, al caso de grupos abelianos finitos.
TEOREMA 7.5. Todo grupo abeliano finito G se puede descomponer en un producto
directo de grupos cíclicos
G C (m i) x • • • x C (m a),
donde cada C(rrij) es un grupo cíclico de orden rrij, y para toda j =
Demostración. Por inducción sobre n = |G|. Si n = 1 no hay nada que probar. Su
pongamos el resultado válido para todos los grupos abelianos de orden menor que
n : = |G |.
7. PRODUCTOS DIRECTOS Y GRUPOS ABELIANOS FINITOS 91
Sea s > 1 el entero tal que G está generado por s elementos pero no está generado
por algún 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 relación:
™>9i + 0,292 4*----- h a8gs = 0
con los aj € Z. Nótese que m > 1 , ya que de lo contrario G estaría 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 además
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 función 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 también.
Ahora, como el grupo (02, , 0 $ ) está generado por s — 1 elementos pero no por
s —2 elementos, por hipótesis de inducción se puede descomponer como
(ff2, • • ■, 0») - (^m ,) X ' ' ' * (ffm,),
con los (<7mj) cíclicos 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) cíclico 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 / 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 número de factores de orden > p2 en (*), y consecuentemente
n i —n 2 es el número de factores de orden p. El argumento se sigue por inducción. □
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 proposición 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 cíclicos p-prima-
ríos, 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, todavía usada en teoría de números, de decir que 0 tiene orden k.
96 7. PRODUCTOS DIRECTOS Y GRUPOS ABEUANOS FINITOS
Ejercicio 16. Si G es el producto directo interno de los subgrupos H \t ..., Hs, de
muestre que todo g 6 G se descompone en forma única como g = h\ • • • hs>con los
hi e Hi.
E j e r c ic io 17. Si H \ t . . . , H s son subgrupos norm ales de G , dem uestre que la función
rp : G —►G / H i x - - x G / H s dada por \p(g) := ( g H i , . . . , 0 Í f s),esunhom om orfism o
suprayectivo con núcleo
8
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
cíclicos de orden p.
Capítulo
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. actúa sobre un conjunto Y , interesa saber cómo 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 acción de G. Al pensar en elementos que
quedan fijos bajo la acción 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 acción 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 isotropía o estabilizador de x, y en efecto es
un subgrupo:
Ejemplo 10. Si G actúa trívialmente 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 quería. Finalmente, los grupos conjugados son
isomorfos. □
^También 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)l°rb«(X)l “ *
y así, como r es el número 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 ,
a€G
como se quería.
Notas. En las primeras dos secciones de la memoria [48], Lagrange réescribe las de
mostraciones de Ferrari y Cardano de las fórmulas 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 raíces 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-acción 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 demostración 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 actúa
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.
¿Cuáles son las órbitas de esta acción?
8. ACCIONES DE GRUPOS Y UN TEOREMA DE FROBENIUS 105
I ü f’ í
G /N
\HxK\ =
\H\\K\
|HnxKx-'y
Sugerencias:
(i) Muestre que la función / : 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. Después de una función de ópera, cada uno de los asistentes recoge al
azar uno de los paraguas que previamente había depositado en el guardaropa. Demues
tre que, en promedio, sólo 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.
Capítulo
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 acción
ES UN G-CONJUNTO, con Y y G ñnitos y si r es el número de órbitas en Y de
de Gy sean . . . , x r representantes de cada una de las órbitas. Como
éstas forman una partición de Y , se tiene que
Note ahora que algunas de las órbitas pueden tener un sólo elemento, y cuando esto
sucede este elemento a: no lo mueve ningún 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 conjugación de G con más de
un elemento, la fórmula (*) 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 |
recíprocos 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 sólo 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 recíproco 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
TEOREMA 9.6 (Segundo teorema de Sylow). Sea G un grupo finito de orden n y su
pongamos que H\ y H2 son dos p-subgrupos de Sylow de G. Entonces H\ y H2 son
conjugados.
Demostración. La idea es hacer que uno de los dos subgrupos, digamos H2, actúe sobre
las clases laterales izquierdas del otro, digamos sobre Y = G/H\. La acción natural
es por traslación izquierda: si h € H2 y < j H\ € Y , entonces h(aH\) = (ho)H\.
Claramente Y es un /^-conjunto y por el teorema 9.1 se tiene que
| y " ’ | = |K | (mód
y como H\ es un p-subgrupo máximo en G, entonces p \ \G/H\\ = \Y\ por lo que
la congruencia anterior implica que \YH*\ ^ 0. Sea pues oH\ € Y Hl = ( G /H \) h2.
Entonces, h(oH\) = oH\ para toda h 6 H2 y así a~lhaH\ = H\ para toda h G H2.
Se sigue que o~l ha € H\ para toda h G # 2» i*e., o~1H2< t C H\. Finalmente, como
\Hi\ = | # 2| = \<j - 1H2<
j \, la inclusión anterior implica que o~l H20 = H \ %como se
quería. □
El tercer teorema de Sylow nos da información sobre el número de p-subgrupos de
Sylow de un grupo finito G:
112 9. LOS TEOREMAS DE CAUCHY Y SYLOW
1*1 = 1 (m ódp),
lo cual prueba la primera afirmación del teorema.
Para la segunda afirmación, hagamos actuar G en Y mediante conjugación. Como
todos los p-subgrupos de Sylow son conjugados entre sí entonces sólo hay una órbita
de esta acción 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 capítulo anterior, donde Gh es el subgrupo
de isotropía 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
número de p-subgrupos de Sylow, |V |, divide a |G |, como se quería. □
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 (mód 3), las posibilidades para 713 se reducen a: 1 y 4.
Para decidir cuál de estas posibilidades es la correcta, observemos que los 3-subgrupos
de Sylow de £4 son de orden 3 y por lo tanto son cíclicos 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 (mód 2), las
j posibilidades para 712 se reducen a: 1 y 3. Para decidir cuál 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)
¡ para cualquier o del tipo (• • • •). Se sigue que Ha = H a3 y así las 6 posibilidades
para o se vuelven a lo más | = 3 y finalmente se verifica que
P - ( p - P)! = ( P _ 1 ) !
p-ciclos. Sea np el número de p-subgrupos de Sylow de Sp. Entonces, en cada p-
subgrupo de Sylow H de Sp hay (p — 1 ) ciclos de período p, por lo que
«p(P - 1) = ( p - 1)!
y así np = (p — 2)! Note que como n p = 1 (mód p ), entonces (p — 2)! = 1 (módp)
(el teorema de Wilson).
Regresando a p-grupos:
Observación. El corolario 9.12 no es válido 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 simetrías del cuadrado, i.e., el grupo diédrico D% de orden 8.
Grupos de orden pq. A continuación clasificaremos todos los grupos de orden el pro
ducto de dos primos distintos. Necesitaremos los resultados siguientes: en el ejercicio
2 del capítulo 5 se pedía probar que si H es un subgrupo de G de índice 2 , entonces
H<G. La proposición siguiente generaliza este ejercicio y para probarla necesitaremos
el lema:
iV = ker 0 = p| G 9íh
9íH€Y
y como
G 9íh = {9€ : g ( g i H ) = g i H } = { g e G :g i h para algún h e H }
G
= {</€ G : g e g i H g ' 1} = g i H g ~ l ,
IIs¡Hey
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 quería. □
PROPOSICIÓN 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.
Demostración. 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 también
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 quería. □
PROPOSICIÓN 9.17. Sea G un grupo de orden pq, con p > q primos. S i p ^ z l (mód q)>
entonces G es cíclico.
9. LOS TEOREMAS DE CAUCHY Y SYLOW 117
tal que afra“1 = fer . Si se tuviera que r = 0, entonces afea”1 = 1 y así afe = a por
lo que fe = 1, en contradicción con el hecho de que fe es de orden p. Si sucediera que
r = 1 , entonces afea”1 = fe y así afe = fea y por lo tanto el grupo (a, fe) = G sería
abeliano, en contradicción con la hipótesis de (2 ). Se sigue que 1 < r <p. Finalmente,
por inducción 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 = ab’V 1 = ( a b a ^ f = | | f ; = brí+\
como se quería.
Así, en particular, si j = q, recordando que aq = 1, de (*) se sigue que
fe = aqba~q = br9
y por lo tanto fe7,9”1 = 1 por lo que el orden p de fedivide a rq —1 , i.e., rq = 1 (mód p).
□
Ejemplo 6. Si p > 2 es un primo, entonces existe un grupo G no abeliano de orden 2p
ya que p = 1 (mód 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 (mód 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 (mód p)
por lo que r = 1, lo cual no puede pasar. Se sigue que r = —1 (mód p) y así
afea“1 = fe“1
i.e., bofe = a por lo que G ^ D^p es el grupo diédrico de orden 2p.
Productos semidirectos y subgrupos de Sylow del grupo simétrico Sn. En esta sec
ción calcularemos los subgrupos de Sylow del grupo simétrico Sn y para hacerlo in
troduciremos una generalización del concepto de producto directo de dos subgrupos,
relajando la hipótesis 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 acción 0 sólo 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 acción 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
| Luego, consideremos p copias de P 2, que sean más chicas que P2 en el sentido que
I si colocamos cada una de estas copias en los vértices de P 2, éstas no se traslapan ni en
1 los vértices. Llamemos P 3 a esta colección de copias de P 2. La figura siguiente ilustra
I el caso p = 3:
Esta construcción la podemos iterar para definir el polígono Pt , que está dado por
1 pí_1 copias de P i, y nos interesa el subgrupo de simetrías de Pt formado por las rota-
| dones que lo dejan invariante. Denotemos este grupo por K t. Por ejemplo, parap = 3 y
para el polígono P 3, la figura siguiente ilustra algunas de estas simetrías, rotando 120°
^ toda la configuración 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 círculos
A alrededor de los triángulos correspondientes.
124 9. LOS TEOREMAS DE CAUCHY Y SYLOW
La idea es imaginar una rueda grande dentro de la cual se tienen 3 ruedas más
pequeñas dentro de las cuales hay un total de 9 ruedas menores correspondientes a las
copias de P i, y cada una de estas ruedas puede girar independientemente manteniendo
las simetrías de los P j dentro de Pt . Pensando recursivamente, el objetivo es obtener
la estructura del grupo de simetrías K t de P t usando K t - 1 , aprovechando que el grupo
de simetrías K \ de P \ es conocido: es el grupo cíclico de orden p , generado por una
rotación por un ángulo de 360/p grados.
Veamos en detalle el caso p = 3 que estamos ilustrando, para intuir el caso general.
En particular, consideremos el grupo K z de simetrías de P 2 para p — 3 y denotemos
por R \ al subgrupo de simetrías de K 2 que mueven sólo al triángulo P \ superior y
dejan las otras dos copias de P \ fijas. Así, R \ consiste de las rotaciones de P \ por los
ángulos 0o, 120° y 240°:
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: ¿cuántos enteros entre 1 y m son divisibles
por k l , lo que queremos es encontrar los múltiplos 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 múltiplos de k entre 1 y m ; dicho en otras palabras, t =
[m/k] es el mayor entero < m¡k. Si ahora pasamos a considerar la pregunta: ¿cuál 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
sólo 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.
PROPOSICIÓN 10.2. (1) Si n > 3, entonces Z(Sn) = 1.
(2) Si n > 4, entonces Z (A n) = 1.
Demostración. (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 descomposición 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 proposición 4.11 se tiene que
Entonces, poniendo r = (xi, X2)(x 3, X4) G An>por la proposición 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-Hólder (vea el teorema 11.2 y la nota 7 del capítulo siguiente), y así, clasificar
y determinar todos los grupos simples finitos es un objetivo importante de la teoría de
grupos.
En su tratado, [11], Jordán enfatiza la distinción que hizo Galois [40] entre gru
pos simples y grupos compuestos, i.e., no simples, necesaria para su caracterización
de ecuaciones polinomiales solubles por radicales (definiendo de paso los grupos solu
bles (vea las notas al final del capítulo siguiente)). En este tratado, Jordán comiénzala
clasificación 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 capítulo
10. GRUPOS SIMPLES 137
12). Es hasta 1892 cuando Holder estudia por primera vez grupos simples en forma
abstracta y al principio de su artículo [43] escribe:
«Sería de gran interés si fuera posible dar un panorama de toda la
familia de grupos ñnitos simples.»
Este podría ser considerado el nacimiento del programa cuya meta principal era clasi
ficar y determinar todos los grupos simples finitos, y en este artículo señero 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 teoría de caracteres en el arsenal.
A finales de los años 1970 y a principios de la década de 1980, se anunció la con
clusión de la clasificación de los grupos finitos simples y según ésto, se tienen las cuatro
familias infinitas de grupos simples finitos siguientes: grupos cíclicos de orden primo,
los grupos alternantes A n con n / 4, los grupos lineales clásicos sobre un campo
finito (proyectivos lineales especiales, proyectivos simplécticos unitarios, proyectivos
ortogonales, proyectivos unitarios especiales) y grupos de Chevalley torcidos. Además
de estas familias, se tienen 26 grupos simples finitos que no pertenecen a familia algu
na y se les conoce como grupos esporádicos, 5 de los cuales fueron descubiertos por
Mathieu hacia 1860 y los otros 21 fueron encontrados entre 1965 y 1975. En los años
siguientes al anuncio de la completación del programa de la clasificación de los grupos
simples finitos se han venido publicando los artículos donde se detalla la clasificación,
pero hasta la fecha esto no ha sido concluido. De hecho, algunos matemáticos todavía
se mantienen escépticos con respecto a la pretendida conclusión del programa, aunque
la mayoría de los algebristas dedicados a la teoría de grupos considera que el programa
esencialmente está concluido y sólo 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 demostración del lema 10.3.
Capítulo
G ru p o s s o lu b le s
G = : G0 D G i 2 G2 2 •••2 G„ = 1
se dice que es una serie de composición si cada G¿+i es un subgrupo normal máximo
de Gi 6 si G*+i = G¿. Recuerde que un subgrupo normal H < G se dice que es máximo
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 máximo si y sólo si G /H
no tiene subgrupos normales propios, i.e., si y sólo si G /H es simple. Así, la serie (*)
es una serie de composición de G si y sólo si cada cociente G «/G ¿+i es simple o trivial.
139
140 11. GRUPOS SOLUBLES
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
biyección 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 cíclico G = C(30) de orden 30, se tienen las series de com
posición
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 composición obtenidas de (1) y (2) eliminando
al grupo G son equivalentes por la hipótesis de inducción aplicada al grupo H\ = K \,
y como Ho/Hi = K o /K u entonces las series (1) y (2) también 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 máximo 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 composición de L\. Como H\ D L\ y
K\ D L \yse tienen las series de composición 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 permutación de
los dos primeros grupos de la izquierda, los demás son iguales.
Finalmente, las series de H\ que se obtienen de (1) y (5) son equivalentes por
hipótesis de inducción. Análogamente las series de K \ que se obtienen de (2) y (6)
también 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 también. □
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
Observación. Los dos ejemplos anteriores son casos muy particulares de un celebrado
teorema de Bumside, cuya demostración daremos en el capítulo 15, como una aplica
ción de la teoría 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.
Recíprocamente, 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 análogo para los grupos nilpotentes y para ésto necesitaremos el
concepto siguiente, que generaliza la definición 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 sólo si
K C N g (H ) .
(2) Sean K < G y K C H C G. Entonces, [H, G\ C K si y sólo 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').
Demostración. (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).
Recíprocamente, 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
hipótesis de que [if, G]C K y del hecho de que [JJ, G] = [G, H).
Recíprocamente, 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.
Demostración. ( 1 ): Inducción 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 válida 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 también 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 están muy
lejos de los p-grupos finitos y para ésto necesitaremos los dos lemas siguientes, el
primero de los cuales es la versión para grupos nilpotentes del ejercicio 5.
LEMA 11.16. Si G es el producto directo de un número finito de grupos nilpotentes,
entonces G también lo es.
Demostración. Por inducción sobre el número de factores directos es suficiente consi
derar el caso cuando G = H x K es el producto directo de dos grupos nilpotentes.
Otra inducción, 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.
Demostración. Para la primera afirmación 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 afirmación, 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 contradicción con la primera parte del lema. □
Demostración. (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 algún
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 hipótesis (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 sólo
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. □
(2) El resultado más general sobre grupos solubles es un célebre teorema de Feit y
Thompson (célebre porque demostraba una conjetura importante de Burnside y tam
bién por la longitud de la demostración: el artículo de más de 250 páginas ocupa todo
un número de la revista donde apareció [32]), y su demostración está mucho más allá de
los límites de este texto:
Teorema B (Feit-Thompson). Todo grupo finito, simple y no abeliano tiene orden par.
(5) La demostración 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 teoría 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 demostración elemental,
i.e., sin usar representaciones de grupos, del teorema de Burnside.
154 11. GRUPOS SOLUBLES
(6) A sí como el término soluble fue tomado de la teoría de Galois de las ecuaciones
polinomiales algebraicas, el término nilpotente fue tomado de la teoría de grupos y
álgebras de Lie, cuyo objetivo inicial era desarrollar una teoría 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 sólo 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 sólo si es producto directo de sus p-subgrupos de Sylow.
(7) Existe una analogía muy sugerente entre la aritmética de los números naturales N
y algunos aspectos de la teoría de grupos finitos. En esta analogía, un divisor n de un
número natural ra corresponde a un subgrupo normal N de un grupo G, de tal forma
que así como m /n es de nuevo un número natural, el cociente G /N es un grupo.
En esta línea 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., aquél cuyos únicos subgrupos normales son el 1 y TV mismo. Recordemos ahora
que el resultado más importante de la aritmética de N es el teorema de factorización
ú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 análogo 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 además cada cociente ra¿ /m i +1 es primo. Note que en esta
descripción de ra, los primos que ocurren en la factorización de ra y sus multiplici
dades e< están unívocamente determinados por ra, pero los enteros ra» no lo están, 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
análoga 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. Más aún, 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 combinación lineal de a y p, es decir, existen
enteros uyv tales que au + pv = 1 y reduciendo módulo 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 número finito de elementos. Además 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 hipótesis de inducción). Finalmente, juntando estos cálculos:
|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 )
Demostración. 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 transvección. Observe
que el determinante de cualquier transvección es 1 por lo que las transvecciones están
en SL(n, K)> y también, para cualquier matriz A de tamaño 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 renglón j
de A a su renglón 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 intención de probar que estos
últimos son simples, parap > 3. La proposición siguiente es válida para toda n, aunque
nosotros sólo la probaremos para n = 2 :
PROPOSICIÓN 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.
Demostración. 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 renglón
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 análogo 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
/ 7“2 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 x4—l tiene a lo más cuatro raíces 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 sólo hay 5 miembros de la familia PSL(2, Fp) que son miembros
de otras familias de grupos simples. Con un argumento esencialmente geométrico, 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 función (f) define una acción 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
acción (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 acción (f) es una acción lineal.
Acciones lineales. Supongamos ahora que G es cualquier grupo y que se tiene una
acción de G en un AT-espacio vectorial V , de dimensión finita, es decir, una función
* :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 además 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 acción es G-lineal y que V es un G-espacio vec
torial.
Recordando ahora que en los ejercicios 1 y 2 del capítulo 8 se mostró que las
acciones de un grupo G en un conjunto Y están en correspondencia biyectiva con
los homomorfismos del grupo G en el grupo simétrico 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 acción lineal
* :G x V -> V
y usando esta acción definamos la función
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 capítulo 8, se tiene que p(a): V «4
V es, en efecto, biyectiva, y es fácil ver que es lineal. Observemos ahora que la fundón
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
presentación 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 representación regular). Sea G cualquier grupo finito de orden n y sea
V el C-espacio vectorial de dimensión n con base B = indexada por los
elementos del grupo. Para cada o G G definamos la función p(a) : B —* B mediante
p(o)(vg) = vag y notemos que p(o) es una biyección. Entonces, la función p(o)
se extiende linealmente a un isomorfismo de espacios vectoriales p(o) : V —►V.
Mostraremos que la función
del grupo simétrico 5 n. Esta representación identifica una permutación a 6 Sn con una
matriz p(o) € GL(n, C) escogiendo como V = Cn con base la canónica { e i , . . . , e„}
(indexada por los enteros 1 , 2 , . . . , n € In).
P° := TFí ! C P($) °P °P (9 ~ 1)
Iu l 9eG
i.e.,
~ 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 representaciónn p es la suma directa de las subrepresentaciones p¿, y la forma
matricial tiene la estructura en bloques:
Con esta terminología, el teorema 13.2 nos dice que si p : G -+ GLÍV’) es una
representación y si pw : G —►GL( W) es una subrepresentación, entonces existe otra
subrepresentación pw ° : G —►GL(W’°) tal que p = pw @pw °. Note que lo importante
en este teorema es la hipótesis de que V tenga un subespacio G-invariante W no trivial.
Si el espacio V es tal que V 0 y ningún subespacio propio y no trivial de V es G-
invariante, diremos que la representación 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 descomposición trivial V = V ® 0.
Ejemplo 12. Toda representación 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 cíclicos
G = C (n i) ® • • • © G (jit)
con n¿|rii+ i y con G(rii) Z /ritZ .
Ahora, si p : G —►C* es una representación de grado entonces p está determi
nada por sus valores en los generadores de G, i.e, en los generadores de los sumandos
cíclicos G(n¿) & Z /n¿Z 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 raíz rií-ésima de la unidad.
Recíprocamente, para cada elección de una raíz ují € p Uí se tiene la representación
13. REPRESENTACIONES LINEALES DE GRUPOS FINITOS 179
donde V tiene base vo, . . . , vn_ i indexada por los elementos de Z /n Z . Por definición
de la representación regular
y así W es invariante. □
Del lema anterior se sigue que para detectar cuáles subespacios unidimensionales
de V son invariantes, basta detectar cuáles 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, . . . , Vn—i 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(iíi —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 raíces de An — 1 = 1, i.e., son las raíces 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 transformación lineal tal
que p2Í9 )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 representación 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 función lineal p(o) : V —►V satisface la hipótesis del lema de Schur y
así p(<r) es un múltiplo 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 sólo 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 dimensión finita, el estudio de las representaciones
complejas de G se inició a finales del siglo x ix con los trabajos de Frobenius con la
intención de obtener resultados en la teoría de grupos finitos que, como se vio poste
riormente, no eran accesibles con los métodos desarrollados previamente. La pequeña
introducción a la teoría de representaciones de grupos que vimos en este capítulo 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 capítulo sólo consideramos espacios vectoriales sobre C, pero mucho de lo
que desarrollamos permanece válido para cualquier campo K algebraicamente cerrado
y cuya característica no divida al orden |G | del grupo.
Ejerc ic io 6 . Concluya que Sn , para n > 3, sólo tiene dos representaciones de grado
1. Calcule éstas. Sugerencia: vea la proposición 5.14.
EJERCICIO 11. Usando el ejercido 10 para ver la forma que tienen las matrices p(a),
muestre que la representación por permutaciones de S$ es reducible.
EJERCICIO 16. Se puede invertir la construcción del ejercicio 15: s \ N < G es cualquier
subgrupo normal de G y si p : G / N —►G L(V ) es una representación de G / N , defina
la función p : G —►G L(K ) mediante p(g) := p (g N ).
(i) Demuestre que p es una representación de G.
(ii) Demuestre que si p es fiel, entonces el núcleo de p es N.
(ii) Demuestre que p es irreducible si y sólo 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¿ raíces de la unidad. De la desigualdad del
triángulo 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. Recíprocamente, 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
PROPOSICIÓN 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 Demostración. 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 representación trivial p(g) = 1, para todo g € Gt
su carácter está dado por x(9) := Tr[p(p)] = 1, para todo g € G. A éste carácter lo
llamaremos el carácter 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
carácter x de la representación 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 transformación lineal arbitraria. Pongamos
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 identificación 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#)” 1»P°r 14.1, la
definición del producto interior se vuelve
(<¿.^> = 5Z <K9)'P(9~l )
geG
y observamos que £ 9€G 4>(g)ip(g) = £ 9€G 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 carácter de una representación irreducible de G, entonces es de norma
% <X. x) = 1.
Demostración. (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 aplicación
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 composición es el producto de las matrices), y así, los coeficientes | | de
[h°] son
ÍX,
i
x') = ( Y aii’Y
j hj
Éf | = Y ( aii' a'úi)
= Y aa(9~l Wjj(9)
Y por definición 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 notación para p = pf y h, sólo 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<5‘ij — %8t$at&ij
M ¿
|<?| "
lG l seo n - (I
[0 en cualquier otr
otro caso,
n 1
= £ -
h n
= i,
como se quería.
Observación. Note que la parte 2 del teorema es una condición necesaria para que
una representación p sea irreducible: se requiere que (xp>Xp) = 1 - Después de unos
ejemplos y corolarios, veremos en 14.7 que la condición anterior también 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 afirmación del
corolario, note que el número (x», 0) no depende de la descomposición. □
Observaciones. (1) Este corolario nos dice que, en efecto, el carácter de una represen
tación determina o caracteriza a la representación.
(2) Los corolarios anteriores también 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 representación de grado n con carácter x» supongamos
que W \ %. . . , Wr son todos los irreducibles no isomorfos que aparecen en una descom
posición de p. Pongamos := (x,Xt)» donde Xt es el carácter 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 carácter x de p es una combinación 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 sólo si x es irreducible.
Demostración. 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 sólo si uno de los ra¿ = 1 y los otros son cero, i.e., si y sólo si
V - Wi. □
COROLARIO 14.8. Toda representación irreducible pi de un grupo finito G está con
tenida en la representación regular de G, con multiplicidad m* igual al grado n¿ de
Pi-
Demostración. Por el ejemplo 2, el carácter XR Ia representación regular de G
está dado por
si 9 # 1,
XRÍ9) =
si g = 1 .
Ahora, por el corolario 14.5 la multiplicidad con que la representación irreducible
con carácter x<» está contenida en la representación 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 cíclico Z /n Z .
71 aeG n
Demostración. Mostraremos que p f satisface la condición del lema de Schur. En efecto,
para todo t € G:
P(í_ 1 )P /P (0 = £ PÍt)~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 función 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 renglón 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 X2Í92) X2Í93) X2Í3r)
Ahora, los renglones de esta tabla los podemos ver como vectores en Cr con el
carácter x» fijo y variando los representantes de las clases de conjugación:
( 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
capítulo 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 definición 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 simétrico en 3 letras. Recordemos, del capítulo 4, que las
clases de conjugación de Sn consisten de todas las permutaciones que tienen la misma
estructura cíclica (4.12). Se sigue que las clases de conjugación 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 carácter principal x i el carácter y
de la función signo (ejemplo 4 del capítulo 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(n—l)(n—1)
Xn
Ejemplo 11. Sea G cualquier grupo abeliano finito. Como G es abeliano sus clases de
conjugación 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 capítulo 13 construimos |G| representacio
nes irreducibles de grado 1 de G, necesariamente irreducibles. La afirmación recíproca
también es válida: si todas las representaciones irreducibles de un grupo G son de gra
do 1, entonces G es abeliano. En efecto, el número r de representaciones irreducibles
de G es igual al número de clases de conjugación de G y se tiene que |G| = rí¡ ,
donde cada n¿ = 1 por lo que |G| = r y así G tiene |G| clases de conjugación 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 diédrico Z?2n» sabemos, por el ejercicio 9 del capítulo 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 rotación r = r ^ / n y a la reflexión p, y estos generadores satisfacen
las relaciones
rn = 1 , p 2 = 1 , prp = r “ 1.
Además, 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 reflexión.
- 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 representación de
grado 2, diagonalizando la matriz <p(g), con g € D2n»note 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 raíces n-ésimas de la unidad. Esto nos motiva a definir, para
u) € Pn una raíz n-ésima de la unidad, la función
<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 raíz de la unidad u £ pn. La pregunta natural, en
este contexto, es: ¿cuándo es 4>u reducible? Para que sea reducible debe existir un
subespacio W C C 2 de dimensión 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 w“1) 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 raíces
1 , - 1 € P2 Q Pn que son las únicas representaciones de grado 2 reducibles de D2n.
Se sigue que, si u € pn — ^ 2» la representación 0o, correspondiente es irreducible.
Observe ahora que como u ku n~k = 1, entonces 0^* y 0wn-fc son isomorfas. Se sigue
que sólo necesitamos considerar las representaciones de grado 2 asociadas a las raíces
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 raíces 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 sólo si x<t>u> = X/v> P°r 14.6. Pero, por definición de 4>u y 0 ^ ,
Caso 2. Si n es impar. En este caso —1 ^ /in y así sólo tenemos dos representaciones
Ti de grado 1 correspondientes a subrepresentaciones de <¡>\. Para las de grado 2, son
las mismas que las del caso anterior, con la condición de que O < k < n/2 y sólo
observamos que, como n es impar, la condición k < n /2 se puede escribir como
k< (n - l ) / 2, i.e., k debe satisfacer que
1 < k < (n - l)/2.
206 14. CARACTERES DE GRUPOS FINITOS
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 sólo x(9) es real para todos
los caracteres de G.
Eje r c ic io 14. Escríba explícitamente la tabla de caracteres del grupo diédríco D%.
Ejercicio 18. Demuestre que un grupo finito de orden 8k debe tener al menos 5 clases
de conjugación. Sugerencia: muestre que el grupo debe tener al menos 5 representacio
nes irreducibles.
Capítulo
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 número
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 TEORÍA DE CARACTERES 213
(donde los Uj son raíces 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 raíces de p(x), entonces el producto de éstas raíces es
±ao (el término 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
raíz, i.e., x($)/x (l) = 0 y así x(p) = 0, en contradicción con la hipótesis 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 XiÍ9) sí es un entero algebraico,
esto implica que p \ x ¿ (l) (y también 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 combinación 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 también lo es, entonces Xi(9)/Xi(X) es un entero algebraico
^ 0 y así, por el lema previo se sigue que su módulo es 1 por lo que |xt(<?) I = lx»(l)l =
Xt(l). Ahora, sea pi : G —+GL(W¿) la representación correspondiente al carácter x«-
Observe que como, para g G G, Xt(p) es una suma de x ¿(l) raíces 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 demostración del lema anterior, si n es el orden
del elemento g t por 14.1(4), XÁ9) es una suma de X t(l) raíces n-ésimas de la unidad,
digamos Uj, y así
\Xi(9)\ = 1^1 H-------= X ií1)
y, por la desigualdad del triángulo, la igualdad anterior sólo puede suceder si todos
los Wi son iguales (a un u , digamos, con módulo 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*- Recíprocamente, si pi(g) = Xg idwi» entonces Xg
es una raíz de la unidad y
IXi(ff)l = |Tr(A3 id w JI = |n«A9| = n< = x<(l)
como se quería. 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 sería 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í
PÁ9h) = Pi(g)pi(h) - pi(h)pi(g) = pi(hg)
15. APLICACIONES DE LA TEORÍA 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 número de elementos en la clase de
conjugación de g, por 8.2 y el ejemplo 12 del capítulo 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 hipótesis de
inducción, H es soluble. El cociente G /H también tiene orden de la forma paq0 con
a + /3 < r + s, y por lo tanto también es soluble por la hipótesis de inducción. De
11 .6(3) se sigue que G también es soluble. □
x(ff) = x ( l )
para un carácter 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 TEORÍA DE CARACTERES
= J2 * (9 í 1<t9í ) = x G{°)
. *=i i=i
como se quería.
218 15. APLICACIONES DE LA TEORÍA DE CARACTERES
Hay otras formas de escribir la fórmula para el carácter 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¿ = g¡u con u € H fijo. Se tiene entonces que
(3) X °((r) = j4 i X Ít ^ v t ).
'T€G
í g (o- ) = Y l ^ r lff9i)
t=i
y para identificar este carácter de G, consideremos la representación por permutaciones
de G dada por la acción 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 carácter de esta representación de G. Por el ejemplo 3 del capítulo 14 se tiene
que xi?) — |( G / i / ) a | es el número de elementos giH de G /H fijados por cr. Obser
vamos ahora que crgiH = giH si y sólo si g//l &g% G H por lo que el número x (^) de
clases de G /H fijadas por o es igual al número de elementos de la forma g^l crgi que
están en H y este número es Ya =i ya Que cada uno de estos sumandos es 1
cuando g¡~1ogi G H porque $ es el carácter trivial. Hemos así identificado al carácter
inducido £G como el carácter x . i*e., £G = x-
C aracteres virtuales. Si G es un grupo finito y si xi» • • • >Xr son todos los caracte
res irreducibles de G, hemos visto en la observación (3) antes de 14.7 que todos los
caracteres x de G son combinaciones lineales de la forma
(*) X = «lXl + •*• + OrXr
con los coeficientes a» enteros no negativos, y en general, por 14.11 toda función de
clases en G es una combinación lineal como la anterior pero con los coeficientes a« en
C. Si £ es una función de clases en G de la forma (*) pero con los coeficientes a* € Z
15. APLICACIONES DE LA TEORIA DE CARACTERES 219
(3 ) ^>G ( u j ) = J2'l,(Pi'P}UpJ1Pi)
1=1
y el í-ésimo término de esta suma es ^ 0 si y sólo si p ^P ju p ^p i € H \ , lo cual sucede
si y sólo si PjupJ1 € PiH\p~ 1 = i/», i.e., si y sólo si Hj = #*, i.e., si y sólo 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^ » £ Zíi para todo i, ya que w no fija a punto alguno.
Resumiendo, los valores del carácter xpG, en 1, Uj e H f y w e W , son:
Ahora, para el carácter virtual £ dado por £(cr) := i)G{a) - d9(a), usando los
cálculos de \¡>G y 0 anteriores, se tiene que
£ (l)= d n - d(n — l) = d, £(iíj) = 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 núcleo de £, sin embargo
ésto no es así porque: (i) sólo caracteres verdaderos identifican núcleos (15.2) y £ es
un carácter virtual, (ii) pueden haber otros elementos fuera de W que satisfacen la
ecuación (5).
El primer problema se resuelve si en lugar de tener cualquier carácter ip de H\
se toma un carácter irreducible ip de H \t digamos de grado <¿, en la definición (1),
observando entonces que el carácter virtual £ resulta en este caso un carácter irreducible
222 15. APLICACIONES DE LA TEORÍA 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
Definiendo ahora caracteres £*¡ de G en forma análoga a como se definió £ sólo que
ahora usando xpk en lugar de xp, i.e., £* = xp% - d*#, para fc = 1 , . . . , r , notamos que
los valores de £* son análogos a los de £, i.e.,
Se define entonces el carácter 7r mediante 7r := ]Cí=i d*£jfe (es un carácter porque los
djfe > 1 son enteros) y substituyendo los valores de £* se tiene que
15. APLICACIONES DE LA TEORÍA DE CARACTERES 223
w (l) = 5Z = '52¿k = 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 línea
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 quería.
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] había demostrado algunos casos especiales de su teorema y
después de estudiar la teoría de caracteres de Frobenius, en [25] obtuvo la demostración
que presentamos en este capítulo, como una de las más célebres aplicaciones de la
teoría de caracteres. Como mencionamos antes, fue hasta 1972 cuando H. Bender [23]
encontró una demostración, sin usar caracteres, del teorema de Bumside.
(3) Todas las demostraciones, conocidas hasta ahora, del teorema de Frobenius [38],
usan teoría de caracteres en una forma u otra. El teorema de Frobenius junto con el
teorema paqb de Bumside son modelos de cómo usar teoría de caracteres para obtener
información sobre la estructura de grupos finitos.
(4) El teorema de Frobenius 15.13 tiene una demostración, 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 capítulo 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 demostración de estos dos casos es una demostración
del teorema de Frobenius, sin embargo el teorema de Feit-Thompson no sólo usa ca
racteres en su demostración, sino que es de una profundidad mayor. El caso (2), cuando
el complemento de Frobenius H es soluble, ya había sido demostrado por Bumside en
226 15. APLICACIONES DE LA TEORÍA DE CARACTERES
[26]. La demostración que damos se basa en Gríin [41] y Shaw [53]. A continuación
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
contradicción con la hipótesis de que H ^ 1; se sigue que N g (H) C H y la otra
inclusión 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 inclusión del lado izquierdo en el lado derecho, supongamos que
esto no es así, i.e., que existe un <Tj<Ji G Hk para algún j ^ i y algún k. Se tiene
entonces que Hj fl Hi = 1 ya que Hj fl Hi = gjH gJ1 n giHg~l y si esta intersección
fuera ^ 1, entonces conjugando con g j 1 se tendría 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 contradicción. 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 contradicción con a* ^ 1. Se tiene entonces que
1 ^ ( ctjíTí ) ^ 1 = alajCTj = = ir f 1 f l f 1 = ( o ^ t )“1
porque a j = l y así cr“1 = 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 hipótesis sólo puede suceder si Gj G i.e., si j = fc. En forma análoga 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 sólo 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 inclusión (**)
debe ser una igualdad, como se quería, y esto para cada j = 1 , . . . ,n .
15. APLICACIONES DE LA TEORÍA 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 jlhr’Xj G H f) x~l H xj = 1. Se sigue que V(h) = /iü 7, como se quería.
(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/ 1“1 = « G ker V y así <7 = uh> con u G ker V y h G H, es
decir, G = ker y • # .
JPara la definición del homomorfismo de transferencia, vea la sección inmediata al final de esta
demostración.
228 15. APLICACIONES DE LA TEORÍA 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 inducción sobre el orden de G que
N : = G - \J g H g ~ 1
g£G
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 también es soluble) y como K $ G
(ya que de lo contrario se tendría que H = 1 y por lo tanto H' = 1), entonces por
hipótesis de inducción 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 demostración 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 n¡u/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 TEORÍA DE CARACTERES 229
(móa h>)
i=i
donde recordamos que el cociente H /H ' es un grupo abeliano y mód 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 ' lafunción anterior. Entonces,
(1) V es un homomorfismo, al que se llama el homomorfismo de transferencia.
(2) La definición de V es independiente del conjunto completo de representantes de las
clases laterales izquierdas de H en G.
Demostración. (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 términos entre paréntesis del lado derecho de
(1.1) y por v el término entre paréntesis del lado derecho de (1.2), para probar que
V es un homomorfismo lo que debemos probar es que u = v (mód H'), es decir,
debemos probar que uv~l € H', i.e., que u = kv para algún 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 algún orden. Observe entonces que al considerar este producto
230 15. APLICACIONES DE LA TEORÍA DE CARACTERES
donde la primer congruencia es porque H/H 1es abeliano, y también notamos que j(g)
recorre In cuando i lo hace, por lo que los productos entre paréntesis en el lado derecho
son inversos uno del otro, i.e., u s u (mód H') como se quería. □
¿ r i = n = [ G :tf].
t=l
EJERCICIO 10. Demuestre que todos los caracteres del grupo simétrico Sn tienen va
lores enteros. Sugerencia: ejercicio 23 del capítulo 4.
Ejercicio 11. Bajo la correspondencia del lema 15.1 (vea también los ejercicios 15
y 16 del capítulo 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 intersección es sobre todos los caracteres irreducibles de G tales que N C
ker x- Sugerencia: Vea la demostración de la proposición 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 carácter 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 sólo 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 carácter irreducible x que aparece en un
renglón de M su conjugado x también aparece como otro renglón 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 TEORÍA DE CARACTERES
Ejercicio 21. Una clase de conjugación 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 conjugación {1} es
real. Demuestre que el número de clases de conjugación 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 raíces a i , . . . , a n, a las cuales se suele denotar por
donde observamos que las raíces de g(x) son a i , , .. , a n- i y satisfacen, por hipótesis
de inducción las fórmulas de Viète:
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-2£n“ 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 simétricos elementales sk(x 1 , . . . , xn) son, en efec
to, simétricos, 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 permutación 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. También, 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 acción de
Sn en Sfc es transitiva. Sin embargo note que esta acción no tiene por qué preservar el
orden de los elementos de un y € S* dado.
Con las observaciones anteriores es fácil probar que los polinomios sk son simétri
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 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). Nótese que R(x) ^ 0 ya que si no fuera así se tendría que
h(x) = m (x)A (x), i.e., 0 = h(a) = ^ 0, una contradicción. □
v - Q» ~"Q
y como Q C / C , entonces (*) tiene a lo más una solución en Q. Ahora, como sólo hay
un número finito de ecuaciones (*), entonces sólo hay un número finito de elementos
de Q que satisfacen (*) y como Q tiene un número 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 inclusión, basta probar que a , P G Q (0). Para
ésto, pongamos h(x) := p(6 —rx) G Q(0)[x]; entonces, como a es raíz de p(x),
h(fi) = p(0 —rp) = p(á) = 0 ya que a = Q—r(3 por (2),
y com o p es raíz 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 raíz de q{x), entonces h(Pj) = p{9 -> rPj) ^ 0 ya que,
por la elección de r G Q, según (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 raíces de p(x) para
j L Así, ninguno de los otros x —pj, con j j=^ 1, es factor de h(x). Además, como
( x —P)2 \ q(x) (ya que las raíces 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 combinación 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 raíces de <¡>{x), los a* también son números algebraicos. Adjuntando
estas raíces 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 demostración 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 mónico y satisface que f(a ) = 0 ya que a = r(0) = r(0 i). Más aún, 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 están 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 raíces 0 i, . . . , 0n de p(x) son
raíces de g(x) = <¡>(r(x)) y así los números r(0¿) son raíces 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
función simétrica 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 Viète, A .l, y por lo tanto f(x ) G Q[x] como se
quería. Podemos entonces aplicar A.4 de donde se sigue que <¡>{x) divide a f(x ) ya que
<!>es el polinomio mónico 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 mónico, entonces basta mostrar
que h(x) es constante. Ahora, si h(x) no fuera constante, entonces tendría una raíz y
como h(x)\f(x)> esta raíz sería de la forma r(0¿) para algún 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 raíz de /i(x), lo cual es imposible
porque a es raíz de (¡>que es coprimo con h. Esta contradicción 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 raíz del polinomio mónico con coeficientes enteros 6»,
entonces ¿ es un entero algebraico. □
TEOREMA A. 13. Si a , P € C son enteros algebraicos, entonces también lo son a ± ¡3
yap.
Demostración. Supongamos que a y (3 son raíces 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
Así, en ambos casos se ve que existen enteros hji, . . . , hjt tales que
ctOj = h j\0 i + * • • + hjtOt.
Por su definición, los enteros algebraicos son números algebraicos, por lo tanto, si
a € C es un entero algebraico, seap(x) = Irr(a, Q) el mónico irreducible del cual a es
raíz (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) también es primitivo.
(2) Si un polinomio f(x) 6 Z[x] es irreducible, entonces considerado como polinomio
en Q[x] también es irreducible.
Obsérvese que como, obviamente, si f(x) es irreducible en Q[x] también 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 sólo 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 obsérvese que como p\a*, 0 < i < s — 1 , entonces p divide al primer paréntesis
en la ecuación de arriba, y similarmente p divide al segundo paréntesis. Y como por
hipótesis p|c¿+t, entonces p debe dividir a a9bu en contradicción 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]. Más aún, 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 también, 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 más ele
gante, usando los elementos de la teoría de Galois, la cual captura, en forma sutil y
económica, la acción del grupo simétrico sobre las raíces de un polinomio dado. Simi
larmente, el hecho de que los enteros algebraicos forman un anillo se puede demostrar
usando la teoría de anillos conmutativos. Las demostraciones que hemos dado se en
cuentran, con pequeñas variaciones, en [7] y [15].
Libros:
(1) Barrera, E, Introducción a la teoría de grupos. SMM-Universidad Autónoma
del Estado de Hidalgo, México, 2004.
(2) Burnside, W., Theory o f Groups o f Finite Order. Second Edition. Dover, New
York, 2004.
(3) Cárdenas, H. y Lluis, E., Módulos semisimples y representación de grupos
finitos. Trillas, México, 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 algébriques. Gauthier-
Villars, Paris, 1870. Deuxième Edition. Paris, 1957. Réimpression, 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., Aritmética y teoría de grupos. UAM, México, 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 Simetría. Nueva Visión, 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., Introducción a la teoría de grupos. SMM-Universidad Autónoma
del Estado de Hidalgo, México, 2004.
(2) Burnside, W., Theory of Groups of Finite Order. Second Edition. Dover, New
York, 2004.
(3) Cárdenas, H. y Lluis, E., Módulos semisimples y representación de grupos
finitos. Trillas, México, 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 algébriques. Gauthier-
Villars, Paris, 1870. Deuxième Edition. Paris, 1957. Réimpression, 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., Aritmética y teoría de grupos. UAM, México, 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 Simetría. Nueva Visión, 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 BIBLIOGRAFÍA
Artículos:
(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., Mémoire sur les arrangements que Ton peut former avec des
lettres donneés et sur les permutations ou substitutions a Taide desquelles
on passe d'un arrangement a un autre. Exercises d’Anal yse et de Physique
Mathématique. Tome III. (1844), 171-282 (Especialmente, pág. 192-1%, pa
ra la fórmula de Cauchy y pág. 280 para el teorema de Cauchy). Œuvres
Complètes. IIe Série. Tome XIII. Gauthier-Villars. Deuxième Edition. Paris,
1932.
(28) Cauchy, A., Mémoire sur diverses propriétés remarquables des substitutions
régulaires ou irrégulaires, et des systèmes de substitutions conjuguées. C. R.
Acad. Sci. Paris, 21 (1845), 972-98. Œuvres Complètes. Série I. Tome IX,
371-387 (Especialmente, pág. 386, para la el teorema de Frobenius en el caso
transitivo). Gauthier-Villars. Deuxième 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. für 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. S’ber. PreuB. Akad. Wiss. Berlin.
(1896), 985-1021. Ges. Abh. Ill, 1-37.
BIBLIOGRAFÍA 253
(36) Frobenius, F. G., Über die Darstellung der endlichen Gruppen durch linea•
re Substitutionen. S’ber. 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. S’ber. Preuß. Akad. Wiss. Berlin. (1898), 501-
515. Ges. Abh. III, 104-118.
(38) Frobenius, F. G., Über auflösbare Gruppen IV. S’ber. 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, É., Mémoire sur les conditions de résolubilité des équations par ra
dicaux. (1831), 43-72. Écrits et Mémoirs Mathématiques d’ Évariste Galois.
Édition critique intégrale de ses manuscrits et publications, par R. Bourgne et
J.-P. Azra. Gauthier-Villars. Paris, 1962.
(41) Grün, O., Beiträge zur Gruppentheorie II. Über einen Satz von Frobenius. J.
für die Reine und Angew. Math. 186 (1945), 165-169.
(42) Holder, O., Zurückführung einer beliebigen algebraischen Gleichung auf eine
Kette von Gleichungen. Math. Ann. 34 (1889), 26-56. (Especialmente, pág.
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 symétriques
finis. Ann. Sei. École Norm. Sup. 65 (1948), 239-276.
(47) Kronecker, L., Auseinandersetzung einiger Eigenschaften der Klassenzahl
idealer complexer Zahlen. Monatsb. König. Preuß. Akad. Wiss. Berlin, (1870),
881-889. Werke I, Leipzig, (1895), 271-282.
(48) Lagrange, J.-L., Refléxions sur la résolution algébrique des équations. Œuv
res de Lagrange, publiées 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 symmétrique 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 Begründung der Theorie der Gruppencharaktere. S’ber. Preuß.
Akad. Wiss. Berlin, (1905), 406-432. Ges. Abh. 1 ,143-169.
BIBLIOGRAFÍA
izquierda,53
icción,2,5,97 conjugado, 42,69
G-lineal, 170 conmutador, 66
transitiva, 105,238 conmutatividad, 7
lineal, 170 contraejemplo alteorema de Lagrange,65
porconjugación,98
portraslación ecuación 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
carácter, 185 estabilizador,99
de larepresentación regular, 187 estructuracíclica,43
inducido,217 exponente
principal, 187 de un grupo,92
virtual,219 extensión
carácterer de campos, 241
inducido,216 extensión simple,241
centralizador, 19,104
centrode un grupo, 19 factoresinvariantes,94
ciclo,32 fórmula de Cauchy, 46
clase Fórmulas de Viète,236
de un grupo nilpotente, 147 función
clases de clases, 195
de conjugación,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 carácter, 185
derecha,53 grado de una representación, 172
255
256 ÍNDICE ALFABÉTICO
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
decomposición, 139 de Cayley,84
normal, 139 decorrespondencia,65
signodeunapermutación,38,50 de Feit-Thompson, 153
simetría,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
subrepresentación, 175 fundamental de losgrupos abelianosfinitos,
sumadirectade representaciones, 177 94
Sylow tipode unapermutación,44
primerteorema, 110 transposición,36
segundoteorema, 111 transvección, 163
tercerteorema, 112 traza,185
Sociedad Matemática Mexicana
Junta Directiva de la Sociedad Matemática Mexicana 2006-2008:
Alejandro Díaz Barriga Casales • presidente
Fernando Brambila Faz • vicepresidente
Isidoro Gitler Goldwain • secretario general
Antonio Rivera Figueroa • secretario de actas
Silvia*Alatorre Frenk • tesorera
Marcela Santillán Nieto • vocal
Víctor H. Ibarra Mercado • vocal
La Sociedad Matemática Mexicana fue fundada en el año de 1943. Entre sus tareas fundamentales
destacan: Estimular y mantener el interés por la investigación matemática en México; publicar
revistas científicas; contribuir al mejoramiento de los programas de estudio y la enseñanza de las
matemáticas en el país; estimular la elaboración y publicación de libros de texto en matemáticas;
organizar conferencias, reuniones, congresos y concursos de matemáticas; cooperar en laresolución de
los problemas matemáticos que se presentan en el sector productivo del país, asícomo losque surgen
en las investigaciones de otras ciencias; promover el convencimiento entre la sociedad mexicana de
que las matemáticas son parte integral de la cultura básica y de las habilidades de uso cotidiano de
la población.
correo electrónico: smm@smm.org.mx
http://www.smm.org.mx
C U A D E R N O S D E OLIMPIADAS D E MATEMÁTICAS.
1 Combinatoria. M. L. Pérez-Seguí. 3a» edición (2005).
2 Principios de olimpiada. A. Illanes Mejía. 2a. Reimpresión de la 2a. edición (2006).
3 Geometría. R. Bulajich, J. A. Gómez Ortega» 4a» Reimpresión (2006).
4 Geometría. Ejercicios y problemas. R. Bulajich, J. A. Gómez Ortega. 4a. Reimpresión (2006).
5 Teoría de números. M.L. Pérez-Seguí. 3a» Reimpresión (2006).
6 Desigualdades. R. Bulajich, J.A. Gómez Ortega 2a. edición (2005).
12 Inequalities. R. Bulajich, J.A. Gómez 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 cuántos... H. A. Rincón Mejía (2002).
2 Sistemas de ecuaciones y de desigualdades. A. I. Ramírez Galarza (2002).
3 La historia de un empujón: un vistazo a las ecuaciones diferenciales ordinarias y a los sistemas
dinámicos. L. Ortiz Bobadilla y E. Rosales González (2002).
4 Dos o tres trazos. S. Cárdenas Rubio (2003).
5 Estadística descriptiva para bachillerato. M.P. Alonso Reyes, J.A. Flores Díaz (2004).
O Relacione» de equivalencia. M. Cruz Tcrán (3005).
7 Mosaico». L. Hidalgo (por aparecer).
APORTACIONES MATEMÁTICAS
Serie: INVESTIGACIÓN
I Coloquio de sistema» dinámico». Memorias. Guanajuato, México, 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 dinámicos holomorfos en superficies. X. Gómez-Mont, L. Ortiz-Bobadilla. 3a. edición
(3004).
4 Simposio de probabilidad y procesos estocástico». Memorias. Guanajuato, México 1988. Edi
tado por M. E. Caballero, L. G. Gorostiza (1989).
5 Topics in algebraic geometry. Proceedings. Guanajuato, México 1989. Editado por L. Brambi-
la-Paz, X. Gómez-Mont (1992).
6 Seminario internacional de álgebra y sus aplicaciones. Memorias. México 1991. Editado por
L. M. Tovar, C. Rentería, R. H. Villarreal (1992).
7 II Simposio de probabilidad y procesos estocástico». I Encuentro México-Chile de análisis es
tocástico. Memorias. Guanajuato, México 1992. Editado por M E. Caballero, L. G. Gorostiza
(1992).
8 Taller de geometría diferencial sobre espacios de geometrías. Memoria». Guanajuato, México
1992. Editado por L. del Riego, C. T. J. Dodson (1992).
9 Poblaciones aleatorias ramificadas y sus equilibrios. A. Wakoibinger (1994).
10 Una Introducción a la geometría computacional a través de los teoremas de la galería de arte.
V. Estivill-Castro (1994).
II III Simposio de probabilidad y procesos estocástico». Memorias. Hermosillo, México 1994«■
Editado por M.E. Caballero, L.G. Gorostiza (1994).
12 IV Simposio de probabilidad y procesos estocáisticos. Memorias. Guanajuato, México 1998.
Editado por L. G. Gorostiza, J. A. León, J.A. López-Mimbela (1996).
13 Taller de variedades abelianas y funciones theta. Memorias. Morelia, Mich., México 1996.
Editado por R. Rodríguez, J.M. Muñoz Porras, S. Recillas (1998).
14 Modelos estocástico». Editado por J. M. González Barrios, L. G. Gorostiza (1998).
15 Inverse limits. W. T. Ingram (2000).
16 Modelos Estocástico» II. Editado por D. Hernández, J.A. López-Mimbcla, R. Quezada (2001),
17 Topics in infinitely divisible distributions and Lévy processes. A. Rocha-Arteaga, K. Sato
(2003).
18 Parametric Optimization and Related Topics VIL Editado por J. Guddat, H.Th. Jongen, J.-J.
Rückmann, M. Todorov (2004).
S erie: T E X T O S
1 Introducción a la topología - Graciela Salicrup. Editado por J. Roscnblueth, C. Prieto. Nivel
medio, la. Reimpresión (1997).
2 Procesos estocásticos. C. Tudor. Nivel avanzado. 3a. Edición (2002).
3 Lectures on continuous-time Markov control processes. O. Hernández-Lerma. Nivel avanzado
(1994).
4 Un curso de lógica matemática. C. R. Videla. Nivel avanzado (1995).
5 Rudimentos de mansedumbre y salvajismo en teoría de representaciones. F. Larrión, A. G.
Raggi, L. Salmerón. Nivel avanzado (1995).
6 Teoría general de procesos e integración estocástica. T. Bojdecki. Nivel avanzado, la. Reim
presión (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. Hernández, C. Durán. Nivel elemental (1996).
10 Lo antiguo y lo nuevo acerca de los conjuntos convexos. H. Hadwiger. TVaducción: L. Monte-
jano. Nivel medio (1998).
11 Matemáticas para las ciencias naturales. J.L . Gutiérrez Sánchez, F. Sánchez Garduño. Niveles
medio y avanzado (1998).
12 Introducción a la teoría de redes. M. C. Hernández Ay uso. Nivel medio 2a. Edición (2005).
13 Teoría de conjuntos (una introducción). F. Hernández Hernández. Nivel medio 2a. Edición
(2003).
14 Lectures on quantum probábility. A. M. Chebotarev. Nivel avanzado (2000).
15 Construcción de procesos autosimilares con variando finita. J. E. Figueroa López. Nivel
avanzado (2000).
16 Grupos algebraicos y teoría de invariantes. C. Sancho de Salas. Nivel avanzado (2001).
17 Cohomología de Galois de campos locales. F. Zaldívar. Nivel avanzado (2001).
18 Dimensión Theory: An Introduction %uith Exercises. S.B. Nadlcr, Jr. Nivel avanzado (2002).
19 Cómputo Numérico con aritmética de punto flotante IEEE. Con un teorema, una regla empírica
y ciento un ejercicios. M. L. Overton. Traducción: A. Casares Maldonado. Nivel medio (2002)
C o e d ic ió n S IA M .
20 Topología Diferencial. V. Guiltemin, A. Pollack. Traducción: O. Palmas Velasco. Nivel medio
(2003).
21 Elementos de Probabilidad y Estadística. A. Hernández-dcl-Valle, O. Hernández-Lerma. Nivel
elemental (2003).
22 Topología General. D. Hinrichsen, J. L. Fernández Muñiz, A. Fragüela Collar, Á. Álvarcz Prieto.
Nivel medio (2003).
23 Introducción a los grupos topológicos de transformadones. S. de Ncymet U. Con la colaboración
de R. Jim énez B. Nivel avanzado (2005).
24 Breviario de teoría analítica de los números. E. P. Balanzario. Nivel medio (2003).
25 Cálculo de probabilidades. F. M. Hernández Arcllano. Nivel elemental (2003).
26 Números primos y aplicaciones. F. Lúea. Nivel avanzado (2004).
27 Historia y desarrollo de la teoría de los continuos indescomponibles. F.L. Jones. Traducción:
S. Macías. 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 Inxñtación a la teoría de los continuos y sus hiperespacios. E d itad o por R. Escobedo, S. Macias,
H. Méndez. Nivel medio (2006).
32 Introducción a la teoría de grupos. F. Zaldívar. 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. Pérez-Esteva, C. Villegas-Blas. C ontem porary M athem atics No. 260. Coedición 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. Pérez-Esteva, C. Villegas-Blas. C ontem porary M athem atics No. 289. Coedición
de Aportaciones M atem áticas - American M athem atical Society (2001).
336 Stochastic Models. E ditado por J.M . González-Barrios, J.A . León, A. M eda. C ontem porary
M athem atics No. 336. Coedición de A portaciones M atem áticas - A m erican M athem atical
Society (2003).
340 Spectral Theory of Schródinger 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 Coedición 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. Coedición 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. Coedición 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 técnico:
Depto. de Publicaciones
Instituto de Matemáticas, U N A M
Gabriela Sanginés, 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 publicación 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 años de la licenciatura. ;
□ Nivel medio: " ^
Dirigido a estudiantes de los dos últimos años 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.