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á
30 de julio de 2019
ii
Prólogo iv
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 ca-
racterizar las imágenes homomorfas de un grupo, y ellos son herramienta clave para
la clasificación de grupos, en particular, para la de los grupos finitos. Los homomor-
fismos 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 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 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
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).
∗:N×N→N
a ∗ b 7→ (a 4 b) + 2,
(3 ∗ 5) ∗ 7 = 5 ∗ 7 = 7 y 3 ∗ (5 ∗ 7) = 3 ∗ 7 = 5.
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 para una operación
binaria definida en un conjunto. Ası́, 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.
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
(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.
Análogamente, si tiene lugar la propiedad (i) a la izquierda y la propiedad (ii) a la
derecha, el sistema (G, ∗) no es necesariamente un grupo.
Presentamos a continuación algunos ejemplos notables de grupos.
Ejemplo 1.2.9. El grupo de elementos invertibles del semigrupo Aplc(X), denotado
por S(X), está constituido por las funciones f : X → X tales que existe g : X → X
para la cual f ◦ g = iX = g ◦ f . En otras palabras, f ∈ S(X) si, y sólo si, f es
una función biyectiva. S(X) es entonces el grupo de todas las funciones biyectivas
definidas de X en X, y es llamado el grupo de permutaciones de X. En el caso
en que X sea un conjunto finito de n ≥ 1 elementos, S(X) se denota por Sn . Este
grupo será estudiado en detalle en el capı́tulo 6. Para el caso n = 3, los elementos
de S3 son:
1 2 3 1 2 3 1 2 3
iX = ↓ ↓ ↓ , f := ↓ ↓ ↓ , h := ↓ ↓ ↓
1 2 3 1 3 2 3 2 1
1 2 3 1 2 3 1 2 3
g := ↓ ↓ ↓ , k := ↓ ↓ ↓ , m := ↓ ↓ ↓ .
2 1 3 2 3 1 3 1 2
Notemos que este grupo no es conmutativo.
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),
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: para cualesquiera m, n ∈ Z se tiene
H + := {x ∈ H | x ∈ Z+ } =
6 ∅.
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.
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.
1.5. TEOREMA DE LAGRANGE 15
(iii) hXi ∪ hY i ⊆ hX ∪ Y i.
Demostración. (i) Esta primera afirmación es evidente.
(ii) hY i es un subgrupo de G que contiene a Y ⊇ X, por tanto, hXi ≤ hY i.
(iii) hX ∪ Y i ⊇ X ∪ Y ⊇ X, luego hX ∪ Y i ≥ hXi. Análogamente, hX ∪ Y i ≥
hY i, de donde hXi ∪ hY i ⊆ hX ∪ Y i (en general, la unión de subgrupos no es un
subgrupo).
Proposición 1.4.12. Sea G un grupo finitamente generado y sea H un subgrupo
propio de G. Entonces, existe un subgrupo maximal de G que contiene a H.
Demostración. Sea {x1 , . . . , xn } un sistema finito de generadores de G. Sea Φ :=
{K | H ≤ K G}. Observemos que Φ 6= ∅ ya que H ∈ Φ. (Φ, S ≤) es un conjunto
parcialmente ordenado. Sea Φ0 una cadena de Φ. Sea H 0 := K, la unión de los
subgrupos K de esta cadena. Nótese que H ≤ H 0 ≤ G. En efecto, Sean x, y ∈ H 0 ,
entonces existen Kx ,Ky ∈ Φ0 tales que x ∈ Kx , y ∈ Ky . Como Φ0 es totalmente
ordenado podemos suponer que Kx ≤ Ky y entonces x, y ∈ Ky , luego xy ∈ Ky , con
lo cual xy ∈ H 0 . Además, x−1 ∈ Kx ⊆ H 0 . Ahora, como H ≤ K para cada K ∈ Φ0 ,
entonces H ≤ H 0 .
Observemos que H 0 6= G. En efecto, si H 0 = G = hx1 , . . . , xn i, entonces x1 ∈
Kx1 , . . . , xn ∈ Kxn , con Kxi ∈ Φ0 . Existe Kxj tal que x1 , . . . , xn ∈ Kxj , luego
G ≤ Kxj , es decir, Kxj = G, lo cual es contradictorio. Ası́ pues, H 0 6= G. H 0 es cota
superior para Φ0 en Φ. De acuerdo con el Lema de Zorn, Φ tiene elemento maximal
H0 el cual es obviamente subgrupo maximal de G.
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 definen 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 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π 2k0 π 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
2kπ
De tal manera que Un = ei n = cos 2kπ n
+ i sin 2kπ
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
2kπ
i n
z =e 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 ≤ hz1 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 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 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
◦ 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, 1 ≤ r, 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.
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 ) = 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
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
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 x = (xi )
−1 −1
Q entonces x = (xi ). Cuando I = In = {1, 2 . . . n}, esta definición de producto
es
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
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 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 → i∈I Gi ,
a, si i = j
µj (a) := x := (xi ), donde xj :=
1, si i 6= j.
Evidentemente estas funciones son homomorfismos inyectivos.
Para la clase de los grupos abelianos, la suma directa externa con sus inyecciones
canónicas está caracterizada por la siguiente propiedad universal.
L
Teorema 7.3.1. Sean {Gi }i∈I L una familia de grupos abelianos, 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.
Demostración. (i) Definimos α por
Q
j∈Ix tj (xj ), si x 6= 1
α(x) :=
1 , si x = 1.
α es un homomorfismo: si x = 1 o y = 1 entonces evidentemente α(xy) = α(x)α(y).
Supongamos pues que x 6= 1 y y 6= 1. Sea z = (zi ) = xy. Si Q z = 1, entonces y = x−1
−1
Q
y ası́ yi = xi para cada i ∈ I, con lo cual α(z) = 1 = j∈Ix tj (xj ) j∈Iy tj (yj ) =
α(x)α(y). Sea entonces z 6= 1. Ya que Iz ⊆ Ix ∪ Iy se tiene que
Q Q Q
α(z) = j∈Iz tj (zj ) = j∈Ix ∪Iy tj (zj ) = j∈Ix ∪Iy tj (xj yj ) =
Q Q Q Q
j∈Ix ∪Iy tj (xj ) j∈Ix ∪Iy tj (yj ) = j∈Ix tj (xj ) j∈Iy tj (yj ) = α(x)α(y).
L
Probemos ahora la unicidad de α: sea θ otro homomorfismo de Li∈I Gi en G tal
que θ ◦ µj = tj para cada j ∈ I. Sea x un elemento cualquiera de i∈I Gi . Si x = 1
entonces necesariamente α(1) = θ(1) = 1. Considérese
Q Q hQ pues quei x 6= 1. Entonces,
α(x) = j∈Ix tj (xj ) = j∈Ix θµj (xj ) = θ j∈Ix µj (xj ) = θ(x), ya que x =
Q
j∈Ix µj (xj ).
(ii) La prueba es como en el caso del producto y la dejamos al lector.
Observación 7.3.2. Nótese que cuando I = In := {1, 2, . . . , n} es un conjunto
Ln entonces el producto cartesiano G1 × · · · × Gn y la suma directa externa
finito,
i=1 Gi de grupos abelianos coinciden y entonces se usa también la siguiente no-
tación: G1 × · · · × Gn = G1 ⊕ · · · ⊕ Gn .
7.4. SUMA DIRECTA INTERNA 81
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 .
Proposición 7.4.4. Sean {Gi }ni=1 una colección finita de grupos y G = G1 ×· · ·×Gn
su producto cartesiano. Sea
G = G01 ⊕ · · · ⊕ G0n .
7.4. SUMA DIRECTA INTERNA 83
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 .
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 Ai E Gi , con
i ∈ I, si A := i∈I Ai , entonces A E G.
84 CAPÍTULO 7. PRODUCTOS Y SUMAS DIRECTAS
G→J
µ 7→ µ(f ).
7.5. Ejercicios
1. Pruebe que S3 sólo tiene la descomposición trivial S3 = 1 ⊕ S3 .
2. Sea G := G1 × · · · × Gn . Demuestre que Z (G) = Z (G1 ) × · · · × Z (Gn ).
Extienda
Q este resultado
Q a una familia cualquiera de grupos, es decir, pruebe
que Z ( i∈I Gi ) = i∈I Z(Gi ).
3. Sea G := G1 × · · · × Gn y sean Hi ≤ Gi , 1 ≤ i ≤ n. Sea H := H1 × · · · × Hn .
Demuestre que
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}.
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 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 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 tiene p-subgrupos.
Un p-subgrupo H se denomina p-subgrupo de Sylow de G si H es maximal entre los
98
9.1. P-GRUPOS 99
p-subgrupos de G.
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,
C = {gP g −1 | g ∈ G} = P G .
|G|
|C| = , entonces |G| = |C||NG (P )|.
|NG (P )|
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
potencia 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.
(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 poe 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.
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 .
si = 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. 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 , 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 [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 ω, con ω ∈ 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 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.
11.3. CADENAS NORMALES 129
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 = 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):
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,
donde Kj,i = Kj (Kj+1 ∩ Hi ), con 0 ≤ j ≤ m − 1, 0 ≤ i ≤ n, y Kj+1,0 = Kj,n = Kj+1
para 0 ≤ j ≤ m − 1. Nótese que para cada 0 ≤ i ≤ n − 1 y 0 ≤ j ≤ m − 1
Hi,j+1 ∼ Kj,i+1
= . (11.3.8)
Hi,j Kj,i
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 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] 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