Professional Documents
Culture Documents
No. 1
Grupos
Oswaldo Lezama
Departamento de Matemáticas
Facultad de Ciencias
Universidad Nacional de Colombia
Sede de Bogotá
30 de diciembre de 2017
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 abelianos
más importantes son los llamados grupos cı́clicos, ya que los grupos abelianos fini-
tamente 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 capı́tulo 3 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.
Los conceptos de homomorfismo e isomorfismo, ası́ como los teoremas corres-
pondientes, son el objeto del capı́tulo 4. Por medio de estos teoremas es posible
caracterizar las imágenes homomorfas de un grupo, y ellos son herramienta clave
para la clasificación de grupos, en particular, para la clasificación de 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 G y serán estudiados en el quinto capı́tulo.
En el capı́tulo 6 estudiaremos con algún detalle al grupo simétrico Sn . Destacare-
mos en Sn el subgrupo alternante An y describiremos el grupo diédrico de grado n,
Dn , por medio de permutaciones. El objetivo del capı́tulo 7 es presentar la cons-
trucció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 capı́tulo 8 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 para cuando m es potencia de un
primo. Este resultado es uno de los famosos teoremas de Sylow.
El objetivo del capı́tulo 10 es describir para un entero positivo n dado todos los
grupos abelianos de orden n (salvo isomorfismo). Se incluirá tambien 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 ocupamos en el capı́tulo 11.
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.
viii PRÓLOGO
Oswaldo Lezama
Departamento de Matemáticas
Universidad Nacional de Colombia
Bogotá, Colombia
jolezamas@unal.edu.co
Capı́tulo 1
Grupos y subgrupos
La teorı́a de grupos estudia ciertos objetos matemáticos llamados grupos, ası́ como
las relaciones entre ellos, los homomorfismos. Podrı́amos 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 primer capı́tulo presentamos la definición axio-
má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
+:N×N→N
(a, b) 7→ a + b.
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 = (543) + 2 = 3 + 2 =5,
4 ∗ 4 = (444) + 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 elemen-
tos en ese orden e investigar si los resultados de estas formas de operar coinciden.
Ası́ pues, 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.
a ∗ (b ∗ c) = (a ∗ b) ∗ c.
De esta definición surge una pregunta inmediata: 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.
(x ∗ u)0 = u0 ∗ x0 , (x0 )0 = x.
1.2. Grupos
En la sección anterior fueron estudiadas algunas propiedades que pueda tener una
operación binaria definida en un conjunto. Ası́ pues, se dijo que cuando la operación
binaria ∗ definida sobre el conjunto G es asociativa se obtiene sobre el conjunto 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.
Definición 1.2.1. Sea G un conjunto no vacı́o y ∗ una operación binaria definida en
G. Se dice que G es un grupo respecto de ∗, o también que ∗ da a G una estructura
de grupo, si ∗ cumple las siguientes propiedades:
(i) ∗ es asociativa.
(ii) En G existe un elemento identidad e respecto de ∗.
(iii) Cada elemento de G es invertible.
Denotaremos un grupo por (G, ∗), o también por (G, ∗, e) para destacar la iden-
tidad, pero cuando no haya ambiguedad, escribiremos simplemente G.
Definición 1.2.2. Un grupo (G, ∗) es conmutativo, también denominado abelia-
no, si la operación ∗ es conmutativa.
Ejemplo 1.2.3. Los siguientes conjuntos numéricos, donde las operaciones indi-
cadas son las habituales, constituyen grupos conmutativos:
(Z, +, 0), (Q, +, 0), (R, +, 0), (C, +, 0).
Z, Q, R y C denotan los conjuntos de números enteros, racionales, reales y complejos,
respectivamente.
6 CAPÍTULO 1. GRUPOS Y SUBGRUPOS
Z∗ = {1,- 1}.
De igual manera,
(ii) Cada elemento x de G tiene un único inverso, el cual se denota por x−1 .
a ∗ b = a,
a ∗ c = a,
a ∗ b = a ∗ c ⇒ b = c.
Ejemplo 1.2.10. Sea X un conjunto no vacı́o y sea (G, .) un grupo con elemento
identidad 1. Sea Aplc(X, G) el conjunto de funciones de X en G. Se define en este
conjunto la siguiente operación:
fg : X → G
x 7→ (f g)(x) = f (x) · g(x),
Ejemplo 1.2.11. Del álgebra lineal tenemos el siguiente ejemplo: sea Mn×m (R) el
conjunto de matrices rectangulares de n filas y m columnas con entradas en R con
la operación habitual de adición definida sobre las entradas de las matrices. Esta
1.3. SUBGRUPOS 9
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 tendrı́amos 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.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:
H + := {x ∈ H | x ∈ Z+ } =
6 ∅.
Ya que (Z+ , ≤) es bien ordenado, existe un entero positivo mı́nimo n en H. Queremos
probar que H coincide con el subgrupo cı́clico generado por n, es decir, H = hni .
En efecto, sea p ∈ H. Existen enteros q, r tales que p = q · n + r, 0 ≤ r < n, luego
r = p + [− (q · n)]. Si q ∈ Z+ , entonces r = p + q · (−n). Como −n y p ∈ H se tiene
que r ∈ H. Por la escogencia de n, r = 0 y ası́ p = q · n ∈ hni. Si q ∈ Z− , entonces
−q ∈ Z+ y r = p + [(−q) · n]. Como p, n ∈ H, entonces r ∈ H y nuevamente
r = 0, con lo cual p = q · n ∈ hni. Si q = 0 entonces p = r ∈ H, luego r = 0 y
ası́ p = 0 ∈ hni. En los tres casos hemos probado que H ≤ hni. Puesto que n ∈ H,
la otra inclusión es obvia. Se ha demostrado que cada subgrupo H de Z es cı́clico
y generado por el menor entero positivo n contenido en H. Además, hni = h−ni .
Ası́ pues, los subgrupos de Z son: hni , n ≥ 0.
Observación 1.3.11. En adelante omitiremos en la teorı́a general de grupos con
notación mutltiplicativa el punto para representar la operación correspondiente,
ası́ pues, escribiremos xy en lugar de x · y para denotar el producto de los elementos
x, y.
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.
(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 en cambio el siguiente
resultado.
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.
Demostración. Sea z ∈ [a], entonces a ≡ z. Por ser ≡ una relación simétrica tenemos
que z ≡ a, y por eso, za−1 = x, con x ∈ H, luego z = xa ∈ Ha. Hemos probado
que [a] ⊆ Ha. Sea z = xa un elemento de Ha, con x ∈ H, entonces za−1 = x ∈ H,
o sea z ≡ a, de donde a ≡ z, es decir, z ∈ [a].
La proposición anterior muestra que la clase del elemento identidad 1 del grupo
G coincide con el subgrupo H. Luego [1] y H tienen la misma cantidad de elementos.
A continuación probaremos que todas las clases tienen la cardinalidad de H, y por
ende, todas las clases de equivalencia tienen la misma cantidad de elementos.
|G|
|G : H| = . (1.5.2)
|H|
1.6. Ejercicios
1. Demuestre por inducción las proposiciones 1.1.8 y 1.1.13.
18 CAPÍTULO 1. GRUPOS Y SUBGRUPOS
(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) 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 definen operaciones binarias internas de las
cuales se saben que son asociativas. Compruebe que ellas definen grupos:
1.6. EJERCICIOS 21
Z4 = {0, 1, 2, 3}
+ 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,
22 CAPÍTULO 1. GRUPOS Y SUBGRUPOS
(i) Sea SLn (R) el subconjunto de GLn (R) constituido por las matrices de
determinante 1, es decir,
SLn (R) := {F ∈ GLn (R) | det(F ) = 1}.
Demuestre que SLn (R) ≤ GLn (R). SLn (R) se denomina el grupo espe-
cial de orden n sobre R.
(ii) Sea
Dn (R) := {diag(d1 , . . . , dn ) ∈ Mn (R) | d1 · · · dn 6= 0}.
Demuestre que Dn (R) ≤ GLn (R). Dn (R) se conoce como el grupo de
matrices diagonales de orden n sobre R.
(iii) Sea
f11 · · · f1n
. . .
.
Tn (R) := . ∈ Mn (R) | f11 · · · fnn 6= 0, fij = 0 si i > j .
.
0 fnn
Demuestre que:
(i) GLn (R) se puede generar por matrices elementales. Mejor aún, demuestre
que
GLn (R) = hTij (a), Dn (d)|1 ≤ i, j ≤ n, i 6= j, a ∈ R, 0 6= d ∈ Ri.
(ii) SLn (R) = hTij (a)|1 ≤ i, j ≤ n, i 6= j, a ∈ Ri.
(iii) Dn (R) = hDi (di )|0 6= di ∈ R, 1 ≤ i ≤ ni.
(iv) Tn (R) = hTij (a), Di (di )|j > i, a ∈ R, 0 6= di , 1 ≤ i, j ≤ ni.
(iv) U Tn (R) = hTij (a)|j > i, a ∈ R, 1 ≤ i, j ≤ ni.
(v) U Tnm (R) = hTij (a)|j − i ≥ m, a ∈ R, 1 ≤ i, j ≤ ni.
Capı́tulo 2
Grupos cı́clicos
Una rama destacada dentro de la teorı́a de grupos la constituyen los llamados grupos
abelianos. Quizá los grupos abelianos más importantes son los llamados grupos cı́cli-
cos ya que los grupos abelianos finitamente generados son expresables a través de
sumas directas de grupos cı́clicos. En este capı́tulo vamos a mostrar las propiedades
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.
Definición 2.1.2. Sea G un grupo cualquiera. Se dice que G es cı́clico si G coincide
con uno de sus subgrupos cı́clicos; es decir, si existe un elemento a en G tal que
hai = G. En este caso se dice que a es un generador del grupo cı́clico G.
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};
afirmamos que Un es un subgrupo de hC∗, ·, 1i: en efecto, Un 6= ∅ ya que 1n = 1
y por lo tanto 1 ∈ Un . Sean z1 y z2 elementos de Un , entonces (z1 z2 )n = z1n z2n
por ser hC∗ , ·, 1i un grupo abeliano, luego (z1 z2 )n = 1 y ası́ z1 z2 ∈ Un . Sea ahora
n
z ∈ Un , entonces (z −1 ) = z −n = (z n )−1 = 1−1 = 1, es decir, z −1 ∈ Un y nuestra
afirmación está probada.
Sea z un elemento de Un . Al escribir z en la forma polar z = r (cos θ + i sin θ) ,
donde r = | z| es la norma de z, y teniendo en cuenta que la norma de un producto de
complejos es el producto de las normas, concluimos que | z n | = | z|n = rn = |1| = 1.
Puesto que la norma es un real no negativo entonces r = 1 y z tiene la forma
polar z = cos θ + i sin θ. Podemos utilizar el Teorema de D’Moivre para determinar
la cantidad de elementos de Un y para demostrar que este subgrupo es cı́clico:
z n = cos nθ + i sin nθ = 1 = 1 + i0, entonces cos nθ = 1 y sin nθ = 0, ası́ nθ = 2kπ,
k = 0, 1, 2, . . . . Despejando θ obtenemos que θ = 2kπ n
, k = 0, 1, 2, . . . . Sin embargo,
por la periodicidad de las funciones cos y sin es suficiente considerar los valores
de k hasta n − 1: θ = 2kπ n
, k = 0, 1, 2, . . . , n − 1. De tal manera que si z ∈ Un
entonces z es de la forma z = cos 2kπ n
+ i sin 2kπ n
, con k = 0, 1, . . . , n − 1. Utilizando
la forma exponencial de z podemos demostrar que los complejos cos 2kπ n
+ i sin 2kπ
n
,
2kπ 2kπ 0
2k π 2k0 π
con k = 0, 1, . . . , n − 1 son diferentes: si cos n + i sin n = cos n + i sin n
2kπ 2k0 π 0
entonces ei n = ei ası́, i 2kπ
n
nn = i 2kn π y por tanto k = k 0 . o
i 2kπ 2kπ 2kπ
De tal manera que Un = e n = cos n + i sin n | k = 0, 1, . . . , n − 1 consta
de n elementos exactamente (nótese que C∗ es un grupo infinito que posee grupos
finitos no triviales: Un , n > 1). Utilizando nuevamente el teorema de D’Moivre
2π
comprobemos que Un es cı́clico y generado por z1 = ei n = cos 2π n
+ i sin 2π
n
. Sea
i 2kπ
z =e n un elemento cualquiera de Un , entonces z es la k-ésima potencia de z1 :
2π k 2kπ
k
(z1 ) = ei n = ei n = z. Ası́ que, Un ≤ h z1 i ⊆ Un entonces Un = hz1 i,
|Un | = n.
26 CAPÍTULO 2. GRUPOS CÍCLICOS
Corolario 2.2.4. (i) Sea G un grupo grupo finito. Entonces |a| | |G| .
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
pn1
+ pn2
= pn1 + n2
∈ Qp ,
m −m
− pn = pn ∈ Qp .
Sea pmn ∈ Qp , supóngase que existe k > 0 tal que k m
pn
= 0, es decir, km
pn
= 0,
entonces km = 0, ası́ m = 0. Luego, pmn = 0.
Veamos que estos son los únicos sugbrupos: 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 entonces 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.
34
3.2. GRUPO COCIENTE 35
(i) ∀x ∈ G, ∀h ∈ H : x−1 hx ∈ H.
(ii) ∀x ∈ G : x−1 Hx = H.
(iii) ∀x ∈ G : xH = Hx.
Definición 3.1.4. Sea G 6= {1} un grupo. Entonces G posee al menos dos subgrupos
normales, llamados los subgrupos normales triviales: {1}, G. Si G no posee
otros subgrupos normales fuera de los triviales se dice que G es un grupo simple.
a ≡ b ⇔ ab−1 ∈ H.
[a] = Ha
36 CAPÍTULO 3. SUBGRUPOS NORMALES Y HOMOMORFISMOS
(iv) Zn = Z/hni.
(v) Sea K ≤ G tal que H ≤ K. Entonces, H E K.
(vi) Sea L ≤ G tal que |G : L| = 2, entonces L E G.
Demostración. Las cinco primeras afirmaciones son casi evidentes. VeamosSla prueba
de (vi): G queda dividido en sólo dos clases laterales izquierdas: G = L (G − L).
Sea x ∈ G, h ∈ L; consideremos las siguientes cuatro posibilidades:
a) x−1 h ∈ L, x−1 ∈ L ⇒ x−1 hx ∈ L
b) x−1 h ∈ L, x−1 ∈ / L, imposible
−1 −1
c) x h ∈ / L, x ∈ L, imposible
d) x−1 h ∈/ L, x−1 ∈ / L ⇒ x−1 h ≡ x−1 ⇒ x−1 hx ∈ L ⇒ L E G.
(vii) Esto se ilustra en el siguiente ejemplo.
3.2. GRUPO COCIENTE 37
Definición 3.3.1. Sean hG, ·i y hF, ·i dos grupos. Una función ϕ : G → F tal que
ϕ(ab) = ϕ(a) ϕ(b), ∀a, b ∈ G se denomina un homomorfismo del grupo G en el
grupo F .
ϕ (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.
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
Los subgrupos de orden 2 son cı́clicos y por lo tanto generados por los elementos
de orden 2:
hgi, hf gi, hf 2 gi son los subgrupos de orden 2.
Los subgrupos de orden 3 son necesariamente cı́clicos y son generados por ele-
mentos de orden 3 :
hf i es el único subgrupo de orden 3,
◦ 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
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 : C1 → 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 ası́ 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 y de esta manera [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 y 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ı́ pues,
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ı́ pues, 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, es
4.4. TEOREMAS DE ISOMORFISMO 49
decir, 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; 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ı́ pues, 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 , V /H2 ∼
= V /K2 ∼
= 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 pues dos grupos distintos
de orden 4. Nos 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:
|G| = 1 ⇒ G es un grupo unitario y por ende abeliano.
|G| = 2 ⇒ G es un grupo cı́clico ⇒ G ∼ = Z2 ⇒ G es abeliano.
∼
|G| = 3 ⇒ G es un grupo cı́clico ⇒ G = Z3 ⇒ G es abeliano.
|G| = 4, si G es cı́clico ⇒ G ∼ = Z4 ⇒ G es abeliano.
|G| = 5 ⇒ G es un grupo cı́clico ⇒ G ∼ = Z5 ⇒ G 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
al cuarto grupo de Klein, V : 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 ⇒ K4 = {1, f 2 , g, f 2 g};
2) a = f 2 , b = f g ⇒ H4 = {1, f 2 , f g, f 3 g};
50 CAPÍTULO 4. TEOREMAS DE ESTRUCTURA
3) a = f 2 , b = f 2 g ⇒ K4 ;
4) a = f 2 , b = f 3 g ⇒ H4 ;
5) a = g, b = f g, descartado ya que g(f g) 6= (f g)g;
6) a = g, b = f 2 g ⇒ 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 ⇒ 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) ⇒ 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 y 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 ası́ 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 .
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 f
f f2 f3 fg f 2g f 3g g
T1,2 : D4 → D4
f αgβ 7 → f α (f 2 g)β
5.3. EJEMPLOS 57
f2 f3 g f g f 2g f 3g
T1,2 = 11 f
f f2 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) ⇒ qf (p/q) = pf (1) luego f (p/q) = f (1). Lo anterior permite
q
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, entonces p = 0 luego = 0.
q q q
0 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 corre-
sponden 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
F (a) = a2 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
F (a) = a2 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
F23 (a) = a3 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)
F24 (a) = a3 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 entonces F24 (ar bs ap bq ) = F24 (ar+p b), se presentan entonces 16 posi-
bilidades:
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
1. f (a1 ) = a2 , f (a2 ) = a3 , . . . , f (am−1 ) = am , f (am ) = a1 ,
2. 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
Ahora, si x ∈
/ {a1 , . . . , ak } entonces g(x) = x, luego f1 g(x) = f1 (x) = f (x).
Puesto que f1 fija los elementos a1 , . . . , ak entonces f1 puede considerarse como
una permutación del conjunto In − {a1 , . . . , ak }. Por la hipótesis de inducción f1 es
producto de ciclos disyuntos conformados por los elementos de In − {a1 , . . . , ak }. En
total f es producto de ciclos disyuntos conformados por los elementos de In . Esto
completa la prueba de la primera afirmación del teorema.
Probemos ahora la unicidad de la descomposición: sean
f = (a11 a12 · · · a1k1 )(a21 a22 · · · a2k2 ) · · · (ar1 ar2 · · · arkr )
= (b11 b12 · · · b1m1 )(b21 b22 · · · b2m2 ) · · · (bs1 bs2 · · · bsms )
dos descomposiciones de f en producto de ciclos disyuntos. Nótese que 1 ≤ r ≤
n, 1 ≤ s ≤ n. Estamos considerando que los elementos de In que permanezcan fijos
bajo f conforman ciclos de longitud 1, es decir,
1 ≤ ki ≤ n, 1 ≤ i ≤ r; 1 ≤ mj ≤ n, 1 ≤ i ≤ s.
En otras palabras, estamos considerando que
In = {a11 , a12 , . . . , a1k1 ; . . . ; ar1 , ar2 , . . . , arkr }
= {b11 , b12 , . . . , b1m1 ; . . . ; bs1 , bs2 , . . . , bsms }.
El elemento a11 debe aparecer en alguno de los ciclos de la segunda descomposición.
Por la conmutatividad de los factores podemos asumir que a11 ∈ {b11 , b12 , . . . , b1m1 }.
Reordenando el ciclo (b11 b12 · · · b1m1 ) podemos considerar sin pérdida de generali-
dad que a11 = b11 . Según el teorema 6.1.3, k1 es el menor entero positivo tal que
f k1 (a11 ) = a11 . Se obtiene pues que k1 = m1 y además
f (b11 ) = b12 = f (a11 ) = a12 ; f (b12 ) = b13 = f (a12 ) = a13 ; . . . ;
f (b1m1 −1 ) = b1m1 = f (a1k1 −1 ) = a1k1 ; f (b1m1 ) = b11 = f (a1k1 ) = a11 ,
es decir, (a11 a12 · · · a1k1 ) = (b11 b12 · · · b1m1 ). El mismo análisis podemos aplicar a
a21 , a31 , . . . , ar1 demostrando que r ≤ s y la igualdad de ciclos. En forma similar
s ≤ r, lo cual concluye la prueba del teorema.
Ejemplo 6.1.5. Consideremos los siguientes elementos de S9 :
1 2 3 4 5 6 7 8 9
f= ,
2 5 3 1 7 6 9 8 4
luego f = (125794)(3)(6) = (125794);
1 2 3 4 5 6 7 8 9
g=
3 6 4 1 2 5 8 7 9
ası́ g = (134)(265)(78)(9) = (265)(134)(78) = (78)(134)(265) = (134)(78)(265) =
(78)(265)(134) = (265)(78)(134).
6.2. EL GRUPO ALTERNANTE AN 65
(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.
Proposición 6.3.2. Para n ≥ 3, An coincide con con el subgrupo generado por los
3-ciclos.
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 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 ) = k−k0 m+m0
f g , 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.
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
n
Qn {Gi }i=1 una familia finita de grupos arbitrarios y sea x = (x1 , . . . , xn ) ∈
(i) Sea
i=1 Gi tal que xi es de orden finito para cada 1 ≤ i ≤ n, entonces |x| =
m.c.m. {|xi |}ni=1 .
Zm1 × · · · × Zmk ∼
= Zm1 ···mk .
mk
(iv) Sea n = pm
1 · · · pk
1
la descomposición del entero n en factores primos. En-
tonces
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
Definimos en i∈I Gi el producto de manera análoga a como se hizo en el caso finito.
Sea xi := x(i), luego x = (xi )i∈I y entonces
El producto cartesiano junto con sus proyecciones está caracterizado por la siguiente
propiedad universal.
Q
TeoremaQ 7.2.1. Sean {Gi }i∈I una familia de grupos, i∈I Gi su producto cartesiano
y {πj : i∈I Gi → Gj }j∈I las proyecciones canónicas. Entonces,
L
Gi es un subgrupo del producto
i∈I L y se denomina suma directa externa de
la familia dada. EnLefecto, 1 ∈ i∈I Gi , con lo cual la suma directa externa no es
vacı́a. Sean x, z ∈ i∈I Gi con soportes Ix e Iz , respectivamente. Entonces, xi zi = 1
para cada i ∈ I − (Ix ∪ Iz ). Esto indica que sólo para los elementos de un cierto
subconjunto finito Iy ⊆ Ix ∪ Iz se tiene L que xi zi 6= 1. Por lo tanto,L si y = (yi ) es
L de x y z entonces y ∈ i∈I Gi . Es claro que si x ∈ i∈I Gi entonces
el producto
−1
x ∈ i∈I Gi .
Asociadas a la suma directa externa de una familia de grupos están las siguientes
inyecciones canónicas:
L
µj : Gj → i∈I Gi ,
a, si i = j
µj (a) := x := (xi ), donde xj :=
1, si i 6= j.
(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.
Q Q hQ i
α(x) = j∈Ix tj (xj ) = j∈Ix θµj (xj ) = θ µ
j∈Ix j (x j ) = θ(x), ya que x =
Q
j∈Ix µj (xj ).
(ii) La prueba es como en el caso del producto y la dejamos al lector.
HK := {hk | h ∈ H, k ∈ K}
Como H1 E G entonces xi i xi+1 i+1
(xi i )−1 ∈ H1 . Si xi+2
i+2
. . . xt t están todos en H2 ,
i+1
entonces tendremos que x = x01 x02 , con x01 := x11 · · · xi i xi+1 (xi i )−1 ∈ H1 y x02 :=
i+2
xi i xi+2 · · · xt t ∈ H2 . En caso contrario repetimos lo anterior máximo hasta t. De
esto obtenemos que hH1 ∪ H2 i ⊆ H1 H2 .
Supóngase que hH1 ∪ · · · ∪ Hn−1 i = H1 · · · Hn−1 . Nótese que hH1 ∪ · · · ∪ Hn i =
hK ∪ Hn i , con K = H1 ∪ · · · ∪ Hn−1 , además, K E G ya que gH1 · · · Hn−1 g −1 =
gH1 g −1 gH2 g −1 g · · · gHn−1 g −1 = H1 · · · Hn−1 .
De acuerdo con el paso n = 2 y con la hipótesis de inducción, hH1 ∪ · · · ∪ Hn i =
KHn = H1 · · · Hn−1 Hn .
La normalidad S se acabaS de probar; la última afirmación de la proposición es
evidente ya que ni=1 Hi = ni=1 Hπ(i) .
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 .
Pn
Dicha relación entre G y los subgrupos H1 , . . . , Hn se denota por G = i=1 ⊕Hi =
H1 ⊕ · · · ⊕ Hn .
Proposición 7.4.4. Sea {Gi }ni=1 una colección finita de grupos, y sea G = G1 ×
· · · × Gn su producto cartesiano. Sea
G = G01 ⊕ · · · ⊕ G0n .
Además G0i ∼
= Gi para 1 ≤ i ≤ n.
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 .
84 CAPÍTULO 7. PRODUCTOS Y SUMAS DIRECTAS
x−1 ax = (x−1 −1
1 a1 x1 , · · · ., xn an xn ) ∈ A.
Q
El resultado
Q anterior podemos generalizarlo: sea G = i∈I Gi , y sea Ai E Gi ,
i ∈ I. Si A := i∈I Ai , entonces A E G.
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 i), j) y k) y decir simplemente que Aut(Dn )
es la suma semidirecta interna de F y G.
7.5. EJERCICIOS 87
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 sea Φ : 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}.
Nótese que G ha sido particionado en clases conjugadas. Decir que dos elementos
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
subgrupo 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
este 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}.
Determinemos el núcleo de φ:
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
Si σ es par, entonces no hay nada que probar. Supóngase que σ es impar. Sean
z1 , z2 ∈ In − {y1 , . . . , yn−2 }. Entonces Θ = (z1 z2 )σ es par y además Θ(xi ) = yi
∀i = 1, . . . , n − 2.
(i)
X
|N (g)| = |G|.
g∈G
(siendo 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
Sea N (g) el conjunto de puntos de In que permanecen fijos bajo g; 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 carte-
siano 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 Xn 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 sub-
grupo 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 unicidad 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 perı́odos 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 constituyen 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. Supongamos que G contiene p-
subgrupos. Un p-subgrupo H se denomina p-subgrupo de Sylow de G si H es maxi-
98
9.1. P -GRUPOS 99
Ejemplo 9.1.4. Algunos ejemplos de grupos primarios son Cp∞ , Zpn , U T (3, Zp ).
G = ∪ri=1 xG
i , xi ∈ G.
Se tienen clases de un solo elemento (por ejemplo 1G ). Podemos reordenar los ı́ndices
y suponer que las primeras q clases constan de un sólo 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.
Demostración. P Q ≤ G : sea pq ∈ P Q, entonces pqp−1 ∈ Q luego pq ∈ QP con lo
cual P Q ⊆ QP . Análogamente, QP ⊆ P Q y ası́ P Q = QP .
Q E P Q: sean q ∈ Q, pq0 ∈ P Q, entonces pq0 q(pq0 )−1 = pq0 qq0−1 p−1 ∈ Q.
Por el teorema fundamental de isomorfismo P Q/Q ∼ = P/(P ∩ Q). Nótese que
P/(P ∩ Q) es un p-grupo ( más generalmente, si G es un p-grupo y N E G entonces
α
G/N es un p-grupo: x ∈ G implica |x| = pα , α ≥ 0; (x)p = xpα = 1 luego |x| | pα ).
Q es un p-grupo ya que los elementos de Q tienen el mismo orden que los elementos
de P .
9.2. PRELIMINARES 101
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.
pr −k m( pr m − 1) · · · ( pr m − ( pk − 1))
r
pm
= .
pk 12 · · · (pk − 1)
rm −i
Consideremos el racional p i
, con 1 ≤ i ≤ pk − 1 < pk . Si pj es una potencia
de p que divide a i, entonces
i = pj λ < pk ⇒ j < k ≤ r ⇒ pr m−i = pr− j+j m−pj λ = pj (pr−j m−λ) ⇒ pj |pr m−i,
9.3. Teoremas
Teorema 9.3.1 (Teoremas de Sylow). Sea G un grupo finito y sea p un número
primo que divide al orden de G. Entonces:
Demostración. (i) Existencia: sea n el orden del grupo G y sea pr la máxima potencia
de p que divide a n. Sea pues n := pr m, donde m.c.d.(p, m) = 1. Consideremos el
conjunto M de todos los subconjuntos de G que contiene pα elementos. Puesto que
G actúa sobre sı́ mismo de la manera trivial
G × G → G, (g, x) 7→ gx,
C = {gP g −1 | g ∈ G} = P G .
|G|
|C| = ⇒ |G| = |C||NG (P )|.
|NG (P )|
9.4. Aplicaciones
Proposición 9.4.1. Sea G un grupo finito y sea H un p-subgrupo de Sylow de G.
Entonces, H E G ⇔ H es único.
Demostración. ⇒): Sea K un p-subgrupo de Sylow, entonces K = xHx−1 = H
luego H es único.
⇐): Sea x ∈ G entonces |xHx−1 | = |H| luego xHx−1 es p-subgrupo de Sylow,
de donde xHx−1 = H, y por lo tanto H E G.
Corolario 9.4.2. Sea G un grupo finito y sea H el p-subgrupo de Sylow de G tal
que H E G. Entonces H = {x ∈ G | |x| es una potencia de p}.
Demostración. Sea x ∈ H, como H por definición es p-subgrupo entonces |x| es
una potencia de p. De otra parte, sea x ∈ G tal que |x| = pα entonces hxi es un
p-subgrupo de G por lo tanto hxi está contenido en el único p-subgrupo de Sylow
de G.
La proposición anterior sirve para caracterizar todos los subgrupos de orden pq
con p > q y p, q primos
Proposición 9.4.3. Sea G un grupo de orden pq con p y q primos y con p > q.
Entonces:
(i) G ∼
= Zpq ó
(ii) G es no abeliano y se tiene que G = Gpq := ha, b | ap = 1, bq = 1, bab−1 = ak
con k 6≡ 1 (mód p) y k q ≡ 1 (mód p), p ≡ 1 (mód q) i.
108 CAPÍTULO 9. TEOREMAS DE SYLOW
l
ar bl as bm = ar+sk bl+m , r, l, s, m ≥ 0.
bab−1 = 1 ⇒ a = 1, falso.
bab−1 = a ⇒ ab = ba ⇒ ha, bi es abeliano, pero este subgrupo tiene 12 elementos
y coincide entonces con G, falso.
3
bab−1 = a2 ⇒ (bab−1 ) = 1 ⇒ ba3 b−1 = 1 ⇒ a3 = 1, falso.
2
bab−1 = a3 ⇒ (bab−1 ) = 1 ⇒ a2 = 1, falso.
3
bab−1 = a4 ⇒ (bab−1 ) = 1 ⇒ a3 = 1, falso.
bab−1 = a5 = a−1 ⇒ bab−1 = a−1 , esta es una entonces una condición necesaria
en G.
Veamos que en los dos últimos casos G = ha, bi. En ambas situaciones conside-
remos el conjunto
C := ak bm | 0 ≤ k ≤ 5, 0 ≤ m ≤ 1
y sean 0 ≤ k1 , k2 ≤ 5, 0 ≤ m1 , m2 ≤ 1 tales que ak1 bm1 = ak2 bm2 ⇒ ak1 −k2 = bm2 −m1 .
Supongamos que m2 6= m1 y por ejemplo m2 > m1 entonces ak1 −k2 = b ∈ hai, falso,
luego m2 = m1 y k1 = k2 .
Ası́ pues, en A hay 12 elementos y en consecuencia G = ha, bi. En total obtenemos
que si G es un grupo no abeliano de orden 12, entonces G es alguno de los siguientes
grupos:
A4 , D6 = a, b | a6 = 1, b2 = 1, bab−1 = a−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 .
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)
donde Pi es 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.
Demostración. ⇒): Si G es suma directa de sus subgrupos de Sylow, entonces por
la definición de suma directa, cada sumando es necesariamente subgrupo normal de
G.
⇐): Para 1 ≤ i ≤ k, sea Pi un pi -subgrupo de Sylow de G tal que Pi es un
subgrupo normal de G. Entonces Pi es único. Probaremos entonces que (10.1.1) se
cumple. Veremos que cada elemento x ∈ G tiene una representación única en la
forma x = x1 · · · xk , donde xi ∈ Pi , 1 ≤ i ≤ k.
113
114 CAPÍTULO 10. GRUPOS ABELIANOS FINITOS
si = ti pm−αi . Definimos
ai =: δi a−ti , 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 , donde 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ı́ pues, h es 1 − 1. Ahora, h es
claramente sobre: (m1 , . . . , mr ) determina (pm1 ,...,p
1 mr
), el cual a su vez determina
Zpm1 ⊕ · · · ⊕ Zpmr .
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.
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. Se
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 ⇒ (23 , 22 , 32 , 31 );
Z18 ⊕ Z48 = Z9 ⊕ Z2 ⊕ Z16 ⊕ Z3 ∼
∼ = Z16 ⊕ Z2 ⊕ Z9 ⊕ Z3 ⇒ (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, H grupos abelianos finitos tales que para cada entero positivo m ambos
tienen el mismo número de elementos de orden m. Demuestre 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 está obligado a pertenecer 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 [10]). 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.5. Sea G un grupo tal que G/Z (G) es cı́clico. Entonces G es
abeliano.
Demostración. Sea x un elemento de G. Entonces, x = xZ (G) ∈ G/Z (G). Como
este cociente es cı́clico existe a ∈ G tal que x = a k para algún k ∈ Z por lo tanto
x−1 ak ∈ Z (G), es decir, existe z ∈ Z(G) tal que x−1 ak = z luego x = ak z −1 , es
decir, x es de la forma x = ak ω, donde ω ∈ Z (G).
Sean x, y elementos cualesquiera de G. Entonces
−1 k −1 k
[x, y] = x−1 y −1 xy = ak1 w1 a 2 w2 a 1 w1 ak2 w2 , donde k1 , k2 ∈ Z y
w1 w2 ∈ Z (G);
−1 −k1 −1 −k2 k1
⇒ [x, y] = w1 a w2 a a w1 ak2 w2 = a−k1 −k2 +k1 +k2 = 1,
11.2. CONMUTANTE DE UN GRUPO 125
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
0
In . 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 sea 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 : sean y ∈ [A, B] un elemento como en (11.2.1) y sea x ∈ H un
elemento como en (11.2.2); sea además a ∈ A. Es suficiente entonces considerar
solamente 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], y ası́ x−1 ayx ∈ A [A, B] (la última igualdad es consecuencia de que A
normaliza [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.
Observación 11.3.2. Para los grupos abelianos los conceptos de cadena, cadena
subnormal y normal coinciden. Evidentemente en el caso general toda cadena nor-
mal 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).
1 = H0 ≤ H1 ≤ · · · ≤ Hn = G, (11.3.2)
1 = K0 ≤ K1 ≤ · · · ≤ Km = G (11.3.3)
cadenas del grupo G.
Hi+1 /Hi ∼
= Kπ(i)+1 /Kπ(i) , 0 ≤ i ≤ n − 1.
130 CAPÍTULO 11. GRUPOS SOLUBLES
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 ∼ = Z4 ∼
= Z24 /Z12 ; Z24 /Z6 ∼ = Z4 /0 Z6 /Z2 ∼
= Z3 ∼
= Z12 /Z4 .
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
Hi+1 K Hi+1
Hi+1
= K
Hi K
∼
=
Hi+1 K ∼
=
Hi+1 ∼
=
Hi
Hi (Hi+1 ∩K) .
Hi Hi K Hi (Hi+1 ∩K)
K Hi
A E B ≤ G, H E G; entonces BH ∼
= B
.
AH A(B∩H)
(i) H ∗ (H ∩ K ∗ ) E H ∗ (H ∩ K).
(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 ∗ )].
θ : H ∗ (H ∩ K) → (H ∩ K)/[(H ∗ ∩ K)(H ∩ K ∗ )]
θ(hx) := xL,
132 CAPÍTULO 11. GRUPOS SOLUBLES
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 ), 0 ≤ i ≤ n − 1, 0 ≤ j ≤ m. Nótese que Hi,m = Hi+1 =
H1+i,0 , 0 ≤ i ≤ n − 1. Según el lema de Zassenhaus se obtiene una nueva cadena
subnormal de G que es refinamiento de (11.3.4):
1 = H0,0 ≤ H0,1 ≤ · · · ≤ H0,m−1 ≤ H1,0 ≤ H1,1 ≤ · · · ≤ H1,m−1
≤ H2,0 ≤ H2,1 ≤ · · · ≤ H2,m−1 ≤ H3,0 ≤ · · · ≤ Hn−1,0 (11.3.6)
≤ Hn−1,2 ≤ · · · . ≤ Hn−1,m−1 ≤ Hn = G.
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):
1 = K0,0 ≤ K0,1 ≤ · · · ≤ K0,n−1 ≤ K1,0 ≤ K1,1 ≤ · · · ≤ K1,n−1
≤ K2,0 ≤ K2,2 ≤ · · · ≤ K2,n−1 ≤ K3,0 ≤ · · · ≤ Km−1,0 (11.3.7)
≤ Km−1,2 ≤ · · · ≤ Km−1,n−1 ≤ Km = G,
11.3. CADENAS NORMALES 133
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 0 ≤ i ≤ n − 1 y Kj es maximal en Kj+1 , 0 ≤ j ≤ m − 1, entonces
los refinamientos coinciden con las cadenas iniciales.
Corolario 11.3.11. Si el grupo G tiene una cadena de composición (principal) y
N es un subgrupo normal propio de G, entonces G tiene una cadena de composición
(principal) que contiene a N.
Demostración. La cadena 1 < N < G es subnormal y normal en G. Consideremos
inicialmente el caso subnormal. Sea {Hi } una cadena de composición de G. Según
el teorema 11.3.10, 1 < N < G tiene un refinamiento subnormal isomorfo a un refi-
namiento de {Hi }. Pero como {Hi } es de composición, entonces dicho refinamiento
de 1 < N < G es una serie de composición. De manera análoga se argumenta el
caso principal.
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] Herstein, I.N., Topics in Algebra, 2nd. edition, John Wiley, 1975.
[12] Spindler, K., Abstract Algebra with Applications, Vol. I, II, Marcel Dekker,
1994.
[13] Van der Waerden, B.L., Algebra, Vol. I, II, Springer, 1991.
136