Documentos de Académico
Documentos de Profesional
Documentos de Cultura
MATEMÁTICAS TEXTOS 32
NIVEL MEDIO
Publicación de la
SOCIED A D M A T E M A 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 .
jm
Casa abierta al tiempo
portaciones
MATEMÁTICAS TEXTO S d a
N IV E L M E D IO
Fecha
INGRESO 0
tt
COMPRA..
DONACION
oo
CANJE .......
a-
Felipe Zaldívar
e^eb9
Departamento de Matemáticas
Universidad Autónoma Metropolitana-I
09340 México. D. F.
MÉXICO
*<
fv ao¿
Ny? ,,
;
'exJLuo ñ
índice general
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
Bibliografía 251
cuyo origen puede ubicarse en uno de los inicios del Algebra misma, a saber el estudio
de las permutaciones de las raíces de polinomios, por Galois, Lagrange y Viéte.
Capítulo
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 1. 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 rg por ángulos 9 = 7r/2, 7r, 37t/ 2, 27t, etcétera. En general,
rotaciones por ángulos que son múltiplos enteros de it/2. Note que al rotar 2a-
es lo mismo que rotar 0 grados. También, si n > 0 es un entero, al rotar nrr/2
1. 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 £).
■ 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„y2>la acción sobre el cuadrado 6 está dada por:
2 1 1 4
»V/2
3 4 2 3
2 1 4 3
r*
3 4 1 2
y notamos que r„ = rn/ 2 • rn/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
r » = rV/ 2 * r ir/ 2 = r »/2
4 1. SIMETRÍAS Y OPERACIONES BINARIAS
■ 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 e 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 p3 sobre el cuadrado 6 es:
2 1 4 1
Pi
3 4 3 2
2 1 1 4 4 1
3 4 2 3 3 2
1. SIMETRÍAS Y OPERACIONES BINARIAS 5
Unos cálculos sencillos nos convencerán que las simetrías del cuadrado C están
dadas por las acciones
G = {e, r, r 2, r 3, p, p • r, p • r 2, p • r 3},
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
G x A-+A
que asigna a cada par ordenado (a, o), con a £ G y a 6 A el objeto a * a € 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 q £ á s e tiene que, la acción de o
en a, denotada a * 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
o * t en 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 a, t £ G, la composición a • r € G actúa sobre
el objeto a € A, en la forma natural, es decir, primero actúa r para obtener
el objeto t * a € A y luego actúa a en t * a 6 A para obtener el objeto
a * ( t * a) e A. Es decir,
(a • t ) * a = cr * (t * á).
6 1. SIMETRÍAS Y OPERACIONES BINARIAS
ó podemos juntar los dos últimos y luego operar con el primero: a • (0 • 7).
Observe que, en principio no hay nada que garantize que los elementos de G, obtenidos
anteriormente, sean iguales. Nosotros pediremos que siempre se tenga la igualdad
01 • {0 • 7 ) = (« • 0) • 7
1. SIMETRIAS Y OPERACIONES BINARIAS 7
para todos los elementos a , /3,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 — b.
2a+b
(ii) En A = N, o * 6 :=
(iii) En A = R, a * 6 := vW '
(iv) En A = Z, o * 6 := —06.
(v) En A — R, a * 6 := a 26.
(vi) En A = Z, a * 6 := 0 + 6 — 5.
(vii) En A = Q. a * 6 := a + b + ab.
o! b' \
( c, I es otra matriz en G L (2,R ), recordemos que el producto de
matrices está definido por:
A I = ( a M ( 1 0 V / a • 1 + 6 •0 a •0 + 6 • 1 \ _ ( a b\
2 Ve d ^ A O l j \ c d + i ¡ '0 c • 0 + d • 1 ) ~ \ c d )'
por lo que A • I 2 = A. Similarmente se muestra que I 2 ■A = A.
(üi) Si A = ^ “ * V como det(A ) ± 0, entonces A es invertible y su inversa
es
d /A -b /A \
A “1 =
( —c /A a /A ) ’
2. GRUPOS Y SUBGRUPOS 13
a ■a ~ i = ( a ; y ( -* /m
\ c d J \ -c /A a fA )
( (ad - b e ) / A (—aò + ò a )/A \ _ / 1 0 \
V, (c d — d c)/ A (—6c + a d )/A y \ 0 1 J
= h
y similarmente se prueba que A -1 ■A = ¡ 2 .
(1 1 ) ss = ( 2 5 ) ’'“ "
" - ( Í 5) ( S ¡ ) - ( Í S )
Ejemplo 8. El grupo adiüvo (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 • (o • x) = (a -1 • a ) » x = e » x = x
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, /3, . . . , 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 9', 9" 9'", . . . 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 9' y 9" son dos elementos (posiblemente iguales), enton
ces existe un 9"' igual a f(9',9"). Más aún, /((?', 9") = f(9 ",9 '),
f(9,f{9',9'")) = f{f{9 ,9 '),9 "') y si 9" es diferente de 9"\ en
tonces f( 9 ,9') es diferente de f ( 9 , 9"'). Asumiendo ésto, podemos
reemplazar la operación f(9 ', 9") por la multiplicación 9' • 9" si en
lugar de la igualdad usamos la equivalencia ~ definiendo 9' ■9" ~
9"' por medio de la ecuación f(9 ', 9") = 9'".»
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 9i,
02, . . . , 9h se dice que es un grupo de grado h si satisface las condi
ciones siguientes:
I. Se tiene unaregla, 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 9r9¡¡ = 9t.
II. Se tiene que:
de múltiplos de n, es un subgrupo de Z.
EJERCICIO 10. Verifique que la definición de la suma en Z /n Z es, en efecto, una buena
definición, es decir, que no depende de la elección de los representantes de las clases
involucradas: si a, a' 6 [a] y b ,b 'e [6], demuestre que [a + b] = [a' + 6'].
c 1 := <7
a2 := a • o
<T3 := a2 • o
.fc+1 := ak •a
<7-* := ( a - 1)“
donde a~1 es la inversa de o y la potencia de (cr-1 )* es con exponente positivo, la cual
ya definimos en el paso (ii).
para cualesquiera m ,n € Z.
El grupo (cr) 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 = (<T).
Al elemento cr se le llama un generador de G.
Los grupos cíclicos son, de alguna manera, muy sencillos, por ejemplo, son abelia
nos:
generalidad, que m > n. Ahora, si sucediera que gm = gn, con m > n , entonces
m - n > 0 y multiplicando la igualdad gm = gn por g~n se obtiene:
24 3. GRUPOS CÍCLICOS
i.e., gm~n = e con m - n > 0. Sea fc > 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 ,g 2, . . . ,g k~1}, i.e., G sería finito,
lo cual es una contradicción. Para mostrar que G = {e, g ,g 2, . . . , gk~1}, mostraremos
que cualquier elemento de G está en el conjunto de la derecha. En efecto, si gm € G
es cualquier elemento, dividiendo m entre el entero k anterior, obtenemos
m = kq + r con 0 < r < k
y por lo tanto
gm =gkq+r = {gk y gr = e „gr = g r
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, . ■., g^-1 , 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
rior, por supuesto que también son cíclicos. Las preguntas son entonces: (i) ¿qué orden
J tienen? y (ii) ¿cómo son sus generadores? Las respuestas a estas preguntas son:
¿ PROPOSICIÓN 3.6. Sea G un grupo cíclico de orden n y generado por un elemento g.
* Sea a € G dado por o = gk. Entonces, o genera un subgrupo cíclico de G de orden
í n/d, donde d = m cd(n, k).
I Demostración. Sólo debemos mostrar que el orden de (a) es n/d. Ahora, como o = gky
entonces, por el argumento usado en el teorema anterior, el orden del subgrupo (¿r) es
i el menor exponente positivo de a = gk que se anula, i.e., es el menor entero £ > 1 tal
que
’ (9kY = e.
\
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 = gkt implica (por la parte 2 del teorema anterior) que
n divide a kt. Ahora, si d = mcd(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)\(k/d)t
con m cd {n/d, k/d) = 1, por lo que n /d debe dividir al factor i y consecuentemente
(n /d ) < l. Ahora, como
(,9k)n/d = (9n)k/d = e,
y como (n /d) < l y i es el menor exponente que anula a gk, entonces se debe tener
que t = n /d , como se quería. □
Observe que, si G = (g) es de orden n y k > 1 es coprimo con n , i.e., mcd(n, k) =
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 6 G es cualquier elemento, diremos
que a tiene orden infinito si para cualquier entero fc > 1 se tiene que o k / e. Es decir,
si ninguna potencia con k positiva se muere. Si existe un entero k > 1 tal que crk = 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 a k = e
y o1 f e para todo 1 < j < k.
Ejemplo 5. Si G es el grupo de simetrías del cuadrado,
G = { e ,r,r2,r 3,p ,p r,p r2,p r3}
el elemento e es de orden 1. El elemento r es de orden 4, el elemento r2 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 = p2rl = e.
de orden |(c r )| = n y por lo tanto debe ser igual a G, i.e., G = (cr), por lo que G es
cíclico, generado por cr. □
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, 'L/k'L. 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 k, a saber Z/A:Z.
E je r cicio 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.
E jercicio 12. Si G = {g) es cíclico de orden p", para p un primo, demuestre que
1 C ( / ' 1) C ( / B- ! ) C . . . C ( / ) C G
son todos los subgrupos de G.
I
» Capítulo
(
1 Grupos de permutaciones
«
n > 1 ES UN ENTERO, denotemos con I„ := { 1 ,2 ,..., n} al subconjunto de los
S I números naturales del 1 al n. Diremos que In es un intervalo de naturales. Una
función biyectiva o : In —> I„ se llamará una permutación de I„. Esta función la
C podemos representar mediante:
_ / 1 2 3 • n \
° ~ V CT( ! ) ff(2) CT(3) '' • CT(n ) )
donde debajo de cada natural i e l „ hemos colocado su valor o imagen cr(z) e In.
Ejemplo 1. Si n = 4, se tienen las permutaciones siguientes:
/ 1 2 3 4 1 23 4\
6~ \ 1 2 3 4 ), * = ( 1 24 3) ’
( 1 2 3 4 \ ( 1 23 4 \
.
T — 1^1 3 4 2 ) ’ \ 4 1
32 1/
Note que una permutación a de I4 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 biyectiva, i.e., es inyectiva y
suprayectiva.
Sea S„ el conjunto de todas las permutaciones de In. Si cr, r e Sn, escribiendo
estas funciones con su dominio y codominio:
(7 : In ►In y t i In » ün
es claro que las podemos componer para obtener la función:
r o o : I„ - » I„
dada por ( r o o)(x) := r(o(x)). Como t y a son biyectivas, la composición t o o
también es biyectiva y así
T o o € Sn,
29
30 4. GRUPOS DE PERMUTACIONES
( 1 4 ‘i4 X' ( 1 2 3 4\
r od
V 1 2
oí \
\ 4 )= 4 3 2 1 |
V 2 4 3 1 /
/ 1 2 3 4A \\
^ 2 4 3 1 )
donde, en la segunda igualdad se calculó primero la acción de 1? y luego la acción de
r ; note que añadimos un renglón extra para hacer explícitos los cálculos, por ejemplo,
4. GRUPOS DE PERMUTACIONES 31
-*-(! n o n - ( i n —
i.e., 0 2 = e por lo que 0 es de orden 2. Se sigue que el subgrupo cíclico generado por
0 es todo S2, i.e., (0) = S2 y por lo tanto S2 es cíclico.
32 4. GRUPOS DE PERMUTACIONES
o a a o <
j <j
i"(=
ol •• i2 •" r
V ••• 12 ''' *3 '•• X
usaremos la notación abreviada:
pensando a a como una A;-ada ordenada, donde se entiende que el ciclo a manda el
número de la izquierda al número de la derecha y al llegar al último, el número z* va
a dar al inicio del ciclo, i.e., a i\. Se sobreentiende que los números x G In que no
están en la k -ada anterior, son fijados por cr. Una convención más, los 1-ciclos son de
la forma o = (x), donde se entiende que la permutación a fija a los enteros de In
no listados en el ciclo o — (x), i.e., fija a todos excepto posiblemente a x y por lo
tanto también fija a x. Es decir, cr = idn, por lo que todos los 1-ciclos son iguales a la
permutación identidad, a la cual algunas veces denotamos por idn = (1).
Ejemplo 5. En S$ tenemos el ciclo o — (2,4 ,1 ) que como permutación es:
/0 . /1 2 3 4 5 \
o - (2 ,4 ,1 ) - ( 2 4 3 1 5 )
Oa (x) := {a k(x ): e Z}
se llamará la órbita de x bajo o .
4. GRUPOS DE PERMUTACIONES 33
O A z).
(3) La unión de todas las órbitas es In.
En otras palabras, si o 6 Sn, entonces el conjunto de órbitas Oa(x), con x variando
en I„, es una partición de In.
Demostración. (1). Para cualquier x 6 In se tiene que x = o°(x) e Oa(x).
( 2) . Si w e Oa(x) n Oa {z), entonces existen enteros r ,s > O tales que crr (x) = w =
<xs{z) y, sin perder generalidad, podemos asumir que r > s, por lo que or~s(x) = z,
i.e., z G Oa(x) y por lo tanto, para todo k £ Z se tiene que crk(z) = o k(ar~s(x)) =
0 k+T~‘ {x) G O A x )< >-e, ® A Z) != Oa(x). En forma similar se muestra que Oa (x) C
O A z). Las dos inclusiones anteriores dan la igualdad deseada.
(3) . Como cada O A z) C I„, se tiene que |J Oa (z) C In . Recíprocamente, si x 6 In ,
entonces x G Oa(x) C |J O A z) y por lo tanto I„ C (J Oa(z). □
34 4. GRUPOS DE PERMUTACIONES
Observación. Dada o € S„, como Sn es un grupo finito de orden n!, entonces a es (un
elemento) de orden finito también, i.e., existe un 1 < k < n\ menor tal que ok ~ e,
y por lo tanto ak(x) = x para todo x € In- Así, dado el elemento x € In»existe un
entero positivo menor £ con 1 < £ < k < n\ tal que a£(x) — x, y por lo tanto la órbita
Off(x) de x está dada por:
x, cr(x),a2(x ),. . . . < /_1(x), (ya que cre(x) = x).
Note lo circular del conjunto anterior, o mejor, gráficamente:
a a a a a <7
donde notamos la fuerte similaridad con lo que sucede con los ciclos de longitud £ que
estudiamos previamente. Es decir, a la órbita 0 <T(x) le corresponde el ¿-ciclo
(x , u (x ) , ct2(x), . . . ,crí - 1(x)).
Hemos así probado:
Ahora, como 0 T{r(x)) = O t ( x ) , entonces r mueve a r(x ) por lo que a lo fija, i.e.,
<
j {t ( x ) ) = t ( x ) . Se sigue que
(2) o t {x ) = t ( x ).
Las igualdades (1) y (2) implican que <tt (x ) = tct( 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 ot = to. □
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
a r = (1,3)(1,2) = (1,2,3) ^ (1,3,2) = (1,2)(1,3) = rrr.
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 o £ Sn que no sea la identidad, es producto de ciclos disjuntos
en forma esencialmente única:
O= K\K2 ■■■Kk,
| es la factorización deseada, si previamente se eliminaron los factores Kt iguales a la
1 identidad.
> Para probar la unicidad de la factorización anterior, supongamos que(*)
(* ) O- = = 7172
{
donde las Kj y las 7 , son ciclos disjuntos de longitud > 2.
1 Supongamos ahora que o mueve al elemento x € In . Entonces exactamente uno
de los kí mueve a x y exactamente uno de los 7 j mueve a x. Como los ciclos son
disjuntos, conmutan por la proposición 4.4, y así, sin perder generalidad, podemos
36 4. GRUPOS DE PERMUTACIONES
asumir que los ciclos que mueven a x son y 71, respectivamente. Ahora, como
k i ( x ) = o(x) = 7 i(x ), entonces para cualquier entero t se tiene que
k*
i (x ) = al [x) = 7Í(x)
y como los ciclos están determinados por sus potencias evaluadas en cualquier elemen
to que mueven, entonces la igualdad anterior implica que k 1 = 71. 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órbltas
son:
O í = { 1 ,6 } ,0 2 = {2,4}, 0 3 = { 3 ,7 ,8 ,9 } ,0 4 = {5}
por lo que la factorización de a en ciclos disjuntos es:
<r = (l,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 S5:
(1, 2) (2, 4 , 5 )(1 ,3 )(1 ,2,5)
calculamos de derecha a izquierda:
1 1—» 2 1—* 2 1—»• 4 1—>• 4 por lo que 1 1—*• 4
2 1—►5 >—► 5 >—>■2 »—>• 1 por lo que 2 1—► 1
3 t—►3 t—> 11—►1 1—►2 por lo que 3 >—>2
4 t—►4 1—*• 41—►5 >—»• 5 por lo que 4 *-* 5 .
5 1—>• 1 >—► 31—>■3 1—►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*) 6 S„ se puede escribir
como producto de transposiciones de la forma:
(a i, 02, . . . , a k) = (a i,a k){ai,ak- i ) ■■■(a i, a3) ( a i ,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 permutación a en S n 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 cr 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 £ Sn, denotemos con [oj al
número de órbitas de o y observemos que si r = (a,b) £ Sn es cualquier transposi
ción, entonces
M = |<t | ± 1,
y para probar ésto notamos primero que las órbitas de o que no contienen ni a a ni a b,
no son afectadas al multiplicar r por o, i.e., también son órbitas de t o . 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 j , b , d 1, . . . , d k) (note que siempre po
demos asumir que el ciclo comienza en a porque para cualquier ciclo se tiene la igual
dad: (¿1, »2, . ■• ,i k- i , i k) = ( ik ,ii,Í 2 ,---,ik -i))- Multiplicando el ciclo anterior por
la transposición r = (a, b) a la izquierda, queda
(1) ( a , b ) { a , c i , . . . , C j , b , d i , . . . , d k) = ( a , a , . . . , C j ) { b , d k, . . . , d k )
ya que el lado izquierdo de ( 1) manda:
a ci ►-* ci; Cx *—* c¿+i i-* Cj+i para i < j; Cj 1—>b 1—> a
y
b i—►d i 1—* d i ; di ►
—» d¿+ i i—» d j + i p a r a i < fc; d k 1-* a i-> 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 b por ( a , b ) se rompe el ciclo dado en dos ciclos disjuntos
de t c t y por lo tanto \ t o \ = \ c \ + 1 .
CASO 2. Supongamos ahora que a , b pertenecen a dos ciclos disjuntos de ir, digamos
(a, c j , . . . , c j ) y (6 , d i , , d k ) . Queremos ver cómo es el producto
( a , 6) ( a , c i , . . . , C j)(b, d i , . . . , d k )
sgn(er) :=
Observe ahora que para la permutación id 6 Sn, sus órbitas son de la forma (¿}
parar 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 S„ es cualquier transposición, entonces sgn(r) = - 1 , y en general,
si ti , . . . , rk G Sn son transposiciones, inducción sobre k usando (*) implica que
sg n (n •■•Tfc) = ( - l ) fc,
sgn(cr) = ( - l ) fc
y como el valor de la parte izquierda sólo depende de cr, entonces el número k de trans
posiciones en cualquier factorización 4.6 de a mantiene su paridad. Hemos así probado:
PROPOSICIÓN 4.9. Hay tantas permutaciones pares como impares. Por lo tanto el
orden del grupo alternante A n es n\¡ 2.
t : An >B n
/ 1 2 3 \ / 1 2 3
o 3
* - { “• - ( ! 2 3 )' V2 3 1 ) ’ CT4= V 3 1 2
ya que
03 = (1,2,3) = (1,3)(1,2) y 04 = (1,3,2 ) = (1 ,2 )(1 ,3)
son permutaciones pares.
El grupo diédríco. Si denotamos con Dg al grupo de simetrías del cuadrado, los ele
mentos de Dg son las cuatro rotaciones r k, 0 < k < 4 (por ángulos de 0, 90, 180, y
270 grados) y las cuatro reflexiones, p,, 1 < ¿ < 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
I4, i.e., D$ es un s u b g r u p o de S 4 . De hecho, podemos identificar las 8 permutaciones
de S4 que pertenecen a D&. Éstas son:
í 1 3
e la identidad
3 4)
3
r
G 4
3
í) la rotación r„./2
r2 la rotación rw = r 2^2
(3 1 5 )
3 4 \
r3
(i 2 3 )
3
la rotación r 3jr/ 2 = t \ /2
I( 1 3
la reflexión a 45 grados
P\
V1 3 0
( 1 3
P2 la reflexión a 135 grados.
V 3 1 í)
En general, si se tiene un polígono regular de n lados centrado en el origen de R2,
digamos con uno de sus lados paralelo al eje X , y si consideramos sus simetrías, es
decir, etiquetando sus vértices con los enteros del 1 al n, consecutivamente en senti
do contrario al de las manecillas de un reloj, las simetrías serán los movimientos del
polígono que llevan sus n vértices en los n vértices del mismo y por lo tanto las po
demos considerar como (algunas) de las permutaciones de In, i.e., como elementos de
Sn. Dicho en otras palabras, el grupo de simetrías D2n de un polígono regular de n
lados es un subgrupo del grupo simétrico Sn■
4. GRUPOS DE PERMUTACIONES 41
Observemos ahora que las simetrías del polígono incluyen las n rotaciones r k,
donde r = r 27r/ n es la rotación por el ángulo 2 n ¡n 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 D2n 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 D 2n se llama el grupo diédrico de orden 2n.
Observe que D 2n contiene al subgrupo Rn C D 2n formado por las rotaciones
Rn = { rfc, 0 < k < n}
y el orden de Rn es ri
El número de estructuras cíclicas en Sn. Sean c¿ > 0 enteros (1 < i < k < n). Una
permutación a e Sn se dice que es del tipo ( c i,. . . ,Cfc) 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.,
k k
donde (• • • • • ) denota un t-ciclo. Note que por cada elemento de 2n que está fijo
t
bajo o se está contando el 1-ciclo correspondiente. Es claro entonces que
(1) 1 • ci + 2 • c2 4----- + fc*c* = 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 + 2 *c2 H------ \-Ti‘Cn = n.
Ahora, si ponemos
(3) pi a 4- Ci+i 4-------- 1- Cn
entonces > p 2 > • • ■> Pn > 0 y de (1) se sigue que
(4) pi + p2 4------- h Pn = ti,
es decir, los enteros p{ > 0 forman una partición del entero n (más precisamente,
consideramos sólo los enteros positivos m que sumados dan n). Recíprocamente, dada
4. GRUPOS DE PERMUTACIONES 45
t) ,
una partición (pi, de n con > p 2 > • ■• > Pk > 0 y £ * =1 pt = n,
entonces poniendo
(5) c< := m - m+i
se tiene que los c¿ > 0 y además £)"=1 *' c» — n. Hemos así probado:
** PROPOSICIÓN 4.13. El número de tipos distintos de permutaciones en Sn es igual al
número de particiones del entero n. Por el teorema 4.12 este número es igual al número
de clases de conjugación en S n.
k
□
U Ejemplo 14. Para S i, las particiones de n = 4 son:
» (1 ,1 ,1 ,1 ); (1 ,1 ,2 ); (1,3); (2,2); (4)
> y por lo tanto S i tiene 5 clases de conjugación o, equivalentemente, 5 tipos de estruc
turas cíclicas. Es fácil listar las 5 estructuras cíclicas de Si.
formas distintas.
(2) Además, cada fc-ciclo se puede escribir de k formas distintas:
( X j , . . . , X * ) = ( x fclX l , . . . , X * _ l ) = ••• = ( X 2 , . . . , X j t , X l ) ,
por lo que los c* ciclos de longitud fc en el tipo (*) están contados fcc* veces y por lo
tanto cada permutación del tipo (*) está siendo contada
l ci ■2C2 - nCn
veces.
Hemos así probado:
TEOREMA 4.14 (Fórmula de Cauchy). El número de permutaciones distintas del tipo
(*)
n!
l Clc i! • 2« c2! • • ■nCnCn\
□
Ejemplo 15. En S4 consideremos el tipo correspondiente a la partición (2,2) de n = 4,
es decir, al tipo (• •)(• •). Se tiene entonces que ci = 0, c2 = 2, C3 = 0, C4 = 0, y la
fórmula de Cauchy nos dice que hay
4! .. 4!
1°0!222!3°0!4°0! 4 • 2!
permutaciones en S 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 S 4 :
Usaremos los cálculos anteriores para mostrar, en el ejemplo 3 del capítulo siguien
te, que Aj es un grupo de orden 12 que no tiene un subgrupo de orden 6.
Generadores de S„. Ya vimos en 4.5 que los ciclos generan a S„ (es decir, los ele
mentos de S„ 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 S„ se puede genera¡ con dos permutaciones:
PROPOSICIÓN 4.15. Para toda n > 2, el grupo simétrico S„ 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 r. Entonces, G contiene a urcr-1 = (23) y así G contiene a o(23)o~l = (34),
y continuando este proceso vemos que G contiene a todas las transposiciones de la
forma:
(k,k + 1).
Entonces, G contiene a
(12) (23)(12) = (13)
(13) (34)(13) = (14)
( l,m ) ( m ,m + l ) ( l , m ) = ( l , m + l) ,
48 4. GRUPOS DE PERMUTACIONES
M Í-
Se sigue que G contiene a todas las transposiciones, ya que (1 ,¿)(1, j ) ( l , ¿) = (ij).
Como toda permutación es producto de transposiciones, entonces G — Sn. □
Demostración. Por la proposición previa, basta probar que todo 3-ciclo (a, b, 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, b, 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:
C aso 1. (l,x ,y ) con x = 2. En este caso (1 , x ,y ) = (1,2, y) y no hay nada que
probar.
C aso 2. (1 ,x ,y ) con y = 2. En este caso
( l,x ,y ) = ( l,x ,2 ) = ( l,2 ,x ) ( l,2 ,x ) .
CASO 3. (l,x , y) con x ¿ 2 y y ^ 2. En este caso
( l,x ,y ) = ( l,2 ,y ) ( l,2 ,t/) ( l,2 ,x ) ( l,2 ,j/) .
□
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,
anxn + an_ ix n_1 + • • • + a ix + 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 arbitrarios 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 a e Sn, una inversión en o es un par de valores cr(z), a(j) tales que i < j y a(i) >
cr(j). Si fc((j) es el número de inversiones en o, demuestre que (-1 )* ^ ) = sgn(cr).
E je 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 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
elementos se obtienen con las potencias r k, para 0 < k < 5 de la rotación r = r 27r/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 vi y el centro del pentágono. Note que sólo debe mostrar que las otras
reflexiones se obtienen con los productos r kp.
Ejercicio 13. Mismo ejercicio para los 12 elementos del grupo de simetrías del
hexágono regular.
EJERCICIO 14. Para el grupo diédrico D2n de simetrías de un n-ágono regular muestre
que para la rotación r = r2w/n y la reflexión p por la recta que pasa por el vértice v\
y el centro del n-ágono se tienen las relaciones rn = e = p2 (e el neutro del grupo) y
prp = r -1. Se sigue que D2n es no abeliano.
NOTA: En los ejercicios anteriores observe que la reflexión p está dada por
(v\ v2 v3 ■■■ Vn-1 v„\
O = | I
VJi vn vn- x ■■■ v3 v2J
donde u, denotan los vértices del n-ágono regular enumerados en sentido contrario al
de las manecillas de un reloj.
Ejercicio 15. Sea H C D 2n el subconjunto formado por los elementos que dejan fijo
al vértice vi. Demuestre que H = {e, p)
Ejercicio 16. Sea a e D2n cualquier elemento y suponga que a manda el vértice
ui en Vk para 1 < k < n. Demuestre que ( r -1 )*-1 o a deja fijo a vi y por lo tanto
(r - 1)ic-i o o- g H. Concluya que cr = r t_1 ó a = r k~lp. Se sigue que todos los
elementos del grupo diédrico D2n son de la forma r k con 0 < k < n ó de la forma r kp
con 0 < k < n.
Ejercicio 18. Si n > 3, demuestre que A n está generado por las permutaciones de la
forma (i,i + 1) ( j,j + 1) para 1 < i, j < n, i # j ¿ i + 1.
i
Capítulo
[a] {6 € A : a, ~ 6}.
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
D em o stra c ió n . Sólo falta demostrar la parte (3). Para ésto, definamos la función $ :
1 —* V entre el conjunto de clases izquierdas y el conjunto de clases derechas, me
diante ${aH) = Ha, para cualquier a 6 G. Claramente í> es biyectiva. □
donde
1 2 3 \ 1 2 3 \ _ ( 1 2 3 \
02
1 2 3 ) ’
o1
( 1 3 2 / ’ _ V2 1 3 )
= M 2 3 \
1 2 3 \
2 3 1 ) ’
<74
v 3 1 2 ) - ( i ï Ï).
y si H = {e, 0 1 ), note que o j = e, por lo que H ç S 3 es un subgrupo.
Las c/oses laterales izquierdas de H son:
eH = H = 0 1 H = {e, 0 1 }
02H = {<72, <73} porque <72<7i = <73
= 03H
O iH = {<74, £75} porque <74171 = <75
= o5 H.
Las clases laterales derechas de H son:
He = H = H o\ = {e,o \}
H02 = {02,04} porque C7i£72 = <T4
= H04
H0 3 = {<73,C75} porque <74(73 = £75
= 7/(75.
Note que, excepto por la clase lateral de la identidad eH = H = He, en este
ij ejemplo las clases laterales izquierdas y derechas son diferentes, i.e., en general,
o H ¿ Ho.
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 = nq € 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 + nZ := {r + h : h e nZ } = {r + h : h = n t con t 6 Z}
= {r + nt : con t & 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 + nZ = r' + nZ, entonces r = r' (mód n i) y
por lo tanto se tendría que r - r' e 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 nZ en Z son
nZ, 1 + nZ, 2 + nZ, 3 + n Z , . . . , (n — 1) + nZ.
" = |G| = ¿ M / |.
i =i
5. CLASES LATERALES Y GRUPOS COCIENTE 57
I
¡l Ahora, por el lema 5.3, todas las clases laterales azH tienen el mismo cardinal que
H , i.e., \<JjH\ = \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 4 (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
tiH, i.e., queremos que
= im
observemos que como <t t = (ere ) (re) G ( o H ) ( t H ) , entonces o t debe ser un ele
mento de x)H y, ya que las clases laterales izquierdas de H son disjuntas, entonces
■OH= (crt )H y por lo tanto se debe tener que
(o H )( t H) = (o r)H .
Recordemos ahora que la igualdad anterior quiere decir que el producto de todos los
elementos del conjunto oH por todos los elementos del conjunto t H es igual al con
junto (or)H. ¡Son demasiados productos para obtener una sola clase lateral! Así, en
lugar de considerar todos los elementos de cada clase lateral a H la idea es elegir algu
nos de ellos que represente a los otros (como en un parlamento democrático). Al elegir
un elemento ah en la clase lateral aH , llamaremos al elemento ah un representante
de la clase lateral aH. Desde el punto de vista democrático, cualquier elemento de
la clase lateral aH puede ser elegido representante de la clase. Entonces, la idea para
definir el producto de dos clases laterales izquierdas oH y t H es elegir representantes
de cada una de las clases, digamos oh y rh', y multiplicar estos representantes en G
para obtener (a/i)(r/i') G G y luego considerar su clase lateral izquierda ( o h )(rh ')H ,
para definir
(oH )( t H) := (oh)(rh')H .
¿Qué quiere decir la igualdad anterior? El significado que queremos darle es que la
igualdad diga que los productos de cualesquiera representantes de oH por cualesquiera
L representantes de t H están en la misma clase lateral izquierda, i.e., si oh, oh\ son dos
f representantes de oH y si r h \ rh \ son representantes de rH , queremos que
I (oh)(rh') =i (ohi)(Th[) (mód H),
i i.e., que la operación que queremos definir no dependa de la elección de los repre-
i sentantes de las clases laterales oH y t H. Si esto sucede, diremos que la operación
| está bien definida en el conjunto cociente G /H . Lo primero que deseamos entonces es
encontrar condiciones en el subgrupo H y el grupo G para que lo anterior suceda, pero
antes, supongamos por un momento que la operación anterior en G /H está bien defi
nida. Mostraremos que G /H tiene una estructura de grupo heredada de la estructura
de grupo de G:
LEMA 5.8. Sea H un subgrupo de un grupo G y supongamos que la operación anterior
, en G/H está bien definida. Entonces, G /H es un grupo bajo esta operación y se le
* llama el grupo cociente de G por H.
¡I
Demostración. Si oH , t H y dH son tres clases laterales izquierdas de H en G, como
observamos antes que el producto de subconjuntos de G es asociativo, entonces en
60 5. CLASES LATERALES Y GRUPOS COCIENTE
Supongamos primero que toda clase lateral izquierda es una clase lateral derecha,
i.e., bH = Hb para cualquier b 6 G. Dadas aH y bH en G /H , escojamos represen
tantes a, ah e aH y b,bh' e bH. Queremos probar que (ab)H = (ahbh')H, i.e.,
queremos probar que (ab)(ahbh')~x e H. Ahora,
(ab)(ahbh')~x = abh’~xb~xh~xa~x
= abb~xkh~xa~x ya que h'~xb~x € H b~x = b~xH
y así h'~xb~x = b~xk para algún k G H
= ak'a~x (para k' = kh~x 6 H)
= aá~xk" ya que k'a~x £ H a~x = a~l H
y así k'a~x = a~l k" para algún k" € H
= k" <E H,
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 a H = H a para todo a € G . En efecto, como
observamos previamente, si a H y b H son dos clases laterales izquierdas arbitrarias,
entonces (a H ) ( b H ) = ( a b ) H . En particular, para b = a ~ x se tiene que
(1) (aH ){a~xH ) = ( aa~x)H = H
y por lo tanto
aHa~x = (aH a~x)e C aH a~l H = H p o r(l),
y por lo tanto
(2) aH a~l C H.
Por otra parte, si h 6 H es cualquier elemento, entonces por (2) se tiene que bhb~l €
H para cualquier b 6 G. En particular, para b = a -1 se tiene que a~xha € H ya que
(o-1)-1 = a. Ahora, a~xha 6 H quiere decir que a~xha = h!, para algún h' 6 H, y
como ah'a~x £ H por (2), entonces
h = a(a~xha)a~x = ah'a~x 6 aH a~x,
y por lo tanto
(3) H C aH a~x.
De (2) y (3) se sigue que
(4) H = aH a~x para toda a € 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
a H / H a, en general,
por ejemplo, para G = S3, vimos en el ejemplo 1 que si H = {e,<7i} se tiene que
(T2 H Ha2-
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 .
i'1 2 3
<7l<73 = (
k3 2 1
< 1 2 3
<7i <74 = (
, 2 1 3
/' 1 2 3
<72(73 = ^
, 1 3 2
/' 1 2 3
CT2C74 = 1
, 3 2 1
i ' 1 2 3
<T5<73 = ^
, 2 1 3
/' 1 2 3
<75 <74 = [
, 1 3 2
eA 3 = {2, <73,0-4}
^1^3 = {^1,^2, <75}-
En forma similar se calculan las clases laterales derechas:
A 3e = { 2 , <73, <j 4 }
aaa~x € 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 := {hN : 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 aN, bN son dos elementos de H /N , i.e., a, b £ H. Entonces, ab e H por lo que
abN £ H /N . Finalmente, si aN £ H /N , i.e., si a £ 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 £ H, entonces
hN £ H /N = H '/N , por lo que hN £ H '/N y así h N = h N 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 / / '. 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 6 H : hN £ H}. Entonces,
(i) H es un subgrupo de G ya que:
• e £ H porque eN £ H (es el neutro de G /N ).
■ Si a, 6 £ H , entonces a N ,bN £ y así (a N )(bN ) = ( ab)N £ H. por lo
que ab £ H.
■ Si a € H , entonces aN £ Ti. y así (aN ) - 1 = a-1 N £ H por lo que
a ” 1 £ H.
(ii) H D N , ya que si a £ N , entonces aN = N = eN £ Tí por lo que a £ H.
(iii) H = H /N ya que:
• Si aN £ H , entonces a £ H por definición de H y así aN € H /N .
• Si hN € H /N , i.e., si h e H, entonces h N £ Tí 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 Aj (que tiene
orden 12) no tiene subgrupos de orden 6.
66 5. CLASES LATERALES Y GRUPOS COCIENTE
Demostración. (1) Como en general [5„, 5„] C A„, entonces es suficiente probar que
An Q [Sn> 5n], Ahora, como n > 3, por 4.18 el grupo A n está generado por los 3-
ciclos y así basta entonces probar que todo 3-ciclo (a, b, c) está en [Sn , Sn]. Para ésto
observemos que
(a ,6 ,c) = (a,b)(a,c)(a,b)(a,c) = (a ,6 )(a ,c )(a ,b )- 1 ( a ,c )-1 e [S ^ S n ]
ya que la inversa de una transposición es ella misma.
(2) Como en general [An ,A n] C A n, entonces es suficiente probar que A n C [An,A n]
y para ésto basta probar que todo 3-ciclo (a,b,c ) está en [An,A n]. Ahora, como n > 5,
entonces existen e, / 6 In diferentes de a, b, c, y se tiene que
(a,b,c) = [(d,c, a), (a, e,d)][(a, e,d), (d, b, o)].
□
Notas. La noción de subgrupo normal la introdujo Galois en [40]. El concepto de grupo
cociente fue introducido, en 1889, por Otto Holder [42]; previamente sólo había sido
reconocido explícitamente el índice de un subgrupo de un grupo finito, por ejemplo por
Camille Jordán en [11] o como grupos de Galois de la ecuación auxiliar o resolvente
de un polinomio dado. Para los antecedentes del teorema de Lagrange, vea las notas al
final del capítulo 8.
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, G].
(iv) Cuente los elementos de la tabla anterior que sean cuadrados y llegue a una
contradicción.
E je r c ic io 21. [S. W. Golomb], Sea G un grupo finito. Demuestre que dos elementos
cualesquiera a, b 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.
Homomorfismos e isomorfismos
Ya que hemos pedido que un homomorfismo <f>: G —►G ' respete las operaciones
de ambos grupos y ya que estamos en este asunto de ser respetuosos, ¿por qué no le
pedimos a <f>que respete los neutros de ambos grupos? o ¿por qué no le pedimos a 4>
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:
L ema 6.1. Sea </>: G —>G' un homomorfismo de grupos. Entonces,
(1) <¡>(e) = e', donde e G G y e' € G ' son los neutros respectivos.
(2) Si o € G, entonces 4>{<r~l ) = donde a la izquierda cr~ 1 es el inverso
de o en G y a la derecha es el inverso de <¡>{cr) en G \
Demostración. Para (1), como ee = e en G, entonces
<£(e)0(e) = <¡>(ee) = <p(e)
71
72 6. H0M0M 0RF1SM 0S E ISOMORFTSMOS
Ejemplo 6 . Sea G = Sn e! 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
. . ( +1 si o es par
s®n(a ) { —1 si 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, + ) 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/raZ
dada por p(x) = [z] (la clase residual de x módulo n) es un homomorfismo.
Demostración. Para (1), como e' = <j>(e) por el lema anterior, y como e G H, entonces
e' G 4>{H). Si a,b G 4>{H), entonces a = 0 (a ) y b — 4>{ß) con a ,ß G H. Se tiene
así que ab = <j>(a)<j>(ß) = 4>(aß), con a ß G i / , y por lo tanto ab = 0(a/?) € 0(tf).
Si a G 0 (H ), entonces a = 0 (a ) con q G H y por lo tanto a -1 = 0 ( a ) -1 = 0 (a -1),
la última igualdad por el lema anterior. Ahora, como a G H y H es grupo, entonces
a -1 G H y por lo tanto o-1 = 0 ( a -1 ) G 0 ( # ) .
Las partes (2) y (3) las dejamos como un ejercicio. Para (4), queremos mostrar que
a<j>~l (K ')a~l C <j>~l (K ') para toda a G G.
Para ésto, sea o G 0 -1 (Ä’') cualquier elemento. Entonces, 0(cr) G K ' y <j>(a) G G\ y
como K ' < G , entonces
4>(a)4>(o)4>{a)~l G K ',
es decir, <¡>{aaa~l ) G K ' y por lo tanto acra-1 G <p~1 (K '), como se quería. □
□
« Observación. Si 0 : G —> G ' es un isomorfismo de grupos, entonces 0 establece
<1 una correspondencia biyectiva entre los elementos de G y los de G' y respeta la es
! tructura algebraica de G y G ' porque 0 es homomorfismo; por ejemplo, respeta los
76 6. HOMOMORFISMOS E ISOMORFISMOS
definida mediante 4>{crk) = A:. Note que ésta es una función ya que, como probamos en
el Capítulo 3, en un grupo cíclico infinito si m ^ n se tiene que crm / <rn. La fundón
4>es un homomorfismo ya que si o k,crt € G, entonces
4>{ok ■o1) = 4>{ok+t) = k + t = 4>{ok) + (fio1).
6. H0M0M0RF1SM0S E ISOMORF1SMOS 77
Los ejemplos 10 y 11 nos dicen que cualesquiera dos grupos cíclicos del mismo
orden son isomorfos. Si (<t) es un grupo cíclico finito de orden m, lo denotaremos por
C(m).
TEOREMA 6.5 (Primer teorema de isomorfismo de Noether). Si<¡>: G —> G' es un ho
momorfismo de grupos, entonces 4>induce un isomorfismo de grupos <j> : G/ker(4>) —►
Im (t¡>), tal que el diagrama siguiente conmuta:
*
G Im(<¿>)
p
G/ker(</>)
(* ) </>(aker(<£)) = <j>(a);
es decir, escogemos como representante a e a ker (< ¡> ) y definimos <j>como <f>evaluado
en el representante elegido. Por supuesto que para que esto tenga sentido tenemos que
78 6. HOMOMORFISMOS E ISOMORFISMOS
<j>o p = <f>.
La función <pes un homomorfismo ya que si a ker <¡>y b ker <j>son dos elementos de
G / ker <¡>,entonces (a ker 4>)(b ker <p) = ab ker </>y por lo tanto
El homomorfismo <pes inyectivo ya que si 4>(a ker <f>) = e' (el neutro de Im (<¡>) C
G'), entonces <f>(a) = e' por la definición de <p. Se tiene así que a € ker ^ y por lo
tanto a ker <¡>= ker <p(el neutro de G'/ ker <f>), i.e., ker <f>= {ker<¿>} y por lo tanto <¡>es
inyectivo.
El homomorfismo <j>es suprayectivo ya que si cr' 6 entonces como <p :
G —> Im(0) es suprayectivo, existe un o G G tal que <¡>{o) — cr' y por lo tanto
0(trker<¿>) — cj>{cr) - o'. □
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((/>) = A n
es el subgrupo alternante de 5„. Note que ésto muestra que A n < S„.
6. HOMOMORFISMOS E ISOMORFISMOS 79
Ejemplo 14. Sean G = (R, + ) y G' = (C*, •) y sea : R — C* la función dada por
<j>(x) := eos x + i sen x. La función 4>es un homomorfismo ya que
4>(x + y) = cos(x + y) + i sen(x 4- y)
= eos x eos y —sen x sen y + ¿[sen x eos y + sen y eos x]
= eos jijeos x + i sen x] + i sen y[cos x + i sen x]
= [eos x + i sen x] [eos y +i sen y]
= <P{x)<j>{y).
La imagen de <¡>es el subgrupo de C* formado por todos los complejos z tales que
z = cosx + ¿senx, i.e., tales que |z| = 1. Es decir,
lm(0) = {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
<¡>es el subgrupo:
ker (<t>) = {x 6 R : 4>{x) = 1} = {x € R : cosx + ¿sen x = 1}
y observando que eos x + ¿ sen x = 1 si y sólo si x — 2kit con k £ Z, entonces
ker(0) = {2fc7T : k 6 Z ) = (2n)
es el subgrupo cíclico de R generado por 27r. Por el primer teorema de isomorfismo de
Noether se tiene que
R /(2 tt} ~ S 1.
Observe ahora que las clases laterales de (27r) en R tienen un representante 8 e R
tal quei] < 8 < 2 n, 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 2 n y forma
la circunferencia S 1.
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 <j>: 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 fl K es un subgrupo de G ya que e £ H y e 6 K implica
que e € H C\ K .S \ a, b £ H n K entonces ab £ H y ab £ K , por lo que ab £ H n K .
Si a £ H fl K , entonces a -1 £ H y a “ 1 £ K , por lo que a -1 £ H fl K . Más aún,
H n K es subgrupo de H y de K y de hecho, H C iK c H yaque si h £ H y a £ H nK ,
se tiene que hah _1 £ H porque a, h, h _1 £ H , y como a £ K , h £ G y K < G ,
entonces hah -1 £ K . Se sigue que hah~l £ H n K . Por otra parte, el producto
H K = {hk : h £ H , k £ K } C G
es un subgrupo de G ya que, e = ee con e £ H y e £ K y a s í e £ H K . Si hk y
h'k' son dos elementos de H K , entonces en el producto (hk)(h'k') = h(kh')k', como
K <1 G, se tiene que K h ' = h 'K y así kh' = h'k, para algún k £ K \ substituyendo
ésto en la igualdad (hk){h'k') = h(kh')k' se obtiene
H /(H n K ) y H K /K
y el resultado siguiente nos dice que estos dos grupos son isomorfos:
TEOREMA 6.7 (Segundo teorema de isomorfismo de Noether). Sean H, K subgrupos
de G con K < G. Entonces, H D K < H, H K es subgrupo de G, K < H K y se tiene
un isomorfismo
H/(H n K) ~ HK/K.
6. HOMOMORFISMOS E ISOMORFISMOS SI
$(<t) := <¡>o a o 0 “ 1 : X In In X
la cual también es biyectiva, porque cada una de las funciones involucradas lo es. Así,
$(cr) € S x- La función $ : Sn —►S x es inyectiva porque si <b(cr) = í>(r), entonces
0 o a o 0 _1 = 0 o r o 0 _1 y, componiendo con 0 a la derecha se obtiene <f>oa = 0o r
y luego componiendo con 0 _1 a la izquierda, se obtiene que cr = r , 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 $ : S„ —> S x es un
isomorfismos sólo resta probar que es un homomorfismo. Para esto, si cr, r € 5n,
entonces
$ ( ot) = 0 o (cr o r ) o 0 -1
= 0 o (cr o (0 _1 o 0) o r ) o 0 _1 insertando id = 0 _1 o 0 entre cr y r
= (0o<7 o ( 0 _1) o (0 o t o 4>~l ) asociando
= $ ( ( 7 ) o <F(t ) ,
5 := {og : g € G} C S G.
Ejemplo 15. Para el grupo G = Z /3 Z = {0,1, 2}, cuya tabla de adición es la de los
enteros módulo 3:
+ 0 1 2
0 0 1 2
1 1 2 0
2 2 0 1
( 0 1 2 \ ( 0 1 2 \ ( 0 1 2 \
\ 0 1 2 J ' Cl V 1 2 0 ) ’ 02 - V 2 0 1 )
con tabla de multiplicar dada por:
6. HOMOMORFISMOS E 1SOMORFISMOS 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 «->
oq, 1 «-* o\, 2 «-♦ <72; y con las dos operaciones relacionadas mediante: a+b *-» <ra°
por ejemplo 2 + 2 = 1 «-►02 ° <?2 = «1.
Ejercicio 5. Muestre que los grupos aditivos m Z y nZ son isomorfos, para cuales
quiera m, n £ Z distintos de cero.
y si ( a ,e ) G Im {4>h ) entonces
(h ,k )(a ,e )(h ,k ) ~ 1 — (hah~x, ke k ~ l ) = ( hah~l ,e ) G
porque h a h ~ x € H ya que h, a, h~l están en H. Similarmente se prueba que K a
lm (0 /f) < H x K . Finalmente observe que fl Im(0,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 \ , . . . , G S grupos arbitrarios; el producto cartesiano
G\ x • ■• x Gs := {(ffi, • • ■, gs) '■ 9 i € Gi}
tiene estructura de grupo con la operación definida componente a componente, con
neutro el elemento ( e i , . . . , e3), para el neutro de G%
. A este grupo se le llama el
producto directo externo de los grupos G \ , . . Gs. Generalizando lo que sucede en el
caso con dos factores (observación después del ejemplo 1), se tienen homomorfismos
inyectivos
: Gi -* Gi x ■■■x G¡,
7. PRODUCTOS DIRECTOS Y GRUPOS ABELIANOS FINITOS 89
(2) G = Gi ■■• Gs, ¡.e., todo elemento g € G se puede escribir como g = g\ ■■■¡js con
gi £
(3) G jn Yli¿j G i = {e}, para cada j = 1 , ..., s. Es decir, la intersección de G j con
el producto de los otros subgrupos Gi (i j ) es trivial.
N ota . Denotamos por Yli¿j Gi al producto G\ • • • Ga omitiendo al factor Gj.
hi - n hi x e n
w «■#
y como hj £ f íj, entonces hj £ fl 77, = {e} por la condición (3), es decir,
hj = e para toda j y por lo tanto ker <¡>= {e}, como se quería. □
La proposición siguiente da una condición, muy útil, para que un producto de sub
grupos normales sea un producto directo:
P roposición 7.4. Sea G un grupo finito y supongamos que G es el producto de los
subgrupos normales H\, H s y que los órdenes de estos subgrupos son coprimos
por pares. Entonces,
G ce H i x ■• ■x H s.
Demostración. Sólo falta verificar la condición (3) en la definición de producto directo
interno, i.e., que
H : = H J n Y [ H i = {e}.
'/ j
Para ésto, observemos que, por Lagrange, \H\ es un divisor de cada \Hj\ y también
de £ := | f l , / ; Ht\. Por otra parte, | I I , / j # ; | divide a YUyj | | ( v e a el ejercicio 9)
y así, por transitividad, |7/| divide a fl-./j |//,|. Se sigue que \H\ divide al máximo
común divisor de \Hfi y de TUyj |^ ,|. Per° é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 sí C (m \) x • • • x C {m a),
donde cada C{m.j) es un grupo cíclico de orden rrij, y para toda j =
1........J - l .
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 s — 1 elementos, y sea m > 1 el menor entero positivo tal que
existe un conjunto {<?i,. . . , gs} de generadores de G y una relación:
TOffi + a 2p2 H------- 1- asgs = 0
con los üj 6 Z. Nótese que m > 1, ya que de lo contrario G estaría generado por los
s — 1 elementos 9 2 , ■. . , gs.
Poniendo a¿ = mqi + r, con 0 < rl < m para 2 < i < s, si tomamos
^1 = 5i + 9252 + ■• ■+ 9s5s>
entonces G está generado por {h x,g2, ■■■,gs} y además
m h x + r 252 H------- h rsga = m gx + 0252 H------- 1- asg9 = 0.
La minimalidad de m , la igualdad anterior y 0 < rx < m implican que r 2 = ■■■=
ra = 0 y así m h \ = 0. Mostraremos ahora que
G a; (hi) x (g2 , . . . , g , ) .
En efecto, definamos la función V’ : (h i)x { g 2 , . . . , g s) —* G mediante i¡i(a, b) ~ a+b.
Claramente ip es un homomorfismo de grupos y es suprayectivo ya que h x,g2, . . . ,g„
generan G. Es inyectivo ya que si Tp(a,b) = a 4- b — 0, poniendo a = Q ih i, b =
a 2 g2 H-----+ a sg 3 con 0 < Qi < m , se tiene que
a xhi + a 2 g2 + ■■■+ a 3gs = a + 6 = 0 ,
y por la minimalidad de m y el hecho de que 0 < Qi < m , se sigue que a i = 0 y
así a = axhi = 0, y consecuentemente b = 0 también.
Ahora, como el grupo (52, ■■■, g3) está generado por s — 1 elementos pero no por
s — 2 elementos, por hipótesis de inducción se puede descomponer como
(52, ■ • •I9 s ) — X ••• X
con los (<7mj) cíclicos de orden m j y mj\rnj+i. Se sigue que
G — {hx) X (52, - - . ,5s) — (^1) X (<7m2) x ... X (<7m,)
con ( h \) cíclico de orden m . Denotemos con a x := h x al generador de (hx).
Por la minimalidad de m se tiene que m < m 2. Escribamos m 2 = e2m + t 2 con
0 < t 2 < m y sea cr[ := o \ + e2<72. Entonces, G está generado por a{, cr2, ...,c r 3, y
como
ma'i + t 2 a 2 — m o \ + m e2 o 2 + t 2a 2
= m or + (m 2 — t 2 )o 2 + t 2 a 2
= m o i + m 2 (j2 = 0,
ya que m or = 0 y m 2 es el orden de a2, entonces t 2 o 2 = 0 y como 0 < t 2 < m
entonces t 2 — 0 y así m 2 = e2m + 0, i.e., m |m 2. □
92 7. PRODUCTOS DIRECTOS Y GRUPOS ABELIANOS FINITOS
= G i b 2] / G i b ] x - - - x G n b 2] / C n b],
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 e o r e m a 7 .1 2 (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 je r c ic io 3. Si H x K — H x L, demuestre que K ~ L.
1H K 1 \H n K \'
'Una forma anticuada, todavía usada en teoría de números, de decir que 9 tiene orden k .
96 7. PRODUCTOS DIRECTOS Y GRUPOS ABELIANOS FINITOS
ker ip = P | H i.
i=i
E je 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 ap = 1. Demuestre que G es el producto directo de n grupos
cíclicos de orden p.
Acciones de grupos y un teorema de Frobenius
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 a e G está dado, podemos considerar los elementos de Y que permanecen fijos
bajo la acción de este cr, y se define
Y a := {x € Y : a * x = x ) C Y.
El conjunto Y ” se llama el conjunto de puntos fijos de <
j.
ox = r x <=> r ~ lo x = x
<=> t ~ xo 6 Gx
o ctG x = t G*,
. , , _ $(?/), sean
entonces $> está bien definida. La función <f>es inyectiva ya que si <±>W ~~ n _ g¡Qz
o, o' £ G tales que ox = y y o 'x = y' de tal forma que $ ( 3) = oG x S 1
Entonces oG x = o'G x y por lo tanto o = o'h, para algún h € Gx. Se sigue q
y = o x — o'hx
= o 'x ya que hx = x porque h e Gx
= v'.
8. ACCIONES DE GRUPOS Y UN TEOREMA DE FROBENIUS 101
lo r b c ^ lH G /G ^ lG iG * ].
□
TEOREMA 8.3. Sea Y un G-conjunto. Si x ,y G Y pertenecen a la misma órbita,
entonces Gx y Gy son subgrupos conjugados, en particular son isomorfos.
Demostración. Como x ~ y, entonces existe o 6 G tal que y = ax. Entonces,
h e Gy O hy = y
<=> h{ox) — ax
« (a ~ xha)x = x
<=> a ~ xha G Gx
a ~ xha = h' G Gx
h — a h 'a ~ x G oG xa ~ l ,
iTambién conocido como el lem a de Burnside, pero vea las notas al final del capítulo.
102 8. ACCIONES DE GRUPOS Y UN TEOREMA DE FROBENIUS
(2) N = J2 |G,|.
xeY
Ahora, por el teorema órbita-estabilizador,
v i T ^ T =
x'eorb^(x) I 0r b G (x ) l " t + " ‘+ t
y así, como r es el número de órbitas de Y, se tiene que
N ' ------^------= f . i = r
¿ | o r b G(x)| r 1 r’
y substituyendo este valor en (4), queda
= |G|r
que substituido en ( 1) nos da
r|G | = Y . 1 ^ 1 ,
oeG
como se quería.
Notas. En las primeras dos secciones de la memoria [48], Lagrange reescribe 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 103
Los dos ejercicios anteriores nos dicen que dar una G-acción en Y es lo mismo que
dar un homomorfismo <f>: 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 <
j> : G -* Sg
correspondiente es inyectivo.
Ejercicio 7. Use el teorema de Frobenius para dar otra demostración del teorema de
Lagrange.
c=
r a £ |C o W |-
G /N
\ Hx K\ = |g ||* 1
|H fl x K x ~ l | ’
Sugerencias:
(i) Muestre que la función / : H x K —» H x K x ~ l dada por f ( h x k ) := h x k x -1
es biyectiva.
(ii) Observe que x K x ~ 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 .
E jercicio 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í,al
azar quiere decir que todas las permutaciones de los paraguas pueden darse). Sugeren
cia: use el ejercicio anterior.
Los teoremas de Cauchy y Sylow
S i laY acción
ES UN G-CONJ ünto , con Y y G finitos y si r es el número de órbitas en Y de
de G, sean x \ , . . . , x r representantes de cada una de las órbitas. Como
éstas forman una partición de Y y se tiene que
|y | = ¿ | o r b G(x,)|.
¿= 1
Note ahora que algunas de las órbitas pueden tener un sólo elemento, y cuando esto
sucede este elemento x no lo mueve ningún elemento de G, es decir, queda fijo bajo
todo a 6 G, i.e., a x = x para todo a € G. Pongamos entonces
(*) |y | = |V G| + ¿ |o rb o (x i)|.
1= 3 + 1
Y g = Z(G).
Finalmente, si denotamos con C i , . . . , C% las clases de conjugación de G con más de
un elemento, la fórmula (*) se vuelve
|G | = |Z (G )| + ¿ | C H
*=1
107
108 9. LOS TEOREMAS DE CAUCHY Y SYLOW
a la que se llama la ecuación de clases de G. Ahora, eximo |C¿| = | o rb c(x ,)| = [(j.
Gx>] por el teorema 8.2, la ecuación de clases se puede escribir como
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
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
rema de Lagrange nos dice que si G es un grupo finito, el orden de cualquier subgrupo
H de G divide al orden de G. El recíproco no es cierto, por ejemplo el grupo alternante
A 4, que tiene orden 12, no tiene un subgrupo de orden 6. El primer teorema de Sylow
nos dice que si G es finito, entonces G contiene subgrupos de orden ciertos divisores
de |G |:
TEOREMA 9.5 (Primer teorema de Sylow). Sea G un grupo finito de orden n y supon
gamos que p es un primo tal que n = pmt con m > \ y p \ t . Entonces, G contiene un
subgrupo de orden p 3 para toda j tal que 1 < j < m.
9. LOS TEOREMAS DE CAUCHY Y SYLOW 111
TEOREMA 9.6 (Segundo teorema de Sylow). Sea G un grupo finito de orden n y su
pongamos que H \ y H 2 son dos p-subgrupos de Sylow de G. Entonces H \ y H 2 son
conjugados.
Demostración. La idea es hacer que uno de los dos subgrupos, digamos H 2 , 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 e H 2 y oH \ € Y , entonces h(oHi) = ( h<j)H\.
Claramente Y es un i / 2-conjunto y por el teorema 9.1 se tiene que
\ y Hi\ = (m ódp),
y como H\ es un p-subgrupo máximo en G, entonces p { \G /H i\ = |F | por lo que
la congruencia anterior implica que \ Y H2\ ^ 0. Sea pues o H\ 6 Y Hl = { G /H \) H2.
Entonces, h{oH\) = oH \ para toda h € H 2 y así o ~ l hoH \ = H \ para toda h 6 H 2 .
Se sigue que o ~ l ho € H \ para toda h £ H 2 , i.e., o ~ l H 2 cr C H \. Finalmente, como
|ífi| = I//2I = \(?~1 H 2 <
t \, la inclusión anterior implica que cr~1 H 2 0 = 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
T eo rem a 9.7 (Tercer teorema de Sylow). Sean G un grupo finito de orden nyp u n
primo tal que p\n. Entonces, el número np de p-subgrupos de Sylow de G es congruente
con 1 módulo p, y np = [G : N g {P)], donde P es cualquier p-subgrupo de Sylow de
G; se sigue que np divide al orden n de G.
Demostración. Sea H un p-subgrupo de Sylow de G y sea Y la familia de todos los
p-subgrupos de Sylow de G. Hagamos actuar a H sobre Y mediante conjugación: si
h e H y L e y , entonces h * L := hL h~l . Por el teorema 9.1 se tiene que
\Y\ = \ YH\ (m ódp).
Ahora, como Y H = {L G Y : h L h -1 = L para todo h £ H}, entonces
H C N( L) para todo L e Y u y además L <¡ N( L) . Como H y L son p-subgrupos de
Sylow de G, entonces lo son de N (L ) y por el segundo teorema de Sylow se sigue que
H y L son conjugados en N( L) \ pero como L <1 N( L) , entonces su único conjugado
es él mismo y así H = L. Hemos así mostrado que Y H = { H} y por lo tanto, la
congruencia |Y | = |Y H | (m ódp) implica que
|Y | = 1 (m ódp),
(*) |Y| = |o rb G( t f )! = [ ( ? : £ „ ] ,
la última igualdad por el teorema 8.2 del capítulo anterior, donde G h es el subgrupo
de ¡sotropía de H , i.e, G h = N a ( 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, |Y |, 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 S4 son de orden 3 y por lo tanto son cíclicos generados por un elemento
de orden 3. Entre los elementos de S i 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 rt2 divide a 24 y como 712 = 1 (mód 2), las
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 S i son de orden 8 y ahora
observe que el subconjunto de 54:
( o ) = (<73 )
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 - 1)!
p ■(p - p)l
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
nP{ p - 1) = ( p - 1)!
y así np = (p — 2)! Note que como np = 1 (mód p), entonces (p —2)1 = 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 Dg 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:
(p ■.G -+ S y mediante <j>(g)(giH) := gg¡H, (vea el ejercicio 1 del capítulo 8). Ponga
mos N = ker <p< G. Por el ejercicio 5 del capítulo 8,
y como
G9iH = {9 e G : g{g,H) = giH} = { g e G : ggi = gth para algún h 6 H]
= { g € G : g G g i H g ' 1} = giHg ;_1,
n = n g 9íh = n 9í H9 t i
g¡H €Y g¡H eY
de donde se sigue que N C H ya que una de las clases laterales giH es H. Finalmente,
por el primer teorema de isomorfismo de Noether, G / ker <f>~ Im <f>y así
y como Im <j>es subgrupo de Sn y este grupo tiene orden n!, entonces |Im <j>\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 e n 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 N c H y tal que [G : N] divide a p!. Mostrare
mos que N = H. Para ésto observamos primero que como N C. H y son finitos, enton
ces basta mostrar que |ÍV| = |flj, ó 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] 1. Sea q un primo que divide a [G : N]. Como [G : N] divide a
p!, entonces g|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 : JV] = pr , y como pr = [G : N] divide a p!, entonces r = 1 y
consecuentemente [G : N\ = p, como se quería. □
COROLARIO 9.16. Si G es un grupo de orden pq, con p > q primos, entonces Gnoes
simple.
PROPOSICIÓN 9.17. Sea G un grupo de orden pq, con p > q primos. Si p ^ 1 (mód q),
entonces G es cíclico.
9. LOS TEOREMAS DE CAUCHY Y SYLOW 117
P = \ H \ = Z ! lo rb c W I = 1 + l° r b G(/i)| = 1 + ^ q = 1 + rq
heH A /l en H A /l
por lo que p = l (mód q), en contradicción con la hipótesis de la proposición. Se sigue
que H fl Z(G) = H como se quería. □
TEOREMA 9.18. Sea G un grupo de orden pq, con p > q primos.
(1) Si G es abeliano, entonces G = C(pq) es cíclico de orden pq.
(2) Si G no es abeliano, entonces p = 1 (mód q) y G ~ (a, b \ aq = 1 = l?, aba_1 =
br), donde r es un entero tal que \ < r < p y r q = \ (mód p).
Demostración. (1): Si G es abeliano, como |G | = pq y mcd(p, q) = 1, entonces
GceC(p)xC(q)^C(pq).
(2): Si G no es abeliano, por la proposición anterior p = 1 (mód q). Por el teorema de
Cauchy G tienen elementos b de orden p y a de orden q. El subgrupo de G generado
por a y 6 tiene elementos de órdenes p y q y por lo tanto debe ser igual a G, i.e.,
(a,b) = G. Sean H = (6) y K = (a ). Como \H\ — p, entonces [G : H\ = q y así por
9.15, H < G. Se sigue que aba-1 € H = (b) y así existe un entero r, 0 < r < p,
lis 9. LOS TEOREMAS DE CAUCHY Y SYLOW
tal que aba' 1 = br. Si se tuviera que r = 0, entonces aba' 1 = 1 y así ab = a por
lo que b = 1, en contradicción con el hecho de que b es de orden p. Si sucediera que
r = 1, entonces a b a '1 = b y así ah = 6a y por lo tanto el grupo (a, 6) = 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 = b rJ.
En efecto, si j = 0 ó 1, el resultado ya se tiene. Supongamos que (*) es verdadera
para j. Entonces,
a]+1 ba~(] + l '1 = aa]ba~] a ' 1 = abT*a ' 1 = (aba~l )Tj = (bT)TÍ = bT¡+ ,
como se quería.
Así, en particular, si j = q, recordando que aq = 1, de (*) se sigue que
6 = aqb a 'q = V*
y por lo tanto ¡>r,_1 = 1 por lo que el orden p de b divide a rq —1, i.e., r * s l (mód p).
□
Productos semidirectos y subgrupos de Sylow del grupo simétrico S„. 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.
Productos corona. Sean A, Q grupos, con Q finito y sea K el producto directo de |Q|
copias de A, i.e.,
K = A x ■■■x A .
\Q [-copias
122 9. LOS TEOREMAS DE CAUCHY Y SYLOW
p = 2 p = 3 p = 5
9. LOS TEOREMAS DE CAUCHY Y SYLOW 123
los vértices. Llamemos P3 a esta colección de copias de P2. La figura siguiente ilustra
el caso p = 3:
4
Esta construcción la podemos iterar para definir el polígono Pt>que está dado por
pl~x 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, para p = 3 y
para el polígono P3, la figura siguiente ilustra algunas de estas simetrías, rotando 120°
toda la configuración P3, rotando el P¿ superior 120° y rotando 240° el P\ inferior
derecho en el P2 inferior izquierdo, lo cual en la figura lo indicamos por los círculos
J 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, dentro de Pt . Pensando recursivamente, el objetivo es obtener
la estructura del grupo de simetrías K t de Pt usando K t- i , 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 2 de simetrías de P2 para p = 3 y denotemos
por P i 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í, P i consiste de las rotaciones de P\ por los
ángulos 0o, 120° y 240°:
Similarmente se definen los subgrupos R 2 y P3, considerando las dos copias infe*
riores de P\ en P2. Note que R i ~ P2 — P3 son subgrupos isomorfos a K \. Más aún,
como para i ^ j , R+ y R j mueven distintos triángulos, entonces Ri fi R j = 1 para
i j. Similarmente, R4 n (R j O Rk) = 1 para índices distintos, y así R \ x R 2 x es
9. LOS TEOREMAS DE CAUCHY Y SYLOW 125
l ( C ( p ) ? - - . ; C ( p ) ) i C (P)| - \ ( C ( p ) l - - - l C ( p ) f (p)\¡C(p)l
(t-l)-copias (t-l)-copias
_ pPt_1+Pt_2H--- EP+1j
y veremos que pT := pP‘_1+í’,' 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 pl !. 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 , . . . , k , 2 k , 3 k , . . . . tk < m , + l)/j > m
y así la respuesta es: hay t múltiplos de k entre 1 y m ; dicho en otras palabras, í =
[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
p, [m /p2] de ellos son divisibles p o rp 2, [m /p3] de ellos son divisibles por p3, etcétera,
y por lo tanto, si m! = pTn con p \ n, entonces los primeros contribuyen el factor
p!m/p], ios segundos contribuyen el factor p2l'n/p2l, pero como un factor divisible por
p2 loes porp, sólo tomamos una contribución, i.e., plm/p 1, los terceros contribuyen el
factorp3lm/P3l, pero como un factor divisible porp3 lo es por p 2 y p, sólo tomamos una
contribución, i.e., plm/p3l, etcétera, y por lo tanto el mayor factor pT en mi es
pT _ p [ m / p ] + [ m / p 2] + [ m / p 3 l + - ■
E je r c ic io 10. Sean G ',G " grupos finitos y sea G = G' x G". Demuestre que los
p-subgrupos de Sylow de G son de la forma H ' x H ", donde H ' y H" son p-subgrupos
de Sylow de G' y G", respectivamente.
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.
rc rr-1 = ( x 2, x i , x ) / a
° = (* i *-■•)(■ • • • ) • • •
Más aún, o no puede ser de la forma a = (i j k £) ya que éste es un 4 -cid o y por
lo tanto es una permutación impar. Se sigue que a debe mover al menos otro elemento
136 10. GRUPOS SIMPLES
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 comienza la
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 Hólder 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 finitos 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 Hólder,
é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 Sylovv, hasta que Frobenius y Burnside 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.
(i) G = Sn y n > 3.
(ii) G = A n y n > 4.
E JE R C IC IO 5 . D e m u e s t r e q u e s i G e s u n g r u p o d e o r d e n 12 d i s t i n t o d e A 4 , e n to n ces G
ti e n e e l e m e n t o s d e o r d e n 6 .
Grupos solubles
(*) G = : G 0 5 G i 3 G 2 5 • ■• D Gn = {e}
tal que G¿+i <1 G¿ para toda i. Los cocientes de la serie son los grupos G ,/G t+ i para
0 < i < n y la longitud de la serie es el número de inclusiones estrictas.
Note que no se está pidiendo que G* < G ya que, en general, la normalidad no es
transitiva.
Una serie normal de un grupo G
G =: G0 3 Gj 3 G2 3 -•■D Gn = 1
se dice que es una serie de composición si cada G¿+1 es un subgrupo normal máximo
de Gi ó 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 Gsi y sólo si cada cociente G,/G¿+i es simple o trivial.
139
140 11. GRUPOS SOLUBLES
G =: Go D Gi 3 G 2 2 • ■■2 Gm = 1
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 = C(30) O C(10) 3 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.
ü?
DI
(2) G =: K0 3 Ki 2 K2 2 •
II
y distingamos los casos siguientes:
CASO 1. Si Hi = K \, 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 \, 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 i <1G
y como H\ / K \ entonces H \ £ H \K \ y ya que H\ es subgrupo normal máximo de
G se debe entonces tener que H \K \ = G. Pongamos ahora L\ := H\ n K \. Por el
segundo teorema de isomorfismo de Noether
(3) G /H i = ~ K i/(H ! n K i) = K i/L i
y
(4) G /K i = H i K J K , ~ H \ / O K x) = H \¡L \
y por lo tanto K \¡ L \ y H \/L \ son simples puesto que G /H \ y G /K \ lo son. Sea
L\ O ¿2 • • • 2) L s = 1 una serie de composición de L \. Como H \ D L\ y
K\ D L\, se tienen las series de composición de G:
(5) G D H x D ¿ i D L 2 3 • •• 3 L a = 1
y
(6) G 3 Kx O L i D L 2 d ■■■2 L s = 1
yaque H \¡L \ y K \¡ L \ son simples. Los grupos cociente de (5) y (6) son
G / H i ,H i / L i ,L i / L 2 , . . . , L S
y
G /K \, K \ / L \ , L i / L ? ,... ,L a
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 i 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 finito es soluble si tiene una serie normal cuyos cocien
tes G j/G i+i son abelianos para 0 < t < 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:
D e m o s t r a c i ó n . Si G ^ = l, la cadena ( * ) es finita
1 = G (n) C G (n-1) C • • • C G (1> c G (0) = G
y es tal que cada G^*+1^ < G^> y ios cocientes G ^ / G ^ +l^ son abelianos. Se sigue que
G es soluble.
Recíprocamente, si G es soluble, se tiene una serie
1 = G0 C Gi C ••• C Gn = G
donde cada G¿ < G t+ i y los cocientes G¿+i/G¿ son abelianos. Entonces, del lema
(11.4)(3) se tiene que [G¿+1, G¿+1] C G¿, y así
G ó) := [G,G] = |G n ,G » ] C G n. 1
G (2) := [G Ó l.G ^ ] C [ G n -i.G n -,] C G „-2
i.e.,GW = l. □
TEOREMA 11.6. Sea G «n grupo. Entonces,
(\)Si H C G e s u n subgrupo y G es soluble, entonces H es soluble.
(2) S iH < 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.
n(abd)n~l E
En particular, para 7r e Sn tal que 7r(a) = r, it(b) = s, it(d) = f, donde r, s, t son tres
enteros (entre 1 y n) diferentes, se tiene que
7r(abd)7r_1 = (rst) 6
y esto para todos los 3-ciclos (rst) de S n.
Finalmente, poniendo N = G = Sn que ciertamente es normal y contiene todos
los 3-ciclos de S n, se tiene que = G ^ también contiene a todos los 3-ciclos de
S„. De nuevo, por la primera parte de la demostración, como G ^ < G contiene a todos
los 3-ciclos, entonces G ^ <1G también contiene a todas los 3-ciclos. Por inducción se
sigue que G (*) contiene a todos los 3-ciclos de S„. □
11. GRUPOS SOLUBLES 147
Ejemplo 9. El grupo trivial G = {1} es el único grupo nilpotente de clase cero. Los
grupos abelianos no triviales son grupos nilpotentes de clase 1.
LEMA 11.9. Todo grupo nilpotente es soluble.
Demostración. Si G es nilpotente de clase n, se tiene una cadena de subgrupos
{1} = Z°(G) C Z ‘ (G ) C Z 2 (G) C • ■• C Z i(G) C • ■• C Z n {G) = G
donde cada Z i{G)¡Zi~1 {G) = Z {G /Z '~ l {G)) por lo que Z ^ G ) < Z '+l{G) para
cada i > 0, i.e., la cadena anterior es una serie normal cuyos cocientes son centros de
un grupo y por lo tanto son abelianos y así G es soluble. □
Lema 11.10. Todo grupo nilpotente (no trivial) tiene centro no trivial.
Demostración. Si G es nilpotente no trivial y si Z(G ) = 1, entonces Z l (G) = 1 y así
Z 2 (G) - Z 2 (G ) / 1 = Z 2 (G )/Z 1 (G) = Z { G / 1) = Z(G ) = 1
y similarmente se prueba que cada Z l (G) = 1, en contradicción con ser G nilpotente.
□
El ejemplo siguiente nos dice que hay grupos solubles no nilpotentes:
148 11. GRUPOS SOLUBLES
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
[ h , k] = h k h ~ xk ~ x con h E H y k E K.
Para comenzar notemos que [H, K\ = [K, H], lo cual se sigue de observar que si
h E H y k E K , entonces = khk~lh~l.
L e m a 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 ) .
i.e„ que (gh)(hg)~x € K , i.e., que ghg~xh~l e K , pero esto último se sigue de la
hipótesis de que [íí, G] C K y del hecho de que [H, G] = [G, H].
Recíprocamente, si H /K C Z (G /K ), entonces gh)(hg)~x 6 /ó para todo g € G
y h e H . Así, ghg~l h~x € K para todo g e G y h e H, i.e, [G, H] C A".
(3): Si /( a ) e /(A ) y si h € G, como / es suprayectivo existe un g e G tal que
h = f(g). Entonces
f(á )h = f{a )f(g ) = f{ag) = f{ga) porque a e Z{G)
= f ( 9 ) f W = h f(a )
y a sí/(a ) e Z (G '). □
Usando los subgrupos \H, K] definidos arriba, dado cualquier grupo G definimos
los subgrupos siguientes:
Li(G ) := G
L 2 (G) := [L1(G),G] = [G,G]
L 3 (G ) := [M G ),G ]
Li+i(G) := [Li(G),G].
LEMA 11.13. Sea G cualquier grupo. Entonces, para todo entero i > 1,
(1) ¿i+i(G) C LiiG).
(2) L¡(G) es un subgrupo normal de G.
Demostración. (1): Inducción sobre i. Como ¿ i(G ) = G y ¿2(G ) = [G, G], entonces
¿2(G) C L\(G). Supongamos ahora que Lt (G) C L j_i(G ). Para cualquier generador
hgh~lg~i de Li+i(G ) = [Li(G),G], con h e Li(G) y g € G, como ¿i(G ) C
Li_i(G) entonces /i € L j_i(G ), por lo que hgh~lg ~1 6 [L¿_i(G),G] = ¿i(G ) y
así Li+1(G) c Lj(G).
(2): Como, por la parte (1), [L¿(G),G] = Li+i(G ) C L,(G ), el lema 11.12 (1) implica
que G C N g {Lí (G)), i.e., que N g (L í (G)) = G y así L¿(G) <1G. □
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
¿3 nos sirve ya que el subgrupo A 3 <¡ S3 es abeliano y el cociente S3/A3 también es
abeliano por lo que tanto el subgrupo A3 como el cociente S3/A3 son nilpotentes, pero
S 3 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.
(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.
(4) La solubilidad de los grupos de orden prqs, para valores pequeños de p, q, r, s, había
sido estudiada por Jordán [44], Frobenius [39], Hólder [44] y Burnside [2], donde se
preguntaba por lo que sucedía en el caso general. Los casos especiales mencionados,
como vimos en este capítulo, sólo requerían conceptos y resultados elementales de la
teoría de grupos.
(5) La demostración general del teorema prq3 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], Burnside 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 m 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 N 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 = pe\ ■■-pea - Para poder ver
el resultado análogo para grupos finitos conviene reformular el teorema anterior déla
forma siguiente: consideremos a m como un producto de primos repetidos de acuerdo
a su multiplicidad m = p\P2 ■• pr y definamos los enteros rrii como sigue: mo = m,
m i = P2 • ■•Pr. rri3 = P3 • • ■Pa, •. m r - i = Pr y m r 1, de tal forma que
(1) m = m o > m i > rri2 > m r - \ > m r = 1
donde cada y además cada cociente m ,/m 1+i es primo. Note que en esta
descripción de m , los primos p, que ocurren en la factorización de m y sus multiplici
dades e¿ están unívocamente determinados por m , pero los enteros m , no lo están, por
ejemplo, si m = 60 = 22 • 3 • 5, podemos escribir
de los cocientes G j/G i+ i, que son grupos simples, y de sus multiplicidades. La pre
gunta podría plantearse de la manera siguiente: conociendo todos los grupos simples
Si y usando el teorema de Jordan-Hólder, cómo podemos recuperar cualquier grupo
finito G dado. Lo primero que debemos hacer es determinar la lista de grupos simples
S \ ,...,S r que aparecen como factores de composición simples de G; el segundo paso
sería construir el árbol de subgrupos G¡ de G tales que G¿/G¿+i ~ St, para que al
final se tenga que Gq = G. La construcción de este árbol comienza fácilmente ya que
como Gr = 1, escogemos G r _i = S T para que se tenga que Gr _ i / G r ~ Sr. El paso
siguiente, una vez determinados Gr y Gr _i es encontrar un grupo G r_ 2 sabiendo que
debe satisfacer que G r _2/ G r _i ~ Sr _ i, es decir, el grupo G r _2 que buscamos debe
tener como subgrupo normal a Gr _ i y como cociente al grupo simple 5 r - i- Este paso
se conoce como el problema de extensión de Hólder y se formula en general como si
gue: conociendo un (sub)grupo N y un grupo (cociente) Q, se quieren determinar todos
los grupos E tales que N < E y E / N ~ Q. A los grupos E que satisfagan lo anterior
se les llama extensiones de N con cociente Q y se suele usar la notación siguiente
N >
—>E -» Q.
En general, así como los enteros no son únicos, los grupos E tampoco son únicos;
un ejemplo es el siguiente: si N = Z /3 Z y Q = Z /2Z , el problema de extensión
Z /3 Z >-> E —■Z /2 Z
tiene como soluciones a E = Z /6 Z y E = S 3 . La pregunta importante ahora es si
existe un método sistemático para construir todas las posibles extensiones de un grupo
dado N y con cociente dado Q. La respuesta es afirmativa, como demostró O. Sch
reier en [51] y que ahora forma parte de la cohomología de grupos, un tema que no
tratamos en este libro. El método desarrollado por Schreier construye todas las tablas
j de multiplicación posibles para el grupo E, sin embargo hasta la fecha no se cono
ce un procedimiento general para identificar tablas de multiplicación correspondientes
a grupos isomorfos, por lo que la lista de tablas de multiplicación está, en general,
plagada de repeticiones. De todas formas, usando el procedimiento de Schreier se pue
de obtener un grupo G¿_i a partir del grupo G¡ y con cociente Si, que satisface que
Gí ^ / G í - S í .
El método anterior da sentido a la afirmación de que los grupos simples son los la
drillos a partir de los cuales se pueden obtener todos los grupos finitos y es por eso que
el teorema de clasificación de los grupos simples finitos tiene una gran importancia.
EJERCICIO 12. Con las mismas hipótesis del ejercicio anterior, si además H < G,
demuestre que los cocientes de una serie de composición de G son la unión de los
cocientes de H y de G /H .
EJERCICIO 21. Use el ejercicio anterior para probar que todo grupo no abeliano de
orden p3 es nilpotente de clase 2.
^0 «n,2 • ’ ^n,n/
y poniendo
(0.12 ■■■ Ol,n\
«22 ' ' ' O2,n
162 12. GRUPOS DE MATRICES
||SCTL(„ W
(n,F p)M
|_
— (Pn ~ l ){PU - P) ■■■(y” ~ P "-1 ) .
p - 1
□
|P S L (n,F p)|
(pn —l)(pn —p)''' {pn —pn~i)
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 In excepto en que tiene al es
calar A en la entrada (i, j) \ a la matriz Ey(A) 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 ,
el producto Eij(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 GL(2, Fp), sus
subgrupos SL(2,FP) y los cocientes PSL(2,Fp), con la intención de probar que estos
últimos son simples, para p > 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 G G L(2,FP) se puede escribir de la forma TD ,
donde T es un producto de transvecciones y D es la matriz diagonal Q ^ . En
particular, cada matriz de SL(2, Fp) es un producto de transvecciones.
Demostración. Sea A G 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 ¿?i2(l).A, obtenemos una matriz B cuya entrada
(1,1) no es cero. Note que det¿? = det A ya que det £ ’12(1) = 1. Definamos Ai
como A 6 B, dependiendo de que la entrada (1,1) no sea cero, digamos A i =
164 12. GRUPOS DE MATRICES
El lema siguiente nos dice que las transvecciones juegan un papel análogo páralos
grupos lineales especiales al que juegan los 3-ciclos para los grupos alternantes:
(a b \ ( l X \ fa b \ 1 _ / l — Xac Xa2 A
\c d j \ 0 1 / Ve d) ~ V - Ac2 l + Xac)
12. GRUPOS DE MATRICES 165
(a b\ ( \ 0 \ (a b y 1 _ f l + Xbd - A b2 \
\c d ) \A 1) \ c d) \ Ad 2 1 — XbdJ
D emostración (Dickson). Por 12.6, |P S L (2,F 2)| = 6 y |PSL (2,Fa)| = 12, por lo
que estos grupos no pueden ser simples por el teorema de Sylovv (véanse el ejemplo
3 del capítulo 10 y el ejemplo 3 del capítulo 9, sin tomar en cuenta que el grupo es
63). Supongamos ahora que p > 3. Por el teorema de correspondencia, los subgrupos
normales de PSL (2,Fp) = S L (2,F p)/Z o corresponden a subgrupos normales H de
SL(2, Fp) que contienen a Z q y así, para mostrar que PSL(2, Fp) es simple basta mos
trar que si H ^ Z q, entonces H = SL(2, Fp). Para ésto, asumamos por un momento
166 12. GRUPOS DE MATRICES
con r ±1.
<♦> -« -C 3
Entonces, si 5 :
(í?> como H es normal y S € SL(2, Fp), se tiene que SA S~X€
(**)
(ó 3 s (° 3
y como det M = 1, entonces a = —1. Antes de considerar estos dos casos, obser
vemos que si la matriz M e H es conjugada, por un elemento de G L(2,FP), a una
matriz R
,-1
-G 3- entonces existe un escalar /z e F* tal que H contiene a la matriz
C = U BU ~l B ~ l ( 7 2
Víí 6(72 - 1) 7 2/
está en H. Notamos ahora que, si 7 -2 ^ ±1, i.e., si 7 4 / 1, entonces ya terminamos
de probar (*). Observamos ahora que éste es el caso si p > 5 porque tal 7 G F* existe
ya que el polinomio x4 —1 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 € 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 := /ib(7 2 — 1), no
es cero y como 72 = —1, la matriz C es de la forma C = ( ^ y como C € H
Notas. El teorema anterior nos da una familia infinita de grupos simples. Note sin
embargo que |PSL(2,F5)| = 60, que es igual al orden de As- 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( tí, K ) son simples para toda
n > 2 y cualquier campo K.
Ejercicio 1. Demuestre que cualesquiera dos grupos simples de orden 60 son isomor
fos.
168 12. GRUPOS DE MATRICES
E j e r c ic io 5. Muestre que P S L ( 2 , F 2 ) — S 3.
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 + t u) = T a { v ) + T a { w ) = A - v + A - w
y
(iv) A{Xv) = TA(Xv) = XTA(v) = X • (A • u).
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 K -espacio vectorial V, de dimensión finita, es decir, una función
*:Gx V — V
que satisface los axiomas:
(i) e * v — v, para todo v e V y donde e es el neutro de G.
(ii) (<t t ) * v = o * ( t * v ) , para todo o, t € G y v 6 V.
y que además es compatible con las operaciones del espacio vectorial V, es decir,
(iii) 0 * (v + w) = o * v + cr*w, para cr 6 G y v,w 6 V.
(iv) a * (Xv) = X(o * v), para X € K ,v e V y cr € 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 S y de Y , es natural que nos
preguntemos por lo que sucede cuando se tienen acciones lineales de un grupo G en un
/ó-espado 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 -> GL(V)
como sigue: para cr € G, p(a) e GL(Vr) es el operador lineal p(a) : V —♦ V dado por
p(o)(v) := <7 * v.
Note que, como en los ejercicios mencionados del capítulo 8, se tiene que p(a) : V
V es, en efecto, biyectiva, y es fácil ver que es lineal. Observemos ahora que la función
13. REPRESENTACIONES LINEALES DE GRUPOS FINITOS 171
(iv) Para X e K, v e V y cr € G,
a * (Ati) = p(<j)(Ati) = A(p(cr)ti) = A(ct * ti).
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 homomorjismos
de G en GL(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
G en un espacio vectorial V, es equivalente a estudiar las acciones lineales de G en V.
172 13. REPRESENTACIONES LINEALES DE GRUPOS FINITOS
Note que como los espacios V y V ' 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 = {u9}j € g indexada por los
elementos del grupo. Para cada o G G definamos la función p(o) : B —» B mediante
p(cr)(vg) = Vcg 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
5 3 = { 1, ( 1 2 ) , (1 3 ) , (2 3) , (1 2 3 ) , (1 3 2) } .
del grupo simétrico Sn. Esta representación identifica una permutación a £ Sn con una
matriz p(o) £ G L (n,C ) escogiendo como V = C" con base la canónica { ei........e„}
(indexada por los enteros 1 ,2 ........n £ I„).
p{o)v = p{ct) ( 5 2 v g) = J 2 P( ° ) V9 = Y ^ v ° 9 = v
Vg€G ' s£G jeG
y por lo tanto W es invariante bajo G. Así pw : G —> GL(VP) es una subrepresentación
de p de grado 1. Note que como {v} es base de W y como p{a)v = v, para todo
o £ G, entonces la representación matricial pw : G —» GL(1, C) = C* está dada por
p(c) = 1, para todo o £ G, i.e., pw es la representación trivial de G.
P° := i ^ í 5 Z p(3 ) ° P 0 p (5_1) : V -* V.
geG
i.e.,
= W\ ^ ° p ° p,(5 ~ 1M <t_1)
I 1 seG
= T7T ] C P(‘r¡?) ° P °
I I 96G
= p° ya que erg recorre G cuando p lo hace.
si o = 1,
(t) p K );= =
si o / 1.
Se sigue que, si r G G,
13. REPRESENTACIONES LINEALES DE GRUPOS FINITOS 177
p V = ] Í E P (») °P°P(9 ¿ E P t o M V r)
N 9eG lG l 96G
= 77ñP(T)
i^i
E v9 P°r (t)
9eG
= ¿ i E p M u9 = ¿ E *
9€G lG ' 9t c 9
Por lo tanto,
P °( E V s) = E
V9€G 7 9€G
As P ° K ) =
96G
E 9) tl
W ° := kerp0 = l E V 9
1 geG
E A9 = ° )
geG }
donde [pw ((j )]b y [ p ^ 0^ ) ] ^ son las matrices asociadas a pw {v) y p ^ (a), respec
tivamente.
En general, si V = Wi ©♦ • •© es una suma directa de subespacios G-invariantes
Wi y si pi = pWi son las subrepresentaciones correspondientes, entonces diremos
que la representaciónn p es la suma directa de las subrepresentaciones /?¿, y la forma
matricial tiene la estructura en bloques:
([pi{°)] •••
[p(<r)]= : ••• i
V 0 ••• [pt (cr;
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(fV) es una subrepresentación, entonces existe otra
subrepresentación pw ° : G —♦ GL(W °) tal que p = pw ®p w °. 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 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\) © **- © G{tit)
con n¿|n¿+i y con C ( tií) ~ 'L/ uíL.
Ahora, si p : G —►C* es una representación de grado 1, 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¿) sí Z /n jZ de G:
e 41 ...... 0) 6
(con el 1 en el lugar i). Observe ahora que, como el orden de e¿ es ni, entonces
p(ei)ni = 1, por lo que cada p(e¿) € p ni C C* es una raíz ni-ésima de la unidad.
Recíprocamente, para cada elección de una raíz a >i € p ni se tiene la representación
13. REPRESENTACIONES LINEALES DE GRUPOS FINITOS 179
donde V tiene base vq, . . . , v„ _ 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 6 V son vectores propios
de p (l) : V —* V. Para ésto, observemos que la matriz de p (l) en la base regular
vq, . . . , vn- \ de V está dada por la transpuesta de la matriz de coeficientes en:
p (l)v 0 = vi
p(l)Vl = v2
p (l)u 2 V3
p( l)ü n —2 = %
p (l)v „ _ i = vo
(0 0 ■■ 0 l\
1 0 ... 0 0
0 1 ... 0 0
Ri =
0 ... 1
Vo
13. REPRESENTACIONES LINEALES DE GRUPOS FINITOS 181
(-X 0 • • 0 1
1 -A • ■ 0 0
d e t(/ii - A/„) = det 0 1 • • 0 0 ( - i ) nAn + ( - i ) " - 1r - 1
1° 0 • • 1 -Ay
= ± ( * B - 1)
por lo que sus valores propios son las raíces de A" — 1 = 1, i.e., son las raíces n-
ésimas de la unidad, Ao = 1, Ai = e27" /" , A2 = A2, . .. . An_j = A"- 1 . Así, los
vectores propios Wj correspondientes a los valores propios A¿, para 0 < j < n, dan
lugar a subespacios unidimensionales Wj = (wj) 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 © • • • © pn~ 1, con los pj las subrepresentaciones correspondientes a Wj.
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 e G. Como G es abeliano, entonces, para todo g € G,
p{a)PÍ9) = p(°g) = pigv) = p (9)p (°)
por lo que la función lineal p{o) : V —* V satisface la hipótesis del lema de Schur y
así p{o) 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 a G G y para todo tu £ W, se
tiene que p(o)w = A idy (tu) = Atu 6 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 abeliano finito, entonces todas sus representacio
nes irreducibles son de grado 1.
□
Ejercicio 6. Concluya que Sni para n > 3, sólo tiene dos representaciones de grado
l. Calcule éstas. Sugerencia: vea la proposición 5.14.
EJERCICIO 8. Defina p' : ¿>4 —* GL(3,C), en los generadores de ¿>4, (vea 4.15),
mediante
EJERCICIO 11. Usando el ejercicio 10 para ver la forma que tienen las matrices p(a),
muestre que la representación por permutaciones de 53 es reducible.
EJERCICIO 16. Se puede invertir la construcción del ejercicio 15: si N <G es cualquier
subgrupo normal de G y si p : G /N —> GL(V) es una representación de G /N , defina
la función p : G —>GL(V) mediante p(g) := p(gN).
(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.
x G T 1) = X I a ' = = *(» )•
t t
(6): Por (4), x(g) = ¡CIUi A,, con los Aj raíces de la unidad. De la desigualdad del
triángulo se sigue que
n
lx(s)l<X M <n yaque |A,| = 1.
14. CARACTERES DE GRUPOS FINITOS 187
(7): Si g es tal que x(g) = x (l) = n t como x(g) es la suma de sus n valores propios
1 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 In y así g e ker p. Recíprocamente, si g G ker p,
entonces p(g) = id y y así su matriz es 7n, por lo que x(g) = Tr(/„) = n = x(l)- O
Proposición 14.2. Sí pi : G —♦ GL(Ví) y p2 : C? —►GL(V^) ww dos representacio
nes del grupo finito G, y si xi y X2 son sus caracteres, entonces
*|
^ Xp\®p2 — Xl + X2-
¡q| Demostración. Si V — V\ 0 V2 y si B\ y #2 son bases de Vi y V2, respectivamente,
i entonces B\ U B2 es base de V y la matriz asociada a (pi © p2 ){g) es de la forma
un 1 por cada x € Y a y por lo tanto la traza Tr [<j>{<y)\ cuenta los puntos x € Y", i.e., el
carácter x de la representación por permutaciones de G en Y está dado por
xM = m -
XÜ) = Y
XwÜ) = Y uji>
In w€/ln
que, comparando con el resultado general del ejemplo 2 anterior nos da
Y ^ =0 para 0 < j < n.
1
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 i : G —►GL(Vi) y p2 ■G —> GL(V2) dos representaciones
irreducibles de G y sea h : V\ —> V2 una transformación lineal arbitraria. Pongamos
h° ■= r¿7 Y ^ T 1 ° h °PÁ9)-
g íG
= h°.
14. CARACTERES DE GRUPOS FINITOS 189
Podemos entonces aplicar el lema de Schur a / = h° y concluir (1) y (2), excepto por
la identificación del escalar A. Ahora, como p\ = p2 , entonces
:= 7^7 Y ,
1 seG
y observemos que éste es un producto interno, ya que:
(1) Es lineal en <¡>, i.e., es aditivo y saca escalares.
(2) Es aditivo en xp.
(3) = (<)>,ip)-
(4) Saca escalares conjugados en xp. (Se sigue de 3 y 1).
(5) (<¡>,<j>) > 0 para toda <p / 0.
En particular, si <j>,xp : G —* C son caracteres, como xp(g) = ip(g)~1, por 14.1, la
definición del producto interior se vuelve
geG
y observamos que T.ge c <Kg)4>(g) = E s 6g 0 ( s “ 1)’/'(9)> ya que g~l recorre G cuan
do g lo hace. Se sigue que
{<t>A) = {ip,4>>
cuando <pyxp son caracteres.
TEOREMA 14.4. Sea G un grupo finito.
(1) Si x y X1 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
H e.. (x ,x ) = l
Demostración. (1) Sean p : G —> GL(V) y p' : G —* G L(V ') dos representacio
nes irreducibles de G, con caracteres x y x '. respectivamente. Sean [p(g)] = (a,j) y
IpW = K < ) matrices correspondientes. Si h : V —* V ' 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
como la matriz de p(g *) es de la forma (a,j (g 1)), entonces para el h° del corolario
anterior su matriz asociada es
11 g€G
(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 h¡j de
[/i°] son
(*) *ij = T
M g€G k,t
Ahora, como p y p' no son isomorfas, por el corolario anterior se tiene que h° = 0
y así las /i° = 0 para todo i , j . Se sigue que (*) es un sistema de ecuaciones lineales
en las variables x st que se anula para cualquier h : V —►V , i.e., para todos los valores
de x st. Por lo tanto sus coeficientes tienen que ser todos cero, i.e.,
= |7ñ Y aii(9~l H j{ 9 )
1 1 ij,geG
= 0, por (f),
lo cual prueba la parte (1).
(2) Con la misma notación para p = p' 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(/i), con
n = dim c V, por lo que
i ¿31
i=h
i.e., hy = ASij, la delta de Kronecker, y como A es de la forma
entonces
hij Xójj — ^
= -6 * 6 , = í " s i i = i y s = t,
= 2Z p°r (**)
•j
n 1
= v -
h n
= 1,
como se quena.
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 ) = ^ 2 1 x ( g ) x ( g ~ 1) = ^ x ( l ) x ( l ) = ■n = n ¿ 1,
n *“7, n n
JcO
y por lo tanto la representación regular de grado n > 1 no es irreducible, algo que
está implícito en el ejemplo 9 del capítulo 13.
192 14. CARACTERES DE GRUPOS FINITOS
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 {Xt,4 >} no depende de la descomposición. □
Observación. En el corolario anterior, diremos que (x, ip) es el número de veces que
W ocurre en la descomposición en irreducibles de V.
COROLARIO 14.6. Dos representaciones p\ y p 2 de G, son isomorfas si y sólo si sus
caracteres son iguales.
Demostración. Si p\ : G —» GL(V) y P2 : G —* GL(V') son isomorfas, existe un
isomorfismo lineal / : V —> V tal que fp i(g ) = P2 (g )f, para todo g € G. Se sigue
que fp i{ g ) f~ l = P2 {g) y por lo tanto
Xi (</) = Tr(/>i(ff)) = T r ( /p i ( p ) /_1) = Tr(p 2 (g)) = X2(s),
para todo g € G, y así x t = X2- Recíprocamente, si x i = X2, el corolario anterior
nos dice que en este caso p\ y P2 contienen, cada una, una representación irreducible
el mismo número de veces. □
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 i , . ..,W r son todos los irreducibles no isomorfos que aparecen en una descom
posición de p. Pongamos m< := (x,Xi)< donde Xt es el carácter de Wi, recordando
14. CARACTERES DE GRUPOS FINITOS 193
de 14.5 que los son enteros > 0, y denotemos con a la suma directa de Wj
consigo mismo m* veces, i.e.,
m¡
miWi := VP, ® • ■■ffi W¡
(con OWi := 0) Al entero m , lo llamaremos la multiplicidad de W¡. Entonces,
V - m iW i © ■ • • ffi m rWr
y el carácter x de p es una combinación lineal de los caracteres irreducibles xi, ■• • >Xr.
con coeficientes enteros > 0:
X = m\Xi + ----- \-mTXr-
COROLARIO 14.7. Si X es el carácter de una representación V de G, entonces
(!) (X.X> = ¿ t n ? .
1= 1
COROLARIO 14.9. (1) Si G es un grupo finito, entonces tiene sólo un número finito de
representaciones irreducibles no isomorfas, con caracteres Xii ■■•, Xr-
194 14. CARACTERES DE GRUPOS FINITOS
= XRÍ9) = 0
>=1
n = |Z /n Z | = £ n ? = £ l ,
>=i <=i
entonces éstos son todos los caracteres irreducibles del grupo cíclico Z /n Z .
if,h ) := 7^7 Y
1 oeG
definido anteriormente, restringido a T . Por 14.4 los caracteres irreducibles x i i ■• ■, Xt
de G forman un sistema ortonormal en T , y son un conjunto finito por 14.9. Mostrare
mos que forman una base y para ésto necesitaremos el lema siguiente:
LEMA 14.10. Sean f : G —* C una función de clases y p : G —>GL(V) una represen
tación. Sea pf :V —► V la función lineal dada por
P í '■= Y /M p M -
<reG
Si p es irreducible de grado n y carácter x, entonces p/ es una homotecia de razón X
dada por
A := ^ E / ( * ) x ( * ) =
es decir, p/p(t) = p{t)p¡, y así, por la parte 2 del lema de Schur, se tiene que p¡ es
una homotecia, p¡ — X idy. Calculando trazas en esta igualdad:
* = /( * ) * ( * ) = ^ i < / . * > ,
n aeG U
la última igualdad por la definición del producto interno. □
(ya que R(cr ) ( v g) = vag). Ahora, por la primera parte de esta demostración, R¡ = 0 y
así R f(v i) = 0, por lo que la igualdad ( |) implica que los coeficientes f(p ) = 0 para
todo cr 6 G ya que los v„ son linealmente independientes. Se sigue que / = 0, lo cual
prueba (1).
Para (2), sean C \,...,C k las clases de conjugación de G. Si / : G —►C es una
función de clases, entonces / es constante en cada clase Cj y los valores (constantes)
A* € C de / en cada C¿ pueden ser elegidos arbitrariamente. Por lo tanto, escogiendo
14. CARACTERES DE GRUPOS FINITOS 197
fa{t) = ^ ¿ X , ( f f ) x * ( í )
que; xi(<?t) = 1 para todo g¿. Esto determina el primer renglón de la tabla. Recuerde
queA i = |C i l | = [G :C c (s s )].
h¡ = 1 h2 ^3 ... hr
9i = 1 92 93 9r
Xi 1 1 i 1
X2 n2 X2Í92) X2(ff3) X2 Í 9 r )
*
Xr 7lr X r ( g 2) Xr(P 3 ) X r(Sr)
Ahora, los renglones de esta tabla los podemos ver como vectores en C con el
carácter Xt fijo y variando los representantes g, de las clases de conjugación;
y el teorema de ortogonalidad 14.4 nos dice que estos renglones son ortonormales. Lo
enunciamos para renombrarlo: ^
(XiiXj) = $ij i
lo cual, por definición del producto interno, se puede escribir como
1 1 r
Xi(<T)Xj(&) = ■r^t'^2 htXi( 9 t)Xj 9 t)
£
|L ,|CTeG t=i
donde ht = \Ct \y gt 6 Ct, para C%las clases de conjugación de G.
(X Á 9j)\
X2Í9j)
\X r {9j)J
y el corolario 14.12 se lee ahora como;
14. CARACTERES DE GRUPOS FINITOS 199
¿ Xt{9i)XtÍ9j) = = [CG(9i)\6ij
(-1 n '
que representar al 2 en el cociente A 4 /[A4, A4] ~ Z /3Z , por lo que X2(<r) = w2 para
todo cr € C4. Se sigue que X2 está dado por
1 si o € C\ U C2,
1o j
u>2
si o G C3,
si a e C4.
200 14. CARACTERES DE GRUPOS FINITOS
(J
w
1 si a G C'3 ,
si a G C 4 .
la si a G C 2 ,
X4(a) = l b si a G C'3,
|c si a G C4.
0 = (Xi>X4) = - 3 + 3 - 1 - 0 + 4 - 1 - 6 + 4 - 1 - c ) = — (3 + 3a + 46 + 4c)
0 = (X2,X4) = ^ ( 3 + 3a + 4w 26 + 4u;c)
con u = 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)}
1 3 2
II ii
1 (12) (123)
oí
Xl 1 1 1
X2 1 -1 1
X3
entonces 713 = 2 y así X3( l) = 2, lo cual agregamos a la primera columna. Ahora, para
calcular el lugar faltante en la segunda columna, observemos que la ortogonalidad por
columnas implica:
3
0 = £ > x í (12) = 1 • x i(1 2 ) + 1 • X2(12) + 2 • x 3 (12) - 1 • 1 4 - 1 • ( - 1 ) 4- 2 ■x s(1 2 )
1=1
por lo que 2x3(12) = 0, i.e., X2(12) = 0. Similarmente, para el lugar faltante en la
tercera columna,
3
0 = E "«-*¿(123) = 1 • X i(123) + 1 ■x 2(123) 4- 2 ■X3(123) = 1 • 1 4 - 1 • 14- 2 • X3(12)
*—1
por lo que X3(123) = —L Podemos entonces completar la tabla de caracteres de S3:
hi = 1 3 2
9i - 1 (1 2 ) (123)
Xi 1 1 1
X2 1 -1 1
X3 2 0 -1
202 14. CARACTERES DE GRUPOS FINITOS
1 1 1 1
II li
Xl 1 i 1 1
X2 1 U) J1
X3 1 UJ2 u ,4 w 2 ( " - 2)
Xn 1 U)” - 1 a ; 2 ! " - 1)
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 Xt- Ahora, por el corolario 14.9, |G| = ]T¡=i n f, donde n¿ es el grado de x¿-
Esta igualdad implica que todos los n, = 1, por lo que todos los 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| = ]£Í=i n2,
donde cada = 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 D2n, sabemos, por el ejercicio 9 del capítulo 5, que
contiene al grupo Rn de rotaciones y que [D2n : Rn ] = 2. Por el corolario anterior
las representaciones irreducibles de D2n son de grado 1 ó 2. Ahora, D2n tiene como
generadores a la rotación r = r2lr/n y a la reflexión p, y estos generadores satisfacen
las relaciones
r " = 1, í? = 1, prp = r -1 .
Además, cada elemento g e D2n se puede escribir, en forma única, como
rk con 0 < k < n - 1 si g e Rn,
9=
prk con 0 < k < n — 1 si g 0 R„, i.e., si g es una reflexión.
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 D2n, ya sabemos que éstas son
de grados 1 ó 2. Ahora, si <p : D2n —> GL(V) ~ GL(2,C) es una representación de
grado 2, diagonalizando la matriz 4>{g), con g 6 D2n, note que si g = r 6 Rn, como
r" = 1, se tiene que
h = [0(f)]" = (M
I 0 A2) \ 0 *5)
por lo que Ai y A2 son raíces n-ésimas de la unidad. Esto nos motiva a definir, para
u £ Un una raíz n-ésima de la unidad, la función
4>u '■D2n —* GL(2, C)
mediante
w <¡>u{9)v = A u
204 14. CARACTERES DE GRUPOS FINITOS
^ ( r ) : = (o u , - 1) y M p ) := ( i o)
por lo que (*) se vuelve
M r ) = (J J) y = (J _0X)
y
T 2 : D2n —> GL(1, C) dada por T2(r) = 1 y T2(p) = - 1
que satisfacen Ti © T 2 = 0 i.
Distinguimos ahora dos casos, dependiendo de la paridad del entero n en D2n:
14. CARACTERES DE GRUPOS FINITOS 205
= _ °i) y * -* « -(? !)
que dan lugar a las subrepresentaciones de grado 1:
T 3 : Din G L(1,C) dada por ^ ( r ) = - 1 yTs{p) — - 1
y
Ti : Din —» GL(1, C) dada por T j(r) = —1 y Ti(p) = 1
que satisfacen T3 © Ti =
Así, si n es par hemos construido 4 representaciones de grado 1 que son subrepre
sentaciones correspondientes a las representaciones 4>\ y 4>-i asociadas a las dos raíces
1 ,-1 € P2 C pn que son las únicas representaciones de grado 2 reducibles de Z^n-
Se sigue que, si cu 6 pn — la representación <pu correspondiente es irreducible.
Observe ahora que como uikuin~k — 1, entonces 4>uk y 4>uin~k son isomorfas. Se sigue
que sólo necesitamos considerar las representaciones de grado 2 asociadas a las raíces
u k 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 ui, ui' 6 pn, entonces <pu es
isomorfa a <f>ui si y sólo si — X / v Por 14-6. Pero, por definición de <¡>u y <pui,
Xtu = 2Re (w*) = Xpu>= 2Re 0< k <n
en particular Re (ui) = Re (w'). y como oj, ui' e pn<esto sucede si y sólo si w = ui'.
Por lo tanto, como los argumentos de u y ui' son de la forma 2í7r /n , con 0 < t < n /2 ,
entonces u = cu' si y sólo si cu = cu', y así los 4>
wt con 0 < k < n /2 no son isomorfos.
Hemos así probado que: si n es par, se tienen (n/2) — 1 representaciones irreducibles
de grado 2 de D in. Finalmente, observamos que las 4 representaciones T, de grado 1 y
las (n /2) —1 representaciones irreducibles de grado 2, son todas las representaciones
irreducibles de Di„ ya que sus grados satisfacen la igualdad
4(12) + ( ( n /2) - 1)(22) = 4 + 2 n - 4 = 2n = |D 2„|.
1 < k < (n - l) /2 .
206 14. CARACTERES DE GRUPOS FINITOS
Ejercicio 14. Escriba explícitamente la tabla de caracteres del grupo diédrico D%.
E jer cicio 18. Demuestre que un grupo finito de orden 8 k debe tener al menos 5 clases
de conjugación. Sugerencia: muestre que el grupo debe tener al menos 5 representacio
nes irreducibles.
Aplicaciones de la teoría de caracteres
H ^ Z l G : C G ( g , M g i ) x ( 9 i ) = ¿ [ G : C G (S, ) ] ^ x ( S i )
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)
M s ) l < |u>i| H---------P lwx (i)| < H -------- 1- 1 = x ( l )
y por lo tanto
lx (g )l
l7l = < 1
lx ( i) l
15. APLICACIONES DE LA TEORIA DE CARACTERES 213
y como 7 0, entonces 0 < |-y|. Si sucediera que 0 < |7 | < 1, mostraremos que
\ { g ) = 0. En efecto, sea p ( x ) = x * + a t - i x t _ 1 H-------- b a \ t + ao el polinomio mónico
irreducible del cual 7 es raíz. Por A . 15, p ( x ) tiene coeficientes en Z . Ahora, como
(donde los w'- son raíces de la unidad, porque son conjugados de u ) } que satisface x n —
1 ), por lo que 0 < |7 | < 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 como p ( x ) es irreducible, ésto implica que p ( x ) = x y por lo tanto 7 = 0 es su única
raíz, i.e., x(?)/x( 1) = 0 y así x(s) = 0, en contradicción con la hipótesis del lema. Se
sigue que |7 | = 1 . □
cu yo o rd e n e s la p o te n c ia (n o tr iv ia l) d e u n p r im o , e n to n c e s G n o e s s im p le .
D e m o s t r a c i ó n . Note que G no puede ser abeliano, ya que si lo fuera todas sus clases de
conjugación tendrían un único elemento, en contradicción con la hipótesis del teorema.
Ahora, por hipótesis existe un elemento 1 # g en G cuya clase de conjugación es
de orden p‘ , para p un primo y f > 1 entero. De la ortogonalidad por columnas de la
tabla de caracteres de G , se tiene que si x i , ■• X r son los caracteres irreducibles de
G, entonces
r
o = $3 ya que g y í 1 por lo que <5,_, = 0
t=l
r
[G:Q] M P_Q_
= P'
\Q\ q*
Se sigue que [G : CG{g)] divide a pr y así [G : Gg (9)] = p \ para algún t < r.
CASO 1. Si t — 0, G = CG(g) y así g conmuta con todos los elementos de G, por lo
que 1 g e Z(G) y por lo tanto 1 ^ Z(G ) < G, y como G no es abeliano Z(G) ± G,
y así G no es simple.
Caso 2. Si t > 0, como pl = [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 ¡# | = paqb con a + 6 < 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 paq^ con
a + ¡i < 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 (^ ) = x ( i)
para un carácter arbitrario \ 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
Hay otras formas de escribir la fórmula para el carácter inducido x G■ Por ejemplo,
si 9 \ H , .. . , g n H son las clases laterales izquierdas de H en G , podemos elegir como
representantes a elementos de la forma cr¡ = con u 6 H fijo. Se tiene entonces que
i=l
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 (o, g i H ) t-* (c r g i ) H
y sea x el carácter de esta representación de G. Por el ejemplo 3 del capítulo 14 se tiene
que x(<z) = \{G /H )a\ es el número de elementos (jiH de G /H fijados por o. Obser
vamos ahora que ogiH = glH si y sólo si g~l agx e H por lo que el número x(tr) de
clases de G /H fijadas por o es igual al número de elementos de la forma g~logx que
están en H y este número es ^ ¡ ‘= i £ (g /l og,) ya que cada uno de estos sumandos es 1
cuando g~l og% € H porque £ es el carácter trivial. Hemos así identificado al carácter
inducido £G como el carácter x . i.e., £G = x-
Caracteres 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 = QlXl + ' ' ' + 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¿ 6 Z
15. APLICACIONES DE LA TEORIA DE CARACTERES 219
Observe ahora que p\ = 1 es la única permutación con n puntos fijos y las permuta
ciones que fijan exactamente un punto están en la unión
H f U H f U •••U H *
y se tiene que |J?¿| = |J íi|, por lo que \H*\ = h — 1. Por lo tanto, G tiene n(h - 1)
permutaciones que fijan un sólo punto y así el número de permutaciones sin puntos
fijos es
\W\ = |G| - |{1}| - \H ? U H f U ■• • U H * | = g - 1 - n(h - 1) = n - 1.
Con esta información sobre la estructura del grupo G, es fácil calcular el carácter
inducido ipG de cualquier carácter t/>del subgrupo H \. Recordemos que, por definición,
(1 ) rpG(<r) : = ¿ Í> {P il o p i)
Í=1
porque G = piH \ U *■■U pnH\.
15. APLICACIONES DE LA TEORIA DE CARACTERES 221
Ahora, para el carácter virtual £ dado por £(cr) := i/,G(ct) — d9(a), usando los
cálculos deipc y 9 anteriores, se tiene que
((l)= dn — d(n — l) = d, £(uj) —4 >{v.) - d 0 = ip{u), £(tu) = 0 — d(—l) = d
por lo que
(5) £(uj) = £(1) para todo w 6 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 \, digamos de grado d, 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 TEORIA DE CARACTERES
= d2 4- (n - l) d 2 + n(h - d2) = nh = g.
<^> = 7 ^ £ I ^ ) I 2 = ^ ) = i
1 1 ct€G y
r
(7) P = £ dfcV'fc-
fc=l
Se define entonces el carácter 7r mediante 7r := £)k=i dkik (es un carácter porque los
dk > 1 son enteros) y substituyendo los valores de £* se tiene que
15. APLICACIONES DE LA TEORIA DE CARACTERES 223
* (!) = 5Z dktkW = X I dk = h ( P ° r ( g ))
k~\ k= 1
r r
y por lo tonto ir(w) = 7r(l) si y sólo si w e W , por lo que para este carácter 7r se tiene
que su núcleo es en efecto {1} U W y así, por (15.2), {1} U W es un subgrupo normal
de G de orden n, como se quería. □
n = [G:H] si a = 1,
0 si a 1y <
j g K,
K G /# n
1 si ¿r g ( J 0 # 0 _1,
geG
Notas. (1) Existen grupos simples de orden paqbrc, con p ,q ,r primos, el menor de
ellos es el grupo alternante A¡ de orden 60 = 22 • 3 • 5.
(2) En su libro, Burnside [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 Burnside.
(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 Burnside 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 Burnside en
226 15. APLICACIONES DE LA TEORÍA DE CARACTERES
[26]. La demostración que damos se basa en Grün [41] y Shaw [53]. A continuación
daremos demostraciones de los casos (1) y (2) de arriba.
CASO 1. [H. Bender]. Supongamos que |i / | es par y que H D gH g -1 = 1 para todo
g £ G — H (y por lo tanto H = N g {H) porque si g 6 N g (H) entonces gH g ' 1 — H,
y si g no estuviera en H, entonces H n gH g ' 1 = 1 por lo que H n 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 [C?: ií] = n, como N g {H) = H , entonces H tiene
exactamente n conjugados en G, digamos H \ , . . . , H n, cada uno de éstos tiene orden
| i í | que es par y por lo tanto podemos escoger elementos a 3 e H j tales que a3 ^ 1 y
Oj = 1. Mostraremos que para cada j,
n
(*) Wj<Ti : » = I ,- -- ,n } = G - ( J H k.
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 a]al G Hk para algún j / i y algún k. Se tiene
entonces que H j n H t = 1 ya que H j n H i = g j H g ' 1 n g i H g ' 1 y si esta intersección
fuera 1, entonces conjugando con g ' 1 se tendría que H n ( g J ’1g i ) H ( g ~ 1g i ) ~ 1 1,
donde g ~ xgi & H ya que de lo contrario g ~ 1g í = h e H y por lo tanto = gjh y
así g i H g ' 1 = g j h H h ' l g ' 1 = g j H g ' 1, i.e., H { = H : , una contradicción. Ahora,
H j C \ H i = 1 implica que o j O i ^ 1 ya que si <T; cr¿ = 1 entonces = a ' 1 6 H j por
lo que <Ji e HiC\ Hj = 1, en contradicción con crt / 1. Se tiene entonces que
1 / O j i V j O Ú o ' 1 = = < 7 i< 7 ] = ir~ 1c ~ 1 = ( c r j c r t ) '1
porque <r| = 1 y así a ' 1 = <jj y lo mismo para <tí. Se sigue que aJ{aJai)a ' 1 =
{(jjOi) ' 1 está en ctjHko ' 1 y como OjO, e Hk, entonces {ctjOi) ' 1 € Hk, por lo que
1 / aj (ajerio ' 1 e Hk fl OjHkoJ1,
lo cual por hipótesis sólo puede suceder si a¡ 6 Hk, i.e., si j = k. En forma análoga se
prueba que i = k, pero esto contradice el hecho de que i / j . Se sigue que ctjai Hk
para todo k = 1 , . . . , n, y así
n
(**) Wjcri : i = l , . . . , n } C G - ( J H k.
k=i
Ahora, como |ífjt| = |/ f | y hay [G : H] de los Hk, que sólo coinciden en el 1, entonces
V (g ) := n * ? g r i x .'H '
7=1
donde x \ H , . . . , x nH, n = [G : H ] , son las clases laterales izquierdas de H en G;
podemos suponer que x i = 1. Entonces,
(1) . Si h G H , entonces V (h) = h H ' (por lo tanto, H n ker V = H'). En efecto,
V(h) = riy=i x f l hri x j H ', donde x \ = 1 y x j l hrt x j G H. Como x \ = 1 y h G
H, entonces H = x \H = h x \H , por lo que r\. — 1. Ahora, si j > 1, entonces
x~lhrixj G H fl x ~ l H x j = 1. Se sigue que V ( h) = h H ', como se quería.
(2) . G = ker V ■H. En efecto, si g G G, escribamos V(g) = hH 1 G H /H '. Por la
parte (1), para esta h e H se tiene que h H ' = V ( h ) y así V(g) = V (h) y por lo tanto
g/T1 G ker V, digamos gh -1 = u G ker V y así g = uh, con u G ker V y h G H , es
decir, G = ker V ■H.
'Para la definición del homomorfismo de transferencia, vea la sección inmediata al final de esta
demostración.
228 15. APLICACIONES DE LA TEORIA DE CARACTERES
(3). Pongamos K = ker V < G. Por la parte (1) se tiene que K C\H = H ' y como H
es soluble H ' Q H.
(i) . Si H ' = 1, ya acabamos.
(ii) . Si H ' 1, probaremos, por inducción sobre el orden de G que
N := G — | J gH g~l
geG
(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 u u _1 e H ', i.e., que u = kv para algún k 6 H'. Para probar ésto,
supongamos por un momento que v es igual al producto de los 2n elementos h,(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
en el cociente H /H ', como éste es abeliano, cualquier rearreglo de los términos del
producto anterior no afecta su clase lateral en H /H ', y como u es un producto de estos
2n términos entonces se tendrá que v = u (mód H ') como se quería. Basta mostrar
entonces que v es el producto de los 2n términos ht(g), hi(t) en algún orden y para
ésto observe primero que, por definición de h¡(gt), se tiene que
(1-3) {gt)gi = gj(gt)hi{gt)
y por otro lado
(1-4) (gt)gi = g(tgi) = ggm hi{t) = gj(g)hj{t)hi{t)
y de (1.3) y (1.4) obtenemos
gj(gt)hí(gt) = gj(g)hj(g)hi(t)
y como los g i , . . . , gn son un conjunto completo de representantes de las clases latera
les izquierdas de H en G, se debe tener que = gj(g) y por lo tanto
(1.5) hi{gt) = hj(t){g)hi(t), 1 < i < n.
Ahora, como v = [] h,(gt), el resultado deseado se seguirá de (1.5) una vez que mos
tremos que j(t) recorre el conjunto In, en algún orden, cuando i lo hace, pero esto
fue lo que observamos al principio de ésta sección. Esto termina la demostración de la
parte (1).
(2): Supongamos ahora que o \ , . . . , an es otro conjunto completo de representantes de
las clases laterales izquierdas de H en G, las cuales podemos suponer que las nume
ramos de tal forma que g,H = atH. Dado g 6 G, como V(g) = n hi(g)H ' , para
ggi = gj(g)hi(g), si escribimos = oj(5)ht (g), notando que el índice j(g) es el
mismo para el producto de g con gt y de g con <tí porque numeramos los cr¿ igual que
los <?¿, entonces poniendo
(1.6) u=nMff) y
i i
lo que debemos probar es que u = ü (mód H'). Ahora, como cr, = p¿fc¿, para algún
kt 6 H, entonces
(1.7) g<J{ = ggtki = gj(g)hi(g)ki = gj(g)kj{g)k j^h i{g )k i = crj(g)fcj(g)hi{g)ki
«-n^í-nvá)^)*=ri =u(nfc>(i)rifc*)(m6d*?)
15. APLICACIONES DE LA TEORIA DE CARACTERES 231
donde la primer congruencia es porque H /H ' es abeliano, y también notamos que j(g)
recorre I„ cuando i lo hace, por lo que los productos entre paréntesis en el lado derecho
son inversos uno del otro, i.e., ü = u (mód H') como se quería. □
£ > 4 = n = [ G ://] .
1=1
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 ker x- Demuestre que N = fl Kx,
donde la intersección es sobre todos los caracteres irreducibles de G tales que N C
kerx- 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 e rx : 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
X ) x (í i ) / 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 ^ también aparece como otro renglón de M , demuestre
que M se obtiene de M permutando sus renglones, i.e., M = P M , donde P es una
234 15. APLICACIONES DE LA TEORIA DE CARACTERES
E jercicio 21. Una clase de conjugación C de un grupo finito G se dice que es real
si para cada g e C se tiene que g~l 6 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.
Enteros algebraicos
1 ° { x \ , . . . , Xn ) : = • • • >^ a ( n ) ) *
On-1 =
¿=1
On-2 = (“ I)2 $Z ai0ci
i
O n -3 = (“ I)3 a i a ] a k
ao = ( - l) " a iQ 2 • • -On,
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
s fc( a i , . . . , a „ ) := JZ a n ' ' Qú
l< ¿l< -< it <n
y los Sfc se llaman los polinomios simétricos elementales de grado k en los a i , . . . ,a„.
Así, las fórmulas anteriores se escriben
an_i = (—l ) 1» i ( a i , .. • , a n)
a „ - 2 = ( - l ) 2s2( a i , . . . , a „ )
a„-3 = ( - l ) 3S3(Q l,---,Q n)
“o = ( - l ) nS n(ai, ...,<*«)
y la validez de estas fórmulas es el contenido del teorema siguiente:
T eorem a A .l (Fórmulas de Viète). Sea f( x ) 6 K[x\ un polinomio mànico de grado
n:
}{x) = xn + O n-ix"-1 H------- 1- a ix + ao
con raíces a i , , a n, repetidas de acuerdo a su multiplicidad. Entonces, los coefi
cientes a, de f( x ) y sus raíces a¡ se relacionan mediante las fórmulas
ai = (—1) ®n—t(o i, ■■• i a n)>
donde los Sk{ai, ■■■, a n) son los polinomios simétricos elementales.
Demostración. Por inducción sobre n observando que los casos iniciales n = 1 y n = 2
son directos. Supongamos que el resultado es válido para polinomios de grado < n y
escribamos
f{x ) = g{x){x - a n) con g(x) = xn_1 + 6„_2x"~2 + • • • + bix + 60
A. ENTEROS ALGEBRAICOS 237
donde observamos que las raíces de <7(2:) son Q i,. .. , a n_i y satisfacen, por hipótesis
de inducción las fórmulas de Viète:
bj = ( - l ) n" 1 -,s „ _ i_ j(a i....... a „ -i).
Ahora, de la igualdad f ( x ) = g(x)(x —a n ) se obtiene
xn + an_ix"-1 H------ 1- ao = ( i" - 1 + 6„_2xn-2 H------ 1- 6jx + 6o)(x - Qn)
= xn + (bn - 2 ~ a n)xn~l + (&„-3 - a„bn_ 2)x n_2
H--------- H (6o - o nb i)x - a nbo,
e igualando coeficientes obtenemos
u „ - i = b„ - 2 - a n = ( - l j ' s i í a i , . . . , o n - i ) - a n = - s i (q i , ..., q„)
Un — 2 = 6 71— 3 - a n6n - 2 = ( - l ) 2 S2 ( a i , • • ■, Q n - l ) ~ Q n ( - l ) s i ( a i , . . •
= 52( a i , .. ., a n _ i ) + a n S i( a i.- - - .° n - i)
Un—3 b n—4 a n bn - 3 = ( —1 ) 53 (ax 1 • • • ì U n - 1) On( 1 ) S2( a i , • ■■, 1)
= (—l) 3[s3( a i ....... a„ _ i) + a ns 2( a i , .... a n-i)]
y, en general,
(*) u„_jfc = ( - l ) ’[ [ 5 * ( Q l , . . . , a n - l ) + a n S fc_ l ( a i , . . . , O n _ 1)]
Para probar que los polinomios simétricos elementales s k ( x i , . . . , x„) son, en efec
to, simétricos, escribiremos a los polinomios s k en una forma que se presta para hacer
ésto: denotemos con S* a la familia de todos los subconjuntos de I„ con k elementos
y observe que cada Y e §k se puede escribir, en forma única, como Y = { tj,. . . ,¿fc}
con 1 < ¿i < ■• • < i* < n, y se tiene que
$k (*^1» ’ • •) *^n) —
= Sk{ x\, . . . , Xn )
(la última igualdad por (*), ya que Y ' recorre S* cuando Y lo hace.) □
Se demuestra fácilmente que, con las operacions de C, el conjunto Q (a) es cerrado bajo
sumas, productos, restas y si f(a )/g (a ) # 0, en to n ces/(a) / 0 y g ( a ) / / ( a ) € Q (a)
es el inverso multiplicativo de f(a )/g (a ). En otras palabras, Q (a) es un campo, y
decimos que se obtiene adjuntando a a Q. También decimos que es una extensión
simple. Observe que este campo contiene a Q, porque si r € Q, entonces r = r /1 =
/ ( r ) / l donde f( x ) = x y g(x) = 1 (constante). La inclusion Q C Q (a) se llama
una extensión de campos y se denota por Q (a )/Q . Observe que esta inclusión implica
que el campo Q (a) es un espacio vectorial sobre Q por lo que podemos considerar su
dimensión. El teorema A.6 dice que cuando a es un número algebraico, esta dimensión
es finita y la proposición A.5 dice que cuando a es algebraico, el campo Q (a) tiene
una descripción sencilla:
1 = m ( a ) a ( a ) + q(a)b(a) = q(a)b(a),
242 A. ENTEROS ALGEBRAICOS
(3 = ^ = p ( a ) - b ( a ) = h(a)
donde h{x) = p(x)b{x) £ 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(ff) < gr(m), y h(a ) = m (a)A (a) 4- R(a ) = R(a), i.e. 0 = h(a) = R(á)
con gr(fi) < 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 ^ 0, una contradicción. □
con m # o}
Pongamos
(2) 6 := a + rf3 e Q (a ,(3 ).
Mostraremos que Q ( 6 ) = Q(a,f3). Observe primero que, como 9 € Q(a,/3) por (2),
entonces Q(9) C Q (a , ¡3). Para la otra inclusión, basta probar que a , ¡3 € Q(0). Para
ésto, pongamos h(x) := p(9 — rx) € Q(0)[x]; entonces, como a es raíz de p(x),
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 ( a i , . . . ,Qm)
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,0 2, . . . , 9n ~ 1 forman una base de Q(0) sobre Q, y como a G Q (9), entonces
existen racionales únicos co, c j , . . . , cn _i tales que
n —1
a = J 2 Ci8 l = : r( 8 )
x=0
donde r(x) = cq + c ix H------- b C n-ix” -1 G Q[x].
Si 9 = 0i,02> • • ■,9 n son los conjugados de 0, i.e. son las raíces de p(x) =
Irr(0,Q), pongamos
a'f. := r(0fc), 1 < k < n.
Note que el polinomio
/ ( * ) = f [ ( x - r ( 0 ¿))
i=i
es mónico y satisface que f ( a ) = 0 ya que a = r(9) — r(0 i). Más aún, el polinomio
f(x) tiene coeficientes racionales ya que como a = r(9) y 4>{x) = Irr(a, Q ), entonces
0 = 4>{a) — <¡>(r(0)) y así el polinomio g(x) = 4>(r(x)), que tiene coeficientes en Q ya
que <j>yr están en Q[x], satisface que g( 8 ) = 0. Entonces, como p(x) = lrr(0, Q), por
A.4se sigue quep(x) divide a g(x) y por lo tanto todas las raíces 9 \ , . .. ,9n d ep(x) son
raíces de g(x) = <¡>{r(x)) y así los números r(0¿) son raíces de <p(x) = Irr(a ,Q ), i.e.,
los r(0¿) son algunos de los a j. Ahora, por el corolario A.3 aplicado a 4>(x), para toda
función simétrica h G Q [ x i ,. . . ,x„] se tiene que h ( a i ,. .. ,a n) G Q, en particular
para los a* de la forma r(0 j) se tiene que h ( r ( 9 i ) , r ( 9 „ ) ) 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 <j>(x) divide a / ( x ) ya que
tj>es el polinomio mónico de menor grado que se anula en a. Pongamos
f ( x ) = <f>(x)sh{x)
con s > 1 entero y con <f>y h coprimos (recuerde que 4>es 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 f) para algún t. Así, h(r(9t)) = 0, i.e.,
h(r(x)) se anula en 0t , y como p (x ) = lrr(0, Q ), entonces p (x )|/i(r(x )) y por lo tanto
h(r(x)) se anula en todos los ceros de p (x ), i.e., en todos los 9 \ , . . . , 0n ; en particular,
en 0 = 0! y así 0 = h(r(9)) = h(a), i.e., a es raíz de h(x), lo cual es imposible
porque a es raíz de <j>que es coprimo con h. Esta contradicción implica que h(x) es
246 A. ENTEROS ALGEBRAICOS
Q(oi, • • ■, a m , 0 i , . . . ,p r) =Q W
y sean 8 i , . . . , 6 „ l o s conjugados de 9. P ongam os
a = 2 * « ‘ = : ',W y ¡3 =
t=0 ¿=o
Denotemos con a' a cualquier conjugado de a, y similarmente para (3. Entonces,
(1) Los conjugados de a-\- ¡3son de laforma (a + (3)' = a' + 0'-
(2) Los conjugados de a(3 son de laforma (a • fi)' = a' ■(3f.
(3) Si r € Q, entonces tiene un único conjugado, r mismo.
Demostración. Para la parte (1), como
con los hji ± íji e Z. Del lema anterior se sigue que a ± 0 es entero algebraico.
Similarmente, para el producto
(a(3)9j = a ( 0 8 j ) = a { £ j\9 \ -------- h i j t S t ) = ¿ j i ( a 8 i ) + ------1-£jt(oc8t)
— ^ jií^ ti^ t + • • • + h l t 0t ) + ■■• + t j t ( h t i 9 i + ■• ■+ httBt)
— kji8\ + • • • + kjtOt,
con los kji e Z, y así del lema anterior se sigue que a/3 es un entero algebraico. □
Por su definición, los enteros algebraicos son números algebraicos, por lo tanto, si
a € C es un entero algebraico, sea p(x) = lrr(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) = 6o + &l^H------1-bmx m 6 Z[x]
es c(g) := mcd(í>o, • ■• ,bm). Un polinomio f( x ) = ao + a ix + ■• ■4- a„x" e Z[x]
se dice que es primitivo si su contenido c(g) = 1. Observemos ahora que cualquier
polinomio g(x) e Z[x] se puede escribir de la forma g(x) = df(x) con d = c(g) y
/( x ) primitivo, simplemente factorizando el mcd de los coeficientes de g(x).
LEM A A. 14 (Gauss). (1) Si /(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 /( x ) es irreducible en Q[x] también es irre
ducible en Z[x], entonces el lema de Gauss de hecho dice: /( x ) 6 Z[x] es irreducible
en Z[x] si y sólo si f(x ) es irreducible en Q[x],
los coeficientes a,. Sea pues a3 el primer coeficiente de f(x ) no divisible por p. Simi
larmente, sea 6t el primer coeficiente de g(x) no divisible por p. Consideremos ahora
al coeficiente c3+t de /(x)g(x):
cs+ t = {aabs+t + “ í & í + t - i ri--------- b O a-ii> í+i) ri- o3bt
ri-(as+ibt_i 4- a3+2&í-2 ri----- 1- aJ+(bo)
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|cs+t, entonces p debe dividir a a3bt, en contradicción con el hecho de que
pno divide a a 3 ni a6 (.
(2) Supongamos primero que f(x ) 6 Z[x¡ es primitivo. Si }{x) = p(x)q{x), con p(x)
y q(x) en Q[x], escribamos
p(x) = a0 /b 0 + {ai/bi)x + ■• • + (am/bm)x m,
con ai/bi € Q, y
q(x) = a'0/b'0 + (oi/6i)x + ■• • ri- (a'Jb'n)xn
con a'i/bl 6 Q. Si b = 6o&i •••bm yb' = • ■• b'n, entonces p(x) = (1/6)6 • p(x) y
q(x) = (l/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' -g(x), entonces 6p (x ) = d-u(x) y b'-q(x) = d'’v(x)
con u(x),u(x) e Z[x] primitivos. Se sigue que
= • «(x)v(x) = j • u(x)v(x)
y así
t • f(x ) = s ■u(x)v(x)
y como f(x ) es primitivo, entonces c(í • /(x )) = t, y también, como u(x) y i>(x) son
primitivos, por la parte (1) el producto u(x)v(x) es primitivo y así c(s-u(x)v(x)) = s.
Se sigue que t = c(t ■f(x )) = c(s ■u(x)v(x)) = s, i.e., s = t y por lo tanto
/( x ) = u(x) -v(x)
conu(x),v(x) € Z[x].
Finalmente, si /( x ) e Z[x] no es primitivo, escribamos /(x ) = d ■g(x) con
g(x) 6 Z[x] primitivo. Si /( x ) se factoriza en Q[x] como /(x ) = p(x)q(x), entonces
d ■g(x) = f(x ) = p(x)q(x) y así
9 (*) = (¿ P (z ))
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, 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 ofFinite 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 TheoryofGroupsofFinite Order. Ginn
& Co., Boston, 1937.
(5) Curtis, C. and Reiner, I., Representation theory offinite 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 offinite groups. Academic Press, San Diego,
1976.
(11) Jordan, C., Traité des substitutions et des equations 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 ofFinite 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 ofAlgebraic 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.-P., 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: Acontributiontothe
history of the origin of abstract group theory. MIT Press, Cambridge, MA,
1984.
251
Bibliografía
Libros:
(1) Barrera, R, 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 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
252 BIBLIOGRAFIA
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 pa q3. 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 ¡es arrangements que Ton peut former avec des
lettres donneés et sur les permutations ou substitutions a l'aide desquelles
on passe d'un arrangement a un autre. Exercises d'Analyse et de Physique
Mathématique. Tome III. (1844), 171-282 (Especialmente, pág. 192-196, 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). Gaulhicr-Villars. Deuxième Edition. Paris, 1932.
(29) Cayley, A., On the theory o f groups, as depending on the symbolic equation
6n = 1. Philosophical Magazine and Journal of Science, Series 4, 7 (1854).
(30) Cayley, A., Desiderata and Suggestions: No. I . The Theory of Groups. Am.
Journal of Math. 1 ( 1878), 50-52.
(31) Dicck, W., Gruppentheorische Studien. Math. Ann. 20 (1882), 1-44.
(32) Fcit, W. and Thompson, J. G., Solvability o f groups of odd order. Pacific J.
Math. 13 (1963), 775-1029.
(33) Frobenius, F. G., Neuer Beweis des Sylowschen Satzes. J. fiir die Reine und
Angew. Math. 100(1887), 179-181. Ges. Abh. II, 301-303.
(34) Frobenius, F. G., Ober die Congruent nach einem aus zwei 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.
BIBLIOGRAFIA 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. 111,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 paq8. Acta Mathematica 26
(1902), 189-198. Ges. Abh. III, 210-219..
(40) Galois, E., 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 p3, 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 o f 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. I, 143-169.
254 BIBLIOGRAFÍA
izquierda. 53
acción, 2,5,97 conjugado, 42,69
G-lineal, 170 conmutador, 66
transitiva, IOS, 238 conmutatividad, 7
lineal, 170 contraejemplo al teorema de Lagrange, 65
por conjugación, 98
por traslación ecuación de clases, 108
derecha por el inverso, 98 elemento
izquierda, 97 neutro, 11
trivial, 97 elemento primitivo, 160
asociatividad,7,11 entero algebraico, 246
espacio
campo, 159 G-invariante, 175
finito, 159 estable o invariante, 175
carácter, 185 estabilizador, 99
de la representación regular, 187 estructura cí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
centro de un grupo, 19 factores invariantes, 94
ciclo, 32 fórmula de Cauchy, 46
clase Fórmulas de Viite, 236
de un grupo nilpotente, 147 función
clases de clases, 195
de conjugación, 42,69
laterales G-conjunlo, 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
La Sociedad M atem ática M exicana fue fundada en el año de 1943. Entre sus tareas fundamentales
destacan: Estim ular y m antener 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
m atem áticas en el país; estim ular la elaboración y publicación de libros de texto en matemáticas;
organizar conferencias, reuniones, congresos y concursos de matemáticas; cooperar en la resolución de
los problemas m atem áticos que se presentan en el sector productivo del país, así como los que surgen
en las investigaciones de otras ciencias; promover el convencimiento entre la sociedad mexicana de
que las m atem á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://w w w.sm m .org.m x
A P O R T A C IO N E S M A T E M Á T IC A S
Serie: IN V E S T IG A C IÓ N
1 Coloquio de sistemas dinámicos. Memorias. Guanajuato, México, I9$'j Editado por J. A.
Seadc, C. Sienra (1985).
2 Categorical topology • The complete work oj Graciela Sahcrup. Edited by II llerrlich, C. Prieto
(1988).
3 Sistemas dinámicos holomorfos en superficies. X. Gómez-Mont, L. Ortíz-Hohadilla. 2a. edición
(2004).
4 Simposio de probabilidad y procesos estocásticos. Memorias. Guanajuato, México I '/fifi. Edi
tado por M. E. Caballero, L. G. Goroatiza (1989).
5 Topics in algebraic geometry. Proceedings. Guanajuato, Mexico 1989. Editado por I,. Ilrainbi-
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 ¡1 Simposio de probabilidad y procesos estocástícos. / Encuentro México-('hile, de análisis es-
tocástico. Memorias. Guanajuato, México 1992. Editarlo por M E. Caballero, E G. Goroatiza
(1992).
8 Taller de geometría diferencial sobre espacios de geometrías. Memorias. Guanajuato, México
1992. E ditado por L. del Riego, C. T. J. Dodaon (1992).
9 Poblaciones aleatorias ramificadas y sus equilibrios. A. Wakolbinger (1994).
10 Una Introducción a la geometría computacional a través de los teoremas de la galería de. arte.
V. Eativill-Caatro (1994).
11 111 Simposio de probabilidad y procesos estocástícos. Memorias. Hermosilto, México 199í .
Editado por M .E . Caballero, L. G. Goroatiza (1994).
12 ¡V Simposio de probabilidad y procesos estocásticos. Memorias. Guanajuato, México 1996.
Editado por L .G . Goroatiza, J. A. León, J. A. López-Mimbela (1996).
13 Taller de variedades abehanas y funciones theta. Memorias. Morelia, Mich., México 1996.
E ditado por R. Rodríguez, J. \L Muñoz Porra*, S. Rccillaa (1998).
14 Modelos estocástícos. E ditado por J. M. González Barrica, L. G. Goroatiza (1998;
15 Inverse limits. W. T. Ingram (2000).
16 Modelos Estocástícos 11. E ditado por D. Hernández, J. A. López-Mimbela, 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. G uddat, H .Th. Jongen, J.-J.
Rückmann, M. Todorov (2004).
Serie: C O M U N IC A C IO N E S
1 Programa de investigación del XVI I I congreso nacional de la Sociedad Matemática Mexicana.
Memorias. Mérida, México 1984- Editada* por M. Clapp, J. A. Seadc (1986).
2 Teoremas límite de alta densidad para campos aleatorios ramificados. B. Fernández (1986).
3 Programa del X IX congreso nacional de la Sociedad Matemática Mexicana, Vol. 1. Memorias.
Guadalajara, México 1986. Editadas por J. A. de la Peña, C. Prieto, G. Valencia, L. Verde
(1987).
4 Programa del X IX congreso nacional de la Sociedad Matemática Mexicana, Vol. II. Memorias.
Guadalajara, México 1986. Editado por J. A. de la Peña, C. Prieto, G. Valencia, L. Verde
(1987).
5 Programa del X X congreso nacional de la Sociedad Matemática Mexicana. Memorias. Xalapa,
México 1987. Editado por M .A. Aguilar, L. Salmerón, C. Vargas (1988).
6 X X I Congreso nacional de la Sociedad Matemática Mexicana. Memorias. Hermosillo, Sonora
1988. Editado por F. A randa, J. Bracho, A. Sánchez Valcnzuela, A. Vargas (1989).
7 Breve introducción a códigos detectores-correctores de error. C. Rentería, H. Tapia, W. Y. Vélez
(1990).
8 XXI I Congreso nacional de la Sociedad Matemática Mexicana. Memorias. Puebla, Puebla
1989. Editado por P. Barrera, A. Illanes, F. O ’Reilly, S. Recillas (1990).
9 XXI I I Congreso nacional de la Sociedad Matemática Mexicana. Memorias. Guanajuato,
México 1990. Editado por A. García-Máynez, L. G. Gorostiza, J. Ize, M. Mendoza (1991).
10 La estructura de los dendroides suaves. S. Macías Alvarez (1993).
11 X X I V Congreso nacional de la Sociedad Matemática Mexicana. Memorias. Oaxtepec, Morelos
1991. Editado por O. Hernández, L. Montejano, B. Rumbos, A. A. Wawrzyñzyk (1992).
12 X X V Congreso nacional de laSociedad Matemática Mexicana Vol. I. Memorias. Xalapa,
Veracruz 1992. Editado por F. Larrión, A. Olvera, V. Pérez-Abreu, E. Vallejo (1993).
13 X X V Congreso nacional de la Sociedad Matemática Mexicana Vol. ¡I. Memorias. Xalapa.
Veracruz 1992. Editado por F. Larrión, A. Olvera, V. Pérez-Abreu, E. Vallejo (1993).
14 X X V I Congreso nacional de la Sociedad Matemática Mexicana. Memorias. Morelia, Mich.
1993. Editado por M .E. Caballero, J. Delgado, A.G. Raggi, J. Rosenblueth (1994).
15 X I Escuela Latinoamericana de Matemáticas. Memorias. UNAM, México, D. F.; C1MAT,
Gto. 1993. Editado por X. Gómez-Mont, J.A . de la Peña, J. A. Seade (1994).
16 XXVI I Congreso nacional de la Sociedad Matemática Mexicana. Memorias. Querétaro, Qro.
1994■ Editado por J.A . León, A. Nicolás, F. Ongay, A. Tamariz (1995).
17 Grupo de estudio con la industria y cursos en matemáticas industriales. Memorias. Oaxaca,
Oaxaca 1995. Editado por A. F itt, R. Martínez-Villa (1996).
18 XXVI I I Congreso nacional de la Sociedad Matemática Mexicana. Memorias. Colima, Colima
1995. Editado por J. L. Morales Pérez, S. Pérez Esteva, F. Sánchez Bringas, G. Villa Salvador
(1996).
19 Problemas combinatorios sobre conjuntos finitos de puntos. B. M. Abrego Lerma (1997).
20 X X I X Congreso nacional de la Sociedad Matemática Mexicana. Memorias. San Luis Potosí,
SLP 1996. Editado por F. Avila Murillo, R. Montes-de-Oca, R. del Río Castillo, J. Muciño-
Raymundo (1997).
21 IV Escuela de verano de geometría y sistemas dinámicos. Memorias. Cimat, Guanajuato 1997.
Editado por O. Calvo, R. Iturriaga (1998).
22 X X X Congreso nacional de la Sociedad Matemática Mexicana. Memorias. Aguascalientes,
Ags. 1997. Editado por A. López Mimbela, M. Neumann, M. Rzedowski, M. Shapiro (1998).
23 Segundo grupo de estudio con la industria y cursos en matemáticas industriales. Memorias.
Cocoyoc, Mor., México. 1997. Editado por A. F itt, R. Martínez-Villa, H. Ockendon (1999).
24 3rd. International conference on approximation and optimization in the Caribean. Proceedings.
Puebla, México. 1995. Editado por B. Bank, J. Bustam ante, J. G uddat, M. A. Jim énez, H. Th.
Jongen, W. Romisch (1998).
25 X X X I Congreso nacional de la Sociedad Matemática Mexicana. Memorias. Hermosillo, Son.
1998. Editado por P. Padilla, R. Quiroga, C. Signoret, A. Soriano (1999).
26 Tendencias interdisciplinarias de las matemáticas. Editado por S. G itler, C. P rieto (2000).
27 X X X l l Congreso nacional de la Sociedad Matemática Mexicana. Memorias. Guadalajara,
Jal. 1999. Editado por L. Hernández Lamoneda, R. Quezada, J. M artínez Bernal, H. Sánchez
Morgado (2000).
28 Lecturas Básicas en Topología General. Editado por L. M. Villegas, A. Sestier, J. Olivares
(2000).
29 XXXI I I Congreso nacional de la Sociedad Matemática Mexicana. Memorias. Saltillo, Coah.
2000. Editado por J. Alfaro, M. Eudave, J. González Espino-Barros, E. Pérez Chávela (2001).
30 X X X I V Congreso Nacional de la Sociedad Matemática Mexicana. Memorias. Toluca, Mix.
2001. Editado por G. C ontreras, C. Rentería, E. R. Rodríguez, C. Villegas Blas (2002).
31 Tópicos de Geometría Algebraica. Editado por L. Brambila, P.L. del Angel, A. García Zamora,
J. Muciño (2002).
32 X X X V Congreso Nacional de la Sociedad Matemática Mexicana. Memorias. Durango, Dgo.
2002. Editado por M. Aguilar, R. Quiroga (2003).
33 (Número cancelado.)
34 X X X V I Congreso Nacional de la Sociedad Matemática Mexicana. Memorias. Pachaca, Hgo.
2003. Editado por M. Aguilar, R. Quiroga (2004).
35 Memorias de la Sociedad Matemática Mexicana. Editado por M. Aguilar, R. Quiroga (2005).
Serie: T EX TO 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-Lcrma. Nivel avanzado
(1994).
4 Un curso de lógica matemática. C. R. Vidcla. 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. Bojdccki. 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. Traducció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 Ayuso. 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 probability. A. M. Chebotarev. Nivel avanzado (2000).
15 Construcción de procesos autosimilares con variancia 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 with 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)
Coedición SIA M .
20 Topología Diferencial. V. Guillcmin, A. Pollack. Traducción: O. Palmas Velasco. Nivel medio
(2003).
21 Elementos de Probabilidad y Estadística. A. Hernández-del-Valle, O. Hemándcz-Lerma. Nivel
elemental (2003).
22 Topología General. D. Hinrichsen, J. L. Fernández Nluñiz, A. Fragüela Collar, A. Alvarcz Prieto.
Nivel medio (2003).
23 Introducción a los grupos topológicos de transformaciones. 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. Illanes. 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, Jr. Nivel avanzado (2005).
31 Invitación a la teoría de los continuos y sus hiperespacios. E d itad o por R. Escobedo, S. Macías,
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).
O B R A S C O M PLETA S DE
D IEG O BR IC IO H E R N Á N D E Z C A ST A Ñ O S
Información y pedidos:
A p o y o té cn ic o :
Depto. de Publicaciones
Instituto de M atem áticas, UNAM
Gabriela Sanginés, Leonardo Espinosa, Celia Osorio
APORTACIONES M A T E M Á T IC A S es una publicación de la Soc^dad
M atem ática Mexicana. Su serk T E X T O S comprende libros de ♦ jío de
m atem áticas y sus aplicaciones, para la licenciatura y el posgraq^en ma
temáticas y en otras disciplinas. Se divide en tres niveles:
D 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.
O Nivel avanzado:
Dirigido a estudiantes de posgrado.
D is e ñ o d e p o r ta d a : R u b é n V a le n c ia .