Documentos de Académico
Documentos de Profesional
Documentos de Cultura
No. 1
Grupos
Departamento de Matemáticas
Facultad de Ciencias
Universidad Nacional de Colombia
Sede de Bogotá
8 de junio de 2021
ii
Prólogo vi
1. Grupos y subgrupos 1
1.1. Operaciones binarias y estructuras algebraicas elementales . . . . . . 1
1.2. Grupos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.3. Subgrupos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.4. Generación de subgrupos . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.5. Teorema de Lagrange . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
1.6. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
2. Grupos cı́clicos 24
2.1. Definición . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
2.2. Orden y periodo de un elemento . . . . . . . . . . . . . . . . . . . . . 26
2.3. Ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
2.4. Propiedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
2.5. Generadores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
2.6. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
4. Teoremas de estructura 42
4.1. Teorema fundamental de homomorfismo . . . . . . . . . . . . . . . . 42
4.2. Teorema de factorización . . . . . . . . . . . . . . . . . . . . . . . . . 44
4.3. Teorema de correspondencia . . . . . . . . . . . . . . . . . . . . . . . 46
4.4. Teoremas de isomorfismo . . . . . . . . . . . . . . . . . . . . . . . . . 47
4.5. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
iii
iv CONTENIDO
5. Automorfismos 53
5.1. Automorfismos interiores . . . . . . . . . . . . . . . . . . . . . . . . . 53
5.2. Teorema de Cayley . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
5.3. Ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
5.4. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
6. Grupos de permutaciones 61
6.1. Ciclos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
6.2. El grupo alternante An . . . . . . . . . . . . . . . . . . . . . . . . . . 65
6.3. Sistemas de generadores . . . . . . . . . . . . . . . . . . . . . . . . . 68
6.4. El grupo diédrico Dn , n ≥ 3 . . . . . . . . . . . . . . . . . . . . . . . 70
6.5. Subgrupos normales del grupo Dn , n ≥ 3 . . . . . . . . . . . . . . . . 73
6.6. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74
8. G-conjuntos 88
8.1. Acción de grupos sobre conjuntos . . . . . . . . . . . . . . . . . . . . 88
8.2. Órbitas y subgrupos estacionarios . . . . . . . . . . . . . . . . . . . . 90
8.3. Grupos transitivos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 94
8.4. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97
9. Teoremas de Sylow 98
9.1. p-grupos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 98
9.2. Preliminares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 101
9.3. Teoremas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 104
9.4. Aplicaciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 107
9.5. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 111
Bibliografı́a 136
Prólogo
vi
PRÓLOGO vii
tudio de la teorı́a de los grupos diciendo que los conjuntos son para la matemática
como los grupos son para el álgebra.
En el primer capı́tulo daremos la definición axiomática de la estructura abstracta
de grupo y veremos algunos conjuntos estructurados como grupos. Se estudiará la
noción de subgrupo y se demostrará un teorema de gran importancia dentro de la
teorı́a de grupos finitos, como es el teorema de Lagrange. Quizá los grupos abelia-
nos más importantes son los llamados grupos cı́clicos, ya que los grupos abelianos
finitamente generados son expresables a través de sumas directas de grupos cı́clicos.
En el segundo capı́tulo mostraremos las propiedades básicas de los grupos cı́clicos.
El objetivo central del tercer capı́tulo será mostrar la estrecha relación que guar-
dan los conceptos de subgrupo normal y homomorfismo de grupos. Se establecerá
que, salvo isomorfismo, hay tantos subgrupos normales en un grupo G como imáge-
nes homomorfas tiene este último.
Los conceptos de homomorfismo e isomorfismo, ası́ como los teoremas corres-
pondientes, serán el objeto del cuarto capı́tulo. Por medio de estos teoremas es
posible caracterizar las imágenes homomorfas de un grupo, y además son herra-
mienta clave para la clasificación de grupos, en particular, para la de los grupos
finitos. Los homomorfismos biyectivos de un grupo G en sı́ mismo se conocen como
los automorfismos de G. Estas funciones conforman un grupo que tiene información
importante relativa sobre grupo el G y serán estudiadas en el quinto capı́tulo.
En el sexto capı́tulo estudiaremos con algún detalle al grupo simétrico Sn . Des-
tacaremos en Sn el subgrupo alternante An y describiremos el grupo diédrico de
grado n, Dn , por medio de permutaciones. El objetivo del séptimo capı́tulo será
presentar la construcción del grupo producto cartesiano y la suma directa externa
para una familia dada de grupos. Como fundamento teórico para la demostración de
los teoremas de Sylow, en el octavo capı́tulo serán tratadas las acciones de grupos
sobre conjuntos. Para los grupos cı́clicos finitos es válido el recı́proco del teorema
de Lagrange (véase el segundo capı́tulo), es decir, si G un grupo cı́clico finito de
orden n y m divide a n entonces G contiene exactamente un subgrupo de orden m.
En el noveno capı́tulo se mostrará que la afirmación anterior es válida cuando m es
potencia de un primo. Este resultado es uno de los famosos teoremas de Sylow.
El objetivo del décimo capı́tulo será describir, para un entero positivo n dado,
todos los grupos abelianos de orden n (salvo isomorfismo). Se incluirá también en
este capı́tulo una tabla con la lista de todos los grupos de orden ≤ 15. Por último,
una de las más importantes generalizaciones de la noción de conmutatividad es la
solubilidad, de la cual nos ocuparemos en el último capı́tulo.
El material presentado está complementado con una gran variedad de ejemplos
que ilustran las definiciones y propiedades estudiadas a lo largo del texto. Estos
ejemplos constituyen parte muy importante de la teorı́a básica de grupos introducida
en el presente cuaderno.
Otras fuentes fuertemente recomendadas a los lectores para complementar los
viii PRÓLOGO
Grupos y subgrupos
La teorı́a de grupos estudia ciertos objetos matemáticos llamados grupos, ası́ como
las relaciones entre ellos, los homomorfismos. Se podrı́a justificar el estudio de la
teorı́a de los grupos diciendo que los conjuntos son para la matemática como los
grupos son para el álgebra. En este capı́tulo presentamos la definición axiomática de
la estructura abstracta de grupo y veremos algunos ejemplos notables. Se estudiará
la noción de subgrupo y se demostrará un teorema de gran importancia dentro de
la teorı́a de grupos finitos, como es el teorema de Lagrange sobre clases laterales.
1
2 CAPÍTULO 1. GRUPOS Y SUBGRUPOS
4:N×N→N
(a, b) 7→ mı́n(a, b).
Ejemplo 1.1.4. Sea X un conjunto no vacı́o y sea P (X) el conjunto de todos los
subconjuntos de X, denominado el conjunto de partes de X. La intersección de
conjuntos define una operación binaria interna en P (X):
∗:N×N→N
a ∗ b 7→ (a 4 b) + 2,
5 ∗ 3 = (5 4 3) + 2 = 3 + 2 = 5,
4 ∗ 4 = (4 4 4) + 2 = 4 + 2 = 6.
Dado un conjunto G con una operación binaria interna ∗ y dados 3 elementos a,b
y c del conjunto G, podemos preguntarnos las maneras de operar estos tres elementos
en ese orden e investigar si los resultados de estas formas de operar coinciden. Ası́,
en el ejemplo 1.1.2 sean 2, 5, 7 ∈ N, entonces
(3 ∗ 5) ∗ 7 = 5 ∗ 7 = 7 y 3 ∗ (5 ∗ 7) = 3 ∗ 7 = 5.
Esto permite clasificar las operaciones binarias de acuerdo con esta condición.
1.1. OPERACIONES BINARIAS Y ESTRUCTURAS ALGEBRAICAS ELEMENTALES 3
a ∗ (b ∗ c) = (a ∗ b) ∗ c.
De esta definición surge de inmediato una pregunta: en el caso que sean dados
4, 5, ó n elementos (en un orden determinado), ¿la secuencia en que se efectuen las
operaciones influye en el resultado? Se puede probar por inducción sobre n que si la
operación es asociativa, es decir, si para el caso de 3 elementos se tiene la propiedad
exigida, entonces la misma propiedad tendrá lugar para cualesquiera n elementos
dados. Ası́ pues, si se dan n elementos a1 , . . . , an del conjunto G y suponiendo que
la operación ∗ de G es asociativa, los paréntesis que indican la secuencia de como se
realizan las operaciones en la expresión a1 ∗ · · · ∗ an pueden ser colocados donde se
quiera y el resultado no varı́a.
a1 := a, an := an−1 ∗ a, n ≥ 2.
a ∗ b = b ∗ a.
(a ∗ b)n = an ∗ bn .
e ∗ a = a = a ∗ e.
(x ∗ u)0 = u0 ∗ x0 , (x0 )0 = x.
1.2. Grupos
En la sección anterior fueron estudiadas algunas propiedades para una operación
binaria definida en un conjunto. Se dijo que cuando la operación binaria ∗ definida
sobre el conjunto G es asociativa se obtiene sobre G una estructura de semigrupo.
Al poseer la operación ∗ más propiedades, la estructura se hace más rica y las
posibilidades de operar en G se hacen mayores. Un ejemplo de tal situación lo
constituyen los llamados grupos, los cuales pasamos a definir.
(i) ∗ es asociativa.
Denotaremos un grupo por (G, ∗), o también por (G, ∗, e) para destacar la iden-
tidad, pero cuando no haya ambiguedad escribiremos simplemente G.
Ejemplo 1.2.3. Los siguientes conjuntos numéricos, donde las operaciones indica-
das son las habituales, constituyen grupos conmutativos:
(ii) Cada elemento x de G tiene un único inverso, el cual se denota por x−1 .
(ii) Cada elemento x ∈ G tiene inverso a izquierda, es decir, existe x0 ∈ G tal que
x0 ∗ x = e.
a ∗ b = a,
a ∗ c = a,
a ∗ b = a ∗ c ⇒ b = c.
8 CAPÍTULO 1. GRUPOS Y SUBGRUPOS
fg : X → G
x 7→ (f g)(x) = f (x) · g(x),
1.3. Subgrupos
Dado un grupo (G, ·, 1) y un subconjunto no vacı́o S de G, es interesante conocer si
bajo la misma operación binaria S tiene también estructura de grupo. Lo primero
que deberá cumplirse es que el producto x · y de dos elementos del conjunto S debe
permanecer también en S.
De acuerdo con esta definición se tendrı́an que verificar cuatro condiciones para
garantizar que un subconjunto ∅ =6 S ⊆ G constituye un subgrupo:
(i) Si x, y ∈ S, entonces x · y ∈ S.
Sin embargo, como lo muestra la siguiente proposición, sólo hay que comprobar el
cumplimiento de dos condiciones.
(i) Si a, b ∈ S, entonces a · b ∈ S.
Ejemplo 1.3.3. Subgrupos triviales. Todo grupo (G, ·, 1) tiene al menos dos
subgrupos, llamados sus subgrupos triviales:
Ejemplo 1.3.8. Para un semigrupo con notación multiplicativa fueron definidas las
potencias enteras positivas (véase la proposición 1.1.8). Pretendemos ahora extender
estas potencias a todos los enteros y presentar la correspondiente notación para el
caso de los grupos aditivos. Sea G un grupo, entonces
1.3. SUBGRUPOS 11
(G, ·, 1) (G, +, 0)
a1 := a 1 · a := a
an := an−1 · a, n ∈ Z+ n · a := (n − 1) · a + a, n ∈ Z+
a0 := 1 0 · a := 0
−n
a := (a−1 )n , n ∈ Z+ (−n) · a := n · (−a), n ∈ Z+
Teniendo en cuenta esta definición, es posible demostrar por inducción matemática
las siguientes relaciones en cualquier grupo: para cualesquiera m, n ∈ Z se tiene
H + := {x ∈ H | x ∈ Z+ } =
6 ∅.
Demostración. Evidente.
H ≤ K ⇔ (K = H ó K = G).
K ≤ H ⇔ (K = H ó K = {1}).
Ejemplo 1.4.3. Los subgrupos maximales del grupo (Z, +, 0) son de la forma hpi,
donde p es primo. Además, (Z, +, 0) no posee subgrupos minimales.
1.4. GENERACIÓN DE SUBGRUPOS 13
(iii) hXi coincide con la intersección de la familia de todos los subgrupos de G que
contienen a X.
(iv) h∅i = 1.
Demostración. Evidente.
La proposición anterior no permite de una manera concreta determinar los ele-
mentos del subgrupo hXi, ya que serı́a necesario determinar todos los subgrupos de
G que contienen X y luego efectuar la intersección. Se tiene el siguiente resultado.
Proposición 1.4.5. Sean (G, ·, 1) un grupo y X 6= ∅ un subconjunto de G. Entonces,
hXi = {xε11 · · · xεnn | xi ∈ X, εi = ±1, n ≥ 1}.
Demostración. Sea S el conjunto de la derecha de la igualdad anterior. Entonces, S
es un subgrupo de G: en efecto, sean x = xε11 · · · xεnn , y = y1θ1 · · · ym
θm
dos elementos de
ε1 ε n θ1 θm
S, entonces xy = x1 · · · xn y1 · · · ym tiene la forma de los elementos del conjunto
S. Es claro que el inverso de un elemento de S tiene la forma de los elementos de S.
Además, S contiene al conjunto X: en efecto, para cada elemento x de X se tiene
que x = x1 ∈ S. De lo anterior se obtiene que hXi ≤ S.
De otra parte, \
hXi = H,
X⊆H≤G
Ejemplo 1.4.9. Sea (Q, +, 0) el grupo aditivo de los números racionales, entonces
Q = n1 | n ∈ N .
(i) H ≤ G ⇔ hHi = H.
(ii) X ⊆ Y ⊆ G ⇒ hXi ≤ hY i.
(iii) hXi ∪ hY i ⊆ hX ∪ Y i.
1.5. TEOREMA DE LAGRANGE 15
1.6. Ejercicios
1. Demuestre por inducción las proposiciones 1.1.8 y 1.1.13.
6. Sean (A, ∗) y (B, ∆) conjuntos con operaciones binarias internas. Una función
f : A → B se denomina un homomorfismo si f respeta las operaciones de
los conjuntos A y B, es decir,
(i) Demuestre que (1.6.1) está bien definida, es decir, demuestre que para
otros representantes a1 y b1 de las clases [a] y [b], respectivamente, se
cumple que [a1 ]∗[b1 ] = [a]∗[b].
(ii) Demuestre que la función j : (A, ∗) → (A, ∗), que asigna a cada elemento
a de A su clase [a], es un homomorfismo sobreyectivo.
10. Sea (G, ·) un semigrupo finito en el cual se cumplen las leyes cancelativas, es
decir, para cualesquiera elementos a, b, c ∈ G, se tiene que:
ac = bc ⇔ a = b,
ca = cb ⇔ a = b.
es un grupo. ¿G es conmutativo?
15. Sea R \{0} el conjunto de reales no nulos con la operación ◦ definida por
a ◦ b := |a| b.
16. Cada una de las siguientes tablas define operaciones binarias internas de las
cuales se sabe que son asociativas. Compruebe que ellas definen grupos:
Z4 = {0, 1, 2, 3}
1.6. EJERCICIOS 21
+ 0 1 2 3
0 0 1 2 3
1 1 2 3 0
2 2 3 0 1
3 3 0 1 2
V = {e, a, b, c}
. e a b c
e e a b c
a a e c b
b b c e a
c c b a e
21. Sea GLn (R) el grupo lineal general de orden n sobre los números reales,
es decir, GLn (R) := Mn (R)∗ es el grupo de elementos invertibles del semigrupo
multiplicativo (Mn (R), ·). Entonces,
(i) Sea SLn (R) el subconjunto de GLn (R) constituido por las matrices de
determinante 1, es decir,
22 CAPÍTULO 1. GRUPOS Y SUBGRUPOS
Demuestre que:
Grupos cı́clicos
Una rama destacada dentro de la teorı́a de grupos la constituyen los llamados gru-
pos abelianos. Quizá los grupos abelianos más importantes son los llamados grupos
cı́clicos ya que los grupos abelianos finitamente generados son expresables a través
de sumas directas de grupos cı́clicos. En este capı́tulo mostraremos las propieda-
des básicas de los grupos cı́clicos finitos. Se establecerá la relación que guardan los
conceptos de periodo de un elemento y orden. Para grupos cı́clicos finitos son de-
mostradas algunas proposiciones relacionadas con el orden de sus subgrupos y el
número de generadores de dichos grupos. Al final del capı́tulo hemos incluido una
serie de ejercicios donde se estudian algunas aplicaciones de los grupos cı́clicos a
teorı́a elemental de números.
2.1. Definición
Sea G un grupo cualquiera y sea a un elemento arbitrario de G. El conjunto de todas
las potencias enteras an , n ∈ Z, del elemento a constituye un subgrupo de G llamado
el subgrupo cı́clico de G generado por el elemento a. Como vimos en el capı́tulo
anterior, cuando el grupo G sea aditivo, na, n ∈ Z, representa los múltiplos enteros
del elemento a. Recordemos la nociones de subgrupo y grupo cı́clico introducidas en
el capı́tulo anterior.
hai = {n · a | n ∈ Z} = {. . . , −3 · a, −2 · a, −a, 0, a, 2 · a, 3 · a, . . . }.
24
2.1. DEFINICIÓN 25
Es posible que el subgrupo generado por algún elemento a del grupo G coincida
con todo el grupo: hai = G, esta situación se presenta por ejemplo con el entero 1
en el grupo aditivo de los números enteros. Los grupos para los cuales se tiene este
tipo de situación reciben un nombre especial.
Ejemplo 2.1.3. (i) Z es un grupo cı́clico y todos sus subgrupos son cı́clicos (véase
el ejemplo 1.3.10).
(ii) El grupo de raı́ces complejas de grado n de la unidad, n ≥ 1, es cı́clico:
denotemos por Un las soluciones complejas de la ecuación xn = 1, es decir,
Un := {z ∈ C | z n = 1};
(i) El subgrupo cı́clico hai generado por a es infinito si, y sólo si, a es un elemento
de periodo infinito.
(ii) El subgrupo cı́clico hai generado por a es finito si, y sólo si, a es un elemento
de periodo finito. Además, si n es el periodo del elemento a, entonces el orden
|hai| del subgrupo generado por el elemento a es exactamente n, se denomina
el orden del elemento a y se simboliza por |a| . Si a es de periodo infinito se
dice que a es un elemento de orden infinito y se escribe |a| = ∞.
2.2. ORDEN Y PERIODO DE UN ELEMENTO 27
2.3. Ejemplos
Ejemplo 2.3.1. Grupo sin torsión. Notemos en primer lugar que todo grupo sin
torsión debe ser infinito. Sea p un número primo. El conjunto de números racionales
n o
m
Qp = pn
∈ Q | m, n ∈ Z
m1 m2 m1 .pn2 + m2 .pn1
p n1
+ p n2
= p n1 + n2
∈ Qp ,
m −m
− pn = pn ∈ Qp .
Sea pmn ∈ Qp , supongamos que existe k > 0 tal que k m
pn
= 0, es decir, km
pn
= 0,
entonces km = 0, ası́ m = 0. Por lo tanto, pmn = 0.
Veamos que estos son los únicos subgrupos: sea H un subgrupo propio de Cp∞ . Si
para cada k ≥ 0, Cpk ≤ H, entonces H = Cp∞ , pero este caso está descartado.
Entonces, existe un k ≥ 0 tal que Cpk no está incluido en H. Escojamos el menor k
tal que Cpk−1 ≤ H, pero Cpk no está incluido en H. k no puede ser 0 ya que Cp0 ≤ H.
Por lo tanto, k ≥ 1. La idea es demostrar que H = Cpk−1 . Si esto es ası́, entonces el
n buscado es n = k − 1.
Sabemos que Cpk−1 ≤ H y supongamos que la inclusión es estricta, es decir, existe
z ∈ H pero z ∈ / Cpk−1 . Como z ∈ Cp∞ existe un m ≥ 1 mı́nimo tal que z ∈ Cpm
pero z ∈/ Cpm−1 . Nótese que m ≥ k porque de lo contario z ∈ Cpk−1 . Se tiene que
Cpk ≤ Cpm . Sea Cpm =< z1 >, entonces z = z1a , donde 0 ≤ a ≤ pm − 1, nótese
que p no divide al entero a. En efecto, si p|a, entonces a = pb y, en consecuencia,
m−1 m−1 m
zp = z1ap = z1bp = 1, pero esto indica que z ∈ Cpm−1 , lo cual es falso. Se tiene
entonces que a y pm son primos realtivos, m
es decir, 1 = ua + vpm , donde u, v son
a u p
enteros. De aquı́ resulta que z1 = (z1 ) (z1 ) = z u . Esto implica que Cpm ≤ hzi ≤ H
v
2.4. Propiedades
Las siguientes afirmaciones son válidas para grupos cı́clicos cualesquiera. Especial-
mente importante es la afirmación (iv).
(iv) Sea G 6= {1} un grupo. Entonces, G es un grupo cı́clico finito de orden primo
si, y sólo si, G no tiene subgrupos diferentes de los triviales.
2.5. Generadores
Teorema 2.5.1. (i) Sea G un grupo cı́clico finito de orden n con generador a.
Entonces, x ∈ G es generador de G ⇔ x = ar , donde m.c.d.(n, r) = 1.
(ii) Sea G un grupo cı́clico con generador a y sea H 6= {1} un subgrupo de G.
Entonces, H = has i , donde s es el menor entero positivo tal que as ∈ H.
Además, si G es de orden finito n entonces |H| = nd , d = m.c.d.(n, s).
(iii) Sea G un grupo cı́clico de orden finito n y sea t ∈ Z+ tal que t | n. Entonces
G contiene exactamente un subgrupo de orden t.
Demostración. (i) ⇒): sea x un generador de G = hai . Entonces existe un r ∈ Z
tal que x = ar y hxi = har i = hai . De aquı́ obtenemos que a ∈ har i , es decir, existe
2.5. GENERADORES 31
24
d
= 6, entonces d = 4 = s;
4 = 0, 4, 8, 12, 16, 20 ,
24
d
= 8, entonces d = 3 = s;
3 = 0, 3, 6, 9, 12, 15, 18, 21 ,
24
d
= 12, entonces d = 2 = s; 2 = 0, 2, 4, 6, 8, 10, 12, 14, 16, 18, 20, 22 .
2.6. Ejercicios
1. Sea G un grupo y sean a,b elementos de G tales que:
(i) ab=ba.
(ii) |a| = n, |b| = m.
(iii) m.c.d.(n, m) = 1.
Subgrupos normales y
homomorfismos
El objetivo central de este capı́tulo es mostrar la estrecha relación que guardan los
conceptos de subgrupo normal y homomorfismo de grupos. Será demostrado que,
salvo isomorfismo, hay tantos subgrupos normales en un grupo G como imágenes
homomorfas tiene este último. El concepto de grupos isomorfos permite, entre otras
cosas, clasificar los grupos cı́clicos: los infintos que son isomorfos a hZ, +i y los finitos
de orden n que son isomorfos a hZn , +i. Dentro de los ejemplos hemos incluido un
grupo muy importante como es el grupo óctico correspondiente a las 8 simetrı́as del
cuadrado.
a ≡ b ⇔ ab−1 ∈ H.
Puesto que las clases de equivalencia están determinadas por el subgrupo H, es lógico
preguntarnos que condición debe satisfacer H para que podamos dar al conjunto de
clases de equivalencia una estructura de grupo. Antes de responder a estas preguntas
recordemos cierta terminologı́a introducida previamente.
34
3.2. GRUPO COCIENTE 35
(ii) ∀x ∈ G : x−1 Hx = H.
(iii) ∀x ∈ G : xH = Hx.
(iv) Zn = Z/hni.
ϕ (x) = ϕ (y) ⇔ x = y.
(i) ϕ (1) = 1.
H ≤ G ⇒ ϕ (H) ≤ F .
K ≤ F ⇒ ϕ−1 (K) ≤ G.
H E G ⇒ ϕ (H) E Im(ϕ).
K E F ⇒ ϕ−1 (K) E G.
(x) ϕ es un isomorfismo si, y sólo si, existe una función θ : F → G tal que
θϕ = iG , ϕ θ = iF .
3.4. Ejercicios
1. Demuestre que en un grupo abeliano todos sus subgrupos son normales.
2. Sea G un grupo y A un subconjunto no vacı́o de G. Para x ∈ G, el conjunto
Ax := x−1 Ax = {x−1 ax | a ∈ A}
6. Sea G un grupo y sea X un conjunto no vacı́o. Demuestre que Z[Aplc (X, G)] =
Aplc (X, Z (G)).
Teoremas de estructura
42
4.1. TEOREMA FUNDAMENTAL DE HOMOMORFISMO 43
◦ 1 f f2 g f g f 2g
2
1 1 f f g f g f 2g
f f f2 1 f g f 2g g
f2 f2 1 f f 2g g fg
2 2
g g f g fg 1 f f
fg fg g f 2g f 1 f2
f 2g f 2g f g g f2 f 1
hgi no es subgrupo normal de S3 ya que f gf −1 = f gf 2 = f 2 g ∈
/ hgi; hf gi no es
2 2 −1 2 2
subgrupo normal de S3 ya que f f g (f ) = f f gf = gf = f g ∈ / hf gi; hf 2 gi no
2 −1 2 2
es subgrupo normal de S3 ya que f f gf = gf = f g ∈ / hf gi .
S3 no tiene subgrupos normales de orden 2,
1, hf i, S3 son los subgrupos normales de S3 .
Ası́, las imágenes homomorfas de S3 (salvo isomorfismo) son S3 /1 = S3 , S3 / hf i ∼
= Z2
6 ∼
ya que |S3 / hf i| = 3 = 2; S3 /S3 = Z1 = {0} (grupo unitario).
x, y ∈ B : xρy ⇔ xy −1 ∈ A.
Denotemos por [x] la clase de equivalencia correspondiente al elemento x ∈ B medi-
ante la relación ρ. Sea θ la relación de equivalencia inducida en B/H por el subgrupo
A/H:
x̄, ȳ ∈ B/H : x̄θȳ ⇔ x̄ ȳ −1 ∈ A/H.
(x̄ = Hx, x ∈ B). Denotemos por [x̄] la clase de equivalencia determinada por el
elemento x̄ de B/H mediante la relación θ.
Sean C1 = B/ρ y C2 = (B/H)/θ los respectivos conjuntos cocientes. Se quiere
probar que Card(C1 ) = Card(C2 ) : Definimos
F : C 1 → C2
F ([x]) := [x].
F está bien definida: [x] = [y] implica xy −1 ∈ A luego xy −1 ∈ A/H, es decir,
x y −1 ∈ A/H, con lo cual [x] = [y] y F ([x]) = F ([y]).
F es inyectiva: F ([x]) = F ([y]) implica [x] = [y], de donde x y −1 ∈ A/H, por lo
tanto, xy −1 ∈ A, luego [x] = [y]. F es obviamente sobreyectiva.
(G/H)/(K/H) ∼
= G/K.
HK/K ∼
= H/H ∩ K.
Demostración. En primer lugar HK = KH: sea hk∈ HK, ya que K E G se tiene
que hk = (hkh−1 )h ∈ KH; ası́ pues, HK ⊆ KH. Sea ahora kh ∈ KH, entonces
kh = h(h−1 kh) ∈ HK ⇒ KH ⊆ HK, en consecuencia, HK = KH. Esto garantiza
que HK es un subgrupo de G. Como K E G, entonces K E HK y tiene sentido el
grupo factor HK/K. Definimos la función
f : H → HK/K
h 7→ hK.
Probemos que f es un homomorfismo sobreyectivo con núcleo ker(f ) = H ∩ K :
f (h1 h2 ) = (h1 h2 )K = h1 Kh2 K = f (h1 )f (h2 ). Sea x ∈ HK/K. Entonces x es de
la forma x = hkK = hK = f (h). Esto prueba que f es sobre. Sea x ∈ ker(f ),
entonces f (x) = xK = 1K, es decir, x ∈ K con lo cual x ∈ H ∩ K. Esto establece
que ker(f ) = H ∩ K y el teorema está demostrado.
Ejemplo 4.4.3. (i) Calculemos las imágenes homomorfas de Zn , n ≥ 0. Para n = 0,
Z0 = Z, según vimos, en este caso las imágenes homomorfas son de la forma Zn ,
n ≥ 0. Sea n = 1, Z1 = 0, grupo con un solo elemento. Por tanto, las únicas
imágenes homomorfas de Z1 son los grupos unitarios. Sea n ≥ 2, Zn = Z/ hni. Las
imágenes homomorfas de Zn según el teorema fundamental de homomorfismo son de
la forma Zn /H, donde H es subgrupo normal de Zn . Como Zn es un grupo abeliano,
entonces todos sus subgrupos son normales. Según el teorema de correspondencia
los subgrupos de Zn = Z/ hni son de la forma K/ hni, donde K es un subgrupo
de Z que contiene al subgrupo hni. Los subgrupos de Z son de la forma hmi. Ası́,
los subgrupos de Zn = Z/ hni son de la forma hmi / hni, donde hmi ⊇ hni. Nótese
que si hni ⊆ hmi, entonces n = km, k ∈ Z, es decir, m|n. Recı́procamente, si m|n
entonces hni ⊆ hmi. En conclusión, los subgrupos de Zn = Z/ hni son de la forma
hmi / hni con m|n. Por tanto, las imágenes homomorfas de Zn = Z/ hni son de
la forma Z/ hni / hmi / hni ∼ = Z/ hmi = Zm . Ası́, las imágenes homomorfas de Zn
son los subgrupos Zm con m|n. Por ejemplo, las imágenes homomorfas de Z12 son:
Z1 = 0, Z2 , Z3 , Z4 , Z6 , Z12 .
(ii) Sea G un grupo no unitario y sea H E G. Se dice que H es un subgrupo
normal maximal de G, si para cualquier K ≤ G se cumple que
H ≤ K y K E G ⇔ K = H o K = G,
en otras palabras, los únicos subgrupos normales de G que contienen H son G y H.
Sea hG, ·, 1i un grupo simple, es decir, G es no trivial y los únicos subgrupos normales
de G son los triviales: {1} y G. Probemos que H E G es maximal si, y sólo si, G/H
es simple: sea W un subgrupo normal de G/H, según el teorema de correspondencia
existe en G un subgrupo normal K que contiene H. Por ser H normal maximal
K = H o K = G, es decir W = K/H = H/H o W = G/H, de manera equivalente,
4.4. TEOREMAS DE ISOMORFISMO 49
los únicos subgrupos normales de G/H son los triviales. Sea ahora K ≤ G, K E G,
H ≤ K. Entonces, según el teorema de correspondencia, K/H E G/H, pero como
este último es simple, entonces K/H = {1} o K/H = G/H, luego K/H = H/H o
K/H = G/H, por lo tanto, K = H o K = G, con lo cual H es maximal normal.
(iii) Calculemos las imágenes homomorfas del cuarto grupo de Klein
V = {1, a, b, ab}, a2 = 1, b2 = 1, ab = ba.
V es un grupo de orden 4. Por tanto, sus subgrupos son de órdenes 1,2,4. Subgrupo
de orden 1 : H1 = {1}. Los subgrupos de orden 2 son necesariamente cı́clicos:
H2 = hai = {1, a}, K2 = hbi = {1, b}, L2 = habi = {1, ab}. Ası́, los subgrupos de
orden 2 son H2 = hai, K2 = hbi, L2 = habi. Hay un único subgrupo de orden 4:
V . De lo anterior obtenemos que todos los subgrupos de V son normales. Ası́, las
imágenes homomorfas de V son: V /H1 ∼ = V /K2 ∼
= V , V /H2 ∼ = V /L2 ∼
= Z2 , V /V = 1.
(iv) Notemos que V es un grupo abeliano de orden 4 al igual que Z4 . Sin embargo,
V no es isomorfo a Z4 ya que este último es cı́clico. Tenemos entonces dos grupos
distintos de orden 4. Preguntamos si existen otros grupos de orden 4 diferentes (no
isomorfos) a Z4 y V . La respuesta es no: como V es de orden 4, V es necesariamente
abeliano. En efecto, probemos que si G es un grupo de orden ≤ 5, entonces G es
abeliano:
Si |G| = 1, entonces G es un grupo unitario, luego abeliano.
Si |G| = 2, entonces G es un grupo cı́clico, luego G ∼ = Z2 , de donde G es abeliano.
∼
Si |G| = 3, entonces G es cı́clico, luego G = Z3 y G es abeliano.
Sea |G| = 4, si G es cı́clico, entonces G ∼ = Z4 es abeliano.
Si |G| = 5, entonces G es un grupo cı́clico, luego G ∼ = Z5 es abeliano.
Volvemos al caso |G| = 4 y G no es cı́clico. Entonces, cada elemento de G es de
orden 1 o 2 (no hay elementos de orden 4, ya que de lo contrario G serı́a cı́clico).
De esto concluimos que G = {1, a, b, ab}, a2 = 1, b2 = 1, ab = ba, es decir, G es el
cuarto grupo de Klein.
(v) Determinemos la imágenes homomorfas de D4 : recordemos que D4 = {1, f, f 2
f , g, f g, f 2 g, f 3 g}. La tabla de D4 ayuda a determinar los subgrupos de D4 (véase
3
el capı́tulo 3). 1 es el único subgrupo de orden 1. Los subgrupos de orden 2 son los
determinados por las permutaciones de orden 2:
hgi , hf 2 i , hf gi , hf 2 gi , hf 3 gi son los subgrupos de orden 2.
Los subgrupos de orden 4 son de dos tipos, unos isomorfos a Z4 y otros isomorfos
a V , el cuarto grupo de Klein. Elementos de orden 4: f , f 3 . Pero hf i = hf 3 i ∼ = Z4 .
Subgrupos isomorfos a V = {1, a, b, ab}, a2 = 1, b2 = 1, ab = ba. a puede tomar los
valores f 2 , g, f g, f 2 g, f 3 g; lo mismo ocurre para b. Se presentan entonces 5·4
2
= 10
combinaciones posibles:
1) a = f 2 , b = g, es decir, K4 = {1, f 2 , g, f 2 g};
2) a = f 2 , b = f g, es decir, H4 = {1, f 2 , f g, f 3 g};
50 CAPÍTULO 4. TEOREMAS DE ESTRUCTURA
3) a = f 2 , b = f 2 g, es decir, K4 ;
4) a = f 2 , b = f 3 g, es decir, H4 ;
5) a = g, b = f g, descartado ya que g(f g) 6= (f g)g;
6) a = g, b = f 2 g, es decir, K4 ;
7) a = g, b = f 3 g, descartado ya que g(f 3 g) 6= (f 3 g)g;
8) a = f g, b = f 2 g, descartado ya que (f g)(f 2 g) 6= (f 2 g)(f g);
9) a = f g, b = f 3 g, es decir, H4 ;
10) a = f 2 g, b = f 3 g, descartado ya que (f 2 g)(f 3 g) 6= (f 3 g)(f 2 g).
Subgrupos de orden 4: Isomorfos a Z4 : hf i ; isomorfos a V: K4 , H4 .
Único subgrupo de orden 8: D4 .
En resumen se obtiene lo siguiente: hf i ∼ = Z4 ; K4 ∼ = H4 ∼ = V;
∼ 2 ∼ 2 ∼ 3 ∼
hgi = hf gi = hf i = hf gi = hf gi = Z2 . ∼
De otra parte, 1 y D4 son automáticamente subgrupos normales de D4 .
Además, K4 , H4 y hf i son también normales ya que su ı́ndice en D4 es 2.
hgi no es subgrupo normal de D4 ya que f −1 gf = f 3 gf = f 2 g ∈ / hgi;
−1 3
hf gi no es subgrupo normal de D4 ya que g (f g)g = f g ∈ / hf gi;
2 −1 2
hf gi no es subgrupo normal de D4 ya que f (f g)f = g ∈ / hf 2 gi;
hf 3 gi no es subgrupo normal de D4 ya que f −1 (f 3 g)f = f g ∈ / hf 3 gi;
hf 2 i E D4 ya que f −1 f 2 f = f 2 ; (f 2 )−1 f 2 f 2 = f 2 ; (f 3 )−1 f 2 f 3 = f 2 ; g −1 f 2 g = f 2 ;
(f g)−1 f 2 (f g) = f 2 ; (f 2 g)−1 f 2 (f 2 g) = f 2 ; (f 3 g)−1 f 2 (f 3 g) = f 2 .
Subgrupos normales de D4 : 1, D4 , hf 2 i, hf i, K4 , H4 .
Las imágenes homomorfas de D4 (salvo isomorfismo) son:
D4 /1 = D4 ; D4 / hf i = Z2 ; D4 /K4 ∼ = D4 /H4 ∼ = Z2 ; D4 /D4 = 1.
Para hf i se tiene que D4 / hf i = Z4 o D4 / hf 2 i ∼
2 2 ∼
= V . La primera posibilidad
2
es descartada ya que en D4 / hf i no hay elementos de orden 4: en efecto, en D4
todos los elementos salvo 1, f 2 , f 3 son de orden 2. Además, para estos últimos se
tiene que |1̄| = 1, f¯ = 2, f 3 = 2. Por tanto, D4 / hf 2 i ∼
= V , esta es la otra imagen
homomorfa de D4 .
(vi) Calculemos las imágenes homomorfas del grupo de los cuaterniones de
Hamilton Q8 : el grupo Q8 es de orden 8 y puede ser definido por las siguientes
relaciones:
◦ 1 a a2 a3 b ab a2 b a3 b
1 1 a a2 a3 b ab a2 b a3 b
a a a2 a3 1 ab a2 b a3 b b
a2 a2 a3 1 a a2 b a3 b b ab
a3 a3 1 a a2 a3 b b ab a2 b
b b a3 b a2 b ab a2 a 1 a3
ab ab b a3 b a2 b a3 a2 a 1
a2 b a2 b ab b a3 b 1 a3 a2 a
a3 b a3 b a2 b ab b a 1 a3 a2
4.5. Ejercicios
1. Calcule las imágenes homomorfas del grupo GL2 (R).
Automorfismos
fx : G : → G
a 7→ x−1 ax
53
54 CAPÍTULO 5. AUTOMORFISMOS
G/Z (G) ∼
= Int (G).
n!
Corolario 5.2.2. Sea n ≥ 1. Entonces, existen a lo sumo n
grupos no isomórficos
de orden n.
Demostración. Sea G un grupo finito de orden n. Entonces, G es isomorfo a un
subgrupo de Sn (recordemos que Sn denota el grupo de funciones biyectivas de
{1, 2, . . . , n} en si mismo, véase el ejemplo 1.2.9). Pero Sn tiene un número finito
de subgrupos de orden n, este número es menor que n! n
. Nótese que el problema
de determinar todos los grupos no isomorfos de orden n se reducirı́a a determinar
todos los subgrupos no isomorfos de Sn con n elementos.
5.3. Ejemplos
Ejemplo 5.3.1. Automorfismos de grupos cı́clicos: (i) Grupo cı́clico infinito Z: sea
f ∈ Aut(Z). Como f es un automorfismo, la imagen de cada generador de Z es
nuevamente un generador de Z, más generalmente, si G es un grupo cı́clico con
generador a y f ∈ Aut (G), entonces f (a) es un generador de G. En efecto, dado
x ∈ G existe y ∈ G tal que x = f (y), luego x = f (at ) = f (a)t , con t ∈ Z.
Puesto que Z tiene sólo dos generadores entonces se presentan dos posibilidades
para f , f (1) = 1 ó f (1) = −1. En el primer caso, f (k) = k, en el segundo, f (k) = −k,
para cada k, por lo tanto, Aut(Z) ∼ = Z2 .
(ii) Grupo cı́clico finito de orden n, Zn : recordemos que el grupo Zn se obtuvo a
partir de Z por medio de una relación de equivalencia
a ≡ b ⇔ n|(a − b), a, b ∈ Z.
En otras palabras, Zn es el grupo cociente Z/ hni. En Zn se puede definir un producto
y convertirlo en un semigrupo multiplicativo:
r s = rs, para 0 ≤ r, s < n.
Es sencillo verificar que el producto está correctamente definido. Además, este
pro-
ducto es asociativo con elemento neutro 1, luego se tiene el monoide Zn , ·, 1 . Aso-
ciado a todo monoide se tiene su grupo de elementos invertibles Z∗n . Nótese que
Z∗n = {r| (r, n) = 1, 1 ≤ r < n}.
En efecto,
r ∈ Z∗n ⇔ ∃s ∈ Zn tal que r s = 1 ⇔ rs = 1 ⇔ n| (rs − 1) ⇔ rs − 1 = nk, con
k ∈ Z ⇔ (r, n) = 1.
Con la observación anterior queremos probar que Aut(Zn ) ∼ = Z∗n .
Sea h : Zn → Zn un automorfismo de Zn . Como 1 genera a Zn , entonces h(1) es
un generador de Zn . Ası́ pues, tenemos tantos automorfismos como generadores tiene
Zn . Pero nótese que r genera Zn si, y sólo si, m.c.d.(r, n) = 1. Podemos entonces
definir
56 CAPÍTULO 5. AUTOMORFISMOS
iG = 11 aa bb ab , f := 11 ab ab
b ab
ab a
,
1 a b ab 2 1 a b ab
g := 1 a ab b , f = 1 ab a b ,
f g = 11 ab ab ab , f 2 g = 11 aab bb aba .
ab
Entonces, Aut (V ) ∼
= S3 .
Ejemplo 5.3.5. Aut (D4 ): en el capı́tulo 6 estudiaremos los automorfismos del grupo
diédrico Dn . Según se verá allá, |D4 | = 4ϕ (4) = 8, Int (D4 ) ∼
= V y Aut (D4 ) ∼
= D4 .
Explı́citamente los automorfismos de D4 son:
T1,0 : D4 → D4
f αgβ 7→ f α (f 0 g)β = f α g β
T1,0 = iD4
T1,1 : D4 → D4
α β
f g 7→ f α (f g)β
2 3 g f g f 2g f 3g
T1,1 = 11 f f 2
f f f
f3 fg f 2g f 3g g
T1,2 : D4 → D4
f αgβ 7 → f α (f 2 g)β
5.3. EJEMPLOS 57
2 f3 g f g f 2g f 3g
T1,2 = 11 ff ff 2
f3 f 2g f 3g g f g
T1,3 : D4 → D4
f αgβ 7 → f α (f 3 g)β
2 f3 g f g f 2g f 3g
T1,3 = 11 ff ff 2
f3 f 3y g f g f 2g
T3,0 : D4 → D4
α
f αgβ 7→ (f 3 ) (f 0 g)β
2 f3 f g f 2g f 3g
T3,0 = 11 ff 3 ff 2 g
f g f 3g f 2g f g
T3,1 : D4 → D4
α
f αgβ 7→ (f 3 ) (f g)β
2 f3 f 2g f 3g
T3,1 = 11 ff 3 ff 2 g fg
f fg g f 3g f 2g
T3,2 : D4 → D4
α
f αgβ 7→ (f 3 ) (f 2 g)β
2 f3 g f g f 2g f 3g
T3,2 = 11 ff 3 ff 2
f f 2g f g g f 3g
T3,3 : D4 → D4
α
f αgβ 7→ (f 3 ) (f 3 g)β
2 f3 g f g f 2g f 3g
T3,3 = 11 ff 3 ff 2
f f 3g f 2g f g g
.
po
Ejemplo 5.3.6. Aut (Q): sea f ∈ Aut (Q) y sea = f (1) , (po , qo ) = 1. Entonces,
qo
p
f (p/q) = pf (1/q), de donde qf (p/q) = pf (1), luego f (p/q) = f (1). Lo anterior
q
permite establecer la función
τ : Aut(Q) → Q∗
f 7 → f (1).
f: Q → Q
p p p0
7→ .
q q q0
p0 p0
Nótese que f (1) = , es decir, τ (f ) = . Veamos que f ∈ Aut(Q):
q0 q0
58 CAPÍTULO 5. AUTOMORFISMOS
p r ps + qr ps + qr p0
f + =f =
q s qs qs q0
p p0 r p0 p r
= + =f +f ;
q q0 s q0 q s
p p p0 p
si f = 0, entonces = 0, luego p = 0, con lo cual = 0.
q q q0 q
r r q0 r
Sea ∈ Q, entonces f = , es decir, f es sobre, luego Aut (Q) ∼
= Q∗ .
s s p0 s
Ejemplo 5.3.7. Calculamos en este ejemplo Aut (Q8 ). Sea F : Q8 → Q8 un auto-
morfismo de Q8 . Puesto que en Q8 = ha, b | a4 = 1, b2 = a2 , ba = a−1 bi el único ele-
mento de orden 2 es a2 , entonces F (a2 ) = a2 , además, F (1) = 1, luego F realmente
permuta los 6 elementos restantes, a saber: a, a3 , b, ab, a2 b, a3 b. Esto parece mostrar
una relación de Aut(Q8 ) con el grupo de permutaciones S4 . En realidad, se verá
que Aut (Q8 ) ∼
= S4 . Cada F viene determinado por su acción sobre los generadores
a, b. Puesto que tanto a como b son de orden 4, entonces F (a) = a, a3 , b, ab, a2 b, a3 b
y F (b) = a, a3 , b, ab, a2 b, a3 b. Esto genera 36 posibilidades, de las cuales sólo 24
corresponden a funciones biyectivas:
F (a) = a F (b) = a Descartada ya que F debe ser biyectiva
F (a) = a F (b) = a3 Descartada ya que entonces F (a3 ) = a3
F1 (a) = a F1 (b) = b ⇒ F1 (a3 ) = a3 , F1 (ab) = ab, F1 (a2 b) = a2 b, F1 (a3 b) = a3 b
F2 (a) = a F2 (b) = ab ⇒ F2 (a3 ) = a3 , F2 (ab) = a2 b, F2 (a2 b) = a3 b, F2 (a3 b) = b
F3 (a) = a F3 (b) = a2 b ⇒ F3 (a3 ) = a3 , F3 (ab) = a3 b, F3 (a2 b) = b, F3 (a3 b) = ab
F4 (a) = a F4 (b) = a3 b ⇒ F4 (a3 ) = a3 , F4 (ab) = b, F4 (a2 b) = ab, F4 (a3 b) = a2 b
F (a) = a3 F (b) = a Descartada ya que F (a3 ) = a
F (a) = a3 F (b) = a3 Descartada ya que F debe ser biyectiva
F5 (a) = a3 F5 (b) = b ⇒ F (a3 ) = a, F5 (ab) = a3 b, F5 (a2 b) = a2 b, F5 (a3 b) = ab
F6 (a) = a3 F6 (b) = ab ⇒ F6 (a3 ) = a, F6 (ab) = b, F6 (a2 b) = a3 b, F6 (a3 b) = a2 b
F7 (a) = a3 F7 (b) = a2 b ⇒ F7 (a3 ) = a, F7 (ab) = ab, F7 (a2 b) = b, F7 (a3 b) = a3 b
F8 (a) = a3 F8 (b) = a3 b ⇒ F8 (a3 ) = a, F8 (ab) = a2 b, F8 (a2 b) = ab, F8 (a3 b) = b
F9 (a) = b F9 (b) = a ⇒ F9 (a3 ) = a2 b, F9 (ab) = a3 b, F9 (a2 b) = a3 , F9 (a3 b) = ab
F10 (a) = b F10 (b) = a3 ⇒ F10 (a3 ) = a2 b, F10 (ab) = ab, F10 (a2 b) = a, F10 (a3 b) = a3 b
F (a) = b F (b) = b Descartada ya que F debe ser biyectiva
F11 (a) = b F11 (b) = ab ⇒ F11 (a3 ) = a2 b, F11 (ab) = a, F11 (a2 b) = a3 b, F11 (a3 b) = a3
F (a) = b F (b) = a2 b Descartada ya que F (ba) = 1 = F (a3 b) = F (1)
F12 (a) = b F12 (b) = a3 b ⇒ F12 (a3 ) = a2 b, F12 (ab) = a3 , F12 (a2 b) = ab, F12 (a3 b) = a
F13 (a) = ab F13 (b) = a ⇒ F13 (a3 ) = a3 b, F13 (ab) = b, F13 (a2 b) = a3 , F13 (a3 b) = a2 b
F14 (a) = ab F14 (b) = a3 ⇒ F14 (a3 ) = a3 b, F14 (ab) = a2 b, F14 (a2 b) = a, F14 (a3 b) = b
F15 (a) = ab F15 (b) = b ⇒ F15 (a3 ) = a3 b, F15 (ab) = a3 , F15 (a2 b) = a2 b, F15 (a3 b) = a
F (a) = ab F (b) = ab Descartada ya que F es biyectiva
F16 (a) = ab F16 (b) = a2 b ⇒ F16 (a3 ) = a3 b, F16 (ab) = a, F16 (a2 b) = b, F16 (a3 b) = a3
F (a) = ab F (b) = a3 b Descartada ya que F (ba) = 1 = F (a3 b) = F (1)
F17 (a) = a2 b F17 (b) = a ⇒ F17 (a3 ) = b, F17 (ab) = ab, F17 (a2 b) = a3 , F17 (a3 b) = a3 b
F18 (a) = a2 b F18 (b) = a3 ⇒ F18 (a3 ) = b, F18 (ab) = a3 b, F18 (a2 b) = a, F18 (a3 b) = ab
2
F (a) = a b F (b) = b Descartada ya que F (ab) = 1 = F (1)
F19 (a) = a2 b F19 (b) = ab ⇒ F19 (a3 ) = b, F19 (ab) = a3 , F19 (a2 b) = a3 b, F19 (a3 b) = a
2
F (a) = a b F (b) = a2 b Descartada ya que F es biyectiva
F20 (a) = a2 b F20 (b) = a3 b ⇒ F20 (a3 ) = b, F20 (ab) = a, F20 (a2 b) = ab, F20 (a3 b) = a3
F21 (a) = a3 b F21 (b) = a ⇒ F21 (a3 ) = ab, F21 (ab) = a2 b, F21 (a2 b) = a3 , F21 (a3 b) = b
F22 (a) = a3 b F22 (b) = a3 ⇒ F22 (a3 ) = ab, F22 (ab) = b, F22 (a2 b) = a, F22 (a3 b) = a2 b
3
F23 (a) = a b F23 (b) = b ⇒ F23 (a3 ) = ab, F23 (ab) = a, F23 (a2 b) = a2 b, F23 (a3 b) = a3
F (a) = a3 b F (b) = ab Descartada ya que F (ba) = 1 = F (a3 b) = F (1)
3
F24 (a) = a b F24 (b) = a2 b ⇒ F24 (a3 ) = ab, F24 (ab) = a3 , F24 (a2 b) = b, F24 (a3 b) = a
F (a) = a3 b F (b) = a3 b Descartada ya que F es biyectiva.
Ahora sólo falta demostrar que estas 24 funciones biyectivas son homomorfismos,
es decir, son los únicos automorfismos en Aut(Q8 ). Tendrı́amos pues que las 24 per-
mutaciones de los 6 elementos a, a3 , b, ab, a2 b, a3 b corresponden a los automorfismos
de Q8 , quedando probado de esta manera que Aut (Q8 ) ∼ = S4 .
5.3. EJEMPLOS 59
Sólo revisamos la función F24 , las otras 22 se revisan de manera similar (nótese
que la función F1 corresponde a la idéntica). Cada elemento de Q8 es de la forma
ar bs , donde 0 ≤ r ≤ 3, 0 ≤ s ≤ 1. Se debe entonces demostrar que F24 (ar bs ap bq ) =
F24 (ar bs )F24 (ap bq ). Consideremos dos casos:
(i) s = 0. Entonces, F24 (ar bs ap bq ) = F24 (ar ap bq ) = F24 (ar+p bq ). Si q = 0, entonces
F24 (ar bs ap bq ) = F24 (ar+p ). Debemos entonces considerar 16 posibilidades, pero en
vista de la simetrı́a de la situación, basta tener en cuenta sólo los siguientes 10 casos:
r = 0, p = 0 ⇒ F24 (ar bs ap bq ) = 1, F24 (ar bs )F24 (ap bq ) = 1;
r = 0, p = 1 ⇒ F24 (ar bs ap bq ) = a3 b, F24 (ar bs )F24 (ap bq ) = a3 b;
r = 0, p = 2 ⇒ F24 (ar bs ap bq ) = a2 , F24 (ar bs )F24 (ap bq ) = a2 ;
r = 0, p = 3 ⇒ F24 (ar bs ap bq ) = ab, F24 (ar bs )F24 (ap bq ) = ab;
r = 1, p = 1 ⇒ F24 (ar bs ap bq ) = a2 , F24 (ar bs )F24 (ap bq ) = aa = a2 ;
r = 1, p = 2 ⇒ F24 (ar bs ap bq ) = ab, F24 (ar bs )F24 (ap bq ) = a3 ba2 = ab;
r = 1, p = 3 ⇒ F24 (ar bs ap bq ) = 1, F24 (ar bs )F24 (ap bq ) = a3 bab = 1;
r = 2, p = 2 ⇒ F24 (ar bs ap bq ) = 1, F24 (ar bs )F24 (ap bq ) = a2 a2 = 1;
r = 2, p = 3 ⇒ F24 (ar bs ap bq ) = a3 b, F24 (ar bs )F24 (ap bq ) = a2 ab = a3 b;
r = 3, p = 3 ⇒ F24 (ar bs ap bq ) = a2 , F24 (ar bs )F24 (ap bq ) = abab = a2 .
Para q = 1, se tiene F24 (ar bs ap bq ) = F24 (ar+p b), se presentan entonces 16 posibi-
lidades:
r = 0, p = 0 ⇒ F24 (ar bs ap bq ) = a2 b, F24 (ar bs )F24 (ap bq ) = a2 b;
r = 0, p = 1 ⇒ F24 (ar bs ap bq ) = a3 , F24 (ar bs )F24 (ap bq ) = a3 ;
r = 0, p = 2 ⇒ F24 (ar bs ap bq ) = b, F24 (ar bs )F24 (ap bq ) = b;
r = 0, p = 3 ⇒ F24 (ar bs ap bq ) = a, F24 (ar bs )F24 (ap bq ) = a;
r = 1, p = 0 ⇒ F24 (ar bs ap bq ) = a3 , F24 (ar bs )F24 (ap bq ) = a3 ba2 b = a3 ;
r = 1, p = 1 ⇒ F24 (ar bs ap bq ) = b, F24 (ar bs )F24 (ap bq ) = a3 ba3 = b;
r = 1, p = 2 ⇒ F24 (ar bs ap bq ) = a, F24 (ar bs )F24 (ap bq ) = a3 bb = a;
r = 1, p = 3 ⇒ F24 (ar bs ap bq ) = a2 b, F24 (ar bs )F24 (ap bq ) = a3 ba = a2 b;
r = 2, p = 0 ⇒ F24 (ar bs ap bq ) = b, F24 (ar bs )F24 (ap bq ) = a2 a2 b = b;
r = 2, p = 1 ⇒ F24 (ar bs ap bq ) = a, F24 (ar bs )F24 (ap bq ) = a2 a3 = a;
r = 2, p = 2 ⇒ F24 (ar bs ap bq ) = a2 b, F24 (ar bs )F24 (ap bq ) = a2 b;
r = 2, p = 3 ⇒ F24 (ar bs ap bq ) = a3 , F24 (ar bs )F24 (ap bq ) = a2 a = a3 ;
r = 3, p = 0 ⇒ F24 (ar bs ap bq ) = a, F24 (ar bs )F24 (ap bq ) = aba2 b = a;
r = 3, p = 1 ⇒ F24 (ar bs ap bq ) = a2 b, F24 (ar bs )F24 (ap bq ) = aba3 = a2 b;
r = 3, p = 2 ⇒ F24 (ar bs ap bq ) = a3 , F24 (ar bs )F24 (ap bq ) = abb = a3 ;
r = 3, p = 3 ⇒ F24 (ar bs ap bq ) = b, F24 (ar bs )F24 (ap bq ) = aba = b.
(ii) s = 1. Entonces, F24 (ar bs ap bq ) = F24 (ar+3p bq+1 ). Al igual que en el caso (i),
se debe considerar por separado cuando q = 0 y cuando q = 1. Revisemos en calidad
de ilustración el caso r = 3, p = 3, q = 1: F24 (ar bs ap bq ) = F24 (a12 b2 ) = F24 (a2 ) =
a2 , F24 (ar bs )F24 (ap bq ) = aa = a2 .
60 CAPÍTULO 5. AUTOMORFISMOS
5.4. Ejercicios
1. Calcule Aut (S3 ).
2. Calcule Int(S3 ).
3. Calcule Int(V ).
4. Calcule Int(D4 ).
5. Calcule Int(Q8 ).
Capı́tulo 6
Grupos de permutaciones
6.1. Ciclos
Definición 6.1.1. Sea f un elemento de Sn . Se dice que f es un ciclo de longitud
m, 1 ≤ m ≤ n, si existen a1 , a2 , . . . , am elementos diferentes de In tales que
(i) f (a1 ) = a2 , f (a2 ) = a3 , . . . , f (am−1 ) = am , f (am ) = a1 ,
(ii) f (x) = x para x ∈
/ {a1 , . . . , am }.
Se denota a f por
f = (a1 a2 · · · am ) = (a2 a3 · · · am a1 ) = (a3 a4 · · · am a1 a2 ) = · · · = (am a1 a2 · · · am−1 ).
Nótese que un ciclo de longitud 1 es la idéntica de In .
Sean f = (a1 . . . am ) y g = (b1 . . . br ) dos ciclos de Sn . Se dice que f y g son dos
ciclos disyuntos si {a1 , a2 , . . . , am } ∩ {b1 , b2 , . . . , br } = ∅. Nótese que las siguientes
permutaciones f y g de S7 son ciclos disyuntos:
1 2 3 4 5 6 7
f= = (123),
2 3 1 4 5 6 7
1 2 3 4 5 6 7
g= = (4576).
1 2 3 5 7 4 6
61
62 CAPÍTULO 6. GRUPOS DE PERMUTACIONES
(i) x ∈ A: entonces f (x) ∈ A, f (x) ∈ / B, luego g(f (x)) = f (x); g(x) = x implica
f (g(x)) = f (x) y f g(x) = gf (x).
(iii) x ∈
/Ayx∈
/ B, entonces f (x) = x, g(x) = x, de donde f g(x) = x = gf (x).
|f | = m.
|f | = m.c.m.(m1 , . . . , mt ).
Si j = k entonces
(b) Si
f = f1 · · · fr
es un producto de r transposiciones, entonces
(c) pf = (−1)r p = (−1)s p, entonces (−1)r = (−1)s si, y sólo si, r y s son pares o r
y s son impares.
Según la proposición anterior se pueden distinguir aquellas permutaciones que
son producto de un número par de transposiciones.
6.2. EL GRUPO ALTERNANTE AN 67
sgn : Sn → Z∗
1, si f es par
sgn(f ) :=
−1, si f es impar.
sgn es un homomorfismo: sean f, g ∈ Sn . Entonces se presentan las siguientes posi-
bilidades:
f y g pares: entonces f g es par y ası́
Z∗ ∼
= Sn / ker(sgn),
(ab) = (1a)(1b)(1a).
a = 1 : (1a) = 1 = (12)(12);
a = 2 : (1a) = (12);
a = 3 : (13) = (21345 · · · n)(12)(21345 · · · n)−1 .
Según la hipótesis inductiva, (1, a − 1), (1, a − 2), . . . , (13), (12) ∈ h(12), (123 · · · n)i.
Esto completa la demostración de la proposición.
Para el caso en que n sea par los ejes de simetrı́a son: (a) n2 lı́neas obtenidas uniendo el
centro O del polı́gono con cada uno de sus vértices 1, 2, . . . , n. (b) n2 lı́neas obtenidas
uniendo el centro O con los puntos medios de los n lados del polı́gono. Para el caso
en que n es impar las n reflexiones corresponden a los n ejes de simetrı́a obtenidos
uniendo el centro O del polı́gono con sus vértices.
Este conjunto de 2n movimientos constituye un grupo bajo la operación de com-
posición de movimientos y se denomina el grupo diédrico de grado n, el cual se
denota por Dn .
El grupo diédrico Dn como subgrupo de Sn : sea R1 la rotación a través del ángulo
θ := 2π
n
. Esta rotación corresponde a la permutación de los vértices dada por
1 2 3 ··· n
f= = (123 · · · n).
2 3 4 ··· 1
Nótese que R10 tiene orden 2: (R10 )2 = R0 , g 2 = 1. Por último, nótese que f g es de
orden 2, de donde (f g)2 = 1, luego
gf g = f −1 .
x = f k1 g l1 f k2 g l2 · · · f km g lm , ki , li ∈ Z, 1 ≤ i ≤ m.
x = f k1 g l1 f k2 g l2 · · · f km g lm , con 0 ≤ ki ≤ n − 1, 0 ≤ li ≤ 1, 1 ≤ i ≤ m.
De otra parte, sea G un grupo generado por los elementos a y b tales que
an = 1 , es decir, a es de orden n,
b2 = 1 , es decir, b es de orden 2,
bab = a−1 .
es decir, BAB = A−1 . Esto indica que hA, Bi es isomorfo al grupo diédrico. La matriz
A representa la rotación del sistema de coordenadas xy a través de un ángulo θ = 2π n
;
la matriz B representa una reflexión de dicho sistema.
Regla de multiplicación en el grupo diédrico: nótese que en Dn se tiene la siguiente
regla de multiplicación:
k+k0 m+m0
k m k0 m0 f g , si m = 0
(f g )(f g ) = 0 0
f k−k g m+m , si m = 1.
6.5. SUBGRUPOS NORMALES DEL GRUPO DN , N ≥ 3 73
f −kj , si β = 1
α β −1 k j α β
(f g ) (f ) (f g ) =
f kj , si β = 0.
6.6. Ejercicios
Dn , si n es impar
1. Demuestre que Int(Dn ) =
D n2 , si n es par.
El objetivo de este capı́tulo será presentar la construcción del grupo producto carte-
siano y su suma directa externa para una familia dada de grupos. Mostraremos cómo
se definen el producto y la suma directa externa en el caso de una familia infinita. Se
dará además la definición de suma directa interna de una familia finita de subgrupos
de un grupo dado, mostrando la relación que ésta guarda con el producto cartesiano.
Las construcciones presentadas aquı́ servirán como base teórica para iniciar en el
capı́tulo 10 del presente cuaderno el estudio de los grupos abelianos finitos.
7.1. Definición
Sea {G1 , . . . , Gn } una colección finita de grupos (tomados con notación multiplica-
tiva) y sea
Qn
i=1 Gi := Gi × · · · × Gn := {(xi , . . . , xn ) | xi ∈ Gi , 1 ≤ i ≤ n}
Qn
el producto cartesiano conjuntista de la familia dada. Se pretende definir en i=1 Gi
una operación binaria bajo la cual ni=1 Gi tenga estructura de grupo.
Q
Proposición 7.1.1. Sea {G1 , . . . , Gn } una familia finita de grupos y sea ni=1 Gi el
Q
producto cartesiano de los conjuntos Gi , 1 ≤ i ≤ n. El producto definido por
(x1 , . . . , xn ) (x01 , . . . , x0n ) := (x1 x01 , . . . , xn x0n )
da a ni=1 Gi una estructura de grupo. La pareja ( ni=1 Gi , ·) ası́ constituida se de-
Q Q
nomina producto cartesiano de la familia {G1 , . . . , Gn } .
Demostración. En efecto, la asociatividad del producto se desprende de las respec-
tivas propiedades asociativas de los productos definidos en los grupos Gi , 1 ≤ i ≤ n.
Denotando por 1 el elemento neutro del grupo Gi , entonces 1 := (1, . . . , 1) es el
elemento neutro del producto cartesiano. Además, si x−1 i denota el inverso de xi en
−1
Gi entonces el inverso de x = (x1 , . . . , xn ) es x = (x1 , . . . , x−1
−1
n ).
76
7.1. DEFINICIÓN 77
Zm1 × · · · × Zmk ∼
= Zm1 ···mk .
mk
(iv) Sea n = pm1 · · · pk
1
la descomposición del entero n en producto de factores
primos. Entonces,
Zpm ∼
1 × · · · × Z mk = Zn .
1 pk
Proposición 7.1.6. Sea {Gi }ni=1 una familia finita de grupos. Entonces,
(ii) (G1 × · · · × Gn ) / Gi ∼
= G1 × · · · × Gi−1 × Gi+1 × · · · × Gn .
Q
Nótese que este producto da a i∈I Gi una estructura de grupo, cuyo elemento
neutro es 1 := (ei ), donde ei = 1 ∈ Gi , para cada i ∈ I. El inverso de xQ= (xi )
es x−1 = (x−1
i ). Cuando I = In = {1, 2 . . . n}, esta definición de producto i∈I Gi
coincide con la definición de producto cartesiano dada en la sección anterior.
Las proyecciones canónicas del producto se definen por
Q
πj : Gi → Gj , πj [(xi )] := xj .
El producto cartesiano junto con sus proyecciones está caracterizado por la siguiente
propiedad universal.
Q
Teorema 7.2.1 (Propiedad universal).
Q Sean {G i }i∈I una familia de grupos, i∈I Gi
su producto cartesiano y {πj : i∈I Gi → Gj }j∈I las proyecciones canónicas. Enton-
ces,
L L
el producto de x y z, entonces y ∈ i∈I Gi . Es claro que si x ∈ i∈I Gi , entonces
x−1 ∈ i∈I Gi .
L
Asociadas a la suma directa externa de una familia de grupos están las siguientes
inyecciones canónicas:
L
µj : Gj → Gi ,
i∈I
a, si i = j
µj (a) := x := (xi ), donde xj :=
1, si i 6= j.
Teorema L 7.3.1 (Propiedad universal). Sean {Gi }i∈I unaL familia de grupos abe-
lianos, i∈I Gi su suma directa externa y {µ j : Gj → i∈I Gi } sus inyecciones
canónicas. Entonces,
(i) Para cada grupo abelianoLG con homomorfismos {tj : Gj → G}, existe un
único homomorfismo α : i∈I Gi → G, tal que para cada j ∈ I se tiene que
αµj = tj .
(ii) Cualquier otro grupo abeliano H con homomorfismos {µ0j : Gj → H}j∈I que
tenga la propiedad (i) es isomorfo a la suma directa externa.
HK := {hk | h ∈ H, k ∈ K}
x = h1 · · · hn , hi ∈ Hi , 1 ≤ i ≤ n.
Definición 7.4.3. Se dice que el grupo G es suma directa interna de los sub-
grupos normales H1 , . . . , Hn si:
(i) G = H1 · · · Hn .
Ejemplo 7.4.5. (i) Sea M2 (R) el grupo aditivo de las matrices cuadradas reales de
orden 2. Sean
R 0
M11 := = {A = [aij ] | aij = 0, para i 6= 1 o j 6= 1},
0 0
0 R 0 0 0 0
M12 := , M21 := , M22 := .
0 0 R 0 0 R
G = 1 ⊕ D4 , hf i ⊕ hf 2 i , hf 2 i ⊕ K4 , hf 2 i ⊕ H4 .
x−1 ax = (x−1 −1
1 a1 x1 , · · · ., xn an xn ) ∈ A.
84 CAPÍTULO 7. PRODUCTOS Y SUMAS DIRECTAS
Q
El resultado
Q anterior se puede generalizar: sea G = i∈I Gi y Ai E Gi , con i ∈ I,
si A := i∈I Ai , entonces A E G.
Ejemplo 7.4.6. Calculemos Aut(Dn ) y probemos que |Aut(Dn )| = φ(n)n, para
n ≥ 3, con φ la función de Euler que calcula los enteros positivos menores que n y
primos relativos con él.
Dn = {1, f, f 2 , . . . , f n−1 , g, f g, f 2 g, . . . , f n−1 g}, además f n = 1, g 2 = 1, gf =
f −1 g = f n−1 g.
Sean
A := hf i, B := {g, f g, f 2 g, . . . , f n−1 g},
F := {µ ∈ Aut(Dn ) | µ(f ) = f } y G := {µ ∈ Aut(Dn ) | µ(g) = g}.
La solución implica realizar varios pasos.
1. En primer lugar, nótese que F y G son subgrupos de Aut(Dn ).
2. Si µ ∈ Aut(Dn ), entonces, µ(A) = A y µ(B) = B: puesto que todo elemento
de B es de orden 2 y el orden de µ(f ) es n, entonces µ(f ) es un generador de
A, es decir, µ(A) = A. Como µ es inyectivo, entonces µ(B) = B.
3. F es un subgrupo normal de Aut(Dn ): sea µ ∈ Aut(Dn ) y φ ∈ F , entonces
µ(A) = A y φ|A = iA . Para f se tiene que µ ◦ φ ◦ µ−1 (f ) = µ ◦ φ(µ−1 (f )) =
µ(µ−1 (f )) = f , es decir, µ ◦ φ ◦ µ−1 ∈ F .
4. Es claro que F ∩ G = {iDn }.
5. Como F E Aut Dn , entonces F G ≤ Aut Dn . Además, |F G| = |F | |G|. En
efecto, ya que F ∩ G = {iDn }, cada elemento de F G se puede representar en
forma única en la forma xy, con x ∈ F y y ∈ G. El número de tales elementos
es claramente |F | |G|.
6. |G| = ϕ(n): Sea J el conjunto de generadores de A, sabemos que |J| = ϕ(n).
Vamos a probar que |J| = |G|. Sea µ ∈ G, entonces µ(f ) debe ser un generador
de A, es decir, µ(f ) ∈ J. Definimos
G→J
µ 7→ µ(f ).
Si µ1 (f ) = µ2 (f ), entonces µ1 = µ2 ya que µ1 (g) = g = µ2 (g). Probemos
finalmente que la asignación es sobreyectiva: sea k primo relativo con n y menor
que n, de tal forma que f k ∈ J. Definimos la función µ por µ(f r g s ) := f kr g s ,
con 0 ≤ r ≤ n − 1, s = 0, 1. Veamos que µ es un automorfismo. En efecto,
primero notemos que µ es un homomorfismo: µ(f r g s f p g q ) = µ(f r+p g q ) si s =
0, en este caso µ(f r+p g q ) = f kr+kp g q = f kr g s f kp g q , es decir, µ(f r g s f p g q ) =
µ(f r g s )µ(f p g q ). Para s = 1 se tiene que
7.4. SUMA DIRECTA INTERNA 85
Si q = 1, entonces se tiene que µ(f r g s f p g q ) = µ(f r−p ) = f r−p , por otro lado,
µ(f r g s )µ(f p g q ) = f r+k gf p+k g = f r+k−p−k = f r−p . Al igual que el punto 6),
hf i∩hgi = 1, luego µ es claramente inyectiva, por lo tanto biyectiva. Entonces,
µ es la preimagen buscada ya que µ(g) = f k g, y µ ∈ F debido a que µ(f r ) = f r ,
para cada 0 ≤ r ≤ n − 1.
8. Se tiene que |F G| = |F | |G| = nϕ(n). De otra parte, si µ ∈ Aut(Dn ), por
el ı́tem 2), µ(f ) debe ser un generador de A y µ(g) ∈ B, esto hace que
|Aut(Dn )| ≤ ϕ(n)n. Como se probó en 5), F G es un subgrupo de Aut(Dn ), en
consecuencia F G = Aut(Dn ) y |Aut(Dn )| = ϕ(n)n.
Si G fuera subgrupo normal de Aut(Dn ), Aut(Dn ) serı́a suma directa interna
de F y G. Pero G no es un subgrupo normal de Aut(Dn ): en efecto, según
6) y 7), las siguientes funciones son elementos de G y F , respectivamente:
φ(f ) = f k , φ(g) = g, θ(f ) = f , θ(g) = f g, donde k es primo relativo con n y
distinto de 1. Esta última condición se da ya que n ≥ 3. Entonces, θφθ−1 (g) =
θφ(f n−1 g) = θ(f −k g) = f −k+1 g. Es decir, θφθ−1 ∈/ G, con lo cual G no es un
subgrupo normal de Aut(Dn ).
Entonces, ¿qué es Aut(Dn ) respecto a F y G?
86 CAPÍTULO 7. PRODUCTOS Y SUMAS DIRECTAS
12. Una última observación. De manera más sencilla se define la suma semi-
directa interna de dos subgrupos de un grupo de la siguiente forma: sea G
un grupo y M, N subgrupos de G. Se dice que G es suma semidirecta interna
de M y N (en ese orden) si M es normal en G, M ∩ N = {1} y G = M N .
Uno podrı́a entonces obviar los pasos 9), 10) y 11) y decir simplemente que
Aut(Dn ) es la suma semidirecta interna de F y G.
7.5. Ejercicios
1. Pruebe que S3 sólo tiene la descomposición trivial S3 = 1 ⊕ S3 .
4. Sean G y H grupos finitos cuyos órdenes son primos relativos. Pruebe que
Aut (G × H) ∼
= Aut (G) × Aut (H).
5. ¿Es cierto que la única descomposición de Q8 es la trivial: Q8 = 1 ⊕ Q8 ?
Capı́tulo 8
G-conjuntos
Definición 8.1.1. Sean X un conjunto y (G, ·, 1) un grupo. Una acción del grupo
G sobre el conjunto X se define por una función
φ : G × X → X , φ(g, x) := gx
tal que
(ii) φ(1, x) = 1x = x,
88
8.1. ACCIÓN DE GRUPOS SOBRE CONJUNTOS 89
φ:G×X →X
(g, x) 7−→ φ(gx) =: Φg (x),
Φ : G → S(X)
Φ(gh) = Φgh , Φgh (x) = (gh)x = g(hx) = g(Φh (x)) = Φg [Φh (x)]
= (Φg ◦ Φh )(x); ⇒ Φgh = Φg ◦ Φh , es decir, Φ(gh) = Φ(g) ◦ Φ(h).
90 CAPÍTULO 8. G-CONJUNTOS
Definición 8.1.4. Sea φ : G × X → X, φ(g, x) = gx, una acción del grupo G sobre
el conjunto X y Φ : G → S(X), Φ(g) = Φg , Φg (x) = gx, la representación de G en
S(X) asociada a φ. Se denomina núcleo de la acción φ y se denota por ker(φ) al
núcleo del homomorfismo Φ:
Gx := {g ∈ G : gx = x}.
Además, Card(G(x)) = |G : Gx |.
8.2. ÓRBITAS Y SUBGRUPOS ESTACIONARIOS 91
(i) Si x, y están en la misma órbita entonces sus grupos estacionarios son conju-
gados:
y = gx ⇒ Gy = gGx g −1 .
r
X
|X| = |G : Gxi | (Ecuación de clases).
i=1
φ:G×G→G
(g, x) 7−→ gxg −1 .
92 CAPÍTULO 8. G-CONJUNTOS
ker(φ) = {g ∈ G | gxg −1 = x, ∀x ∈ G}
= {g ∈ G | gx = xg, ∀x ∈ G} = Z(G).
xG = {gxg −1 | g ∈ G}.
Observemos que G ha sido particionado en clases conjugadas. Decir que dos elemen-
tos x, y ∈ G son conjugados significa que están en una misma clase (de equivalencia)
conjugada, es decir, existe g ∈ G tal que y = gxg −1 . Sea x un elemento cualquiera
de G. El subgrupo estacionario de x se denomina en este caso el centralizador de
x en G:
CG (x) = {g ∈ G : gxg −1 = x} = {g ∈ G : gx = xg}.
Según la proposición 8.1.5, la acción de conjugación puede ser extendida a los sub-
conjuntos del grupo G. Sean A, B subconjuntos de G. Decimos que A y B son
conjugados si existe g ∈ G tal que B = gAg −1 . Notemos que cuando A es un sub-
grupo de G, entonces gAg −1 es también un subgrupo de G, es decir, la acción de
conjugación a subconjuntos de G puede ser restringida a subgrupos de G. En es-
te caso, dado un subgrupo H de G la órbita de H, H G , está constituida por los
subgrupos de G que son conjugados con H:
H G = {gHg −1 : g ∈ G}.
φ : G × G/H → G/H
(x, gH) 7−→ xgH,
x ∈ ker(φ) ⇔ g −1 xg ∈ H, ∀g ∈ G ⇔ x ∈ gHg −1 , ∀g ∈ G,
es decir,
\
ker(φ) = gHg −1 = intersección de los subgrupos de G conjugados con H.
g∈G
Demostremos que
\
gHg −1 es el subgrupo normal más grande de G que está contenido en H.
g∈G
En efecto, sea \
x∈ gHg −1 .
g∈G
Φ : G → S(G/H)
Φ(x) 7−→ Φx
Φx : G/H → G/H
gH 7−→ xgH.
94 CAPÍTULO 8. G-CONJUNTOS
(i)
X
|N (g)| = |G|.
g∈G
(de ser ası́, podemos afirmar que los n elementos g1 , . . . , gn son diferentes). Sea g
un elemento cualquiera de G. Sea i ∈ In la imagen de 1 mediante g: g(1) = i,
entonces g(1) = Si = gi (1), gi−1 g(1) = 1,Sluego gi−1 g(1) ∈ G1 , es decir, g ∈ gi G1 ,
con lo cual G ⊆ ni=1 gi G1 . Obviamente, ni=1 gi G1 ⊆ G. Supongamos que para dos
elementos i, j ∈ In se tiene gi G1 ∩ gj G1 6= ∅, entonces gi h = gj g, con h, g ∈ G1 ; como
h(1) = 1 = g(1), entonces gi h(1) = gi (1) = i, luego gj g(1) = gj (1) = j, ası́ i = j,
por lo tanto gi G1 = gj G1 .
Esto completa la prueba de la igualdad (8.3.1).
96 CAPÍTULO 8. G-CONJUNTOS
Sea N (g) el conjunto de puntos de In que permanecen fijos bajo g y sea {g}×N (g)
el producto cartesiano del conjunto unitario {g} y el conjunto N (g). Nótese que para
g 6= h, {g} × N (g) ∩ {h} × N (h) = ∅. Es posible además que N (g) = ∅.
Sea Gj el subgrupo estacionario del punto j ∈ In . Considérese el producto car-
tesiano Gj × {j}. Como antes, para i 6= j, se tiene que Gj × {j} ∩ Gi × {i} = ∅.
Evidentemente,
" # " n #
[ [
Card ( )∅ {g} × N (g) = Card ( )∅ Gj × {j} ;
g∈G i=1
" n
#
[ X
Card ( )∅ {g} × N (g) = Card({g} × N (g))
i=1 g∈G
X n
X n
X
= |N (g)| = Card(Gj × {j}) = |Gj |.
g∈G j=1 j=1
Por lo tanto,
n X
X
|N (g)| = 2n|G1 | = 2|G|.
j=1 g∈Gj
Pero n X
X X
|N (g)| = |N (g)|2 .
j=1 g∈Gj g∈G
8.4. Ejercicios
1. Calcule todas las acciones del grupo Z3 sobre el conjunto Z2 .
Teoremas de Sylow
De fundamental importancia para el estudio de los grupos finitos son los teoremas
probados por el matemático noruego Ludwig Sylow. Es conocido que para los grupos
cı́clicos finitos es válido el recı́proco del teorema de Lagrange, es decir, si G un grupo
cı́clico finito de orden n y m divide a n entonces G contiene exactamente un subgru-
po de orden m. En este capı́tulo se mostrará que la afirmación anterior es válida para
grupos finitos cualesquiera pero con m una potencia de un primo. Además, la uni-
cidad se da salvo conjugación. Los resultados de este capı́tulo ayudarán a describir
en el próximo los grupos abelianos finitos.
9.1. p-grupos
En el capı́tulo 2 se definieron los principales conceptos relacionados con la parte
finita de un grupo. Además, se tienen las siguientes nociones.
(i) Periodo (exponente) de un grupo periódico: Supongamos que el conjunto
de los periodos de los elementos de un grupo periódico es acotado superiormente.
Entonces, el mı́nimo comun múltiplo de estos periodos se denomina periodo del
grupo periódico G.
(ii) Parte periódica de un grupo abeliano. Sea G un grupo abeliano. El
conjunto de elementos de G de periodo finito constituye un subgrupo de G llamado
subgrupo de torsión de G o parte periódica de G.
(iii) p-grupos. Sea G un grupo (finito o infinito). Si cada elemento de G tiene
periodo potencia del primo p, se dice que G es un p-grupo.
(iv) p-subgrupo. Se dice que H ≤ G es un p-subgrupo de G, si H es un p-grupo.
(v) Grupos primarios. Un grupo G se dice que es primario si G es un p-grupo
para algún primo p. En otras palabras, la colección de los grupos primarios es la
reunión de los p-grupos, donde p recorre los primos positivos.
(vi) Subgrupo de Sylow . Sea G un grupo que tiene p-subgrupos. Un p-subgrupo
H es un p-subgrupo de Sylow de G si H es maximal entre los p-subgrupos de G.
98
9.1. P-GRUPOS 99
Se puede comprobar fácilmente que (M3 (Zn ), +, 0), donde 0 es la matriz nula, es
un grupo abeliano y que (M3 (Zn ), ·, E), con E la matriz idéntica, es un monoide.
Tomemos en particular n = p primo y sea GL3 (Zp ) un grupo multiplicativo del
monoide M3 (Zn ). Destacamos en GL3 (Zp ) el subconjunto U T3 (Zp ) definido por:
1 a b
U T3 (Zp ) := 0 1 c | a, b, c ∈ Zp ;
0 0 1
Ejemplo 9.1.4. Algunos ejemplos de grupos primarios son Cp∞ , Zpn , U T (3, Zp ).
G = ∪ri=1 xG
i , con xi ∈ G.
Se tienen clases de un sólo elemento (por ejemplo 1G ). Podemos reordenar los ı́ndices
y suponer que las primeras q clases constan de un único elemento. Se afirma que
Z(G) ={x1 , . . . , xq } . En efecto, si x ∈ Z(G), entonces gxg −1 = x para cada g ∈ G,
luego xG = {x}, y por lo tanto, x ∈ {x1 , . . . , xq }. El recı́proco es evidente.
La ecuación numérica de clases toma la forma
|G| = |Z(G)| + ri=q+1 |G : CG (xi )|.
P
(i) P es un p-subgrupo de G.
Entonces P Q es un p-subgrupo de G.
9.2. Preliminares
El siguiente ejemplo ilustra que el recı́proco del teorema de Lagrange no es en general
válido.
Antes de probar los tres teoremas de Sylow consideremos algunos hechos elemen-
tales de la teorı́a de números.
9.3. Teoremas
Teorema 9.3.1 (Teoremas de Sylow). Sea G un grupo finito y p un número primo
que divide al orden de G. Entonces,
G × G → G, (g, x) 7→ gx,
Para terminar la demostración del primer teorema de Sylow mostremos que los
p-subgrupos de Sylow de G son los subgrupos de G de orden pr , donde pr es la
máxima potencia de p que divide al orden de G.
Demostramos en primer lugar la siguiente afirmación, consecuencia directa del
primer teorema de Sylow.
Afirmación. Sea G un grupo finito y H ≤ G un p-subgrupo de G. Entonces,
|H| = pn , n ≥ 0.
En efecto, sea H 6= {1} y q | |H|, q un primo diferente de p. Entonces, H contiene
un subgrupo de orden q, el cual es cı́clico, es decir, H contiene un elemento de orden
q. Pero esto contradice que H es un p-grupo. Por lo tanto, el único primo que divide
el orden de H es p, por lo tanto, |H| = pn , con n ≥ 0.
Regresamos sobre los p-subgrupos de Sylow de G. Sea H un p-subgrupo de
Sylow de G. Entonces, según la afirmación anterior, |H| = pα , con 0 ≤ α ≤ r. Si
α 6= r, entonces H está incluido en un grupo de orden pα+1 . Pero esto contradice
la condición de ser H maximal. Por lo tanto, |H| = pr .
Sea ahora K un p-subgrupo de G de orden pr , con pr la máxima potencia de p
que divide al orden de G. Sea H un p-subgrupo de G que contiene a K; como vimos,
|H| = pα , pero como pr es la máxima potencia de p que divide a |G|, entonces α = r
y ası́ H = K, es decir, K es maximal y, por lo tanto, K es un p-subgrupo de Sylow
de G. Hemos concluido la demostracion del primer teorema de Sylow.
(ii) Conjugación: sean nuevamente G un grupo de orden n y pr la máxima po-
tencia de p que divide a n = pr m, con m.c.d.(p, m) = 1. Sea P un p-subgrupo de
Sylow de G, es decir, |P | = pr . Consideremos nuevamente la acción de conjugación
sobre el conjunto S de los subgrupos de G. Sea C la órbita del subgrupo P , es
decir C = {gP g −1 | g ∈ G} = P G , en otras palabras, C es el conjunto de todos los
subgrupos de G conjugados con P .
Sea Q otro p-subgrupo de Sylow de G. Se desea probar que Q ∈ C. El subgrupo
Q actúa nuevamente con la acción de conjugación sobre C, dividiendo a C en órbitas.
La longitud de cada órbita divide al orden de Q, |Q| = pr . Por lo tanto, la longitud
de cada órbita es de la forma pα , con 0 ≤ α ≤ r. Nótese que |C| = |NG|G|(P )| , o también,
|C| |NG (P )| = |G| = pr m, como P ≤ NG (P ), entonces |P | = pr | |NG (P )|. Puesto
que pr es la máxima potencia de p que divide a n = |G|, entonces p no divide a |C|.
Por lo dicho anteriormente, debe existir al menos una órbita de un sólo elemento P 0 .
Esto implica que para cada x ∈ Q se tiene que xP 0 x−1 = P 0 , es decir, Q normaliza
P 0 . Además, como P 0 es conjugado con P , entonces P 0 es un p-subgrupo de Sylow.
Tenemos que Q/P 0 ∩ Q es un p-grupo. Se tiene el isomorfismo
P 0 Q/P 0 ∼
= Q/P 0 ∩ Q.
Puesto que P 0 es un p-grupo y P 0 Q/P 0 también lo es, entonces P 0 Q es un p-subgrupo
de G. Nótese que P 0 ≤ P 0 Q y Q ≤ P 0 Q, como P 0 y Q son p-subgrupos de Sylow,
entonces P 0 = P 0 Q = Q.
9.4. APLICACIONES 107
9.4. Aplicaciones
Proposición 9.4.1. Sea G un grupo finito y H un p-subgrupo de Sylow de G.
Entonces, H E G si, y sólo si, H es único.
La proposición anterior sirve para caracterizar todos los subgrupos de orden pq,
con p > q y p, q primos
(i) G ∼
= Zpq ó
l
ar bl as bm = ar+sk bl+m , con r, l, s, m ≥ 0.
G∼ = D4 , y en el segundo, G ∼ = Q8 .
Proposición 9.4.7. Los grupos no abelianos de orden 12 son A4 , D6 y
T := ha, b | a6 = 1, b2 = a3 , bab−1 = a−1 i.
Demostración. Sea H un subgrupo de Sylow de G con orden 3, H = hci. Mediante
el refinamiento del teorema de Cayley (véase el ejemplo 8.2.6) podemos definir un
homomorfismo
Φ : G → S (G/H) ∼ = S4 .
Nótese que ker(Φ) ⊆ H (ker(Φ) es el subgrupo normal más grande de G contenido
en H), luego ker(Φ) = 1 ó ker(Φ) = H. Si ker(Φ) = 1, entonces G es isomorfo a un
subgrupo de S4 de orden 12. Pero se puede probar que si n ≥ 2, G ≤ Sn y |G| = n!2 ,
luego G = An (véase el ejecicio 6 del presente capı́tulo).
110 CAPÍTULO 9. TEOREMAS DE SYLOW
b2 = 1 es una posibilidad.
6
Si b2 = a, entonces (b2 ) = 1, luego b12 = 1, con lo cual |b| | 12. Ası́,
Si |b| = 1, entonces b = 1, falso.
Si |b| = 2, entonces b2 = 1 = a, falso.
Si |b| = 3, entonces b2 b = 1, luego ab = 1, con lo cual b ∈ hai, falso.
Si |b| = 4, entonces b4 = a2 = 1, falso.
Si |b| = 6, entonces b6 = a3 = 1, falso.
Por lo tanto, |b| = 12 ⇒ G es abeliano, falso.
2
b2 = a2 : como bab−1 = a−1 , entonces (bab−1 ) = a−2 , luego ba2 b−1 = a−2 , con lo
cual bb2 b−1 = a−2 , es decir, b2 = a−2 = a2 , ası́ a4 = 1, falso.
b2 = a3 es una posibilidad.
4
b2 = a4 : como (bab−1 ) = a−4 , entonces ba4 b−1 = a−4 , luego bb2 b−1 = a−4 , con lo
cual b2 = a−4 = a4 , es deci, a8 = 1, y por tanto 6 | 8, imposible.
6 6
b2 = a5 : Como (b2 ) = (a5 ) = 1, entonces b12 = 1, luego |b| | 12. De esta manera,
Si |b| = 1, entonces b = 1, falso.
Si |b| = 2, entonces a5 = 1, falso
Si |b| = 3, entonces a15 = 1, luego 6 | 15, falso.
Si |b| = 4, entonces a10 = 1, falso.
Si |b| = 6, entonces a15 = 1, falso.
Si |b| = 12, entonces G es abeliano, falso.
9.5. EJERCICIOS 111
Veamos que en los dos últimos casos G = ha, bi. En ambas situaciones conside-
remos el conjunto
C := ak bm | 0 ≤ k ≤ 5 y 0 ≤ m ≤ 1 ,
T = a, b | a6 = 1, b2 = a3 , bab−1 = a−1 .
9.5. Ejercicios
1. Sea G un grupo formado por dos elementos x, y tales que
Entonces, G ∼
= Gpq .
2. Demuestre que ningún grupo de orden pq es simple, con p y q primos.
El objetivo central de este capı́tulo es describir para un entero positivo n todos los
grupos abelianos de orden n (salvo isomorfismo). La descripción se hará en términos
de p-grupos cı́clicos, los cuales, como veremos, son indescomponibles. Se establecerá
además un criterio para la unicidad de dicha descomposición.
Entonces, G es suma directa de sus subgrupos de Sylow si, y sólo si, estos son
normales en G:
G = P1 ⊕ · · · ⊕ Pk , (10.1.1)
con Pi el pi -subgrupo de Sylow de G, 1 ≤ i ≤ k. En particular, si G es abeliano,
entonces G es suma directa interna de sus subgrupos de Sylow.
113
114 CAPÍTULO 10. GRUPOS ABELIANOS FINITOS
(b) A partir de (a) se obtiene que para i 6= j, los elementos de Pi conmutan con
los de Pj .
(c) El neutro 1 de G tiene representación única: sean xi ∈ Pi , 1 ≤ i ≤ k
tales que 1 = x1 · · · xk . Sea si = |xi |, entonces si = pαi i , 0 ≤ αi ≤ ri . Sea s =
αi−1 αi+1
s1 · · · si−1 si+1 · · · sk , entonces 1s = xsi , luego si |s y pαi i |pα1 1 c · · · pi−1 pi+1 · · · pαk k . Esto
implica que αi = 0, luego si = 1, es decir, xi = 1, para cada 1 ≥ i ≥ k.
(d) Cada elemento x ∈ G se puede representar en la forma única anunciada:
sea x ∈ G de orden r de tal forma que r|n y r = ps11 . . . pskk , donde 0 ≤ si ≤ ri
con 1 ≤ i ≤ k. Sea ui = prsi , entonces m.c.d.(u1 , . . . , uk ) = 1. Existen enteros
i
t1 ,s. . . , tk tales que 1 = t1 u1 + · · · + tk uk , sea xi = xti ui , 1 ≥ i ≥ k. Nótese que
p i si si
xi i = (xti ui )pi = xti ui pi = xti r = 1, luego xi ∈ Pi . Se tiene que x1 · · · xk =
xt1 u1 · · · xtk uk = xt1 u1 +···+tk uk = x1 = x. A partir de (b) y (c) se obtiene que esta
representación es única.
Zn ∼
= Zpr11 × · · · × Zprkk .
ti pm−αi . Definimos
ai =: δi a−ti , con 1 ≤ i ≤ r.
Nótese que para cada 1 ≤ i ≤ r, āi = δ̄i : en efecto, āi = ai hai = δi hai = δ̄i ya que
ai δi−1 = a−ti hai. De aquı́ obtenemos que hāi i = hδ̄i i = Ḡi , 1 ≤ i ≤ r. Por lo tanto,
Ḡ = hāi i ⊕ · · · ⊕ hār i.
Sea x un elemento cualquiera de G. Entonces, x̄ = x̄1 · · · x̄r , con x̄i hai i, 1 ≤ i ≤ r,
resulta x̄i = āi ki , 0 ≤ ki < pmi , luego x̄i = aki i . y entonces, x̄ = ak11 · · · akr r , es decir,
x(ak11 · · · akr r )−1 = ak ∈ hai, con lo cual x = ak11 · · · akr r ak .
Se ha probado que cada elemento x de G se expresa como producto de elementos
de ha1 i · · · har i y hai. Queda por demostrar que la representación es única. Para esto
116 CAPÍTULO 10. GRUPOS ABELIANOS FINITOS
(ii) Sean A y B dos p − grupos abelianos finitos con el mismo sistema de divisores
elementales (pm1 , . . . , pmr ). Entonces, A = A1 × · · · × Ar , B = B1 × · · · × Br ,
con Ai ∼
= Zpmi ∼= Bi . El sistema de isomorfismos ϕi induce el isomorfismo
ϕ:A→B
ϕ(a1 , . . . , ar ) := (ϕ1 (a1 ), . . . , ϕr (ar )).
h: F → P
h(G) := (m1 , . . . , mr ).
Cada partición (m1 , . . . , mr ) determina un único grupo (salvo isomorfismo) con sis-
tema de divisores elementales (pm1 , . . . , pmr ). Ası́, h es 1 − 1. Ahora, h es sobre:
(m1 , . . . , mr ) determina (pm
1 ,...,p
1 mr
) y Zpm1 ⊕ · · · ⊕ Zpmr es la preimagen.
Teorema 10.3.1. Cada grupo abeliano finito es suma directa de p-subgrupos cı́cli-
cos. Dos descomposiciones difieren sólo en el orden de disposición de los sumandos.
Entonces, según el teorema 10.1.1, G tiene una descomposición única en suma directa
de sus subgrupos de Sylow (sus componentes primarias),
G = P1 ⊕ · · · ⊕ Pk .
es p(n1 )p(n2 ) · · · p(nk ), donde p(ni ) es el número de particiones del entero positivo
ni , 1 ≤ i ≤ k.
Demostración. Consecuencia directa del teorema anterior y de la proposición 10.2.6.
m mj mj−1 mj+1
pj1j+1 · · · pm m1 mk
k , luego |x| | d, donde d = m.c.d. (pj ; p1 · · · pj−1 pj+1 · · · pk ) = 1.
k
Ejemplo 10.3.4. (i) Determinemos todos los grupos abelianos de orden 1440.
1440 = 25 × 5 × 32 , luego
p(5): (5),(4,1),(3,2),(3,1,1),(2,2,1),(2,1,1,1),(1,1,1,1,1);
p(1)=(1);
p(2):(2),(1,1), por lo tanto
Z32 ⊕ Z5 ⊕ Z9 ; Z32 ⊕ Z5 ⊕ Z3 ⊕ Z3
Z16 ⊕ Z2 ⊕ Z5 ⊕ Z9 ; Z16 ⊕ Z2 ⊕ Z5 ⊕ Z3 ⊕ Z3
Z8 ⊕ Z4 ⊕ Z5 ⊕ Z9 ; Z8 ⊕ Z4 ⊕ Z5 ⊕ Z3 ⊕ Z3
Z8 ⊕ Z2 ⊕ Z2 ⊕ Z5 ⊕ Z9 ; Z8 ⊕ Z2 ⊕ Z2 ⊕ Z5 ⊕ Z3 ⊕ Z3
120 CAPÍTULO 10. GRUPOS ABELIANOS FINITOS
Z4 ⊕ Z4 ⊕ Z2 ⊕ Z5 ⊕ Z9 ; Z4 ⊕ Z4 ⊕ Z2 ⊕ Z5 ⊕ Z3 ⊕ Z3
Z4 ⊕ Z2 ⊕ Z2 ⊕ Z2 ⊕ Z5 ⊕ Z9 ; Z4 ⊕ Z2 ⊕ Z2 ⊕ Z2 ⊕ Z5 ⊕ Z3 ⊕ Z3 ,
Z2 ⊕ Z2 ⊕ Z2 ⊕ Z2 ⊕ Z2 ⊕ Z5 ⊕ Z9 ; Z2 ⊕ Z2 ⊕ Z2 ⊕ Z2 ⊕ Z2 ⊕ Z5 ⊕ Z3 ⊕ Z3
(ii) Veamos que Z72 ⊕ Z84 ∼ = Z36 ⊕ Z168 :
Z72 ⊕ Z84 ∼= 8
Z ⊕ Z9 ⊕ Z 4 ⊕ Z3 ⊕ Z7 ∼= Z9 ⊕ Z4 ⊕ Z8 ⊕ Z3 ⊕ Z7 ∼ = Z36 ⊕ Z168
(iii) ¿Son Z72 ⊕ Z12 y Z18 ⊕ Z48 isomorfos?
Z72 ⊕ Z12 ∼= Z8 ⊕ Z9 ⊕ Z4 ⊕ Z3 ∼
= Z8 ⊕ Z4 ⊕ Z9 ⊕ Z3 , luego tenemos (23 , 22 , 32 , 31 );
∼ ∼
Z18 ⊕Z48 = Z9 ⊕Z2 ⊕Z16 ⊕Z3 = Z16 ⊕Z2 ⊕Z9 ⊕Z3 , y en este caso, (24 , 21 , 32 , 31 ).
Puesto que los sistemas de divisores elementales son distintos, entonces los grupos
no son isomorfos.
10.5. Ejercicios
1. Determine todos los grupos abelianos de orden 81.
2. Determine todos los grupos abelianos de orden 1024.
3. ¿Son Z30 ⊕ Z20 y Z10 ⊕ Z60 isomorfos?
4. Sean G, H grupos abelianos finitos tales que G × G ∼
= H × H. Demuestre que
∼
G = H.
10.5. EJERCICIOS 121
5. Sean G y H grupos abelianos finitos tales que para cada entero positivo m,
ambos tienen el mismo número de elementos de orden m. Pruebe que G ∼ = H.
6. Sea G un grupo abeliano que tiene 8 elementos de orden 3, 18 elementos
de orden 9 y el elemento identidad. Encuentre la descomposición de G como
producto de grupos cı́clicos.
Capı́tulo 11
Grupos solubles
En los capı́tulos anteriores hemos tratado con grupos abelianos y grupos finitos. Un
grupo cualquiera no necesariamente pertenece a alguna de estas clases, sin embargo,
siempre se puede relacionar de alguna manera con ellas y estudiar por este camino
el grupo. Una de las generalizaciones más importantes de la conmutatividad es la
solubilidad, de la cual nos ocupamos en este capı́tulo. Es importante anotar que la
solubilidad en grupos está estrechamente ligada con la solubilidad por radicales de
las ecuaciones algebraicas (véase [11]). La solubilidad, será estudiada a través de los
conmutadores y el conmutante de un grupo.
122
11.2. CONMUTANTE DE UN GRUPO 123
(ii) K E G ⇔ NG (K) = G.
(ii) Z (G) E G.
[L, M ] := h[a, b] | a ∈ L, b ∈ M i.
124 CAPÍTULO 11. GRUPOS SOLUBLES
Proposición 11.2.6. Sea G un grupo de orden pq, con p y q primos diferentes, tal
que Z (G) 6= 1. Entonces, G ∼
= Zpq .
Nótese que el conmutador [(ijk) , (lij)] coincide con el primero, [(ijk) , (jli)] también
coincide con el primero.
0
L ⊆ An : las relaciones anteriores demuestran esta inclusión ya que además
(ik) (jl) = (il) (jk) (ij) (kl).
0
n ≥ 5: An = An , n ≥ 5. En efecto, sean i, j, k, l, m elementos diferentes de In .
0
Entonces, (ijk) = [(ikl) , (ijm)] y esto prueba que An ⊆ An , y en consecuencia,
0
An = An .
Cerramos esta sección con otras propiedades de los conmutantes.
Proposición 11.2.8. Sea G un grupo, A, B ≤ G y H := hA, Bi. Entonces,
(i) [A, B] , A [A, B] , B [A, B] E H.
Basta entonces considerar los productos de la forma x−1 [a, b] x, x−1 [a, b]−1 x, con
a ∈ A, b ∈ B y x ∈ A ∪ B.
x ∈ A: nótese que x−1 [a, b] x = [ax, b] [x, b]−1 ∈ [A, B] (véase el ejercicio 4).
−1
x−1 [a, b]−1 x = (x−1 [a, b] x) ∈ [A, B]
−1
x ∈ B: x−1 [a, b] x = x−1 [b, a]−1 x = (x−1 [b, a] x)
−1
= [bx, a] [x, a]−1 (véase el ejercicio 4)
−1
= [x, a] [bx, a]
= [a, x]−1 [a, bx] ∈ [A, B].
−1
Ahora, x−1 [a, b]−1 x = (x−1 [a, b] x) ∈ [A, B].
A [A, B] E H : sea y ∈ [A, B] un elemento como en (11.2.1) y x ∈ H un elemento
como en (11.2.2); sea además a ∈ A. Es suficiente entonces considerar un producto
de la forma
x−1 ayx, con x ∈ A ∪ B.
Pero x−1 ayx = x−1 axx−1 yx; según lo probado, x−1 yx ∈ [A, B]. Además, si x ∈ A,
entonces x−1 ax ∈ A y ası́ x−1 ayx ∈ A [A, B].
−1
Si x ∈ B, entonces x−1 ax = x−1 axa−1 a = [x, a−1 ] a = [a−1 , x] a ∈ [A, B] A =
A [A, B] (la última igualdad se tiene ya que A normaliza [A, B]), y ası́, x−1 ayx ∈
A [A, B] .
11.2. CONMUTANTE DE UN GRUPO 127
· 1 a a2 a3 a4 a5 b ab a2 b a3 b a4 b a5 b
1 1 a a2 a3 a4 a5 b ab a2 b a3 b a4 b a5 b
a a a2 a3 a4 a5 1 ab a2 b a3 b a4 b a5 b b
a2 a2 a3 a4 a5 1 a a2 b a3 b a4 b a5 b b ab
a3 a3 a4 a5 1 a a2 a3 b a4 b a5 b b ab a2 b
a4 a4 a5 1 a a2 a3 a4 b a5 b b ab a2 b a3 b
a5 a5 1 a a2 a3 a4 a5 b b ab a2 b a3 b a4 b
b b a5 b a4 b a3 b a2 b ab a3 a2 a 1 a5 a4
ab ab b a5 b a4 b a3 b a2 b a4 a3 a2 a 1 a5
a2 b a2 b ab b a5 b a4 b a3 b a5 a4 a3 a2 a 1
a3 b a3 b a2 b ab b a5 b a4 b 1 a5 a4 a3 a2 a
a4 b a4 b a3 b a2 b ab b a5 b a 1 a5 a4 a3 a2
a5 b a5 b a4 b a3 b a2 b ab b a2 a 1 a5 a4 a3
1 = H0 ≤ H1 ≤ · · · ≤ Hn = G. (11.3.1)
Hi E G, para 0 ≤ i ≤ n.
Se dice que un subgrupo H de un grupo G es subnormal en G, lo cual denotamos
por H EE G, si H es miembro de una cadena subnormal de G.
Los cocientes Hi+1 /Hi , 0 ≤ i ≤ n − 1, se denominan secciones de la cadena
subnormal (11.3.1).
Observación 11.3.2. Para los grupos abelianos, los conceptos de cadena, cade-
na subnormal y normal coinciden. Evidentemente, en el caso general toda cadena
normal es subnormal.
Ejemplo 11.3.3. (i) 0 < 6Z < 3Z < Z y 0 < 45Z < 15Z < 3Z <
Z son cadenas de Z con secciones 6Z/0∼ = Z, 3Z/6Z ∼= Z2 , Z/3Z = Z3 ; 45Z/0∼ = Z,
∼ ∼
15Z/45Z = Z3 , 3Z/15Z = Z5 , Z/3Z = Z3 .
(ii) 1 < 2Z < Z < Qp es una cadena de Qp con secciones 2Z/1∼ = Z, Z/2Z ∼= Z2 ,
Qp /Z = Cp∞ .
(iii) 1 < Cp < Cp2 < · · · < Cpn es una cadena de Cpn con secciones isomorfas a
Cp .
(iv) 1 < hgi < K = {1, f 2 , g, f 2 g} < D4 es una cadena subnormal no normal de
D4 con secciones isomorfas a Z2 .
(v) 1 < ha2 i < hbi < Q8 ; 1 < ha2 i < hai < Q8 ; 1 < ha2 i < habi < Q8 son cadenas
normales de Q8 con secciones isomorfas a Z2 . Nótese que en Q8 toda cadena es
normal ya que todos sus subgrupos son normales.
(vi) 1 < {1, (12)(34)} < A04 = {1, (12)(34), (13)(24), (14)(23)} < A4 es una
cadena subnormal no normal de A4 con secciones Z2 , Z2 , Z3 . En efecto, {1, (12)(34)}
no es normal en A4 : (123)−1 (12)(34)(123) = (13)(24).
Definición 11.3.4. Sean
1 = H0 ≤ H1 ≤ · · · ≤ Hn = G, (11.3.2)
1 = K0 ≤ K1 ≤ · · · ≤ Km = G (11.3.3)
cadenas del grupo G.
(i) (11.3.3) es un refinamiento de (11.3.2) si {H0 , . . . , Hn } ⊆ {K0, . . . , Km }.
(ii) Sean (11.3.2) y (11.3.3) cadenas subnormales (normales) de G. Se dice que
ellas son isomorfas si n = m y existe π ∈ Sn tal que
Hi+1 /Hi ∼
= Kπ(i)+1 /Kπ(i) , 0 ≤ i ≤ n − 1.
Ejemplo 11.3.5. (i) 0 < Z2 < Z6 < Z12 < Z24 < Z48 es un refinamiento de la
cadena 0 < Z2 < Z12 < Z48 .
(ii) 0 < Z2 < Z6 < Z24 y 0 < Z4 < Z12 < Z24 son cadenas normales isomorfas de
Z24 : Z2 /0 ∼
= Z2 ∼
= Z24 /Z12 ; Z24 /Z6 ∼
= Z4 ∼
= Z4 /0 Z6 /Z2 ∼
= Z3 ∼
= Z12 /Z4 .
130 CAPÍTULO 11. GRUPOS SOLUBLES
Una última definición para luego probar los principales resultados de esta sección.
Definición 11.3.6. Sea (11.3.1) una cadena subnormal del grupo G. Se dice que
(11.3.1) es una cadena de composición de G si
1 = H0 ≤ H1 ≤ · · · ≤ Hn = G.
Sea K ≤ G. Entonces,
(ii) Si K E G, entonces
(ii) K ∗ (H ∗ ∩ K) E K ∗ (H ∩ K).
(iii) H ∗ (H ∩ K)/H ∗ (H ∩ K ∗ ) ∼
= K ∗ (H ∩ K)/K ∗ (H ∗ ∩ K) ∼
=
∗ ∗
(H ∩ K)/[(H ∩ K)(H ∩ K )].
Demostración. Probemos inicialmente que los productos de subgrupos indicados son
realmente grupos.
H ∗ (H ∩ K) es un grupo: ya que H ∗ E H, entonces H ∗ (H ∩ K) = (H ∩ K)H ∗ .
K ∗ (H ∩ K) es un grupo: como K ∗ E K, se obtiene K ∗ (H ∩ K) = (H ∩ K)K ∗ .
H ∗ (H ∩ K ∗ ) es un grupo puesto que H ∗ E H.
K ∗ (H ∗ ∩ K) es un grupo ya que K ∗ E K.
(H ∗ ∩ K)(H ∩ K ∗ ) es un grupo: nótese que H ∗ ∩ K, H ∩ K ∗ E H ∩ K, por lo
tanto, (H ∗ ∩ K)(H ∩ K ∗ ) E H ∩ K.
Podemos ya probar las afirmaciones del lema.
(i) H ∗ (H ∩ K ∗ ) E H ∗ (H ∩ K): consideremos la función
θ : H ∗ (H ∩ K) → (H ∩ K)/[(H ∗ ∩ K)(H ∩ K ∗ )]
θ(hx) := xL,
con L := [(H ∗ ∩ K)(H ∩ K ∗ )], h ∈ H ∗ , x ∈ H ∩ K.
θ está bien definida: sean h1 , h2 ∈ H ∗ , x1 , x2 ∈ H ∩ K tales que h1 x1 = h2 x2 ,
entonces θ(h1 x1 ) = x1 L, θ(h2 x2 ) = x2 L. Por lo tanto, x1 x−1 −1 ∗
2 = h1 h2 ∈ H ∩ (H ∩
K) = H ∗ ∩ K ⊆ L, luego x1 L = x2 L y θ(h1 x1 ) = θ(h2 x2 ).
θ es un homomorfismo: como H ∗ E H, entonces x1 H ∗ = Hx∗1 para x1 ∈ H ∩ K,
por lo tanto,
132 CAPÍTULO 11. GRUPOS SOLUBLES
1 = H0 ≤ H1 ≤ H2 ≤ · · · ≤ Hn = G, (11.3.4)
1 = K0 ≤ K1 ≤ K2 ≤ · · · ≤ Km = G, (11.3.5)
dos cadenas subnormales de G. Para cada 0 ≤ i ≤ n − 1, insertamos entre Hi y Hi+1
una sucesión ordenada de subgrupos (no necesariamente diferentes)
Hi = Hi (Hi+1 ∩ K0 ) ≤ Hi (Hi+1 ∩ K1 ) ≤ · · · . ≤ Hi (Hi+1 ∩ Km ) = Hi+1 .
Sea Hi,j = Hi (Hi+1 ∩ Kj ), con 0 ≤ i ≤ n − 1, 0 ≤ j ≤ m. Nótese que Hi,m = Hi+1 =
H1+i,0 . Según el lema de Zassenhaus se obtiene una nueva cadena subnormal de G
que es refinamiento de (11.3.4):
Nótese que esta nueva cadena subnormal tiene nm+1 subgrupos (no necesariamente
diferentes). Lo mismo podemos hacer con la cadena (11.3.5) obteniéndose la cadena
subnormal (11.3.7) que es refinamiento de (11.3.5) y que contiene también nm + 1
subgrupos (no necesariamente diferentes):
Demostración. Sean {Hi } y {Kj } dos series de composición (principales) del grupo
G. Según el teorema 11.3.9, ambos tienen refinamientos isomorfos. Pero como Hi es
maximal en Hi+1 , con 0 ≤ i ≤ n − 1, y Kj es maximal en Kj+1 para 0 ≤ j ≤ m − 1,
entonces los refinamientos coinciden con las cadenas iniciales.
134 CAPÍTULO 11. GRUPOS SOLUBLES
11.5. Ejercicios
1. Sea G un grupo y sean L, M ⊆ G no vacı́os. Pruebe que [L, M ] = [M, L] .
0
2. Sea G un grupo y K G. Pruebe que el conmutante K de K es normal en G.
0 0
3. Sea ϕ : G1 → G2 un homomorfismo de grupos. Pruebe que ϕ G1 ⊆ G2 .
0 0
Además, si ϕ es sobre entonces ϕ G1 = G2
4. Demuestre que b−1 [a, c]b = [ab, c][b, c]−1 ; a[b, a]a−1 = [a−1 , b]; [a, b]−1 = [b, a].
7. Calcule refinamientos isomorfos de las cadenas normales 0 < 60Z < 20Z < Z
y 0 < 45Z < 90Z < Z.
8. Calcule todas las cadenas de composición de Z60 y muestre que son isomorfas.
[1] Cohn, P.M., Basic Algebra: groups, rings and fields, Springer, 2003.
[2] Corry, L., Modern Algebra and the Rise of Mathematical Structures, Springer,
2003.
[3] Fraleigh J.B., Abstract Algebra, 7th ed., Addison-Wesley, 2004. viii
[4] Herstein, I.N., Topics in Algebra, 2nd. edition, John Wiley, 1975.
[5] Hungerford, T.W., Algebra, Springer, 2003. viii
[6] Kargapolov M.I. and Merzljakov, J. I., Fundamentals of the Theory of
Groups, 2nd ed., translated from the Russian by R. G. Burns, Springer, 1979.
viii
[7] Kostrikin, A.I., Introducción al Álgebra, Mir, 1980.
[8] Lang, S., Algebra, Springer, 2002. vi, viii
[9] Lezama, O. and Villamarı́n, G., Anillos, Módulos y Categorı́as, Facultad de
Ciencias, Universidad Nacional de Colombia, 1994. vi
[10] Lezama, O., Cuadernos de Álgebra, No. 3: Módulos, SAC2 , Departamen-
to de Matemáticas, Universidad Nacional de Colombia, sede de Bogotá,
sites.google.com/a/unal.edu.co/sac2 88, 116
[11] Lezama, O., Cuadernos de Álgebra, No. 5: Cuerpos, SAC2 , Departamen-
to de Matemáticas, Universidad Nacional de Colombia, sede de Bogotá,
sites.google.com/a/unal.edu.co/sac2 122
[12] Robinson, D., A Course in the Theory of Gropus, Springer, 1982. viii
[13] Spindler, K., Abstract Algebra with Applications, Vol. I, II, Marcel Dekker,
1994.
[14] Van der Waerden, B.L., Algebra, Vol. I, II, Springer, 1991.
136