Notas Algebra 1

Notas de clase para un curso de
Algebra I
Mary Luz Rodiño Montoya

Profesora del Instituto de Matemáticas
Facultad de Ciencias Exactas y Naturales
Universidad de Antioquia
Este documento es una recopilación de las notas escritas para un curso

de álgebra I, del instituto de Matemáticas de la Universidad de Antioquia.
Este documento pretende ser un material de apoyo para los estudiantes de
dicho curso y en ningún momento pretende ser un sustituto del libro guı́a.
Índice general
1. Grupos abelianos y no abelianos. 1

1.1. Operación Binaria 1
1.2. Algunas propiedades de las operaciones binarias 2
1.3. Grupo 2
1.4. Grupo Abeliano 3
1.5. Ejemplos de grupos no abelianos 3
1.6. Taller 5
2. Subgrupos y grupos cı́clicos. 7

2.1. Propiedades elementales de los grupos 7
2.1.1. Ley de cancelación 7
2.2. Subgrupos 8
2.2.1. Más ejemplos de subgrupos 9
2.3. Grupo generado por un elemento 9
2.4. Grupo cı́clico 9
2.5. Taller 11
3. Subgrupos de un grupo cı́clico y homomorfismos. 13

3.1. Generadores de un grupo cı́clico 13
3.2. Clasificación de los subgrupos de un grupo cı́clico. 13
3.3. Homomorfismos de grupos. 15
3.4. Taller 17
4. Clases laterales y subgrupos normales. 21

4.1. Clases laterales 21
4.2. Teorema de Lagrange 23
4.3. Subgrupos normales. 24
4.4. Grupos cocientes 24
4.5. Taller 25
3
4 ÍNDICE GENERAL
5. Teorema de Cauchy para grupos abelianos y los teoremas de homomorfismos. 27

5.1. Teorema de Cauchy para grupos abelianos 27
5.2. Teoremas de Homomorfismos. 29
5.3. Taller 30
6. Teorema de Cauchy para grupos no abelianos. 33

6.1. Teorema de Cauchy para grupos no abelianos 33
6.2. Taller 36
7. Producto directo de grupos. 37

7.1. Producto directo externo de grupos. 37
7.1.1. Propiedades del producto directo externo 38
7.2. Producto directo interno de grupos. 39
7.3. Taller 41
8. Grupos abelianos finitos y Teorema fundamental. 43

8.1. Grupos abelianos finitos. 43
8.2. Teorema fundamental de los grupos abelianos finitos 45
8.3. Taller 47
9. Grupo simétrico de las permutaciones. 49

9.1. Sn : Grupos simétrico de grado n. 49
9.2. Permutaciones pares e impares 53
9.3. Taller 54
10. Grupo Diedral de orden 8, el Teorema de Cayley y Acciones de grupos. 55

10.1. Dn , Grupo Diedral de orden 2n. 55
10.2. Teorema de Cayley 56
10.3. Acciones de grupos o grupos actuando en conjuntos 57
10.3.1. G actuando en G por conjugación 60
10.4. Taller 61
11. Clases de conjugación y Teoremas de Sylow. 63

11.1. Clases de conjugación 63
11.2. Teoremas de Sylow 65
11.3. Taller 68
12. Grupos simples 71

12.1. Grupos simples 71
12.1.1. Ejemplos 71
12.1.2. Algunos test de simplicidad 71
12.1.3. Ejemplo 72
12.2. Grupos solubles 72
12.2.1. Ejemplos 72
12.3. Teoremas de solubilidad 72
12.3.1. Taller 73
CAPÍTULO 1
Grupos abelianos y no abelianos.
1.1. Operación Binaria

Definición 1.1.1 Una operación binaria ∗ en un conjunto G, es una función
∗ : G × G −→ G
( a, b) 7→ a ∗ b
Ası́, una operación binaria ∗ en un conjunto G, es una regla la cual asigna a cada par
ordenado ( a, b) de elementos de G, exactamente un elemento a ∗ b en G. Es importante
destacar la unicidad en la definición anterior, ya que si tomamos R y definimos la op-
eración ∗ en R por x ∗ y igual al número cuyo cuadrado es xy, tendremos dos posibles
elementos asociados a x ∗ y, pues vamos a tener un valor negativo y un valor positivo que
satisfacen la definición. Por tanto la anterior no es una operación binaria en R.
Ejemplo 1.1.0.1 1. Para los conjuntos Z, Q, R, C la suma, el producto y la diferencia
(como definidos usualmente en ellos) es una operación binaria.
2. El cociente en Z ∗ no es una operación binaria, pues si a, b ∈ Z ∗ y b no divide a a,
no es cierto que ba ∈ Z ∗ .
3. El cociente en Q no es una operación binaria, pues no todo par de elementos en Q
es llevado, por el cociente, en otro elemento en Q. Por ejemplo el par ( a, 0) (en ese
orden) no tiene asignado ningún valor para el cociente, pues no existe el cociente
de a por 0 en Q.
Notemos que una operación binaria en un conjunto finito G, puede ser representada
por medio de una tabla. Por ejemplo si tomamos el conjunto A = {0, 1} ⊆ Z, con la
operación binaria · dada por la multiplicación usual en Z, entonces la tabla que representa
la operación binaria · es
· 0 1
0 0 0
1 0 1
1
2 1. Grupos abelianos y no abelianos.
1.2. Algunas propiedades de las operaciones binarias

Definición 1.2.1 Una operación binaria ∗ en un conjunto G es conmutativa si a ∗ b = b ∗
a, para cualquier dos elementos a, b ∈ G, y es asociativa si ( a ∗ b) ∗ c = a ∗ (b ∗ c), para
cualquier tres elementos a, b, c ∈ G. Se dice también que dos elementos en G conmutan (tres
asocian respectivamente) cuando se cumple la propiedad anterior.
Ejemplo 1.2.0.2 1. La suma y el producto en Z, Q, R y C son operaciones binarias

conmutativas y asociativas.
2. La diferencia en Z es una operación binaria que no es conmutativa ni asociativa.
3. El producto en el conjunto M2×2 (R ) (matrices cuadradas de orden 2, sobre los

reales), es una operación binaria que es asociativa pero no es conmutaiva.
4. Sea A = { a, b, c} y ∗ una operación binaria en A, definida por:

a si x 6= y 6= c
x∗y =
c si x = y ó x = c ó y = c
y representada por la siguiente tabla

∗ a b c
a c a c
b a c c
c c c c
Es fácil ver que ∗ es conmutativa pero no es asociativa, pues a ∗ (b ∗ b) = a ∗ c = c

y ( a ∗ b) ∗ b = a ∗ b = a.
Notemos que para un conjunto finito, la conmutatividad de la operación binaria
definida en él, puede ser verificada por medio de su tabla, basta ver que dicha tabla
es simétrica respecto a su diagonal.
Definición 1.2.2 Sea ∗ una operación binaria en un conjunto G y sea H ⊆ G. Si la restricción

de ∗ en H es una operación binaria en H, es decir, si para todo a, b ∈ H tenemos que a ∗ b ∈ H,
entonces decimos que H es cerrado bajo ∗.
Es importante observar que la conmutatividad (asociatividad) es heredada por H en

este caso, es decir que si H es cerrado bajo ∗ y ∗ es asociativa (conmutativa) en G, entonces
automaticamente ∗ será asociativa (conmutativa) en H.
Ejemplo 1.2.0.3 1. Z es cerrado bajo la suma en Q.
2. Z − no es cerrado bajo el producto en Z. ¿Es Z n cerrado bajo la suma en Z, para

n ≥ 2?
1.3. Grupo
Definición 1.3.1 Un grupo es un par ordenado ( G, ∗), donde G es un conjunto y ∗ es una
operación binaria en G, que satisface los siguientes axiomas:
1.4. Grupo Abeliano 3
1. ( a ∗ b) ∗ c = a ∗ (b ∗ c), para todo a, b, c ∈ G. (∗ es Asociativa.)
2. Existe un elemento e ∈ G tal que a ∗ e = e ∗ a = a, para todo elemento a ∈ G. (Existencia

del elemento identidad e.)
3. Para cada a ∈ G, existe un elemento b ∈ G, llamado inverso de a, tal que a ∗ b = b ∗ a = e.

( Existencia del inverso.)
Es claro que un grupo está conformado por un par ( G, ∗) consistente de un conjunto G

y una operación binaria ∗, sin embargo para facilitar la notación indicaremos el conjunto
G, sin indicar la operación, para referirnos al grupo cuando no haya lugar a confusión.
También escribiremos ab en lugar de a ∗ b. Usualmente el inverso de un elemento a es
denotado por a−1 . En el caso multiplicativo esta notación es mantenida, pero en el caso
de grupos aditivos es normal denotar a−1 por − a, ası́ en el caso multiplicativo tenemos
aa−1 = e y en el caso aditivo a + (− a) = e.
Ejemplo 1.3.0.4 1. (Z, +) es un grupo. Igualmente (Q, +), (R, +) y (C, +) son grupos
aditivos y (Q , ·), (R ∗ , ·) y (C ∗ , ·) son grupos multiplicativos.
∗
2. (Z + , +) no es un grupo, pues no existe elemento identidad en Z + . (En Z + no

estamos considerando el cero). (Z + , ·) no es un grupo, pues aunque tiene elemento
identidad 1, sus elementos no poseen inverso.
3. Con la suma en Z, (3Z, +) es un grupo. También (Z6 , +6 ) es un grupo.
4. Sea A = { a, b} y ∗ y ⊛ en A definidas por las siguientes tablas

∗ a b ⊛ a b
a a b a a a
b b a b b b
( A, ∗) es un grupo pero ( A, ⊛) no lo es.
Definición 1.3.2 Se dice que un grupo G es un grupo finito, si el conjunto G es un conjunto

finito. El número de elementos de G se llama orden de G y se denota por | G |.
1.4. Grupo Abeliano

Definición 1.4.1 Un grupo ( G, ∗), es abeliano si a ∗ b = b ∗ a, para todo a, b ∈ G.
Los numerales 1 y 3 del ejemplo anterior nos dan ejemplos de grupos abelianos,
igualmente ( A, ∗).
1.5. Ejemplos de grupos no abelianos

1. Grupo de matrices: Para n ≥ 2 sea Mn×n (R ) el conjunto de las matrices cuadradas
de orden n con entradas en los reales, GL(n, R ) = { A ∈ Mn×n (R ) | det( A) 6= 0}
y · el producto usual de matrices. ( GL(n, R ), ·) es un grupo. De hecho, el producto
de matrices es una operación binaria en GL(n, R ) ya que det( AB) = det( A)det( B),
además el producto de matrices es asociativo, el elemento identidad es la matriz
identidad y cada matriz es invertible por tener determinante diferente de cero. Es

bien conocido que el producto de matrices no es conmutativo, por lo tanto GL(n, R )
es un grupo no abeliano.
2. Grupo de los cuaternios: Sea Q8 = {1, −1, i, −i, j, − j, k, −k} y el producto en Q8
definido por: x1 = 1x = x y x (−1) = (−1) x = − x, ∀ x ∈ Q8 . i2 = j2 = k2 = −1,
ij = k, jk = i, ki = j, ji = −k, kj = −i, ik = − j. Es claro que Q8 no es un grupo
abeliano pues ij 6= ji y que tiene orden 8.
3. Grupo simétrico o de las permutaciones: Una permutación en un conjunto X es
una función biyectiva de X en X. Sea A( X ) = { f : X −→ X | f es biyectiva}. Con
la composición de funciones A( X ) es un grupo, pues claramente la composición de
funciones es asociativa, la función identidad en X es el elemento identidad y existe
la función inversa para cada una de estas funciones por ser biyectivas. Los elementos
de este grupo son permutaciones. Este grupo es llamado, el grupo simétrico o el
grupo de las permutaciones de X. Si un subconjunto de este conjunto es un grupo
con la composición, este grupo es llamado un grupo de permutaciones de X. Es
claro que A( X ) en general es un grupo no abeliano.
Un caso particular del grupo anterior es el Grupo Simétrico de grado n. Sean n ≥ 1,
X = {1, 2, . . . , n} y Sn = { f : X −→ X | f es biyectiva}. Con la composición de
funciones Sn es un grupo.
Para n ≥ 3, Sn es un grupo no abeliano. Explı́citamente S3 = {ρ0 , ρ1 , ρ2 , µ1 , µ2 , µ3 },
es decir, tiene orden 6 y sus elementos los representamos ası́:

123 123 123
ρ0 −→ , ρ1 −→ , ρ2 −→ ,
123 231 312

123 123 123
µ1 −→ , µ2 −→ , µ3 −→ ,
132 321 213
y
123 123
ρ1 ◦ µ1 = 6= = µ1 ◦ ρ1 .
213 321
La siguiente tabla representa la composición en S3 :
◦ ρ0 ρ1 ρ2 µ1 µ2 µ3
ρ0 ρ0 ρ1 ρ2 µ1 µ2 µ3
ρ1 ρ1 ρ2 ρ0 µ3 µ1 µ2
ρ2 ρ2 ρ0 ρ1 µ2 µ3 µ1
µ1 µ1 µ2 µ3 ρ0 ρ1 ρ2
µ2 µ2 µ3 µ1 ρ2 ρ0 ρ1
µ3 µ3 µ1 µ2 ρ1 ρ2 ρ0
El grupo S3 también se conoce como el grupo D3 de simetrı́as de un triángulo
equilátero, ya que es posible asociar cada elemento de S3 con las simetrı́as de
un triángulo equilátero, entendiendo por simetrı́a un movimiento que coloque al
triángulo en su posición inicial (hacer coincidir sus vértices). Ası́ los elementos
ρ0 , ρ1 , ρ2 son el resultado de rotar ( ρ - rotations ) el triángulo un ángulo de 0, 120
y 240 grados respectivamente y los elementos µ1 , µ2 y µ3 son el resultado de refle-
jar los lados sobre la bisectriz de cada ángulo del triángulo (µ - mirror images in
bisectors of angles). Ası́ D3 corresponde al tercer grupo diedral.
1.6. Taller 5
2 1
1 3 3 2
ρ1
2 3
1 3 1 2
µ1
Figura 1.1: D3
1.6. Taller
1. Diga si las siguientes operaciones son o no binarias, en caso afirmativo demuéstrelo
y en caso contrario de un contraejemplo. Para el caso de las binarias diga si son o
no conmutativas o asociativas, procediendo como anteriormente.
a) En R la operación definida por x ∗ y = x + y + 1.

b) En R la operación definida por x ∗ y = | x + y|.
x +y
c) En Q la operación definida por x ∗ y = 5 .
d) En Z la operación definida por a ∗ b = max { a, b} igual al mayor entre a y b.
e) En R la operación definida por a ∗ b = min{ a, b} igual al menor entre a y b.
2. Construya en cada caso un ejemplo de una operación binaria que sea: asociativa y
conmutativa, conmutativa y no asociativa, asociativa y no conmutativa y no conmu-
tativa y no asociativa.
3. Dado el conjunto A = { a, b}, defina cinco operaciones binarias diferentes en A.

Represéntelas en cada caso por medio de tablas. ¿Cuántas operaciones binarias
diferentes pueden ser definidas para este conjunto?
4. Sea A = { a, b, c}. Defina dos operaciones binarias ∗ y ⊛ en A tales que ( A, ∗) sea

un grupo pero ( A, ⊛) no.
5. Represente las siguientes operaciones binarias por medio de sus tablas. ¿Cuáles de
ellas son conmutativas?
a) La suma y el producto (respectivo) en Z2 y Z4 .

b) La operación binaria ∗ en A = { a, b, c} definida por x ∗ y = x para x, y ∈ A.

a, si x 6= y
c) La operación binaria ∗ en A = { a, b} definida por x ∗ y =
b, si x = y

x, si x = c ó y = c
d) La operación binaria ∗ en A = { a, b, c} definida por x ∗ y =
y, si x 6= c y y 6= c
6. Responda y justifique.
a) ¿Es 2Z cerrado bajo la suma en Z?

b) Sea Z6 ⊇ H = {0̄, 1̄, 2̄}. ¿Es H cerrado bajo la suma en Z6 ?
c) Sea M = M2×2 (Z ) y sea N = M2×2 (2Z ). ¿Es N cerrado bajo la suma en M?

d) Sea M el conjunto de todas las matrices cuadradas de orden 2 sobre R y sea
N = M2×2 (Z ). ¿Es N cerrado bajo el producto en M?
e) Dada la siguiente tabla para un conjunto G y una operación binaria ∗ en G,
halle dos subconjuntos H1 y H2 de G tales que H1 sea cerrado y H2 no lo sea
∗ a b c
a a c b
para ∗ en G:
b c b a
c b a c
7. Diga cuáles de los siguientes son o no grupos, demostrando en cada caso. ¿Son
abelianos?
a) (3Z, +). ¿Puede demostrarse para cualquier n ≥ 2?
b) (Z5 , +5 ). ¿Puede demostrarse para cualquier n ≥ 2?
c) (Z ∗ 4 , ·4 ), (Z ∗ 5 , ·5 ). ¿Puede demostrarse para cualquier n ≥ 2?
d) (U (5), ·5 ) siendo U (5) = { ā ∈ Z5 |( a, 5) = 1} y ·5 el producto módulo 5. ¿Puede
generalizarce para n ≥ 2?
e) ( Mm×n (R ), +), ( Mn×n (R ), +), ( Mm×n (R ), ·) y ( Mn×n (R ), ·) con la suma y el
producto usual de matrices y m, n enteros positivos.
8. Demuestre que los siguientes son grupos. ¿Son abelianos?
a) ( G, ◦) siendo G el conjunto de las rectas en el plano R2 con pendiente no nula,
es decir, G = { f : R −→ R : f ( x ) = ax + b, a 6= 0, b ∈ R } y ◦ la composición
de funciones.
b) ( PD , +) siendo PD = { A : A ⊆ D } y + la diferencia simétrica de dos conjuntos,
es decir, A + B = ( A − B) ∪ ( B − A) para todo A, B ∈ PD .
c) ( A × B, ⊛) siendo que ( A, ∗) y ( B, ◦) son grupos y que A × B = {( a, b) : a ∈
A, b ∈ B} y ⊛ está definida por ( a1 , b1 ) ⊛ ( a2 , b2 ) = ( a1 ∗ a2 , b1 ◦ b2 ) para todo
a1 , a2 ∈ A y b1 , b2 ∈ B.

aa
d) ( G, ·) siendo · la multiplicación de matrices y G = a ∈ R, a 6 = 0 .
aa
9. Demuestre que G y H son grupos abelianos, si y solo si, G × H es grupo abeliano.
10. Represente el grupo Q8 por medio de su tabla. Identifique su unidad y los inversos
de cada elemento.
11. Para n = 1, 2, 3 muestre explı́citamente los elementos del grupo Sn y representelo
por medio de su tabla. Indique en cada caso los inversos de cada elemento.
12. Para n = 2 muestre explı́citamente la identidad y el inverso de cada elemento en
GLn (R ). Exhiba dos matrices A, B en GLn (R ) cuyo producto no conmute.
13. Sea A = { a, b}. ¿Es posible definir dos operaciones binarias ∗ y ⊛ en A tales que
( A, ∗) sea un grupo abeliano y ( A, ⊛) sea un grupo no abeliano? ¿Es posible para
A= { a,b,c }?
14. De si es posible dos ejemplo de grupos de orden 5 que sean abelianos y uno de
orden 5 que no sea abeliano.
CAPÍTULO 2
Subgrupos y grupos cı́clicos.
2.1. Propiedades elementales de los grupos

2.1.1. Ley de cancelación
En un grupo se cumplen las leyes de cancelación a izquierda y a derecha, es decir, si
ab = ac, entonces b = c y si ba = ca, entonces b = c.
Teorema 2.1.1 Sea G un grupo. Entonces
i) Su elemento identidad es único.
ii) Para cada a ∈ G, su elemento inverso a−1 es único.
iii) ( a−1 )−1 = a, para todo a ∈ G.
iv) ( ab)−1 = b−1 a−1 , para todo a, b ∈ G.
Demostración:
i) Sean e, e′ ∈ G dos elementos identidad en G. Entonces
e = ee′ Pues e′ es elemento identidad,

= e′ Pues e es elemento identidad.
ii) Sea a ∈ G y b, b′ ∈ G dos elementos inversos de a. Entonces
b = be = b( ab′ ) Pues b′ es el inverso de a,

= (ba)b′ = eb′ = b′ Pues b es el inverso de a.
iii) Es inmediata de la unicidad del inverso.
7
8 2. Subgrupos y grupos cı́clicos.
iv)
( ab)(b−1 a−1 ) = a[(bb−1 ) a−1 ] por la asociatividad,

= a[ea−1 ] = aa−1 = e.
Igualmente, (b−1 a−1 )( ab) = e.
Definición 2.1.1 1. Sea G un grupo y a, b ∈ G. Para todo entero positivo n definimos
an = |aaa {z
· · · aa}
n veces
a − n = ( a −1 ) n y a0 = e.
2. El orden de un elemento a ∈ G es el menor entero positivo n tal que an = e y es denotado

por ◦( a). En este caso decimos que a tiene orden n. Si no existe tal n decimos que a tiene
orden infinito.
2.2. Subgrupos
Definición 2.2.1 Un subconjunto no vacı́o H de un grupo G es un subgrupo de G, si H mismo
forma un grupo relativo a la operación en G, es decir:
1. a ∗ b ∈ H, para todo a, b ∈ H.
2. Existe e H ∈ H tal que e H ∗ a = a ∗ e H = a, para todo a ∈ H.
3. Dado a ∈ H existe b ∈ H tal que, a ∗ b = b ∗ a = e H .
4. a ∗ (b ∗ c) = ( a ∗ b) ∗ c para todo a, b, c ∈ H.
Denotaremos esta relación por H ≤ G.
Es claro que 4 siempre se cumple y que la identidad en H es la misma identidad en G

e igualmente los inversos (EJERCICIO).
Ejemplo 2.2.0.1 1. (Z, +) es un subgrupo de (Q, +), que a la vez es subgrupo de

(R, +) que es subgrupo de (C, +).
2. (Q ∗ , ·) no es un subgrupo de (R, +), pues aunque Q ∗ es un subconjunto de R
estamos hablando de operaciones diferentes. Por tanto es importante resaltar en la
definición la parte de H ser grupo relativo a la operación en G.
Teorema 2.2.1 Sea G un grupo y H un subconjunto de G. Las siguientes condiciones son equi-
valentes.
i) H es un subgrupo de G.
ii) e ∈ H, ab ∈ H y a−1 ∈ H para todo a, b ∈ H.
iii) H 6= ∅ y ab−1 ∈ H para todo a, b ∈ H.

2.3. Grupo generado por un elemento 9
Demostración:
i ) ⇒ ii ) Es inmediata del hecho de e H = eG .
ii ) ⇒ iii ) H es no vacio pues e ∈ H. De la hipótesis, para todo a ∈ H tenemos que

a−1 ∈ H, luego ab−1 ∈ H para todo a, b ∈ H.
iii ) ⇒ i ) La asociatividad es clara. Como H es no vacio, entonces existe a ∈ H, luego

por hipótesis e = aa−1 ∈ H. Tenemos también que para todo a ∈ H se cumple que
a−1 = ea−1 ∈ H. Por tanto falta solo mostrar la cerradura en H. Para tal notemos
que para todo a, b ∈ H tenemos que b−1 ∈ H y por tanto ab = a(b−1 )−1 ∈ H.
2.2.1. Más ejemplos de subgrupos

1. 2Z es un subgrupo aditivo del grupo aditivo Z.
2. Si G es un grupo, entonces {e} y G son subgrupos de G. Estos dos grupos son

llamados los subgrupos triviales de G.
3. Sea G un grupo, definimos el centro de G como el conjunto Z ( G ) = { a ∈ G | ab =

ba, para todo b ∈ G }. Notemos que Z ( G ) es un subgrupo de G. (Demostrarlo!)
4. Para un elemento cualquier a ∈ G definimos el centralizador de a en G como

el conjunto C ( a) = {b ∈ G | ab = ba}. Notemos que C ( a) es un subgrupo de G.
(Demostrarlo!)
2.3. Grupo generado por un elemento

Definición 2.3.1 Sea G un grupo y a ∈ G. Definimos h ai = { an /n ∈ Z }.
Teorema 2.3.1 Sea G un grupo y a ∈ G. Entonces h ai es un subgrupo de G.
Demostración:
i) h ai 6= φ, pues e = a0 ∈ h ai.
ii) Sea x, y ∈ h ai, veamos que xy−1 ∈ h ai. Como x, y ∈ h ai, entonces existen enteros
n, m tales que x = an y y = am , luego an ( am )−1 = an a−m = an−m ∈ h ai. Ası́ h ai es un
subgrupo de G.
Definición 2.3.2 Al subgrupo h ai se le llama subgrupo de G generado por a.
2.4. Grupo cı́clico

Definición 2.4.1 Un grupo cı́clico es un grupo generado por un elemento. Es decir, G es cı́clico
si existe un a ∈ G tal que G es generado por a, ası́ decimos que G es cı́clico si G = h ai y al
elemento “a” lo llamamos generador de G.
Ejemplo 2.4.0.1 1. Z2 es un grupo cı́clico pues Z2 = {0̄, 1̄} = {1̄0 , 1̄1 } = h1̄i. Igual-
mente, Z6 es un grupo cı́clico pues Z6 = {0̄, 1̄, 2̄, 3̄, 4̄, 5̄} = {1̄0 , 1̄1 , 1̄2 , 1̄3 , 1̄4 , 1̄5 } = h1̄i.
Notemos que además Z6 = h5̄i = {5̄0 , 5̄1 , 5̄2 , 5̄3 , 5̄4 , 5̄5 } = {0̄, 5̄, 4̄, 3̄, 2̄, 1̄}
2. Z es un grupo cı́clico generado por 1, pues
Z = {. . . , −2 = 1−2 , −1 = 1−1 , 0 = 10 , 1 = 11 , 2 = 12 , . . .}
Los grupos cı́clicos pueden tener mas de un generador y pueden ser de orden finito
ó infinito. Es claro que todo grupo cı́clico es abeliano, ¿es lo contrario cierto? La res-
puesta a esta pregunta es negativa, como lo muestra el siguiente ejemplo.
Ejemplo 2.4.0.2 Sea G = Z2 × Z2 , es claro que G es abeliano (ejercicio taller), pero G no

es cı́clico pues G = {(0̄, 0̄), (0̄, 1̄), (1̄, 0̄), (1̄, 1̄)} y ninguno de estos elementos lo genera.
Queremos ahora saber cuándo un elemento a ∈ G me genera todo el grupo y cuándo

no. Para ver esto veamos primero cuándo ai = a j . La respuesta nos la da el siguiente
teorema.
Teorema 2.4.1 (Criterio para ai = a j ) Sea G un grupo y a ∈ G.
i) Si ◦( a) = ∞, entonces todas las potencias diferentes de a, son elementos diferentes del grupo.
ii) Si ◦( a) = n < ∞, entonces h ai = {e, a, a2 , . . . , an−1 } y ai = a j , si y solo si, n|i − j.
Demostración:
1. Supongamos que ◦( a) = ∞, es decir que no existe un n ∈ Z ∗ tal que an = e.

Supongamos por absurdo que i 6= j y que ai = a j , luego ai a− j = a j a− j = a j− j = a0 =
e, es decir ai− j = e, por tanto existe 0 6= i − j = m ∈ Z ∗ tal que am = e, absurdo.
2. Supongamos que ◦( a) = n < ∞.

Veamos primero que todos los elementos del conjunto {e, a, a2 , · · · , an−1 } son dife-
rentes. Supongamos que ai = a j para 0 ≤ i < j ≤ n − 1, luego a j−i = a0 = e
lo que contradice la minimalidad de n, pues n > j − i ∈ Z + , asi ai 6= a j para
0 ≤ i < j ≤ n − 1.
Veamos ahora que se cumple la igualdad h ai = {e, a, a2 , . . . , an−1 }. Es claro que
{e, a, a2 , . . . , an−1 } ⊆ h ai, falta mostrar la inclusión contraria. Sea ak ∈ h ai, aplicando
el algoritmo de la división a k y n tenemos que existen enteros q y r tales que k =
qn + r con 0 ≤ r < n, luego ak = aqn+r = aqn ar = ( an )q ar = ar ∈ {e, a, a2 , . . . , an−1 },
pues 0 ≤ r < n, lo que muestra la igualdad.
Veamos ahora que ai = a j si y solo si n|i − j. Si ai = a j , entonces ai− j = e. Aplicando
el algoritmo de la división a i − j y n tenemos que existen enteros q y r tales que
i − j = qn + r con 0 ≤ r < n, luego e = ai− j = aqn+r = aqn ar = ( an )q ar = ar , de donde
concluimos, por la minimalidad de n que r = 0, es decir i − j = qn, luego n|i − j.
Contrariamente, si n|i − j, entonces i − j = kn, de donde ai− j = akn = ( an )k = e,
luego ai = a j .
Notemos que el teorema anterior está afirmando que si H = h ai, entonces | H | = ◦( a),
es decir, el orden del subgrupo generado por un elemento, es igual al orden del elemento.
Corolario 2.4.1.1 Sea G un grupo y a ∈ G tal que ◦( a) = n < ∞. Si ak = e, entonces n|k.

2.5. Taller 11
La demostración de este corolario es inmediata del teorema anterior y el hecho de

ak = e = a0 . (n|k = k − 0.)
Ejemplo 2.4.0.3 1. Z5 = {0̄, 1̄, 2̄, 3̄, 4̄} = h1̄i = {1̄0 , 1̄1 , 1̄2 , 1̄3 , 1̄4 } y 1̄7 = 1̄32 pues 32 −
7 = 25 = 5 × 5, además |Z5 | = ◦(1̄) = 5. Notemos también que Z5 = h1̄i = h1̄2 i =
h1̄3 i = h1̄4 i. (¿En el caso finito todos me generan, excepto la identidad?)
2. U (10) = {1̄, 3̄, 7̄, 9̄} = h3̄i y 3̄3 = 3̄35 pues 35 − 3 = 32 = 8 × 4, además |U (10)| =
4 = ◦(3̄). Notemos también que U (10) = h3̄i = h3̄3 i. (Este ejemplo responde la
pregunta anterior. ¿Cuál es la respuesta? ).
2.5. Taller
1. Sea G un grupo y a, b, c ∈ G.
a) ¿Si ab = ac entonces b = c?
b) ¿Si ba = ca entonces b = c?
c) ¿Si ab = ca entonces b = c?
2. Mostrar que en la tabla de multiplicación de un grupo cada elemento solo puede

aparecer una vez en cada fila y en cada columna.
3. Pruebe que si G es un grupo finito con identidad e y con un número par de elemen-
tos, entonces existe un elemento a ∈ G, con a 6= e, tal que a2 = e.
4. Sea G un grupo con elemento identidad e. Demuestre que si a2 = e, para todo

elemento a ∈ G, entonces G es un grupo abeliano.
5. Demuestre que todo grupo de orden menor o igual que 5 es abeliano.
6. Sea a ∈ G y m, n enteros positivos. Pruebe que
a) am+n = am an .
b) ( am )n = amn .
c) ( am )−1 = a−m .
7. Si G un grupo abeliano, entonces ( ab)n = an bn , para todo entero n.
8. Demuestre que para todo a ∈ G, se cumple que ◦( a) = ◦( a−1 ).
9. Sea ◦( a) = n. Demuestre que para todo entero k entre 1 y n se cumple que ◦( ak ) =

◦( an−k ).
10. Si K es subgrupo de H y H es subgrupo de G, entonces K es subgrupo
de G.
11. Para los siguientes enunciados, dé el ejemplo indicado cuando sea posible, en caso
contrario demuestre que no es posible dar dicho ejemplo.
a) Un grupo que no tenga subgrupos propios (no triviales).

b) Un grupo de orden finito.
c) Un grupo de orden infinito.

d) Un grupo no abeliano que tenga todos sus subgrupos propios abelianos.
e) Un grupo no abeliano que tenga un subgrupo abeliano y otro no abeliano.
f ) Un grupo abeliano con un subgrupo no abeliano.
g) Un grupo no abeliano cuyo centro sea trivial.
h) Un grupo no abeliano cuyo centro no sea trivial.
12. ¿Es Z2 un subgrupo aditivo de Z? ¿Es 2Z un subgrupo aditivo de Z? ¿Puede

generalizarse para cualquier entero positivo n?
13. Hallar todos los subgrupos de Z6 , Q8 y S3 . Muestre el centro de cada uno de ellos.
14. Sean H, K subgrupos de un grupo G. ¿Son H ∪ K y H ∩ K subgrupos

de G?
15. Sea G un grupo y H un subconjunto finito no vacı́o de G cerrado respecto a la

operación en G. Entonces H es un subgrupo de G.
16. Sea G un grupo finito y H un subconjunto no vacı́o de G cerrado respecto a la

operación en G. Entonces H es un subgrupo de G.
17. Sea G un grupo y a ∈ G. Demuestre que C ( a) es un subgrupo de G, que C ( a) =

C ( a−1 ) y que Z ( G ) = ∩ a∈G C ( a).
18. Sea G cualquier grupo y H un subgrupo de G. Para a ∈ G se define a−1 Ha =

{ a−1 ha|h ∈ H }. Demuestre que a−1 Ha es un subgrupo de G.
19. Sean H y K subgrupos de un grupo abeliano G y HK = { hk| h ∈ H, k ∈ K }. De-
muestre que HK es subgrupo de G. ¿Por qué lo anterior no es cierto si G no es
abeliano?
20. Sea SL(2, R ) = { A ∈ M2×2 (R ) | det( A) = 1}. Demuestre que SL(2, R ) ≤ GL(2, R ).
21. Sea GL(2, Z2 ) = { A ∈ M2×2 (Z2 ) | det( A) 6= 0̄}. ¿Es GL(2, Z2 ) con el producto
usual de matrices módulo 2, un grupo? En caso afirmativo muestre explı́citamente
sus elementos y calcule el orden de cada uno de ellos. ¿Es este grupo abeliano?
¿Quién es SL(2, Z2 )?
22. ¿Es GL(2, Z n ) con el producto usual de matrices módulo n, un grupo?

CAPÍTULO 3
Subgrupos de un grupo cı́clico y homomorfismos.
3.1. Generadores de un grupo cı́clico

Queremos saber ahora quienes son los generadores de un grupo cı́clico, pues como vimos
ellos no son únicos.
Teorema 3.1.1 Si ◦( a) = n, entonces h ak i = h ad i, con d = mcd(n, k) y además ◦( ak ) = nd .
Demostración: Sea d = mcd(n, k), es claro que h ak i ⊆ h ad i. Para la inclusión contraria

notemos que existen enteros r, s, tales que d = rn + sk, luego ad = arn ask = ( ak )s de donde
h ad i ⊆ h ak i. Para los órdenes sea s = ◦( ak ) = ◦( ad ) (pues generan el mismo grupo) y sea
n = dt, veamos que sd = n, es decir s = t. Como ( ad )t = an = e, entonces s|t. Por otro
lado tenemos que ads = ( ad )s = e luego n|ds, es decir ds = nr = dtr, asi s = tr, de donde
t|s, podemos concluir por tanto que s = t = nd .
Corolario 3.1.1.1 (Generadores de un grupo cı́clico) Sea G = h ai un grupo cı́clico de orden

n. Entonces G = h ak i si y solo si mcd(k, n) = 1. En particular el número de generadores de G es
ϕ(n), donde ϕ es la función ϕ de Euler.
Demostración: Dado que el orden de un elemento es igual al orden del grupo que genera,
la demostración se sigue inmediatamente del teorema anterior.
El ejemplo 2.4.0.2 ilustra perfectamente este teorema. Notemos que en el caso de los
Z n los generadores son precisamente los elementos de U (n) y por tanto |U (n)| = ϕ(n).
3.2. Clasificación de los subgrupos de un grupo cı́clico.

Teorema 3.2.1 (Teorema fundamental de los grupos cı́clicos)
i) Todo subgrupo de un grupo cı́clico es cı́clico.
13
14 3. Subgrupos de un grupo cı́clico y homomorfismos.
ii) Si |h ai| = n, entonces el orden de todo subgrupo de h ai es un divisor de n y para cada

divisor positivo k de n, el grupo h ai tiene exactamente un subgrupo de orden k, a saber
h an/k i.
Demostración:
i) Sea H ≤ G = h ai, veamos que existe un b ∈ G tal que H = hbi. Si H = {e}, no hay
nada que demostrar, supongamos entonces que H 6= {e}. Sea h ∈ H con h = ak y
k ∈ Z ∗ . Si k < 0, entonces −k > 0 y como H es subgrupo se tiene que a−k ∈ H,
por tanto en H hay elementos de la forma am con m ∈ Z + . Sea m el menor entero
positivo tal que am ∈ H (su existencia está garantizada por el principio del buen
orden). Veamos que H = h am i. Como am ∈ H, entonces es claro que h am i ⊆ H,
faltando por demostrar la otra inclusión. Sea b ∈ H, luego existe un k ∈ Z tal que
b = ak . Aplicando el algoritmo de la división a k y m tenemos que existen enteros
q y r tales que k = qm + r con 0 ≤ r < m. Asi b = ak = aqm+r = ( am )q ar , de donde
ar = ( am )−q b ∈ H, luego por la minimalidad de m, tenemos que r = 0 y asi k = qm,
lo que muestra que b = ak = ( am )q ∈ h am i, es decir H = h am i.
ii) Sea |h ai| = n y H ≤ h ai. Por la parte anterior tenemos que H = h am i con m ∈ Z + .
Luego | H | = ◦( am ) = n/mcd(n, m), por tanto ◦( am ) · mcd(n, m) = n, lo que muestra
que el orden de H es un divisor de n.
Veamos ahora los subgrupos de h ai. Sea k un divisor de n y n = ks. Es claro que
h an/k i es un subgrupo de h ai y por teorema anterior
n/k n
◦( a ) = mcd(n,s) = n/s = k.
Veamos que este es el único subgrupo de orden k. Sea h am i un subgrupo de h ai
de orden k. Por el teorema anterior, n/s = k = ◦( am ) = n/mcd(n, m), luego
mcd(n, m) = s y de nuevo por el teorema anterior h am i = h as i = h an/k i.
Como una consecuencia inmediata del teorema anterior tenemos el siguiente coro-
lario.
Corolario 3.2.1.1 En un grupo cı́clico finito, el orden de todo elemento (del grupo) divide al orden
del grupo.
Ejemplo 3.2.0.4 Sea G = h ai, tal que ◦( a) = 30. Como los divisores de 30 son 1, 2, 3, 5, 6,
10, 15, 30, entonces G tiene exactamente 8 subgrupos (cı́clicos), ellos son:
h a30 i = {e} orden 1

15 15
h a i = {e, a } orden 2
h a10 i = {e, a10 , a20 } orden 3
6 6 12 18 24
h a i = {e, a , a , a , a } orden 5
h a5 i = {e, a5 , a10 , a15 , a20 , a25 } orden 6
3 3 6 9 12 15 18 21 24 27
h a i = {e, a , a , a , a , a , a , a , a , a } orden 10
h a2 i = {e, a2 , a4 , · · · , a26 , a28 } orden 15
2 29
h ai = {e, a, a , · · · , a } orden 30
3.3. Homomorfismos de grupos. 15
Teorema 3.2.2 Sea k un entero positivo divisor de n. El número de elementos de orden k, en un

grupo cı́clico de orden n, es ϕ(k).
Demostración: Sean G = h ai, ◦( a) = n y k un entero positivo divisor de n. Por el teorema

anterior tenemos que existe exactamente un subgrupo H de G de orden k, por tanto todo
elemento de orden k en el grupo G genera a H. Dado que el número de generadores de
H es precisamente ϕ(k), entonces hay en G exactamente ϕ(k) elementos de orden k.
Nota Relativo al ejemplo anterior, tenemos que en ese grupo hay exactamente cuatro
elementos de orden 5, ellos son a6 , a12 , a18 , a24 y no hay elementos de orden 7.
3.3. Homomorfismos de grupos.

Definición 3.3.1 Sean ( G, ∗) y ( G ′ , ◦) dos grupos. Una función ϕ : G −→ G ′ es un homo-
morfismo de grupos si ϕ( a ∗ b) = ϕ( a) ◦ ϕ(b), para todo a, b ∈ G.
Ejemplo 3.3.0.5 1. ( G, ∗) grupo, Id : G −→ G dado por a 7→ a, es un homomorfismo

de grupos, llamado homomorfismo identidad.
2. ( G, ∗), ( H, ◦) grupos, ϕ : G −→ H dado por a 7→ e H , es un homomorfismo de

grupos, llamado homomorfismo trivial.
3. (R + , ·), (R, +) grupos, entonces ϕ : R + −→ R dado por x 7→ log x, es un homo-

morfismo de grupos.
4. (Z, +), (Z n , +n ) grupos, entonces ϕ : Z −→ Z n dado por a 7→ ā, es un homomor-

fismo de grupos.
5. (R, +) grupo, entonces ϕ : R −→ R dado por x 7→ | x |, no es un homomorfismo de

grupos.
6. (R, +) grupo, entonces ϕ : R −→ R dado por x 7→ [⌊ x ⌋], no es un homomorfismo

de grupos.
Definición 3.3.2 Un homomorfismo ϕ es un monomorfismo si es inyectivo y es epimorfismo

si es sobreyectivo. Un homomorfismo es un isomorfismo si es monomorfismo y epimorfismo, i.e.
es inyectivo y sobre.
Ejemplo 3.3.0.6 1. El homomorfismo identidad es un isomorfismo, pues es inyectivo

y sobreyectivo.
2. El homomorfismo ϕ : nZ −→ Z dado por na 7→ na, es monomorfismo pero no es

epimorfismo.
3. El homomorfismo ϕ : Z −→ Z n dado por a 7→ ā, es epimorfismo pero no es

monomorfismo.
4. Para el grupo (R ∗ , ·), el homomorfismo ϕ : R ∗ −→ R ∗ dado por x 7→ x2 , no es

monomorfismo ni epimorfismo.
Definición 3.3.3 Dos grupos G y G ′ son isomorfos si existe un isomorfismo de G en G ′ . Deno-

tamos lo anterior por G ∼
= G′ .
Ejemplo 3.3.0.7 Z es isomorfo a nZ, para todo entero positivo n. Pues ϕ : Z −→ nZ

dado por a 7→ na, es isomorfismo.
Lema 3.3.1 Si ϕ es un homomorfismo de G en H, entonces
i) ϕ(eG ) = e H . ii) ϕ( a−1 ) = ϕ( a)−1 , para todo a ∈ G.
Demostración:
i) Si a ∈ G, entonces ϕ( a) = ϕ( aeG ) = ϕ( a) ϕ(eG ). Como ϕ( a) ∈ H, entonces ϕ( a)e H =

ϕ( a) = ϕ( a) ϕ(eG ) y por ley de cancelación en H, tenemos que ϕ(eG ) = e H .
ii) Sea a ∈ G. Entonces ϕ( a) ϕ( a−1 ) = ϕ( aa−1 ) = ϕ(eG ) = e H y ϕ( a−1 ) ϕ( a) =

ϕ( a−1 a) = ϕ(eG ) = e H , luego ϕ( a)−1 = ϕ( a−1 ).
Definición 3.3.4 Sea ϕ un homomorfismo de G en G ′ . Entonces
i) La imagen de ϕ es el conjunto Imϕ = ϕ( G ) := { ϕ( a)| a ∈ G }.
ii) El kernel o núcleo de ϕ es el conjunto Kerϕ := { a ∈ G | ϕ( a) = eG′ }.
Ejemplo 3.3.0.8 1. Para el homomorfismo identidad en G, tenemos que Kerϕ = {eG }

y ϕ( G ) = G.
2. Para ϕ : nZ −→ Z dado por na 7→ na, tenemos que Kerϕ = {0} y ϕ(nZ ) = nZ.
3. Para ϕ : Z −→ Z n dado por a 7→ ā, tenemos que Kerϕ = nZ y ϕ(Z ) = Z n .
4. Para el grupo (R ∗ , ·), el homomorfismo ϕ : R ∗ −→ R ∗ dado por x 7→ x2 , tiene

Kerϕ = {1, −1} y ϕ(R ∗ ) = R + .
Lema 3.3.2 Sea ϕ un homomorfismo de G en H.
ii) La imagen de ϕ es un subgrupo de H, (ϕ( G ) ≤ H).
ii) El kernel de ϕ es un subgrupo de G, (Kerϕ ≤ G).
iii) Dado a ∈ G, a−1 Kerϕ a ⊆ Kerϕ, siendo a−1 Kerϕ a = { a−1 xa| x ∈ Kerϕ}.
Demostración:
i) Veamos que ϕ( G ) ≤ H. H 6= φ pues ϕ(eG ) = e H ∈ ϕ( G ). Dados x, y ∈ ϕ( G ),

veamos que xy−1 ∈ ϕ( G ). Como x, y ∈ ϕ( G ), entonces existen u, v ∈ G, tales que
ϕ(u) = x y ϕ(v) = y, luego ϕ(v−1 ) = ϕ(v)−1 = y−1 , ası́ ϕ(uv−1 ) = ϕ(u) ϕ(v−1 ) =
ϕ(u) ϕ(v)−1 = xy−1 y por tanto xy−1 ∈ ϕ( G ).
ii) Veamos que Kerϕ ≤ G. Kerϕ 6= φ pues eG ∈ Kerϕ, ya que ϕ(eG ) = e H . Dados x, y ∈
Kerϕ, tenemos que ϕ( x ) = ϕ(y) = e H y es claro que ϕ(y−1 ) = ϕ(y)−1 = e− 1
H = eH ,
− 1 − 1 − 1
luego ϕ( xy ) = ϕ( x ) ϕ(y ) = e H e H = e H y por tanto xy ∈ Kerϕ.
iii) Sea a ∈ G, veamos que a−1 Kerϕ a ⊆ Kerϕ. Si x ∈ a−1 Kerϕ a, entonces x = a−1 ya,
para y ∈ Kerϕ. Luego ϕ( x ) = ϕ( a−1 ya) = ϕ( a)−1 ϕ(y) ϕ( a) = ϕ( a)−1 e H ϕ( a) = e H y
ası́ x ∈ Kerϕ.
3.4. Taller 17
Lema 3.3.3 Si ϕ es un homomorfismo de G en H, entonces ϕ es un monomorfismo, si y solo si,

Kerϕ = {eG }.
Demostración: Supongamos que ϕ de G en H es un monomorfismo y veamos que

Kerϕ = {eG }. Es claro que Kerϕ ⊇ {eG }, restando mostrar la otra inclusión. Para es-
to, sea x ∈ Kerϕ. Entonces ϕ( x ) = e H = ϕ(eG ) y ya que ϕ es inyectiva se sigue que
x = eG .
Supongamos ahora que Kerϕ = {eG } y sean x, y ∈ G tales que ϕ( x ) = ϕ(y). Entonces
e H = ϕ( x ) ϕ(y)−1 = ϕ( x ) ϕ(y−1 ) = ϕ( xy−1 ), luego xy−1 ∈ Kerϕ = {eG }, es decir,
xy−1 = eG y ası́ x = y.
3.4. Taller
1. Sea U (n) = {k̄ ∈ Z n |(k, n) = 1}.
a) ¿Es (U (n), ·n ) un grupo?

b) ¿Es (Z n , ·n ) un grupo? ¿Para cuáles enteros positivos es (Z ∗ n , ·n ) un grupo?
c) ¿Qué relación existe entre (U (n), ·n ) y (Z ∗ n , ·n ) para un n adecuado?
d) ¿Es U (n) un grupo cı́clico para todo n ≥ 2?
2. Sea el grupo (Z n , +n ).
a) ¿Es Z n un grupo cı́clico para todo n ∈ Z?

b) Para algunos n particulares determine los generadores de Z n .
c) ¿Qué relación existe entre los generadores de Z n y los elementos de U (n)?
¿Puede demostrarlo?
3. Relativo al grupo anterior, demuestre que:
a) Un elemento k̄ ∈ Z n es un generador de Z n , si y solamente si, mcd(k, n) = 1.

b) Para cada entero positivo k divisor de n, el conjunto hd¯i para d = n/k es el
único subgrupo de Z n de orden k, luego estos son los únicos subgrupos de Z n .
4. ¿Cuántos subgrupos tiene (Z20 , +20 )? Liste cada uno de estos subgrupos y de un
generador para cada uno de ellos. Suponga que el grupo G = h ai y que | a| = 20.
¿Cuántos subgrupos tiene G? Liste cada uno de estos subgrupos y un generador
para cada uno de ellos.
5. Sea el grupo (Z, +).
a) ¿Es Z un grupo cı́clico?

b) ¿Es posible hallar todos los generadores de Z? Si es posible
muéstrelos.
c) ¿Es todo subgrupo de Z cı́clico?
d) ¿Es posible determinar todos los subgrupos de Z?
6. ¿Existe un grupo no cı́clico tal que todos sus subgrupos propios son cı́clicos?
7. Sea G un grupo y a ∈ G. Demuestre que h ai = h a−1 i.

8. Pruebe que un grupo de orden 3 tiene que ser cı́clico.
9. Sea G un grupo y a ∈ G.
a) ¿Si a12 = e, qué se puede decir acerca del orden de a?

b) ¿Si am = e, qué se puede decir acerca del orden de a?
c) Suponga que | G | = 24 y G es cı́clico. Si a8 6= e y a12 6= e, demuestre que
G = h a i.
10. Liste todos los elementos de orden 8 en Z8000000 .
11. Sea G un grupo de orden 4. Pruebe que G es cı́clico o todo elemento de G es su

propio inverso. Concluya que todo grupo de orden 4 es abeliano.
12. Determine si la aplicación dada es un homomorfismo. Si es ası́, identifique su kernel

y si la aplicación es o no inyectiva o sobreyectiva.
a) G es un grupo y ϕ de G en G está definida por ϕ( a) = a−1 , para a ∈ G.

b) G es un grupo abeliano y ϕ de G en G está definida por ϕ( a) = a−1 , para
a ∈ G.
c) Dados los grupos (R ∗ , ·) y ( G, ·), donde R ∗ es el grupo de los números reales
distintos de cero, G = {1, −1} y “ · ” es la multiplicación usual en R, se define
ϕ de R ∗ en G por: ϕ(r ) = 1, si r > 0 y ϕ(r ) = −1, si r < 0.
d) G es un grupo abeliano, n > 1 un entero fijo y ϕ de G en G está definida por
ϕ( a) = an , para a ∈ G.
13. Sea ϕ un homomorfismo de grupos de G en H.
a) Si ϕ( a) = b para a ∈ G y b ∈ H, entonces para ϕ−1 (b) := { x ∈ G | ϕ( x ) = b} y

Kerϕ · a := { xa| x ∈ Kerϕ}, demuestre que ϕ−1 (b) = Kerϕ · a.
b) ϕ( an ) = ϕ( a)n , para a ∈ G y n ∈ Z.
c) Si ◦( a) = n, entonces ◦( ϕ( a)) divide a n. ¿Se da la igualdad?
14. Explique por qué la correspondencia x̃ 7→ 3x, no es homomorfismo de los grupos

aditivos Z12 en Z10 .
15. Sea ϕ un homomorfismo de Z30 en Z30 y que kerϕ = {0, 10, 20}. Si ϕ(23) = 9,
determine todos los elementos cuya imagen es 9.
16. Sean G1 , G2 y G3 tres grupos cualquiera. Demuestre que:
a) G1 ∼
= G1 .
b) G1 ∼
= G2 , implica que G2 ∼
= G1 .
∼ ∼
c) Si G1 = G2 y G2 = G3 , entonces G1 ∼
= G3 .
17. Sea G un grupo y A( G ) el conjunto de todas las aplicaciones biyectivas de G, como
conjunto, sobre sı́ mismo. Dado a ∈ G, se define L a de G en G por L a ( x ) = xa−1
para x ∈ G.
a) Para a, b ∈ G, pruebe que L a ∈ A( G ) y que L a ◦ Lb = L ab . ¿Es L a un homomor-

fismo?
3.4. Taller 19
b) ¿Es la aplicación ρ de G en A( G ), definida por ρ( a) = L a , un homomorfismo?

¿Es isomorfismo?
18. Sea ϕ un homomorfismo de G en G ′ y H un subgrupo de G. Demuestre lo siguiente.
a) Si H es cı́clico, entonces ϕ( H ) es cı́clico.

b) Si H es abeliano, entonces ϕ( H ) es abeliano.
c) Si K es un subgrupo de G ′ , entonces ϕ−1 (K ) es un subgrupo de G.
d) Si G es abeliano y ϕ es un epimorfismo de G en G ′ , demuestre que G ′ es
abeliano.
19. Demuestre que 2Z ∼

= 3Z.
20. Demuestre que todo grupo cı́clico finito de orden n es isomorfo a Z n .
21. Muestre que U (8) no es isomorfo a U (10) y que U (8) es isomorfo a U (12). ¿Son
U (20) y U (24) isomorfos? Justifique completamente.
22. Sea G un grupo. Demuestre que la aplicación α( g) = g−1 , para todo g ∈ G, es un

automorfismo si y solo si, G es abeliano. (Un automorfismo es un isomorfismo de
un grupo en sı́ mismo)
23. Sea r̄ ∈ U (n). Demuestre que la aplicación α(s̄) = rs, de Z n en Z n , es un automor-

fismo.
24. Demuestre que un homomorfismo definido en un grupo cı́clico, está completamente

determinado por la acción en el generador del grupo.
25. Demuestre que Z como grupo aditivo, no es isomorfo a Q como grupo aditivo.
CAPÍTULO 4
Clases laterales y subgrupos normales.
4.1. Clases laterales

Sea G un grupo y φ 6= H ⊆ G. Para todo a ∈ G, definimos los siguientes conjuntos
aH := { ah| h ∈ H } y Ha := { ha| h ∈ H }.
Ejemplo 4.1.0.9 Sea G = S3 , a = µ2 y sean H = {ρ0 , µ1 } ≤ S3 y K = {ρ1 , ρ2 } ⊆ S3 .

Entonces
µ2 H = {µ2 , ρ2 } 6= Hµ2 = {µ2 , ρ1 } y µ2 K = {µ3 , µ1 } = Kµ2 = {µ1 , µ3 }.
Definición 4.1.1 Si H ≤ G, el conjunto aH es la clase lateral a izquierda de H en G con-

teniendo el elemento a. Igualmente Ha es la clase lateral a derecha de H en G conteniendo el
elemento a. En este caso el elemento a se llama representante de la clase aH. Denotamos por
| aH | al número de elementos de H.
Notemos que en el ejemplo anterior µ2 H es la clase lateral a izquierda de H en S3 que
contiene al elemento µ2 que es su representante.
Ejemplo 4.1.0.10 1. Sea G = Z, H = Z ≤ Z y K = 2Z ≤ Z. Entonces

2 + Z = {2 + a| a ∈ Z } = {. . . , −2, −1, 0, 1, 2, 3, . . .} = Z,
1 + Z = {1 + a| a ∈ Z } = {. . . , −2, −1, 0, 1, 2, 3, . . .} = Z,
1 + 2Z = {1 + 2a| a ∈ Z } = {. . . , −5, −3, −1, 1, 3, 5, . . .} 6= 2Z,
2 + 2Z = {2 + 2a| a ∈ Z } = {2(1 + a)| a ∈ Z } = {. . . , −2, 0, 2, . . .} = 2Z.
2. Sea Z6 = {0̄, 1̄, 2̄, 3̄, 4̄, 5̄} y H = {0̄, 2̄, 4̄}. Es claro que H ≤ Z6 .
0̄ + H = {0̄, 2̄, 4̄} = H, 3̄ + H = {3̄, 5̄, 1̄},
1̄ + H = {1̄, 3̄, 5̄}, 4̄ + H = {4̄, 0̄, 2̄} = H,
2̄ + H = {2̄, 4̄, 0̄} = H, 5̄ + H = {5̄, 1̄, 3̄}.
21
22 4. Clases laterales y subgrupos normales.
Notemos que solo tenemos dos clases laterales distintas cuya intersección es vacı́a,
ella son: 0̄ + H = 2̄ + H = 4̄ + H = H y 1̄ + H = 3̄ + H = 5̄ + H.
Preguntas: ¿Cuándo aH = bH, aH = Ha? ¿Qué es aH ∩ bH? ¿Son las clases laterales
subgrupos? El siguiente teorema no da a conocer las propiedades de las clases laterales.
Teorema 4.1.1 Sea H ≤ G y a, b ∈ G. Entonces
i) a ∈ aH. v) | aH | = |bH | = | H |.
ii) aH = H, si y solo si, a ∈ H. vi) aH = Ha, si y solo si, H = aHa−1 .
iii) aH = bH ó aH ∩ bH = φ. vii) aH es subgrupo de G, si y solo si, a ∈ H.

(Dice que H es la única clase lateral que
iv) aH = bH, si y solo si, a−1 b ∈ H. es un subgrupo.)
Demostración:
i) a = ae ∈ aH.
ii) Supongamos aH = H. Por parte i ), a ∈ aH = H. Supongamos ahora que a ∈ H y

veamos que aH = H. Es claro que ah ∈ H para todo h ∈ H, es decir aH ⊆ H. Para
la otra inclusión tenemos que para todo H ∋ h = aa−1 h = ah1 ∈ aH pues a−1 h ∈ H
ya que a−1 ∈ H por a estar en H que es grupo.
iii) Supongamos aH ∩ bH 6= φ, entonces existe x ∈ aH ∩ bH, luego x = ah1 = bh2 y por

tanto a = bh2 h1−1 ∈ bH, asi aH = bh2 h1−1 H = bhH = bH por parte ii ).
iv) aH = bH, si y solo si, H = a−1 bH, si y solo si, a−1 b ∈ H, esto último por parte ii ).
v) Sea ϕ : H −→ bH definida por ϕ( h) = bh. ϕ es función y es inyectiva pues h1 = h2 , si

y solo si, bh1 = bh2 y es sobreyectiva por definición. Ası́ tenemos una biyección entre
H y bH para cualquier b ∈ G. Por transitividad tenemos que existe una biyección
entre aH y bH, lo que muestra que tienen el mismo orden.
vi) aH = Ha, si y solo si, a−1 ( Ha) = a−1 ( aH ) = ( a−1 a) H = eH = H.
vii) Si a ∈ H es claro que aH es subgrupo pues aH = H ≤ G. Por otro lado, si aH ≤ G,

entonces e ∈ aH, luego existe h ∈ H tal que e = ah, por tanto a = h−1 ∈ H.
Notemos que las partes i ), iii ) y v) del teorema anterior nos garantizan que las clases
laterales de un subgrupo H de G, particionan a G en conjuntos de igual tamaño. Notemos
también que aunque la mayorı́a de resultados fueron para clases laterales a izquierda,
estos también son válidos para clases laterales a derecha.
Dado H ≤ G y a, b ∈ G, definimos la siguiente relación en G:
a ∼ b, si y solo si, aH = bH.
Es claro que esta relación es una relación de equivalencia, ya que es:
Reflexiva: a ∼ a, pues aH = aH.

4.2. Teorema de Lagrange 23
Simétrica: a ∼ b, implica que b ∼ a, pues aH = bH implica que bH = aH.
Transitiva: a ∼ b y b ∼ c, implica que a ∼ c, pues aH = bH y bH = cH implica que

aH = cH.
Por tanto tenemos que las clases laterales aH para a ∈ G, son una partición de los elemen-
tos de G sobre clases de equivalencia, con la propiedad de a ∼ b, si y solo si, aH = bH.
4.2. Teorema de Lagrange

Teorema 4.2.1 (Teorema de Lagrange) Si G es un grupo finito y H ≤ G, entonces el orden de
H divide al orden de G. Por lo tanto el número de clases laterales de H en G es | G |/| H |.
Demostración: Sea G de orden finito y a1 H, a2 H, . . . , ak H todas las clases laterales a

izquierda, diferentes, de H en G. Para todo elemento a ∈ G, tenemos que aH es clase
lateral a izquierda, luego aH = ai H para algún i ∈ {1, . . . , k}, por tanto para todo a ∈ G,
a ∈ ai H para algún i ∈ {1, . . . , k}, ası́
G = a1 H ∪ a2 H ∪ · · · ∪ ak H.
Por el teorema anterior (parte iii )) esta unión es disjunta, luego
| G | = | a1 H | + | a2 H | + · · · + | a k H | = | H | + | H | + · · · + | H | = k | H |.
Ası́ | H | divide a | G | y el número de clases laterales distintas es k = | G |/| H |.
Definición 4.2.1 (Índice de H en G) Sea G es un grupo y H ≤ G. El número de clases laterales

a izquierda de H en G se llama ı́ndice de H en G y se denota por | H : G |. En el caso de los
grupos finitos, el teorema de Lagrange dice que | G : H | = | G |/| H |.
¿El recı́proco del teorema de Lagrange es verdadero?
Corolario 4.2.1.1 En un grupo finito el orden de todo elemento (del grupo) divide al orden del
grupo, es decir, para todo a ∈ G, con G finito, ◦( a)| G |.
Demostración: Para todo a ∈ G, h ai es subgrupo de G y como G es finito, entonces por

el teorema de Lagrange |h ai| | G |. Ya que |h ai| = ◦( a), se sigue que ◦( a) | G |.

Corolario 4.2.1.2 Todo grupo de orden primo es cı́clico.

Demostración: Sea | G | = p con p primo. Para todo a ∈ G, ◦( a)| G |, luego ◦( a) = 1
ó ◦( a) = p, por tanto si a 6= e, entonces ◦( a) = p y ası́ G = h ai, es decir, G es cı́clico.
¿El recı́proco de este corolario es verdadero?
Corolario 4.2.1.3 Si G es un grupo finito y a ∈ G, entonces a|G| = e.
Demostración: Sea | G | = n y ◦( a) = k. Como k|n, entonces a|G| = an = akr = ( ak )r =

e.
4.3. Subgrupos normales.

Vimos que si G es un grupo, H ≤ G y a ∈ H, entonces aH = H = Ha y por propiedad
tenı́amos que en este caso a−1 Ha = H. Es decir, que en este caso a−1 Ha ≤ G. Ya que lo
anterior se cumple para los elementos de H, la pregunta que surge es: ¿existe algún ele-
mento en b ∈ G \ H tal que b−1 Hb = H? Esta observación nos introduce a los subgrupos
normales.
Definición 4.3.1 (Subgrupo normal) Decimos que un subgrupo N de G es un subgrupo normal

de G, si a−1 Na ⊆ N para todo a ∈ G y lo denotamos por N ⊳ G.
En la definición anterior nótese la simetrı́a con aNa−1 ⊆ N, pues a−1 Na = a−1 N ( a−1 )−1
= bNb−1 para b = a−1 .
Ejemplo 4.3.0.11 (Verificación como ejercicio.)
1. Todo subgrupo de un grupo abeliano es normal.
2. El centro de un grupo es siempre un subgrupo normal.
3. El kernel de cualquier homomorfismo es un subgrupo normal.
Teorema 4.3.1 (Caracterización de los subgrupos normales) N ⊳ G si y solo si, toda clase
lateral a izquierda de N en G es clase lateral a derecha de N en G.
Demostración: Queremos demostrar que N ⊳ G, si y solo si, para todo a ∈ G existe un
b ∈ G tal que aN = Nb.
Supongamos que N ⊳ G, entonces por definición para todo a ∈ G, se tiene que a−1 Na ⊆
N, de donde es claro que Na ⊆ aN. La inclusión contraria es dada de la simetrı́a de la
escritura del subgrupo normal, asi aNa−1 ⊆ N, de donde aN ⊆ Na, lo que nos da la
igualdad aN = Na.
Supongamos ahora que toda clase lateral a izquierda de N en G es clase lateral a
derecha de N en G, es decir, dado a ∈ G, aN = Nb para algún b ∈ G. Notemos que
a ∈ aN = Nb y a ∈ Na, luego a ∈ Na ∩ Nb, por tanto Na ∩ Nb 6= φ, lo que implica que
Na = Nb = aN, es decir, Na ⊆ aN y por tanto a−1 Na ⊆ N, lo que significa que N ⊳ G.
Corolario 4.3.1.1 Si ϕ es un homomorfismo de G en G ′ , entonces Kerϕ ⊳ G.
4.4. Grupos cocientes

Veremos aquı́ la importancia de los subgrupos normales. Sea G un grupo y N ⊳ G.
Definimos el siguiente conjunto
G/N := { aN/a ∈ G },
es decir, el conjunto de todas las clases laterales a izquierda (derecha) de N en G. Quere-
mos dotar a este conjunto de una operación binaria ∗ para darle estructura de grupo;
para tal fin definimos la operación ∗ en G/N, para a, b ∈ G, ası́:
( aN ) ∗ (bN ) = abN.
Veamos que con esta operación G/N es un grupo (observación: en el lado derecho de la
igualdad ab está siendo operado bajo la operación del grupo G).
4.5. Taller 25
1. G/H 6= φ, pues eN ∈ G/N.

2. Cerradura: aN ∗ bN = abN ∈ G/N.
3. Operación bien definida:
Sean a1 N = a2 N y b1 N = b2 N, entonces a1 a2−1 , b1 b2−1 ∈ N. Ahora a1 b1 b2−1 a2−1 =
a1 na2−1 = n1 a1 a2−1 = n1 n2 ∈ N, luego a1 b1 N = a2 b2 N.
4. Asociatividad:
aN ∗ [bN ∗ cN ] = aN ∗ (bcN ) = a(bc) N = ( ab)cN = [ aN ∗ bN ] ∗ cN.
5. Elemento identidad:
eN pues eN ∗ aN = eaN = aN y aN ∗ eN = aeN = aN para todo a ∈ G.
6. Elemento inverso:
Dado aN ∈ G/N su inverso es a−1 N pues aN ∗ a−1 N = aa−1 N = eN y a−1 N ∗ aN =
a−1 aN = eN.
De todo lo anterior tenemos el siguiente teorema.
Teorema 4.4.1 Sea G un grupo y N ⊳ G. Entonces el conjunto G/N = { aN/a ∈ G } con la

operación ∗ definida por ( aN ) ∗ (bN ) = abN es un grupo.
Ejemplo 4.4.0.12 .
1. Sabemos que 2Z ⊳ Z, luego tiene sentido hablar de Z/2Z = { a + 2Z/a ∈ Z }.

¿Cuándo dos elementos de este conjunto son iguales, es decir cuándo a + 2Z =
b + 2Z? Por las propiedades de los clases laterales tenemos la igualdad si a − b ∈ 2Z
y esto sucede cuando a y b son pares ó cuando a y b son impares, ası́ 0 + 2Z = b + 2Z
para todo b par y 1 + 2Z = c + 2Z para todo c impar. Ası́ tenemos en Z/2Z solo
dos elementos diferentes, es decir Z/2Z = {0 + 2Z, 1 + 2Z }.
2. Sea G = Z6 = {0̄, 1̄, 2̄, 3̄, 4̄, 5̄}, H = {0̄, 2̄, 4̄} y K = {0̄, 3̄}. Entonces G/H = {0̄ +
H, 1̄ + H } y G/K = {0̄ + K, 1̄ + K, 2̄ + K }.
3. Si G = U (32) y H = {1̄, 17} ≤ U (32), entonces

U (32)/H = {1̄H, 3̄H, 5̄H, 7̄H, 9̄H, 11H, 13H, 15H }.
Notemos que por Lagrange el número de clases laterales diferentes de H en U (32)
es |U (32) : H | = |U (32)|/| H | = 16/2 = 8, por tanto |U (32)/H | = |U (32)|/| H | = 8.
Como una consecuencia inmediata del teorema de Lagrange tenemos el siguiente lema.
Lema 4.4.1 Si G es un grupo finito y N ⊳ G, entonces | G/N | = | G |/| N |.
4.5. Taller
1. Sea G un grupo de orden 4. Pruebe que G es cı́clico o todo elemento de G es su
propio inverso. Concluya que todo grupo de orden 4 es abeliano.
2. Demuestre que todo grupo de orden menor o igual que 5 es abeliano.
3. Suponga que G es un grupo abeliano de orden impar. Demuestre que al realizar

el producto (operación del grupo) de todos los elementos de G el resultado es la
identidad.
4. Sea G un grupo finito de orden 25. Pruebe que G es cı́clico o todo elemento a ∈ G
(a 6= e) tiene orden 5.
5. Sean G un grupo cualquiera, M y N subgrupos normales de G, y H subgrupo

cualquiera de G. Se define MN = {mn|m ∈ M, n ∈ N }. Demuestre que
a) MN y M ∩ N son subgrupo de G y son normales.

b) NH y H ∩ N son subgrupos de G y H ∩ N es subgrupo normal de H.
c) Si M ∩ N = {e}, entonces mn = nm para m ∈ M y n ∈ N.
6. Sea )

ab
H= a, b, d ∈ R, ad 6= 0 .
0d
¿Es H un subgrupo normal de GL(2, R )? ¿Es SL(2, R ) un subgrupo normal de

GL(2, R )?
7. Dados los grupos S3 y Q8 , determine el número de clases laterales diferentes para

cada subgrupo propio. Muestre explı́citamente una clase lateral por cada subgrupo
diferente (la clase debe ser diferente del subgrupo). Demuestre la normalidad o no
normalidad de cada subgrupo.
8. Sean H y K subgrupos finitos de un grupo G. Demuestre que | HK | = | H ||K |/| H ∩

K |. (Recuerde que en general HK es un subconjunto de G y no necesariamente un
subgrupo.)
9. Si H es un subgrupo de ı́ndice 2 en un grupo G, entonces g2 ∈ H, ∀ g ∈ G y H es un

subgrupo normal de G.
10. Si H, K son subgrupos de un grupos G y (| H |, |K |) = 1, entonces H ∩ K = {e}. Si

H, K son subgrupos distintos de orden primo, entonces H ∩ K = {e}.
11. Sea | G | = pq con p, q primos. Si H es un subgrupo propio de G, entonces H es

cı́clico. ¿Puede generalizarse esto cuando el grupo es de orden producto de tres o
más primos?
12. Sea G finito y p un primo tal que p|| G | y | G | < p2 . Si H ≤ G con | H | = p, entonces
H ⊳ G. (Ayuda: utilizar ejercicio 18 del taller 2 y los ejercicios 8 y 10 de este taller)
13. Sea ϕ un homomorfismo de grupos de G en G ′ y sean K y K ′ subgrupos normales de

G y G ′ respectivamente. ¿Son la imagen directa y la imagen inversa de K y K ′ sub-
grupos normales de G ′ y G respectivamente? Demuéstrelo o de un contraejemplo
según el caso.
14. Si es posible, de un ejemplo en cada caso, demostrando el cumplimiento de dicha

propiedad. Si no es posible explique por que no es posible.
a) Un grupo no abeliano que tenga todos sus subgrupos normales.

b) Un grupo no abeliano que tenga dos subgrupos propios abelianos con uno de
ellos normal y el otro no.
c) Un grupo abeliano de orden 6 que no tenga un elemento de orden 4.
CAPÍTULO 5
Teorema de Cauchy para grupos abelianos y los

teoremas de homomorfismos.
5.1. Teorema de Cauchy para grupos abelianos

Teorema 5.1.1 Un subgrupo N de un grupo G es normal, si y solo si, es el kernel de algún
homomorfismo de G.
Demostración: Es claro que el kernel de un homomorfismo de G es un subgrupo normal

de G. Supongamos ahora que N ⊳ G, y veamos que N es el kernel de algún homomor-
fismo. Como N es normal entonces G/N es un grupo. Sea π : G −→ G/N dado por
π ( a) = aN.
1. π esta bien definida pues si a = b, entonces aN = bN.
2. π es homomorfismo de grupos, pues π ( ab) = ( ab) N = aNbN = π ( a)π (b).
3. Kerπ = { a ∈ G |π ( a) = eG/N } = { a ∈ G |π ( a) = eN = N } = { a ∈ G | aN = N }
= { a ∈ G | a ∈ N } = N.
Nota El homomorfismo dado en la demostración anterior se llama proyección natural (o
proyección) de G en G/N, y lo seguiremos denotando por π. Notemos que el homomor-
fismo π es sobreyectivo, i.e. es epimorfismo, pues si x ∈ G/N, entonces existe a ∈ G tal
que x = aN = π ( a), luego π ( G ) = G/N.
Lema 5.1.1 Si G es un grupo de orden finito que no posee subgrupos propios, entonces G es cı́clico
de orden primo.
Demostración: Sea a ∈ G diferente de la identidad, entonces h ai ≤ G y como G no tiene

subgrupos propios entonces h ai = G, lo que muestra que G es cı́clico. Por el teorema
fundamental de los grupos cı́clicos tenemos que G tiene tantos subgrupos como divisores
y ya que G tiene solo los dos subgrupos triviales tenemos que el orden de G tiene solo
dos divisores que son 1 y él mismo, por tanto G tiene orden primo.
27
28 5. Teorema de Cauchy para grupos abelianos y los teoremas de homomorfismos.
A continuación enunciaremos el teorema de Cauchy para el caso de los grupos abelianos,

cuya demostración es una bonita aplicación de los grupos cocientes, sin embargo veremos
mas adelante que el teorema de Cauchy es válido en general para grupos abelianos y no
abelianos y aunque nos referimos a teorema de Cauchy para grupos abelianos y a teore-
ma de Cauchy para grupos no abelianos, en realidad tenemos simplemente el teorema de
Cauchy.
Teorema 5.1.2 (Teorema de Cauchy para grupos abelianos)

Si G es un grupo abeliano finito de orden n y p es un primo que divide a n, entonces G tiene un
elemento de orden p.
Demostración: Sea | G | = n y p un primo divisor de n. Demostraremos el teorema por

inducción sobre n.
Si n = 2, entonces por ser 2 primo tenemos que G es cı́clico y por tanto existe a ∈ G
tal que h ai = G, luego existe a ∈ G tal que ◦( a) = 2.
Supongamos ahora que si H es un grupo abeliano de orden k para 2 ≤ k ≤ n − 1 y q
es un primo que divide a k, entonces existe un elemento a ∈ H tal que ◦( a) = q.
Veamos para k = n.
C 1. G no posee subgrupos propios. Entonces por el lema anterior G es cı́clico de or-
den primo p, lo que garantiza la existencia de un elemento de orden p (a saber el
generador).
C 2. G posee subgrupos propios. Sea N un subgrupo propio de G tal que | N | = m.
Entonces N es abeliano y m < n.
Si p|m, entonces por la hipótesis de inducción tenemos que existe un elemento a ∈ N
tal que ◦( a) = p y como N ⊆ G, entonces tenemos que ◦( a) = p y a ∈ G, lo que
demuestra el teorema.
Supongamos que p 6 |m. Como G es abeliano, entonces N ⊳ G y tenemos el grupo
cociente G/N. Como p|n y p 6 |m, entonces p|| G/N | = | G |/| N | = n/m. Es claro
que G/N es abeliano y que | G/N | < | G | (pues N 6= {e}), luego por la hipótesis
de inducción tenemos que existe un elemento x̄ ∈ G/N tal que ◦( x̄ ) = p, es decir,
existe a ∈ G tal que x̄ = aN y ◦( aN ) = p, luego ( aN ) p = a p N = eN = N. Por
tanto a p ∈ N y ( a p )m = e, es decir, ( am ) p = e. Veamos que am tiene orden p. Como
p es primo basta mostrar que am 6= e. Si am = e, entonces x̄ m = am N = eN = N, de
donde p|m = | N |, pues x̄ tiene orden p, lo que no es posible. Ası́ e 6= am ∈ G y tiene
orden p, por tanto am es el elemento buscado.
Corolario 5.1.2.1 Si G es un grupo abeliano finito de orden n y p es un primo que divide a n,

entonces G tiene un subgrupo de orden p.
Ejemplo 5.1.0.13 Para el grupo U (9) = {1̄, 2̄, 4̄, 5̄, 7̄, 8̄}, tenemos que |U (9)| = 6, por tanto
él debe tener un elemento de orden 2 y uno de orden 3, ellos son 8̄ y 4̄. Ası́ podemos
afirmar también que U (9) tiene un subgrupo de orden 2 y otro de orden 3, a saber
N = {1̄, 8̄} y H = {1̄, 4̄, 7̄}.
Ejercicio Sean G1 , G2 grupos y N1 , N2 subgrupos normales de G1 y G2 respectivamente,

tales que G1 ∼
= ϕ G2 y N1 ∼= N2 . Entonces G1 /N1 ∼
=ψ G2 /N2 para ψ( gN1 ) = ϕ( g) N2 , si y
− 1
solo si, N1 = ϕ ( N2 ).
5.2. Teoremas de Homomorfismos. 29
5.2. Teoremas de Homomorfismos.

Recordemos que dos elementos de un grupo a, b que son iguales, me representan la
misma clase lateral para un subgrupo dado.
Ejemplo 5.2.0.14 Sea ϕ : Z −→ Z2 el homomorfismo dado por ϕ( a) = ā. En el capı́tulo

tres estudiamos este epimorfismo (ϕ(Z ) = Z2 ), el cuál no es inyectivo, veamos por tanto
quien es su kernel:
Ker ϕ = { a ∈ Z | ϕ( a) = 0̄} = { a ∈ Z | ā = 0̄} = { a ∈ Z | a ≡ 0 (2)} = 2Z.
Recordemos que 2Z es un subgrupo normal de Z y que por tanto tiene sentido hablar
del grupo cociente Z/2Z, que como vimos en el capı́tulo anterior era un grupo de
orden dos, por tanto abeliano y además cı́clico. Yá que todo grupo cı́clico de orden n es
isomorfo a Z n , entonces Z/2Z ∼= Z2 . Notemos que lo que estamos afirmando es que
Z/Ker ϕ ∼
= ϕ (Z ).
Lo anterior es generalizado en el primer teorema de homomorfismo. Los teoremas de

homomorfismos muestran propiedades importantes de los grupos cocientes.
Teorema 5.2.1 (Primer Teorema de Homomorfismos) Sea ϕ : G −→ G ′ un homomorfismo de

grupos. Entonces
G/Kerϕ ∼= ϕ( G )
y el isomorfismo es dado por la aplicación ρ : G/Kerϕ −→ ϕ( G ) definida por aKerϕ 7→ ϕ( a).
Demostración: Sea ϕ : G −→ G ′ homomorfismo y K = Kerϕ. Definimos ρ : G/K −→

ϕ( G ) por aK 7→ ϕ( a).
i) ρ está bien definida, pues si aK = bK, entonces ab−1 ∈ K, luego eG′ = ϕ( ab−1 ) =
ϕ( a) ϕ(b)−1 , por tanto ϕ( a) = ϕ(b), es decir, ρ( aK ) = ρ(bK ).
ii) ρ es homomorfismo de grupos: ρ( aKbK ) = ρ( abK ) = ϕ( ab) = ϕ( a) ϕ(b) = ρ( aK )ρ(bK ).
iii) ρ es inyectivo: Sea aK ∈ Kerρ, entonces eG′ = ρ( aK ) = ϕ( a), luego a ∈ Kerϕ = K y

por tanto aK = K = eK, ası́ Kerρ = {eK }.
iv) ρ es sobreyectivo: Es claro de la definición, pues si y ∈ ϕ( G ), entonces y = ϕ( x )

para un x ∈ G, luego y = ϕ( x ) = ρ( xK ).
Teorema 5.2.2 (Segundo Teorema de Homomorfismos) Sea ϕ : G −→ G ′ un homomorfismo de

grupos, H ′ ≤ ϕ( G ) y H = { a ∈ G | ϕ( a) ∈ H ′ }. Entonces
i ) H ≤ G, Kerϕ ⊆ H y H/Kerϕ = ∼ H′. ii ) Si H ′ ⊳ ϕ( G ), entonces H ⊳ G.
Demostración:
i) Dado que H = ϕ−1 ( H ′ ), se sigue de inmediato que H ≤ G. Para la inclusión sea

a ∈ Kerϕ, entonces ϕ( a) = eG′ ∈ H ′ , luego a ∈ H y ası́ Kerϕ ⊆ H.
Para el isomorfismo H/Kerϕ ∼ = H ′ , notemos que ϕ H : H −→ ϕ H ( H ) es homomor-
fismo de grupos, donde Kerϕ = Kerϕ H , pues Kerϕ ⊆ H, y además H ′ = ϕ H ( H )
pues H = ϕ−1 ( H ′ ). Ası́ por el primer teorema de homomorfismos tenemos que
H/Kerϕ ∼ = ϕ H ( H ), es decir, H/Kerϕ ∼ = H′.
30 5. Teorema de Cauchy para grupos abelianos y los teoremas de homomorfismos.
ii) Supongamos que H ′ ⊳ ϕ( G ). Sabemos que la imagen inversa por un homomorfis-

mo de un subgrupo es un subgrupo, por tanto resta mostrar solo la normalidad
para H. Para esto sea a ∈ G y a−1 xa ∈ a−1 Ha, para x ∈ H, luego ϕ( a−1 xa) =
ϕ( a)−1 ϕ( x ) ϕ( a) ∈ ϕ( a)−1 H ′ ϕ( a) ⊆ H ′ , pues H ′ es normal, luego a−1 xa ∈ H y por
tanto a−1 Ha ⊆ H.
Nota Este teorema establece una correspondencia biyectiva entre subgrupos normales de
ϕ( G ) y los subgrupos normales de G que contienen a Kerϕ.
Teorema 5.2.3 (Tercer Teorema de Homomorfismos) Sea ϕ : G −→ G ′ un homomorfismo de

grupos. Si N ′ ⊳ ϕ( G ) y N = { a ∈ G | ϕ( a) ∈ N ′ }, entonces
i ) G/N ∼
= ϕ( G )/N ′ . ii ) G/N ∼
= ( G/Kerϕ)/( N/Kerϕ).
Demostración:
i) Definimos ρ : G −→ ϕ( G )/N ′ por ρ( g) = ϕ( g) N ′ .
ρ está bien definida, pues si g1 = g2 , entonces ϕ( g1 ) = ϕ( g2 ), luego ϕ( g1 ) N =

ϕ( g2 ) N, es decir, ρ( g1 ) = ρ( g2 ).
ρ es homomorfismo de grupos:
ρ ( g1 g2 ) = ϕ ( g1 g2 ) N ′ = ϕ ( g1 ) ϕ ( g2 ) N ′ = ϕ ( g1 ) N ′ ϕ ( g2 ) N ′ = ρ ( g1 g2 ) .
ρ es sobreyectivo: Es claro de la definiciı́n de ρ.

Kerρ = { a ∈ G |ρ( a) = e ϕ(G)/N ′ } = { a ∈ G | ϕ( a) N ′ = e ϕ(G) N ′ } = { a ∈
G | ϕ( a) ∈ N ′ } = N.
Podemos concluir entonces, del primer teorema de homomorfismos que G/Kerρ ∼

=
ϕ( G )/N ′ , luego G/N ∼
= ϕ( G )/N ′ .
ii) Demostraremos primero que ϕ( G )/N ′ ∼
Notemos que por el primer teorema de homomorfismos G/Kerϕ ∼ = ϕ( G ) y por el
segundo teorema de homomorfismos tenemos que N/Kerϕ ∼ = N ′ , por tanto (Ver
ejercicio!) ϕ( G )/N ′ ∼
= ( G/Kerϕ)/( N/Kerϕ) y por parte i ), tenemos que G/N ∼ =
′
ϕ( G )/N , luego por transitividad
G/N ∼
5.3. Taller
1. Sea N un subgrupo normal de G y H un subgrupo de G. Si N es un subgrupo de
H, pruebe que H/N es un subgrupo normal de G/N, si y solo si, H es un subgrupo
normal de G. ¿Por qué tiene sentido hablar de H/N?
2. Sea Z ( G ) es el centro de G.
a) Demuestre que Z ( G ) es un subgrupo normal de G.

b) Demuestre que si G/Z ( G ) es cı́clico, entonces G es abeliano.
c) ¿Si G es abeliano quien es G/Z ( G )? ¿Si G es un grupo cualquiera, es G/Z ( G )
abeliano?
5.3. Taller 31
3. Sea G un grupo y H un subgrupo de G. Si G es abeliano, entonces G/H es un grupo

abeliano. Si G es cı́clico, entonces G/H es un grupo cı́clico.
4. Sea H = {0̄, 6̄, 1̄2} subgrupo de Z18 . Entonces
a) ¿Cuál es el orden de Z18 /H? Muestre explı́citamente los elementos de Z18 /H.
b) Calcular el orden de 5̄ + H en Z18 /H.
5. Para G = Z/20Z y H = 4Z/20Z, calcule el orden de G, H y G/H. Muestre
explı́citamente los elementos de G, H y G/H. (Justifique completamente)
6. Viendo 3Z y 12Z como subgrupos aditivos de Z, demuestre que 3Z/12Z es isomor-
fo a Z4 . Pruebe que 8Z/48Z es isomorfo a Z6 . Generalice para enteros arbitrarios
k y n.
7. Sea H un subgrupo normal de G y a ∈ G, si el elemento aH tiene orden 3 y H tiene
orden 10, ¿cuáles son las posibilidades para el orden de a?
8. Sea N un subgrupo normal de un grupo finito G y g ∈ G.
a) ¿Es ◦( g) = ◦( gN )? ¿Qué relación hay entre estos ordenes? De ejemplos.
b) ¿Es ◦( gN ) = | gN |? ¿Qué relación hay entre estos ordenes? De ejemplos.
9. Para los grupos S3 y Q8 , calcule el grupo cociente correspondiente para los subgru-
pos normales de ellos.
= G2 y N1 ∼
10. Muestre con un contraejemplo que N1 ⊳ G1 , N2 ⊳ G2 , G1 ∼ = N2 , no implica
∼
que G1 /N1 = G2 /N2 .
11. Sea k un divisor de n. Demuestre que Z n /hk̄i es isomorfo a Z k .
12. Sea G un grupo finito y sea | G | = n. Qué se puede decir de n, en los siguientes
casos, si se tiene que:
a) Z10 es la imagen de G por un homomorfismo.
b) Z10 y Z15 son ambos imágenes de G por homomorfismos.
c) Para p primo, Z p es la imagen de G por un homomorfismo.
13. (Cuarto Teorema de Homomorfismos) Sea G un grupo, H ≤ G y N ⊳ G. Entonces
a) HN es subgrupo de G. b) N ⊂ HN y N ⊳ HN. c) HN/N ∼
= H/( H ∩ N ).
14. Sean G1 y G2 grupos y G = G1 × G2 . Demuestre que i ) N = {( a; e2 )/a ∈ G1 } ⊳ G.
(e2 unidad de G2 ) ii ) N ∼
= G1 . iii ) G/N ∼
= G2 .
15. Si G es un grupo abeliano finito y d es un divisor de | G |, entonces G contiene un
subgrupo de orden d.
16. (Teorema de correspondencia) Sea G un grupo y N ⊳ G. Entonces existe una biyec-
ción entre los subgrupos de G que contienen a N y los subgrupos del grupo cociente
G/N. Además si H es un subgrupo normal de G y H ⊇ N entonces:
G/H ∼
= ( G/N )/( H/N ).
¿Podemos afirmar en particular que existe una biyección entre los subgrupos nor-
males de G que contienen a N y los subgrupos normales del grupo cociente G/N?
CAPÍTULO 6
Teorema de Cauchy para grupos no abelianos.1
6.1. Teorema de Cauchy para grupos no abelianos

A continuación estudiaremos algunos conceptos y resultados que serán utilizados
en la demostración del teorema de Cauchy. Recordemos que para un conjunto X dado,
( A( X ), ◦) es el grupo simétrico o de permutaciones siendo ◦ la composición de funciones
y
A( X ) = { f : X −→ X | f es biyectiva}.
Es claro que si X tiene n elementos entonces | A( X )| = n!
Sea f ∈ A( X ) y x ∈ X. Definimos O f ( x ) := { f i ( x ) | i ∈ Z } (órbita de x bajo f ). Dados

dos elementos x 6= y ∈ X, entonces si O f ( x ) ∩ O f (y) 6= φ tenemos que existen enteros
i, j tales que f i ( x ) = f j (y) y por tanto f i− j ( x ) = y, lo que muestra que y ∈ O f ( x ) y
ası́ O f ( x ) = O f (y). Por tanto podemos afirmar que O f ( x ) = O f (y) ó O f ( x ) ∩ O f (y) = φ.
Ası́ las órbitas forman clases disjuntas y por tanto X = ∪ x∈X O f ( x ) (unión disjunta).
Lema 6.1.1 Sea f ∈ A( X ) de orden p primo. Entonces |O f ( x )| = 1 ó p, para cualquier x ∈ X.
Demostración: Sea x ∈ X y f ∈ A( x ) tal que ◦( f ) = p con p primo. Es claro que

O f ( x ) = { x, f ( x ), · · · , f p−1 ( x )} (∗) , pues f tiene orden p (h f i = { f 0 , f , . . . , f p−1 }).
Si f ( x ) = x, entonces f k ( x ) = x para todo k ∈ Z, luego O f ( x ) = { x } y por tanto

|O f ( x )| = 1.
Supongamos que f ( x ) 6= x y veamos que todos los elementos de O f ( x ) listados en
(∗) son diferentes. Si no fuesen diferentes, entonces existirı́an 0 ≤ j < i ≤ p − 1 tal
que f i ( x ) = f j ( x ), luego f i− j ( x ) = x con 0 < i − j ≤ p − 1. Si hacemos m = i − j,
entonces tenemos que f m ( x ) = x. Es claro que p 6 |m y por tanto (m, p) = 1. Luego
existen enteros a, b tales que 1 = ap + bm y f ( x ) = f ap+bm ( x ) = f ap ( f bm ( x )) = x,
1 James McKay. Another proof of Cauchy’s group theorem, American Math. Monthly, 66 (1959), p. 119.
33
34 6. Teorema de Cauchy para grupos no abelianos.
absurdo! Por tanto todos los elementos de O f ( x ) son diferentes lo que muestra que
|O f ( x )| = p.
Teorema 6.1.1 (Teorema de Cauchy para grupos no abelianos) Sea G un grupo finito y p un
primo que divide al orden de G. Entonces existe un elemento en G de orden p.
Demostración:
1. Si p = 2, entonces G tiene orden par, luego existe un elemento a ∈ G tal que a2 = e.
2. Sea p primo, p 6= 2 y | G | = n con p|n. Definimos el siguiente conjunto:
X = {( a1 , · · · , a p )| a1 · · · a p = e, con ai ∈ G para i = 1, · · · , p.}
| X | = n p−1 . Pues si a1 · · · a p = e, entonces a p = ( a1 · · · a p−1 )−1 , luego pode-

mos escoger libremente los elementos a1 , · · · , a p−1 para a p fijo. Ası́ tenemos n
posibilidades de escoger a1 , · · · , a p−1 , por tanto tenemos n p−1 posibilidades de
escoger los ai .
Definimos f : X −→ X por f ( a1 , · · · , a p ) = ( a p , a1 , · · · , a p−1 ). Es claro que
( a p , a1 , · · · , a p−1 ) ∈ X, pues si a1 a2 · · · a p = e, entonces a p a1 · · · a p−1 = e.
Notemos que f ∈ A( X ) y que f 6= id , pues f ( a, a−1 , e, · · · , e) = (e, a, a−1 , · · · , e)
6= ( a, a−1 , e, · · · , e) para a 6= e, luego f tiene orden p, pues f p = e y p es primo.
Sea M = { x ∈ X | f ( x ) = x } y N = { x ∈ X | f ( x ) 6= x }.
Los elementos de M son los de la forma ( a, a, · · · , a), es decir, x ∈ M si y solo
si x = ( a, · · · , a) para a ∈ G. Pues x ∈ M si y solo si, f ( x ) = f ( a1 , · · · , a p ) =
( a p , a1 , · · · , a p−1 ) = ( a1 , · · · , a p ), si y solo si, a1 = a2 = · · · = a p .
Como (e, · · · , e) ∈ M, entonces | M| ≥ 1. Veamos que | M| ≥ 2. Sea | M| =
m ≥ 1 y sea | N | = k. Si x ∈ N, entonces por el lema anterior |O f ( x )| = p y
O f ( x ) ⊆ N, pues si f ( x ) 6= x, entonces f i ( x ) = f ( f i−1 ( x )) 6= f i−1 ( x ). Por tanto
si existen r de tales órbitas, entonces k = rp. Como X = ∪ x∈X O f ( x ) y M ∩ N =
φ, entonces | X | = | M| + | N |, es decir, n p−1 = m + rp, luego m = n p−1 − rp.
Ya que p|n p−1 y p|rp, entonces p|m. Como p > 1 y m ≥ 1, entonces m > 1.
Ası́ existe un x ∈ M tal que x = ( a, · · · , a), para e 6= a ∈ G. Luego a p = e
y como p es primo podemos decir que a tiene orden p y ası́ a es el elemento
pedido.
Corolario 6.1.1.1 Si G es un grupo finito de orden n y p es un primo que divide a n, entonces G

tiene un subgrupo de orden p.
Ejemplo 6.1.0.15 El grupo simétrico S3 , debe tener (por lo menos) un elemento de orden
2 y uno de orden 3, respectivamente un subgrupo. Mas especı́ficamente ρ1 y µ1 son ele-
mentos de S3 de orden 3 y 2, respectivamente, cuyos subgrupos generados son {ρ0 , ρ1 , ρ2 }
y { ρ0 , µ1 }.
Podemos ahora referirnos simplemente al teorema de Cauchy
Teorema 6.1.2 ( Teorema de Cauchy) Sea G un grupo finito y p un primo que divide al orden
de G. Entonces existe un elemento en G de orden p.
6.1. Teorema de Cauchy para grupos no abelianos 35
Lema 6.1.2 Sea G un grupo finito de orden pm con p primo y p > m. Si a ∈ G es de orden p y
A = h ai, entonces A ⊳ G y es único (único subgrupo normal de G de orden p).
Demostración: Sea a ∈ G de orden p y A = h ai. Como A es un subgrupo de G, entonces

para todo x ∈ G, tenemos que x −1 Ax es un subgrupo de G que además tiene orden
p, pues x −1 bx = x −1 cx, si y solo si, b = c. Por tanto si demostramos que A es el único
subgrupo de G de orden p, tendremos la normalidad de A, ya que en ese caso x −1 Ax = A,
para todo x ∈ G. Supongamos entonces que B 6= A es un subgrupo de G de orden p.
Entonces | AB| = p2 , pues | AB| = | A|| B|/| A ∩ B| = p2 /1, ya que A ∩ B A y | A| = p.
Ası́ | AB| = p2 ≤ | G | = pm < p2 (pues m < p), absurdo! Luego el único subgrupo de G
de orden p es A y tenemos el lema.
Ejemplo 6.1.0.16 Sea G = S3 . Como |S3 | = 2 · 3, entonces por el teorema de Cauchy

existe a ∈ S3 de orden 3, a saber ρ1 . El lema anterior nos permite afirmar entonces que el
subgrupo generado por este elemento, que es {ρ0 , ρ1 , ρ2 }, es normal en S3 y que además
es el único subgrupo normal de S3 que tiene orden 3.
Corolario 6.1.2.1 Sean G y a como en el lema anterior y x ∈ G. Entonces existe 0 < i x < p tal
aix = x −1 ax.
Lema 6.1.3 Sean a, b ∈ G de orden m y n, respectivamente, tal que (m, n) = 1. Si ab = ba,

entonces ◦( ab) = mn.
Demostración: Sea A = h ai y B = hbi. Entonces | A ∩ B| = 1 pues (m, n) = 1, luego

A ∩ B = {e}. Si k = ◦( ab), entonces ( ab)k = ak bk = e, pues ab = ba, ası́ ak = b−k de
donde ak ∈ hbi y es claro que ak ∈ h ai, luego ak ∈ A ∩ B = {e}, por tanto ak = e
e igualmente bk = e, luego m|k y n|k, de donde mn|k, pues (m, n) = 1. Por otro lado
( ab)mn = amn bmn = e pues ab = ba, luego k|mn y ası́ mn = k.
r
Antes de demostrar el siguiente teorema, veamos que si ai = b−1 ab, entonces ai =
b−r abr , para todo r ≥ 0. Veamos la demostración por inducción sobre r Para r = 0, es
claro que se cumple la igualdad. Supongamos que la igualdad se cumple para r − 1, es
r −1
decir, que ai = b−(r−1) abr−1 y veamos para r.
r r −1
ai = ( ai )i = (b−(r−1) abr−1 )i
= b−(r−1) abr−1 · b−(r−1) abr−1 · b−(r−1) abr−1 · · · b−(r−1) abr−1 (i − veces)
−(r −1) 2 r −1 −r −1 r −1 −(r −1) i r −1 −(r −1)
=b a b ···b ab = ··· = b ab =b (b−1 ab)br−1
−r r
= b ab .
Teorema 6.1.3 Sea G un grupo finito de orden pq con p y q primos y p > q. Si q 6 | p − 1,

entonces G es cı́clico.
Demostración: Sea | G | = pq con p y q primos, p > q y q 6 | p − 1. Por el teorema de

Cauchy, existen elementos a, b ∈ G de orden p y q, respectivamente. Si demostramos que
ab = ba, entonces por el lema anterior tendrı́amos que ◦( ab) = pq y ası́ G = h abi. Por
corolario tenemos que existe un 0 < i < p tal que ai = b−1 ab. Por la observación anterior
q q
tenemos que ai = b−q abq = a, luego ai −1 = e y ası́ p|iq − 1, es decir, iq ≡ 1( p). Lo anterior
nos está mostrando que īq = 1̄ módulo p, por tanto ī visto como elemento de U ( p) tiene
36 6. Teorema de Cauchy para grupos no abelianos.
orden 1 ó q. Si el orden fuese q, entonces por el teorema de Fermat i p−1 ≡ 1( p), es decir,
ī p−1 = 1̄, luego q| p − 1, lo que no es posible. Ası́ ī ≡ 1̄ y como i es menor que p, tenemos
que i = 1, luego ai = a y por tanto a = b−1 ab, de donde se concluye que ab = ba y
tenemos el teorema.
6.2. Taller
1. Sea H un subgrupo normal de un grupo finito G y x ∈ G. Si el máximo común
divisor entre ◦( x ) y | G/H | es 1, demuestre que x ∈ H.
2. Demuestre que todo grupo de orden 35 es cı́clico.
3. Demuestre que todo grupo abeliano de orden 45 tiene un elemento de orden 15.
¿Todo grupo abeliano de orden 15 tiene un elemento de orden 9?
4. ¿Tiene S4 un elemento de orden 3? ¿Tiene Z2145 un elemento de orden 143? ¿Tiene

Z1260 un elemento de orden 210?
5. ¿Es todo grupo de orden 6 cı́clico? ¿Es todo grupo de orden 15 cı́clico?
6. Sea G un grupo de orden 143. ¿Tiene G un subgrupo normal de orden 13? ¿Tiene G
un subgrupo no normal de orden 13?
7. Demuestre que todo grupo de orden 42 tiene un subgrupo normal de orden 21.
8. Sea G un grupo de orden pq, con p y q primos distintos. Entonces G posee un

subgrupo normal no trivial. Dé un ejemplo de un grupo no abeliano que cumpla
esto.
9. Sea G un grupo de orden pq, con p y q primos distintos y tales que p < q y p no
divide a q − 1. Entonces G es isomorfo a Z pq .
10. Si es posible, de un ejemplo en cada caso, justificando completamente. Si no es

posible explique.
a) Un grupo no abeliano que tenga un subgrupo abeliano y que el grupo cociente

por este subgrupo sea abeliano.
b) Un grupo no abeliano (por tanto no cı́clico) que tenga un subgrupo cı́clico y
que el grupo cociente por este subgrupo sea cı́clico.
c) Un grupo abeliano de orden 12 que no tenga un elemento de orden 6.
d) Un grupo cociente que tenga orden 17.
e) Un grupo abeliano no cı́clico de orden 21.
f ) Un grupo de orden 221 que no posea un subgrupo de orden 17.
CAPÍTULO 7
Producto directo de grupos.
7.1. Producto directo externo de grupos.

En el taller correspodiente al primer capı́tulo definimos un grupo a partir del producto
cartesiano de los conjuntos correspondientes a dos grupos, es decir, dado los grupos
( G1 , ◦) y ( G2 , ∗) tomamos el conjunto G = G1 × G2 y lo dotamos de una operación
binaria ⊛ dada por ( a1 , a2 ) ⊛ (b1 , b2 ) = ( a1 ◦ b1 , a2 ∗ b2 ) para a1 , b1 ∈ G1 y a2 , b2 ∈
G2 . Ası́ obtenemos el grupo ( G, ⊛), conocido como el grupo producto cartesiano de
dos grupos. Generalizaremos este concepto para el producto cartesiano de n grupos.
Para facilitar la notación nos referiremos al grupo G sin explicitar la operación binaria
correspondiente.
Sean G1 , . . . , Gn grupos y sea
G := G1 × . . . × Gn = {( a1 , . . . , an )| ai ∈ Gi , i = 1, . . . , n}.
Definiendo en G la operación binaria ∗ por:
( a1 , . . . , an ) ∗ (b1 , . . . , bn ) = ( a1 b1 , . . . , an bn ),
con cada ai bi operado en su respectivo grupo Gi , es fácil verificar que ( G, ∗) es un grupo,
con elemento identidad (e1 , . . . , en ), siendo ei la identidad de Gi , también es fácil ver que
el inverso del elemento ( a1 , . . . , an ) está dado por ( a1−1 , . . . , a− 1 −1
n ), siendo ai el inverso de
ai en Gi . Este grupo se conoce como el producto directo externo de los grupos Gi . Notemos
que no existe una relación directa entre los Gi , lo que da sentido a la palabra producto
externo.
Ejemplo 7.1.0.17 1. Sea G = Z2 × Z2 × Z3 . Entonces los elementos de G son de la
forma ( ā, b̄, c̃) y su elemento identidad es (0̄, 0̄, 0̃). Ası́: (1̄, 1̄, 2̃) ∗ (1̄, 1̄, 2̃) = (0̄, 0̄, 1̃)
y el inverso de (1̄, 1̄, 2̃) es (1̄, 1̄, 1̃), pues (1̄, 1̄, 2̃) ∗ (1̄, 1̄, 1̃) = (0̄, 0̄, 0̃).
2. Si G = Z3 × S3 × Q8 , entonces su elemento identidad es (0̄, ρ0 , 1) y (2̄, ρ1 , i ) ∗
(1̄, ρ2 , j) = (2̄ + 1̄, ρ1 ◦ ρ2 , i · j) = (0̄, ρ0 , k). Este ejemplo muestra que en general
no se tiene la conmutatividad para este grupo pues (1̄, ρ2 , j) ∗ (2̄, ρ1 , i ) = (0̄, ρ0 , −k).
37
38 7. Producto directo de grupos.
7.1.1. Propiedades del producto directo externo

Vimos que el orden de los elementos de un grupo nos da bastante información acerca
del grupo, por ejemplo si existe un elemento que tenga el mismo orden del grupo, en-
tonces dicho grupo es cı́clico. Veremos a continuación cómo determinar el orden de un
elemento y una condición para que el producto directo de grupos cı́clicos sea un grupo
cı́clico.
Teorema 7.1.1 El orden de un elemento de un producto directo externo de grupos finitos, es el

mı́nimo común múltiplo de los órdenes de los elementos de cada componente, es decir
◦(( a1 , . . . , an )) = mcm(◦( a1 ), . . . , ◦( an ))
Demostración: Sea G = G1 × . . . × Gn con cada Gi grupo finito y sea ( a1 , . . . , an ) ∈ G.

Si denotamos por s = ◦(( a1 , . . . , an )) y por t = mcm(◦( a1 ), . . . , ◦( an )) = mcm(k1 , . . . , k n ),
entonces tenemos que demostrar que t = s. Por la definición de mı́nimo común múlti-
plo, tenemos que cada k i divide a t, por tanto t = k i ri para todo i = 1, . . . , n. Luego
( a1 , . . . , an )t = ( a1t , . . . , atn ) = ( a1k1 r1 , . . . , aknn rn ) = (e1 , . . . , en ), lo que implica que s|t. Como
( a1 , . . . , an )s = ( a1s , . . . , asn ) = (e1 , . . . , en ), entonces para cada i, se tiene que ais = ei , lo que
implica que k i |s para todo i = 1, . . . , n, por tanto s es un múltiplo común de los k i y se
sigue de la minimalidad de t que t|s. Ası́ tenemos que s = t.
Teorema 7.1.2 Sean G y H dos grupos cı́clicos finitos de orden m y n, respectivamente. Entonces
G × H es cı́clico, si y solo si, mcd(m, n) = 1.
Demostración: Sean G y H tales que G = h gi y H = h hi. Entonces | G × H | = mn.

Supongamos que G × H es cı́clico. Entonces por el teorema fundamental de los gru-
pos cı́clicos, por cada divisor positivo de mn existe un único subgrupo de G × H. Sea
t = mcd(m, n) y supongamos, por el absurdo, que t 6= 1. Sabemos que gm/t ∈ G,
hn/t ∈ H, y que además (por un lema visto en el capı́tulo de grupos cı́clicos) ◦( gm/t ) = t
y ◦( hn/t ) = t. Por el teorema anterior ◦(( gm/t , e H )) = t y ◦((eG , hn/t , )) = t, luego
h(eG , hn/t )i y h( gm/t , e H )i son dos subgrupos distintos de G × H de orden t, que es un
divisor positivo de mn, absurdo, luego t = 1.
Supongamos que mcd(m, n) = 1 y veamos que G × H es cı́clico. Por el teorema anterior
◦( g, h) = mcm(◦( g), ◦(h)) = mcm(m, n) = mn, por tanto tenemos un elemento ( g, h) ∈
G × H de orden mn, lo que implica que G × H = h( g, h)i, es decir, G × H es cı́clico.
Como una generalización del teorema anterior tenemos el siguiente corolário.
Corolario 7.1.2.1 El producto directo externo G1 × G2 × . . . × Gk de grupos cı́clicos es cı́clico,

si y solo si, mcd(| Gi |, | Gj |) = 1 para todo i 6= j.
Ahora que ya conocemos algunas propiedades del producto directo externo de gru-
pos, pasaremos a definir el producto directo interno de grupos. Recordemos que para un
grupo G y dos subgrupos H, K de G, definimos el conjunto HK = { hk| h ∈ H, k ∈ K }
y vimos que las propiedades de HK dependian directamente de las propiedades de H y
K, y que en general este subconjunto de G no era necesariamente un subgrupo de G. A
este conjunto no se le asignó un nombre en especial, sin embargo veremos que cuando
este producto cumple unas propiedades especiales, podemos hablar del producto directo
interno de dos grupos.
7.2. Producto directo interno de grupos. 39
7.2. Producto directo interno de grupos.

Definición 7.2.1 Sean H, K subgrupos de un grupo G. Entonces G es el producto directo interno
de sus subgrupos H y K, y lo denotamos por G = H · K, si:
i ) G = HK. ii ) hk = kh, para todo h ∈ H y k ∈ K. iii ) H ∩ K = {e}.
Ejemplo 7.2.0.1 1. El grupo Z6 tiene los siguientes dos subgrupos H = {0̄, 2̄, 4̄} y
N = {0̄, 3̄}. Es claro que en este grupo se cumplen ii) y iii) de la definición anterior,
por tanto para ver si él es o no el producto directo interno de estos dos subgru-
pos debemos ver si se verifica o no la condición i). Ya que HN = {0̄, 3̄, 2̄, 5̄, 4̄, 1̄},
podemos afirmar que H · N = Z6 . En este caso particular notemos que
H × N = {(0̄, 0̄), (0̄, 3̄), (2̄, 0̄), (2̄, 3̄), (4̄, 0̄), (4̄, 3̄)} ∼
= Z6
pues el elemento (2̄, 3̄) tiene orden 6, lo que muestra que N × H es cı́clico de orden
6 y por tanto isomorfo a Z6 .
2. Para los subgrupos no triviales N = {ρ0 , ρ1 , ρ2 } y H1 = {ρ0 , µ1 } de S3 tenemos

que:
NH1 = {ρ0 , µ1 , ρ1 , µ3 , ρ2 , µ2 } = S3
sin embargo no podemos decir que S3 = N · H1 , pues no se cumple que nh = hn

para todo n ∈ N y h ∈ H1 , ya que µ1 ◦ ρ1 = µ2 6= µ3 = ρ1 ◦ µ1 .
Por otro lado, si realizamos el producto directo externo de H y N1 obtenemos que:
N × H1 = {(ρ0 , ρ0 ), (ρ0 , µ1 ), (ρ1 , ρ0 ), (ρ1 , µ1 ), (ρ2 , ρ0 ), (ρ2 , µ1 )}
que no es isomorfo a S3 , pues el elemento (ρ1 , µ1 ) tiene orden 6, lo que muestra que
es cı́clico. Ası́
S3 = NH1 , S3 6= N · H1 , S3 ≇ N × H1 .
Notemos que en este caso no tenemos una escritura única de los elementos de S3 ,
pues, µ1 ◦ ρ1 = µ2 = ρ2 ◦ µ1 . ¿Cuándo es posible esta unicidad? ¿Cuándo es posible
la “igualdad” entre los productos directos internos y externos?
Una caracterización del producto directo interno es dado por el siguiente lema, cuya
demostración queda como ejercicio.
Lema 7.2.1 Un grupo G es el producto directo interno de sus subgrupos normales N1 , . . . , Nk , si

y solo si, todo a ∈ G tiene representación única de la forma a = a1 a2 · · · ak , donde cada ai ∈ Ni
para i = 1, . . . , k.
Observación: Sean Gi grupos y G = G1 × . . . × Gn . Definimos el siguiente subconjunto

en G:
G(i) = { a(i) = (e1 , . . . , ei−1 , a, ei+1 , . . . , en )/a ∈ Gi }.
Veamos que G(i) ⊳ G y que G(i) ∼
= Gi .
G(i) ≤ G. Es claro que G(i) 6= φ pues (e1 , . . . , ei−1 , ei , ei+1 , . . . , en ) ∈ G(i) . Sean
a(i) , b(i) ∈ G(i) , entonces a(i) (b(i) )−1 = a(i) b(−i)1 = ( ab−1 )(i) ∈ G(i) .
G(i) ⊳ G. Sea x = ( a1 , . . . , an ) ∈ G y b(i) ∈ G(i) , entonces
xb(i) x −1 = ( a1 , . . . , ai , . . . , an )(e1 , . . . , ei−1 , b, ei+1 , . . . , en )( a1−1 , . . . , ai−1 , . . . , a− 1

n )
= (e1 , . . . , ai bai−1 , . . . , en ) = ( ai bai−1 )(i) ∈ G(i) .
G(i) ∼= Gi . Sea ϕ : G(i) −→ Gi definida por ϕ( a(i) ) = a. ϕ está bien definida pues
es claro que si a(i) = b(i) , entonces a = b. ϕ es homomorfismo de grupos pues
ϕ( a(i) b(i) ) = ϕ(( ab)(i) ) = ab = ϕ( a(i) ) ϕ(b(i) ). La inyectividad de ϕ se sigue del
hecho de a = b implicar a(i) = b(i) y la sobreyectividad se sigue de la definición de
la función. Por tanto ϕ es un isomorfismo de grupos.
Teorema 7.2.1 Si G es el producto directo externo de los grupos G1 , . . . , Gk , entonces G es el

producto directo interno de sus subgrupos normales G(1) , . . . , G(k) .
Demostración: Veamos que cada elemento x ∈ G tiene representación única en términos

de elementos de los G(i) . Sea x ∈ G, entonces
x = ( a 1 , . . . , a k ) = ( a 1 , e2 , . . . , e k −1 , e k ) . . . ( e1 , e2 , . . . , e k −1 , a k ) = a 1 (1) · · · a k ( k ) ,
ası́ tenemos una representación de x en términos de elementos de los G(i) . Veamos que es-
ta escritura es única. Sea x = ( a1 , . . . , ak ) = a1 (1) · · · ak (k) y x = (b1 , . . . , bk ) = b1 (1) · · · bk (k) ,
entonces a1 (1) · · · ak (k) = b1 (1) · · · bk (k) y como es claro que ai = bi para i = 1, . . . , k, se
sigue que ai (i) = bi (i) para i = 1, . . . , k.
Veamos que lo contrario también se cumple. Para esto demostremos primero el sigu-
iente lema.
Lema 7.2.2 Sean G un grupo y Ni subgrupos normales de G.

i) Si N1 ∩ N2 = {e}, entonces n1 n2 = n2 n1 para ni ∈ Ni .
ii) Si G es el producto directo interno de los Ni e i 6= j, entonces Ni ∩ Nj = {e}.
iii) Si G es el producto directo interno de los Ni e i 6= j, entonces ni n j = n j ni para ni ∈ Ni y

n j ∈ Nj .
Demostración:
i) Sean n1 ∈ N1 y n2 ∈ N2 , entonces n1 n2 n1−1 n2−1 ∈ N1 pues N1 es normal en G y
n1 n2 n1−1 n2−1 ∈ N2 pues N2 es normal en G, luego n1 n2 n1−1 n2−1 ∈ N1 ∩ N2 de donde
n1 n2 n1−1 n2−1 = e y por tanto n1 n2 = n2 n1 .
ii) Sea i 6= j y a ∈ Ni ∩ Nj . Entonces a = e · · · eai e · · · e y a = e · · · ea j e · · · e y por la

unicidad de la representación tenemos que ai = a j = e, luego a = e.
iii) Consecuencia inmediata de ii ) y i ).
Teorema 7.2.2 Si G es el producto directo interno de sus subgrupos normales N1 , . . . , Nk , en-

tonces G es isomorfo al producto directo externo de sus subgrupos normales N1 , . . . , Nk .
Demostración: Sea ϕ : N1 × . . . × Nk → N1 · . . . · Nk dada por ϕ(( a1 , . . . , ak )) = a1 · . . . · ak .

7.3. Taller 41
ϕ está bien definida, pues si ( a1 , . . . , ak ) = (b1 , . . . , bk ), entonces ai = bi para i =

1, . . . , k y por tanto a1 · . . . · ak = b1 · . . . · bk para i = 1, . . . , k.
ϕ es homomorfismo de grupos, pues
ϕ(( a1 , . . . , ak )(b1 , . . . , bk )) = a1 b1 a2 b2 · · · ak bk = a1 a2 b1 b2 · · · ak bk
= · · · = a1 a2 · · · ak b1 b2 · · · bk
= ϕ(( a1 , . . . , ak )) ϕ((b1 , . . . , bk )).
ϕ es monomorfismo, pues si a1 · . . . · ak = b1 · . . . · bk , entonces por la unicidad en

la escritura se tiene que ai = bi para i = 1, . . . , k, lo que implica que ( a1 , . . . , ak ) =
(b1 , . . . , bk ).
ϕ epimorfismo, pues todo elemento de N1 · . . . · Nk es de la forma a1 · . . . · ak =
ϕ(( a1 , . . . , ak )).
Ejemplo 7.2.0.2 Sea G = Z6 . Entonces los subgrupos no triviales de G son N = {0̄, 2̄, 4̄}
y H = {0̄, 3̄}, que son normales por Z6 ser abeliano. Como ya vimos
N · H = {0̄, 3̄, 2̄, 5̄, 4̄, 1̄} = Z6
luego Z6 ∼
= N × H.
7.3. Taller
1. Demuestre que el producto directo externo G1 × G2 × . . . × Gk de grupos cı́clicos es
cı́clico, si y solo si, mcd(| Gi |, | Gj |) = 1 para todo i 6= j.
2. Demostrar el Lema 7.2.1.
3. Sea n = n1 n2 . . . nk . Demuestre que Z n ∼

= Z n1 × Z n2 × . . . × Z nk , si y solo si (ni , n j ) =
1 para i 6= j. De un ejemplo para mostrar que esto no se cumple cuando (ni , n j ) 6= 1,
muestre explı́citamente por qué no son isomorfos.
4. Sea n = n1 n2 . . . nk . Demuestre que si (ni , n j ) = 1 para i 6= j, entonces U (n) ∼

=
U (n1 ) × U (n2 ) × · · · × U (nk ). De un ejemplo para mostrar que esto no se cumple
cuando (ni , n j ) 6= 1, muestre explı́citamente por qué no son isomorfos. De también
un ejemplo para mostrar que el recı́proco no necesariamente es cierto.
5. Muestre que Z2 × Z2 × Z2 tiene siete subgrupos de orden 2.
6. ¿Es Z × Z un grupo cı́clico? ¿Es Z23 × Z29 cı́clico?
7. Determine (explı́citamente) el grupo U (6) × Z3 . ¿Es este grupo isomorfo a un grupo

de la forma Z n × Z m , es isomorfo a uno de la forma Z k ?
8. Pruebe que Z8 × Z2 no es isomorfo a Z4 × Z4 .
9. Diga cuales de los siguientes pares de grupos son isomorfos, justificando en cada
caso:
a) Z2 × Z2 × Z3 × Z5 y Z2 × Z6 × Z5 .
b) Z2 × Z2 × Z3 × Z3 y Z6 × Z10 .
c) Z2 × Z30 y Z6 × Z10 .
10. ¿Cuántos elementos de orden 9 tiene Z3 × Z9 ?
11. Sean G1 , G2 , H1 y H2 grupos. Demuestre que G1 × G2 es isomorfo a G2 × G1 y que

= G2 y H1 ∼
si G1 ∼ = H2 , entonces G1 × H1 ∼
= G2 × H2 .
12. Demuestre que G es isomorfo a un subgrupo de G × H.
13. Sea G un grupo, A = G × G y T = {( g, g)| g ∈ G }. Demuestre que T ∼

= G y que
T ⊳ A, si y solo si, G es abeliano.
14. Sea G un grupo abeliano y n un entero positivo fijo. Sean G n = { gn : g ∈ G } y

Gn = { g ∈ G : gn = e}. Demuestre que
a) G n y Gn son subgrupos de G. Dar un ejemplo para mostrar que esto no es

necesariamente cierto si G no es abeliano.
b) G/Gn =∼ Gn .
c) ( H × K )n = H n × K n , para H y K abelianos.
15. Sea G un grupo de orden 4 y x2 = e, para todo x ∈ G. Demuestre que G es isomorfo

a Z2 × Z2 .
16. Expresar (si es posible) U (165) como el producto directo de grupos aditivos cı́clicos
de la forma Z n .
17. De un ejemplo de un grupo tal, que ninguno de los productos directos de sus
subgrupos no triviales sea isomorfo a él.
18. De un ejemplo de un grupo que sea el producto directo interno de sus subgrupos
no triviales y sea isomorfo al producto directo externo de estos mismos.
19. Sea G un grupo de orden 17 y H un grupo de orden 13. ¿Es G × H un grupo

abeliano. Es cı́clico? ¿y si G tiene orden 3 y H tiene orden 6?
CAPÍTULO 8
Grupos abelianos finitos y Teorema fundamental.
8.1. Grupos abelianos finitos.

Teorema 8.1.1 Sea G un grupo abeliano finito de orden mn, con m y n primos relativos. Si
M = { x ∈ G | x m = e} y N = { x ∈ G | x n = e}, entonces G ∼
= M × N. Además si m y n son
distintos de 1, entonces M 6= {e} y N 6= {e}.
Demostración: Sean G, m, n, M y N como en la hipótesis del teorema. Si demostramos

que G es el P.D.I. de M y N entonces tendremos el teorema. Por el hecho del grupo ser
abeliano basta mostrar que M y N son subgrupos de G, que G = MN y que M ∩ N = {e}.
Veamos primero que si m y n son distintos de 1, entonces M 6= {e} y N 6= {e}. Sea p
un primo divisor de m, es decir, m = pr. Como p | G |, entonces por teorema de Cauchy
existe e 6= a ∈ G de orden p, luego am = ( a p )r = e y por tanto e 6= a ∈ M, lo que muestra
que M 6= {e} y análogamente N 6= {e}.
Veamos ahora que G = M · N.
M, N ≤ G. Es claro que M 6= φ pues e ∈ M. Ahora sean a, b ∈ M, entonces como G

es abeliano ( ab−1 )m = am (bm )−1 = e lo que muestra que ab−1 ∈ M, luego M ≤ G y
análogamente N ≤ G.
M ∩ N = {e}, pues si tenemos un e 6= z ∈ M ∩ N con ◦(z) = k 6= 1, entonces

zm = zn = e y por tanto k seria un divisor común de m y n, lo que no es posible por
ser m y n primos relativos.
Sea g ∈ G. Como (m, n) = 1, entonces g = g1 = g xm+yn = g xm gyn con x, y ∈ Z.

Notemos que g xm ∈ N y gyn ∈ M, pues ( g xm )n = ( g x )mn = e y ( gyn )m = ( gy )mn = e,
luego g = g xm gyn ∈ N M y ası́ G = MN.
Ası́ G es el P.D.I. de sus subgrupos normales M y N y sigue por teorema que G ∼

=
M × N.
43
44 8. Grupos abelianos finitos y Teorema fundamental.
Nota
Como una consecuencia de la demostración del teorema anterior se tiene que | M| = m y
| N | = n. De hecho, como | G | = mn y es abeliano, entonces por el ejercicio 15 del taller 5
existen H1 , H2 subgrupos de G de orden m y n respectivamente, luego si x ∈ H1 , entonces
x m = e lo que obliga a H1 ⊆ M e igualmente H2 ⊆ N y esto nos muestra que | M| ≥ m y
| N | ≥ n. Ahora si | M| > m ó | N | > n, entonces | MN | = | M|| N | > mn = | G |, lo que no es
posible.

Corolario 8.1.1.1 Sea G un grupo abeliano finito y p un primo tal que p | G |. Entonces existen

subgrupos P, T de G, tales que G ∼ m
= P × T, | P| = p con m > 0 y p 6 | T |.
Demostración: Sea G un grupo abeliano finito y p un primo tal que | G | = pk. Notemos
que | G | = pm t con m > 0 y ( pm , t) = 1, luego si definimos los siguientes subconjuntos
m
de G: P = { x ∈ G | x p = e, m > 0} y T = { x ∈ G | x t = e, ( p, t) = 1}, estamos en las
condiciones del lema anterior y por tanto tenemos que P, T ≤ G y G ∼
= P × T. Por la nota
anterior | P| = pm y | T | = t, luego p 6 | T |.
Teorema 8.1.2 Sean G un grupo abeliano finito de orden pn , con p primo, y a un elemento de
orden máximo en G. Entonces G ∼
= h ai × H.
Demostración: Sea | G | = pn con p primo. Veamos la demostración por inducción sobre

n. (Recordemos que si mostramos que G es el P.D.I. de h ai y H entonces tenemos el
teorema.)
Si n = 1, entonces | G | = p con p primo y por tanto G es cı́clico, de donde G = h ai

y tenemos el teorema.
Supongamos el teorema cierto para grupos de orden pk con 1 ≤ k < n y veamos

para n. (H.I.)
Sea a ∈ G de orden máximo, i.e. ◦( a) = pm con m máximo y 0 < m ≤ n. Como

p es primo entonces por el teorema de Cauchy existe un elemento b ∈ G tal que
◦(b) = p. Sea P el conjunto formado por tales elementos, i.e. P = {b ∈ G |b p = e} y
sea A = h ai. Tenemos los siguientes dos casos:
C1. Si b ∈ A, para todo b ∈ P, entonces G = h ai y tenemos el teorema. De hecho si

b ∈ A, para todo b ∈ P, y G 6= h ai, entonces existe un x ∈ G \ A. Escojamos x de
menor orden posible, digamos ◦( x ) = ps con s ≤ m. Entonces ps−1 = ◦( x p ) <
◦( x ) ≤ ◦( a), y por tanto x p ∈ A y ası́ x p = ai para i ≥ 0. Notemos que en este
s s −1 s −1
caso p|i, pues e = x p = ( x p ) p = aip y como ◦( a) = pm , entonces pm |ips−1 ,
es decir, ips−1 = pm t, luego i = pm−(s−1) t y yá que s − 1 < m concluimos que
p|i. Ası́ x p = ai = a jp con j ≥ 0. Si definimos y = xa− j , entonces y 6= e y
y p = x p a− jp = e, lo que implica que y tiene orden p. Notemos que si y ∈ A
entonces x = ya j ∈ A lo que no es posible, luego y ∈ P \ A lo que es un
absurdo, por tanto G = h ai.
C2. Supongamos ahora que existe un b ∈ P tal que b ∈ / A y sea B = hbi. Como
A ∩ B ≤ B entonces | A ∩ B| = 1 ó p. Si | A ∩ B| = p = | B|, entonces A ∩ B = B
lo que implicarı́a que b ∈ A que no es posible. Ası́ | A ∩ B| = 1, es decir,
A ∩ B = {e}. Sea Ḡ = G/B. Como b 6= e, tenemos que | Ḡ | = pn−1 < | G | con
8.2. Teorema fundamental de los grupos abelianos finitos 45
Ḡ abeliano finito. Examinemos el orden de ā. En este caso particular, podemos

afirmar que ◦( a) = ◦( ā); pues sabemos que ◦( ā)| ◦ ( a) y que si ◦( ā) = s,
entonces as ∈ B ∩ A = {e} y ası́ ◦( a)| ◦ ( ā) lo que muestra la igualdad de los
ordenes, ası́ ā es un elemento de orden máximo en Ḡ. Por tanto por nuestra
H.I. tenemos que Ḡ = h āi · Q̄, con Q̄ ≤ Ḡ. Por el Teorema de Correspondencia,
existe un subgrupo H de G que contiene a B, tal que Q̄ = H/B. Veamos que
G = A · H. Si g ∈ G, entonces ḡ = āi x̄, luego g( ai x )−1 = bt y por tanto
g = ai xbt ∈ AH pues xbt ∈ H por B ⊆ H, ası́ G = AH. Si x ∈ A ∩ H, entonces
x = ai = h y por tanto x̄ = āi = h̄ lo que muestra que x̄ ∈ h āi ∩ Q̄ = ē, luego
x ∈ B y como x ∈ A, entonces x = e. Ası́ G = A · H con A, H subgrupos
normales de G (pues G abeliano) y por tanto G ∼ = A × H.
8.2. Teorema fundamental de los grupos abelianos finitos

Teorema 8.2.1 Todo grupo abeliano finito es el producto directo de grupos cı́clicos de orden po-
tencia de un primo.
Demostración: Sea G un grupo abeliano finito tal que | G | = p1α1 · · · pαk k , con los pi primos
distintos. Sea p = p1 , entonces por el corolario anterior tenemos que G = P × T con
| P| = pn y n = α1 > 0. Aplicando el teorema anterior al grupo P, obtenemos que P =
s
A1 × B1 con A1 = h a1 i y B1 ≤ P. Por Lagrange | B1 | | P|, luego | B1 | = p con s < n, por

tanto podemos aplicar de nuevo el teorema a | B1 | y ası́ sucesivamente hasta obtener P =
A1 × · · · × Al , con cada Ai = h ai i, i.e. Ai cı́clico y de orden potencia de p (por Lagrange).
Por tanto G = A1 × · · · × Al × T, con | T | = | G |/| P|. Ası́ escogiendo el segundo primo
p2 podemos repetir este proceso, hasta recorrer todos los primos de la descomposición
del orden G y obtener G = H1 × · · · × Hm , con los Hi cı́clicos y de orden potencia de un
primo.
Observación: Si G es un grupo abeliano de orden pn con p primo, entonces G = A1 ×

· · · × Ak con cada Ak cı́clico y | Ak | = pnk . Teniendo en cuenta que | G | = | A1 | · · · | Ak |,
tenemos que pn = pn1 · pn2 · · · pnt = pn1 +n2 +···+nt , luego n = n1 + n2 + · · · + nt , por tanto
los enteros ni proporcionan una partición de n. Estos ni se llaman factores invariantes de n
y veremos que son únicos. Además veremos que dos grupos abelianos de orden pn son
isomorfos, si y solo si, tienen los mismos factores invariantes. Por tanto el número de
grupo abelianos no isomorfos de orden pn es igual al número de particiones de n.
Por ejemplo si n = 3, entonces 3 = 1 + 1 + 1 = 2 + 1 = 3 + 0 lo que nos da tres
particiones de 3, por tanto tenemos únicamente tres grupos (no isomorfos) de orden p3
con p primo. Observemos que el número de grupos no isomorfos no depende de p, por
tanto para n = 3, p = 2 y p = 3, tenemos tres grupos abelianos no isomorfos de orden 8
y tres grupos abelianos no isomorfos de orden 27.
Lo que nos resta ahora es saber quienes son explı́citamente esos grupos. Para esto
necesitamos el siguiente teorema, en cuya demostración será utilizado el ejercicio 14 del
taller 7.
Teorema 8.2.2 Sea G un grupo abeliano finito de orden potencia de un primo. Si G = H1 ×

· · · × Hs y G = N1 × · · · × Nt donde los Hi y los Nj son subgrupos cı́clicos no triviales con
| H1 | ≥ | H2 | ≥ · · · ≥ | Hs | y | N1 | ≥ | N2 | ≥ · · · ≥ | Nt |, entonces s = t y | Hi | = | Ni | para todo
i.
Demostración: Sea G como en la hipótesis del teorema y tal que | G | = pn con p primo.
Veamos la demostración por inducción sobre n.
Si n = 1, entonces G es de orden primo y por tanto cı́clico, ası́ G = H1 y G = N1 de
donde es claro que | H1 | = | N1 |.
Supongamos, por hipótesis de inducción, que el teorema se cumple para 1 ≤ k ≤ n − 1
y veamos para k = n.
Tenemos que G p = { g p : g ∈ G } es un subgrupo de G y en este caso particular | G p | <
p p
| G | (por el ejercicio 14 b. del capı́tulo 7 y Cauchy). Ası́ tenemos que G p = N1 × · · · × Nt′
p p
y G p = H1 × · · · × Hs′ siendo que s′ es el menor entero i tal que | Hi | > p y t′ es el menor
entero i tal que | Ni | > p. Como | G p | < | G | entonces por al hipótesis de inducción tenemos
p p p p
que s′ = t′ y | Hi | = | Ni | para i = 1, · · · , s′ . Como | Hi | = p| Hi | y | Ni | = p| Ni |entonces
′ ′
| Hi | = | Ni | para i = 1, · · · , s′ , por tanto | G | = | H1 | · · · | Hs′ | ps−s = | N1 | · · · | Nt′ | pt−t ,
pues tenemos s − s′ grupos de orden p (los que son triviales al hacer la potencia p) e
igualmente t − t′ grupos de orden p, además como | Hi | = | Ni | para i = 1, · · · , s′ , se sigue
que s − s′ = t − t′ y ası́ s = t.
Del teorema anterior es claro que la descomposición es única salvo isomorfismos, es

decir, dos grupos abelianos de orden pn son isomorfos, si y solo si, tienen los mismos
factores invariantes. Podemos entonces enunciar el Teorema fundamental de los grupos
abelianos finitos ası́:
Teorema 8.2.3 (Teorema fundamental de los grupos abelianos finitos (T.F.G.A.F.))
Todo grupo abeliano finito es el producto directo de grupos cı́clicos de orden potencia de un primo
y esta factorización es única salvo el orden de los factores.
Este teorema nos permite conocer, salvo isomorfismos, todos los grupos abelianos de
orden n. El siguiente ejemplo nos muestra exactamente estos grupos.
Ejemplo 8.2.0.3 Para i = 1, 2, 3, 4 sea Gi un grupo abeliano finito tal que | Gi | = ni = 2i .
Entonces el número de particiones para i = 1, 2, 3, 4 es respectivamente: 1 −→ 1 partición;
2 = 1 + 1 −→ 2 particiones; 3 = 2 + 1 = 1 + 1 + 1 −→ 3 particiones; 4 = 3 + 1 = 2 + 2 =
2 + 1 + 1 = 1 + 1 + 1 + 1 −→ 5 particiones. Aplicando el T.F.G.A.F. a cada uno de estos
grupos Gi , tenemos que solo existen (salvo isomorfismos) un grupo de orden 2 que es
isomorfo a Z2 , dos grupos de orden 4, tres grupos de orden 8 y cinco grupos de orden
16. En el caso de los grupos de orden dos, como solo hay uno y sabemos que Z2 es un
grupo de orden dos entonces podemos concluir que cualquier otro grupo de orden 2 es
isomorfo a Z2 , es decir {1̄, 2̄} = U (3) ∼
= Z2 , {1̄, 5̄} = U (6) ∼
= Z2 y {1̄, 3̄} = U (4) ∼
= Z2 ,
ası́:
= U (4) ∼
= U (6) ∼
U (3) ∼ = Z2 .
En el caso de los grupos de orden 4, solo hay dos y conocemos los siguientes: Z4 ,
U (5) = {1̄, 2̄, 3̄, 4̄}, U (8) = {1̄, 3̄, 5̄, 7̄} y Z2 × Z2 , por tanto deben existir isomorfismos
entre algunos o todos ellos. Notemos que Z4 es cı́clico y Z2 × Z2 no es cı́clico, por tanto
estos grupos no son isomorfos y tenemos los dos distintos de orden 4. Igualmente vemos
que U (5) = h2̄i y que U (8) no es cı́clico pues todo elemento en él tiene orden 2, ası́:
Z4 ∼
= U (5) y Z 2 × Z 2 ∼
= U (8),
por tanto podemos caracterizar todos los grupos abelianos de orden 4 como los isomorfos
con Z4 y Z2 × Z2 ó como los isomorfos con U (5) y U (8). ¿Cómo hacer lo mismo para
los grupos de orden 8 y 16? La respuesta nos la da el siguiente teorema.
8.3. Taller 47
Teorema 8.2.4 Sea G un grupo abeliano finito de orden n > 1 y sea n = p1α1 p2α2 · · · pαk k (su
factorización en primos distintos). Entonces
i) G ∼ α
= H1 × · · · × HK , donde | Hi | = pi i .
ii) Para cada H ∈ { H1 , . . . , Hk } con | H | = pα tenemos que
H∼
= Z p β1 × Z p β2 × · · · × Z p β t ,
con β 1 ≥ β 2 ≥ · · · ≥ β t y β 1 + β 2 + · · · + β t = α.
iii) La descomposición es única.
La demostración de este teorema es una consecuencia inmediata del

T.F.G.A.F. y el hecho de todo grupo cı́clico de orden m es isomorfo a Z m .
Nota
El teorema anterior nos dice entonces que si G un grupo abeliano finito de orden n =
p1α1 p2α2 · · · pαk k (su factorización en primos distintos), entonces
G∼
= Z pα11 × · · · × Z pα1t × · · · × Z pαk1 × · · · × Z pαks ,
1 1 k k
es decir,
G∼
= Z pγ1 × · · · × Z pγk ,
1 k
con los pi no necesariamente distintos y si G tiene orden pt , entonces
G∼
= Z p t1 × · · · × Z p t k ,
con t1 ≥ · · · ≥ tk y t1 + · · · tk = t.
Proposición 8.2.1 Sean m, n enteros positivos. Entonces
i) Z m × Z n ∼
= Z mn , si y solo si (m, n) = 1.
ii) Si n = p1α1 · · · pαk k , con los pi primos distintos, entonces Z n ∼

= Z p α1 × · · · × Z p α k .
1 k
Continuando con el ejemplo anterior tenemos que como solo hay tres grupos de orden
8 y cinco grupos de orden 16, entonces los tres grupos de orden 8 no isomorfos son:
Z8 , Z2 × Z2 × Z2 y Z4 × Z2 , y los 5 grupos no isomorfos de orden 16 son: Z16 , Z2 ×
Z2 × Z2 × Z2 , Z4 × Z2 × Z2 , Z4 × Z4 , Z8 × Z2 .
8.3. Taller
1. ¿Cuál es el menor entero positivo n, tal que existen dos grupos no isomorfos de
orden n?
2. ¿Cuál es el menor entero positivo n, tal que existen tres grupos abelianos no iso-
morfos de orden n? ¿Cuál si existen exactamente cuatro?
3. Demuestre que existen solo dos grupos abelianos de orden 108 que tienen exacta-
mente un subgrupo de orden 3, que existen solo dos que tienen exactamente cuatro
subgrupos de orden 3 y que existen solo dos que tienen exactamente trece subgru-
pos de orden 3.
4. Halle todos los grupos abelianos finitos (salvo isomorfismos) de orden 16. Mostrar
ellos de forma explı́cita y demostrar por que ellos no son isomorfos entre si.
5. Suponga que el orden de un grupo abeliano finito es divisible por 10. Demuestre
que el grupo tiene un subgrupo cı́clico de orden 10. ¿Podemos hacer la misma
afirmación si cambiamos 10 por 4? Dé una condición general, para la existencia de
subgrupos cı́clicos de un grupo abeliano finito.
6. Halle (si es posible) un homomorfismo no trivial de Z8 × Z2 × Z2 en Z4 × Z4 .

Muestre que no existen epimorfismos de Z8 × Z2 × Z2 en Z4 × Z4 .
7. Hallar todos los grupos abelianos (salvo isomorfismos) de orden 36 y de orden 455.
8. En los siguientes ejercicios justifique completamente todos y cada uno de los pasos
realizados.
a) Liste todos los grupos de orden 12 que se pueden escribir como el producto
directo de grupos cı́clicos de la forma Z n .
b) Determine (salvo isomorfismos) todos los grupos abelianos finitos de orden 12
y escriba cada uno de estos como producto directo de grupos de la forma Z n .
c) Compare la lista de grupos obtenidos en a) y en b), y determine en la lista
obtenida en a) los isomorfismos entre estos grupos.
d) En los isomorfismo anteriores podemos ver dos representaciones como produc-
tos de grupos cı́clicos para un mismo grupo ¿Contradice lo anterior la unicidad
en la escritura dada en el T.F.G.A.F?
9. Cuántos grupos abelianos (salvo isomorfismos) hay de orden
a) pq con p, q primos distintos.

b) pqr con p, q, r primos distintos.
c) Generalice los resultados anteriores.
10. Cómo es el número (salvo isomorfismos) de grupos abelianos de orden n comparado

con el número (salvo isomorfismos) de grupos abelianos de orden m para
a) n = pr y m = qr , con p, q primos.
b) n = pr y m = pr q, con p, q primos distintos.
c) n = pr y m = pr q2 , con p, q primos distintos.
Generalice para n = pr y m = pr qs con p, q primos distintos. ¿Puede extenderse a

más de dos primos distintos?
11. Caracterice los enteros n, tales que los únicos grupos abelianos de orden n son los
cı́clicos.
12. * Si G un grupo finito, entonces G × H ∼

= G × N, si y solo si, H ∼
= N.
CAPÍTULO 9
Grupo simétrico de las permutaciones.
9.1. Sn : Grupos simétrico de grado n.

Recordemos que para n ≥ 3, (Sn , ◦) es un grupo no abeliano, llamado grupos simétri-
co
de grado
n. Para un elemento en S3 , por ejemplo ρ1 , utilizamos la notación ρ1 =
123
.
231
Introduciremos una nueva notación, que facilitará el estudio del grupo simétrico.
Definición 9.1.1 Sean k enteros distintos: i1 , i2 , . . . , ik , del conjunto X = {1, 2, . . . , n}. El

sı́mbolo (i1 i2 · · · ik ) representa la permutación σ ∈ Sn , tal que:
σ(i1 ) = i2 , σ(i2 ) = i3 , . . . , σ(ik−1 ) = ik , σ(ik ) = i1 y σ(t) = t,
para cualquier t ∈ X, tal que t 6= i j , para j = 1, . . . , k.
Ejemplo
9.1.0.4 En S4 la permutación σ = (134) corresponde a la permutación σ =
1234
3241
Definición 9.1.2 Una permutación de la forma (i1 i2 · · · ik ) se llama k-ciclo de longitud k. En el

caso particular de los 2-ciclos, los llamamos transposiciones.
Nota
1. Por convención a la identidad en Sn la denotaremos por ǫ y será representada como

un 1-ciclo, es decir, ǫ = (1) ó ǫ = (ik ) para cualquier k.

1234567
2. El elemento σ = en S7 , puede ser representado como (1345), pero
3245167
también puede ser representado por (3451) = (4513) = (1345). Ası́ es claro que
( i1 i2 · · · i k ) = ( i2 i3 · · · i k i1 ) = · · · ( i k i1 · · · i k −1 ) .
49
50 9. Grupo simétrico de las permutaciones.

12345
3. En S5 el elemento σ = no puede ser representado por un k-ciclo, sin em-
21453

12345 12345
bargo notemos que σ = λ ◦ τ = ◦ = (12)(345). Ası́ algunas
21345 12453
permutaciones no pueden ser representadas como un único ciclo, pero si pueden ser
representadas por la composición de dos o mas ciclos. Podemos entonces afirmar
que todo k-ciclo es una permutación, pero no toda permutación es un único k-ciclo.
Definición 9.1.3 Dados dos ciclos, digamos un k-ciclo y un m-ciclo, decimos que estos dos ciclos
son ciclos disjuntos (ajenos), si no tienen ningún entero en común.
Nota
1. Una caracterización de los ciclos disjuntos es la siguiente: σ y τ son ciclos disjuntos,
si y solo si, σ(i ) 6= i ⇒ τ (i ) = i ó τ (i ) 6= i ⇒ σ(i ) = i. Es decir que un elemento
tiene que estar fijo en algunos de los dos o en los dos. Es importante resaltar que
lo anterior no es equivalente a decir que σ(i ) = i ⇒ τ (i ) 6= i. Por ejemplo en S7 ,
σ = (123) y τ = (456) es claro que son ciclos disjuntos y vemos que σ(1) 6= 1 y
τ (1) = 1, σ(2) 6= 2 y τ (2) = 2, σ(3) 6= 3 y τ (3) = 3, sin embargo σ(7) = 7 y
τ (7) = 7
2. En S7 , los anteriores σ y τ son disjuntos y ρ = (1234) y ϕ = (456) no son disjuntos.
Notemos que σ ◦ τ = τ ◦ σ y que ρ ◦ ϕ 6= ϕ ◦ ρ.
Lema 9.1.1 Si σ y τ son ciclos disjuntos, entonces σ ◦ τ = τ ◦ σ.
Demostración: Sean σ = (i1 i2 · · · it ) y τ = ( j1 j2 · · · js ) con it , js ∈ X = {1, 2, . . . , n}.

Como σ y τ son disjuntos, entonces i p 6= jq para p = 1, · · · , t y q = 1, · · · , s.
Sea X = {i1 , i2 , . . . , it , j1 , j2 , . . . , js , k1 , k2 , . . . , kr }, con σ(k l ) = τ (k l ) = k l , para todo l =
1, . . . , r. Entonces:
σ(τ (k l )) = σ(k l ) = k l y τ (σ(k l )) = τ (k l ) = k l , para l = 1, · · · , r.
σ(τ (i p )) = σ(i p ) = i p+1 y τ (σ(i p )) = τ (i p+1 ) = i p+1 , para p = 1, · · · , t (si p = t,
entonces i p+1 = i1 ).
σ(τ ( jq )) = σ( jq+1 ) = jq+1 y τ (σ( jq )) = τ ( jq ) = jq+1 , para q = 1, · · · , s (si q = s,
entonces jq+1 = i1 ).
Ası́ es claro que σ ◦ τ = τ ◦ σ.
Ejemplo 9.1.0.5 Recordemos que S3 = {ρ0 , ρ1 , ρ2 , µ1 , µ2 , µ3 }. Con la notación en ciclos

podemos escribir S3 ası́:
S3 = { (1) , (123), (132), (23) , (13) , (12) }.
|{z} | {z } | {z } |{z} |{z} |{z}
ǫ = ρ0 ρ1 ρ2 µ1 µ2 µ3
Observemos que ρ1 = (123) = (13)(12) y que ρ2 = (132) = (12)(13), ası́ los elementos
de S3 no tienen necesariamente escritura única en términos de ciclos. De esta manera
podemos escribir también a S3 como
S3 = {(1), (13)(12), (12)(13), (23), (13), (12)}.
Recordemos que ◦(µi ) = 2, ◦(ρi ) = 3 y ρ1 ◦ ρ2 = (123)(132) = (123)(321) = (1).
9.1. Sn : Grupos simétrico de grado n. 51
Observación
1. Si σ = (i1 i2 · · · ik−1 ik ), entonces σ−1 = (ik ik−1 · · · i2 i1 ), pues es claro que
(i1 i2 · · · ik−1 ik )(ik ik−1 · · · i2 i1 ) = (i1 )(i2 ) · · · (ik−1 )(ik ) = ǫ.

En el caso particular de las transposiciones tenemos que ellas son su propio inverso,
pues (i j ik )−1 = (ik i j ) = (i j ik ).
2. Recordemos que en Sn , un elemento σ tiene orden m, i.e. ◦(σ) = m, si m es el menor

entero positivo tal que σm = ǫ.
3. Si σ = (i1 i2 · · · ik ), entonces σm (ir ) = is con ir , is ∈ {i1 , i2 , · · · , ik }, es decir, las poten-

cias de σ no introducen nuevos enteros, se conservan los mismos. Por tanto si los
ciclos σ y τ son disjuntos, entonces también los son σl y τ t para todo l y t.
Teorema 9.1.1 Toda permutación en Sn es un k-ciclo o un producto (composición) de ciclos dis-

juntos.
Demostración: Sea σ ∈ Sn (σ distinto de la identidad), es decir, una permutación del

conjunto X = {1, 2, . . . , n}. Entonces existe i1 ∈ X tal que σ(i1 ) = i2 ∈ X, σ2 (i1 ) =
σ(σ(i1 )) = σ(i2 ) = i3 ∈ X, · · · , hasta encontrar un m tal que σm (i1 ) = i1 , este m
siempre existe pues el conjunto X es finito. Si con esto recorremos todo el conjunto X,
es decir, m = n ó m < n y σ(ik ) = ik para k = m + 1, · · · , n, entonces tenemos que σ
es un m-ciclo con m ≤ n, es decir, σ = (i1 i2 · · · im ) con m ≤ n. Si no recorremos todo el
conjunto X, entonces escribimos σ = (i1 i2 · · · im ) · · · ( donde · · · indica otros elementos) y
escogemos un j1 ∈ X que no aparezca en el m-ciclo anterior y creamos de igual forma un
k-ciclo (i1 i2 · · · ik ) (σk ( j1 ) = j1 ). Notemos que (i1 i2 · · · im ) y ( j1 j2 · · · jk ) son ciclos disjuntos,
pues si σt ((i1 )) = σs (( j1 )), entonces σt−s (i1 ) = ( j1 ), luego j1 = ir para algún r, por tanto
j1 pertenecerı́a al m-ciclo (i1 · · · im ), lo que no es posible por la forma en que escogimos j1 .
Ası́ σ = (i1 i2 · · · im )( j1 j2 · · · jk ) · · · . Continuamos de esta manera hasta recorrer todo X, lo
que es posible por X ser finito, y obtenemos que σ = (i1 i2 · · · im )( j1 j2 · · · jk ) · · · (l1 l2 · · · lt ),
con todos los ciclos disjuntos.
Teorema 9.1.2 (Orden de una permutación) El orden de una permutación (en un conjunto
finito) escrita como ciclos disjuntos, es el mı́nimo común múltiplo de la longitud de los ciclos.
Demostración: Sea σ ∈ Sn .
Si σ es un k-ciclo, es decir, σ = (i1 i2 · · · ik ), entonces ◦(σ) = k, pues σ = (i1 ) =
i2 , σ(i2 ) = σ2 (i1 ) = i3 , · · · , σm (i1 ) = im+1 , por tanto σk−1 (i1 ) = (ik ) y σk (i1 ) = (i1 ).
Sin pérdida de generalidad supongamos que σ es el producto de dos ciclos disjun-

tos, digamos α y β, de longitud k y t. Sea l = mcm(k, t) y ◦(αβ) = r. Entonces αl y
βl son la permutación identidad, i.e. αl = βl = ǫ, luego (αβ)l = αl βl = ǫ (pues son
disjuntas) lo que implica que r |l. Por otro lado tenemos que (αβ)r = αr βr = ǫ, por
tanto αr = β−r , pero como α y β son disjuntas también los son αr y β−r , de donde
αr = β−r = ǫ, lo que implica que k|r y t|r siendo entonces r un múltiplo común a k
y t y sigue de la minimalidad de l que l |r, luego r = l.
Lema 9.1.2 Sea n > 1. Toda permutación en Sn es el producto de transposiciones. En particular

todo k-ciclo es el producto de k − 1 transposiciones.
Demostración: Sea σ ∈ Sn . Entonces por el teorema anterior σ = (i1 i2 · · · im ) ( j1 j2 · · · jk )

· · · (l1 l2 · · · lt ), con todos los ciclos disjuntos. Es claro que (i1 im )(i1 im−1 ) · · · (i1 i2 ) =
(i1 i2 · · · im ), por tanto σ = (i1 i2 · · · im )( j1 j2 · · · jk ) · · · (l1 l2 · · · lt ) = (i1 im )(i1 im−1 ) · · · (i1 i2 )
( j1 jk )( j1 jk−1 ) · · · ( j1 j2 )(l1 lt )(l1 lt−1 ) · · · (l1 l2 ), lo que da una escritura para σ como producto
de transposiciones.
Veamos ahora que si la permutación identidad es escrita como producto de transposi-

ciones, entonces este número de transposiciones es par. Antes de demostrar esto ilus-
traremos el método utilizado en la demostración con un ejemplo. Notemos que en el caso
de las transposiciones, siempre se cumple que
( ab) = (ba) y ( xb)( xa) = ( xa)( ab). (∗)

Ejemplo 9.1.0.6 Sea ǫ = (32)(25)(23)(52)(53)(21)(32)(31) (ǫ identidad de Sn ). Quere-
mos ver en este ejemplo que siempre es posible eliminar por pares estas transposiciones.
Para esto escogemos un entero, digamos x, que aparezca en una o varias de estas trans-
posiciones, de ellas escogemos la transposición en la cual x aparezca por última vez (de
izquierda a derecha) y a esta transposición y a la que se encuentra a su izquierda le apli-
camos (*), con lo cual logramos que x aparezca mas a la izquierda, ası́ si x = 5, entonces
escogemos la transposición (53) y obtenemos:
ǫ = (32)(25)(23)(52)(53)(21)(32)(31) = (32)(25)(23)(52)(32)(21)(32)(31)
= (32)(25)(52)(32)(32)(21)(32)(31) = (32)(32)(32)(21)(32)(31)
= (32)(21)(32)(31).
al realizar varias veces este proceso. Ahora, si escogemos x = 2 y repetimos el proceso

anterior obtenemos que
ǫ = (32)(21)(32)(31) = (32)(23)(13)(31) = (13)(31) = ǫ,
lo que nos permitió en este caso eliminar todas las transposiciones de esta escritura de ǫ.
Lema 9.1.3 Sea ǫ ∈ Sn su elemento identidad. Si ǫ = σ1 σ2 · · · σr , donde los σi son transposi-

ciones, entonces r es par.
Demostración: Es claro que r 6= 1, pues una transposición nunca es la identidad, es

decir, ǫ 6= ( ab). Para ver que r es par, basta notar que dada la escritura ǫ = σ1 σ2 · · · σr ,
siempre es posible eliminar un σi y un σj , de la anterior escritura, es decir, hallamos σi y
σj tales que σi σj = ǫ, de donde ǫ = σ1 σ2 · · · σi−1 σi+1 · · · σj−1 σj+1 · · · σr , lo que muestra que
siempre es posible eliminar dos transposiciones. Por tanto si r fuese impar, entonces al
final ǫ = σt = ( ab), lo que no es posible, de donde r tiene que ser par. Veamos entonces
que siempre es posible eliminar un σi y un σj de la escritura de ǫ.
Sea ǫ = σ1 σ2 · · · σr y x un número que aparece en alguna de las transposiciones σj
para algún j. Supongamos que x aparece por primera vez en la transposición σk . Entonces
σk = ( xa) y tenemos los siguientes cuatro casos
1. σk−1 = ( xa). Entonces σk−1 σk = ( xa)( xa) = ǫ y podemos eliminar σk y σk−1 de la
representación de ǫ.
2. σk−1 = ( xb) con b 6= a. Entonces σk−1 σk = ( xb)( xa) = ( xa)( ab) y podemos cambiar
en la representación de ǫ, las transposiciones σk−1 σk por ( xa)( ab).
9.2. Permutaciones pares e impares 53
3. σk−1 = (ca) con c 6= x. Entonces σk−1 σk = (ca)( xa) = ( xc)(ca) y reemplazamos

σk−1 σk por ( xc)(ca) en la representación de ǫ.
4. σk−1 = (bc) con b 6= x, a y c 6= x, a. Entonces σk−1 σk = (bc)( xa) = ( xa)(bc), pues son
transposiciones disjuntas y por tanto conmutan, y ası́ cambiamos σk−1 σk por σk σk−1
en la representación de ǫ.
Notemos que en el caso 1, tenemos nuestro resultado y que en los casos 2,3 y 4, podemos
repetir este argumento una o más veces. En cada uno de los casos estamos llevando x a
una posición mas a la izquierda, es decir, que cada vez, la última aparición de x es una
posición más a la izquierda que la anterior. Esto nos tiene que llevar al caso 1, pues si no
fuese ası́, terminarı́amos con la última aparición de x en σ1 , lo cual no es posible, pues si
σ1 = ( xa) y x no aparece en σ2 , σ3 , · · · , σr , entonces ǫ( x ) = a, lo cual es imposible.
Teorema 9.1.3 Si una permutación σ ∈ Sn , se puede escribir como un número par de transposi-
ciones, entonces toda descomposición de σ, como el producto de transposiciones, tiene un número
par de transposiciones. Ası́ si σ = α1 α2 · · · αr y σ = β 1 β 2 · · · β s con los αi , β j transposiciones,
entonces r y s son ambos pares o ambos impares.
Demostración: Sea σ = α1 α2 · · · αr y supongamos que σ = β 1 β 2 · · · β s con los αi , β j trans-

posiciones. Como α1 α2 · · · αr = β 1 β 2 · · · β s , entonces ǫ = α1 α2 · · · αr β− 1 −1 −1 −1
s β s −1 · · · β 2 β 1 =
α1 α2 · · · αr β s β s−1 · · · β 2 β 1 por ser transposiciones. Ya que ǫ tiene representación como un
número par de transposiciones, entonces r + s es par, por lo tanto r y s, son ambos pares
o r y s son ambos impares.
9.2. Permutaciones pares e impares

Definición 9.2.1 Decimos que una permutación es par, si es el producto (composición) de un
número par de transposiciones y decimos que es impar, si es el producto (composición) de un
número impar de transposiciones.
Ası́ el teorema anterior nos garantiza que toda permutación es par o impar, pero no
ambas a la vez.
Teorema 9.2.1 El conjunto de todas las permutaciones pares de Sn , es un subgrupo de Sn .
Demostración: Sea A = {σ ∈ Sn : σ es par}. Veamos que A ≤ Sn . A 6= φ, pues ǫ es par

y por tanto ǫ ∈ A. Sean α, β ∈ A. Entonces α = α1 α2 · · · αr y β = β 1 β 2 · · · β s con r y s
pares, luego αβ−1 = α1 α2 · · · αr β− 1 −1 −1 −1
s β s−1 · · · β 2 β 1 = α1 α2 · · · αr β s β s−1 · · · β 2 β 1 . Como r y
s son pares, entonces r + s es par, lo que muestra que αβ−1 es par y por tanto αβ−1 ∈ A,
ası́ A ≤ Sn .
Definición 9.2.2 (Grupo alternante de grado n) El grupo de las permutaciones pares de Sn ,

recibe el nombre de grupo alternante de grado n y es denotado por An , es decir, An = {σ ∈ Sn :
σ es par}.
Teorema 9.2.2 Para n > 1, An tiene orden n!/2. Es decir que la mitad de las permutaciones de
Sn son pares.
Demostración: Para n > 1, sean (i1 i2 ), σ ∈ Sn , con i1 , i2 ∈ {1, 2, · · · , n} fijos. Entonces

si σ es par, (i1 i2 )σ es impar y si σ es impar, entonces (i1 i2 )σ es par, lo que muestra que
por cada permutación par hay una impar y que por cada permutación impar hay una
par. Como las permutaciones son o pares o impares, pero no ambas a la vez. Lo anterior
muestra que hay tantas permutaciones pares como impares y ya que |Sn | = n!, entonces
| An | = n!2 .
Ejemplo 9.2.0.7 Retomando S3 = {(1), (13)(12), (12)(13), (23), (13), (12)}, tenemos que
ǫ = ρ0 , ρ1 = (13)(12) y ρ2 = (12)(13) son permutaciones pares y que µ1 = (23), µ2 =
(13) y µ3 = (12) son permutaciones impares. Es conocido que A3 = {ρ0 , ρ1 , ρ2 } es un
subgrupo de S3 y que | A3 | = 3. Notemos que el conjunto formado por las permutaciones
impares no es un subgrupo de S3 .
9.3. Taller
1. Demuestre que dos ciclos σ y τ de Sn son disjuntos, si y solo si, σ(i ) 6= i ⇒ τ (i ) = i
ó τ (i ) 6= i ⇒ σ(i ) = i.

1234567 1234567
2. Sean α = yβ= dos permutaciones de S7 .
1342675 3245167
a) Escriba α, β, αβ y βα como producto de ciclos disjuntos. ¿Es posible encontrar
escrituras diferentes en ciclos disjuntos?
b) Escriba α, β, αβ y βα, si es posible, de dos formas distintas como el producto de
transposiciones y determine si son permutaciones pares o impares.
c) Calcule el orden para cada una de ella y encuentre sus respectivas inversas.
3. Escriba los elementos de S4 como producto de ciclos disjuntos y dé el orden de cada
uno de ellos.
4. Para n > 1, demuestre que An es un subgrupo normal de Sn .
5. Sea H = {σ ∈ S5 |σ(1) = 1 y σ(3) = 3}. Demuestre que H ≤ S5 .
6. En S4 halle un subgrupo cı́clico de orden 4 y otro no cı́clico de orden 4. Calcule el
orden de cada elemento de A4 .
7. Si σ es un k-ciclo demuestre que σ es una permutación impar si k es par, y es una
permutación par si k es impar.
8. Demuestre que σ y τ −1 στ, para τ, σ en Sn cualquiera, son de la misma paridad.
9. Sea ϕ una aplicación del grupo Sn en el grupo multiplicativo {1, −1}, que asocia
a cada permutación par el número 1 y a cada permutación impar el número −1.
Demuestre que ϕ es un homomorfismo de grupos. ¿Quién es el kernel de esta apli-
cación? ¿Utilizando el primer teorema de homomorfismos, qué propiedades de las
permutaciones pueden concluirse? ¿Qué se puede decir del producto de dos per-
mutaciones pares, de dos impares y de una par por otra impar?
10. Demuestre que la escritura de una permutación como el producto de ciclos disjuntos
es única, salvo el orden en que aparecen los factores.
11. * Clasifique, salvo isomorfismos, todos los grupos de orden 6.
CAPÍTULO 10
Grupo Diedral de orden 8, el Teorema de Cayley y

Acciones de grupos.
10.1. Dn , Grupo Diedral de orden 2n.

Para n ≥ 3, tenemos que Dn ( Grupo Diedral de orden 2n ) es un subgrupo de Sn . Este
subgrupo se construye ası́:
Dada una figura plana regular con n lados, decimos que una simetrı́a de dicha figura
es cualquier movimiento que haga coincidir la figura con su posición anterior (coincidir
los vértices). Estas simetrı́as son obtenidas por rotaciones y pueden ser identificadas con
funciones biyectivas del conjunto {1, . . . , n} en sı́ mismo. El conjunto de estas simetrı́as
con la composición de funciones es un grupo que denotamos por Dn .
Especı́ficamente para el caso n = 4 tenemos el grupo de simetrı́as del cuadrado D4 , los
elementos de D4 son: R0 , R1 , R2 , R3 que son obtenidos por la rotación (en sentido horario
sobre su centro P) de 0, 90, 180 y 270 grados respectivamente, por ejemplo R1 es obtenida
ası́:
1 2 4 1
·P
4 3 3 2
Figura 10.1: R1
R4 , R5 , obtenidas por la rotación de 180 grados sobre el eje x y el eje y respectivamente,

en el caso especı́fico de R4 tenemos:
1 2 4 3
4 3 1 2
55
56 10. Grupo Diedral de orden 8, el Teorema de Cayley y Acciones de grupos.
Figura 10.2: R4
y R6 , R7 obtenidas por rotación de 180 grados sobre la diagonal y = − x y y = x respecti-

vamente, siendo R6 dada por:
1 2 1 4
4 3 2 3
Figura 10.3: R6
Por tanto,
D4 = { R0 , R1 , R2 , R3 , R4 , R5 , R6 , R7 }
= {(1), (1234), (13)(24), (1432), (14)(23), (12)(34), (24), (13)}.
Notemos que R1 ◦ R4 = (1234) ◦ (14)(23) = (24) 6= (13) = (14)(23) ◦ (1234). Ası́ el

grupo diedral D4 es un grupo que tiene orden 8 y no es conmutativo. (Ejercicio: Hacer la
tabla de multiplicación para D4 .)
10.2. Teorema de Cayley

Teorema 10.2.1 (Teorema de Cayley) Todo grupo es isomorfo a un grupo de permutaciones.
Demostración: Sea G un grupo. Debemos construir un grupo de permutaciones G ′ y ver

que es isomorfo a G. Para esto sea g ∈ G y L g una aplicación de G en G definida ası́:
L g : G −→ G
a 7−→ ga
y G ′ := { L g | g ∈ G }. Veamos que L g es una permutación y que G ′ es un grupo de

permutaciones.
1. L g es una permutación (biyección)
a) L g está bien definida, pues si a = b, entonces L g ( a) = ga = gb = L g (b).

b) L g es inyectiva, pues si L g ( a) = L g (b), entonces ga = gb y por ley de can-
celación en G, tenemos que a = b.
c) L g es sobreyectiva, pues dado un elemento a ∈ G, a = gg−1 a = L g ( g−1 a).
Ası́, para todo g ∈ G, L g es una permutación.
2. Veamos ahora que G ′ = { L g | g ∈ G }, con la composición, es un grupo. Para esto

sean a, g1 , g2 ∈ G.
a) L g1 ◦ L g2 = L g1 g2 ∈ G ′ . Pues L g1 ◦ L g2 ( a) = L g1 ( L g2 ( a)) = L g1 ( g2 a) = g1 ( g2 a) =
( g 1 g 2 ) a = L g1 g2 ( a ) .
b) Es asociativa pues la composición de funciones lo es.
c) Existe elemento identidad dado por Le ∈ G ′ , con e la identidad de G, pues

Le L g = Leg = L g = L ge = L g Le para todo g ∈ G.
d) Para cada L g ∈ G ′ , existe el elemento inverso dado por L−
g
1 = L
g−1 , pues
L g L g−1 = L gg−1 = Le = L g−1 g = L g−1 L g .
De todo lo anterior tenemos que G ′ es un grupo con la composición.
3. Sea
ρ : G −→ G ′
g 7−→ L g
Veamos que ρ es un isomorfismo.
a) ρ está bien definida pues si g1 = g2 , entonces L g1 = L g2 .

b) ρ es homomorfismo pues ρ( g1 g2 ) = L g1 g2 = L g1 L g2 = ρ( g1 )ρ( g2 ).
c) Es inyectiva, pues si L g1 = L g2 , entonces L g1 ( a) = L g2 ( a) para todo a ∈ G, luego
g1 a = g2 a y por ley de cancelación en G, tenemos que g1 = g2 .
d) Es sobreyectiva por la definición de la función.
10.3. Acciones de grupos o grupos actuando en conjuntos

Sea X un conjunto y ( A( X ), ◦) su grupo de permutaciones. Veamos como actúa un
grupo cualquiera G, sobre el conjunto X.
Definición 10.3.1 Sea G un grupo y X un conjunto. Decimos que G actúa en X, si existe un

homomorfismo de G en A( X ), es decir,
ϕ : G −→ A( X )
g 7−→ ϕ g : X −→ X
x 7−→ ϕ g ( x ) = g · x
es un homomorfismo de grupos.
Ejemplo 10.3.0.8 Sea G un grupo, H ≤ G y X = { aH : a ∈ G } el conjunto de todas las

clases laterales a izquierda de H en G. Recordemos que X no necesariamente es un grupo.
Para ver que G actúa en X, definimos:
ϕ : G −→ A( X )
g 7−→ ϕ g : X −→ X
aH 7−→ ϕ g ( aH ) = g · aH = gaH
Veamos que ϕ es un homomorfismo de grupos.
1. ϕ está bien definida: Es fácil ver que ϕ g ∈ A( X ) para todo g ∈ G. Ahora sea g1 = g2
y veamos que ϕ g1 = ϕ g2 . Para esto sea aH ∈ G. Entonces ϕ g1 ( aH ) = g1 aH = g2 aH =
ϕ g2 ( aH ).
2. Para g1 , g2 ∈ G, tenemos que ϕ( g1 g2 ) = ϕ g1 g2 . Ahora si tomamos un

elemento aH ∈ X, entonces ϕ g1 g2 ( aH ) = ( g1 g2 ) aH = g1 ( g2 a) H
= ϕ g1 ( ϕ g2 ( aH )), luego ϕ g1 g2 = ϕ g1 ϕ g2 . Por tanto ϕ( g1 ) ϕ( g2 ) = ϕ g1 ϕ g2 = ϕ g1 g2 =
ϕ ( g1 g2 ) .
Lo anterior demuestra que ϕ es un homomorfismo de grupos y por tanto G actúa en X.
Daremos ahora una caracterización para las acciones de grupos en la siguiente propo-
sición, cuya demostración se deja como ejercicio.
Proposición 10.3.1 Un grupo G actúa sobre un conjunto X, si y solo si, existe una aplicación:
ρ : G × X −→ X
( g, x ) 7−→ g · x
tal que
i) e · x = x, para todo x ∈ X.
ii) ( g1 g2 ) · x = g1 · ( g2 · x ), para todo g1 , g2 ∈ G y x ∈ X.
Definición 10.3.2 Una acción de G en X es fiel, si g · x = x para todo x ∈ X, implica que g = e,

es decir, si la aplicación ϕ : G −→ A( X ) es inyectiva.
Ejemplo 10.3.0.9 1. G actúa en G por traslación a izquierda (multiplicación a izquier-

da), pues
ϕ : G −→ A( G )
g 7−→ ϕ g : G −→ G
a 7−→ ϕ g ( a) = g · a = ga
es un homomorfismo de grupos (verificarlo!). Igualmente podemos considerar tras-
laciones a derecha, ası́:
ρ : G −→ A( G )
g 7−→ ρ g : G −→ G
a 7−→ ρ g ( a) = g · a = ag−1
En el caso de la primera acción tenemos que
Ker ( ϕ) = { g ∈ G | ϕ g = IdG } = { g ∈ G | ga = a, ∀ a ∈ G } = {e},
por tanto esta acción es fiel. ¿Es ρ fiel?

2. G actúa en G por conjugación y la acción es dada por:
ϕ : G −→ A( G )
g 7−→ ϕ g : G −→ G
a 7−→ ϕ g ( a) = g · a = gag−1
(verificar que es una acción!). Veamos si la acción anterior es o no fiel. Para esto
veamos quien es el kernel de ϕ:
Ker ( ϕ) = { g ∈ G | ϕ g = IdG } = { g ∈ G | gag−1 = a, ∀ a ∈ G } = { g ∈ G | ga

= ag, ∀ a ∈ G } = Z ( G ).
Por tanto si G es un grupo con centro no trivial, por ejemplo Q8 , entonces la apli-
cación no es inyectiva, lo que muestra que en general, esta acción no es fiel.
Si G actúa en X, podemos definir una relación de equivalencia en X ası́: Dados x, y ∈

X, decimos que
x ∼G y, si y solo si, existe g∈G tal que y = g · x.
∼G es una relación de equivalencia
1. Reflexiva: x ∼G x, pues x = e · x, para todo x ∈ X.
2. Simétrica: x ∼G y =⇒ y ∼G x, pues si x ∼G y, entonces existe un g ∈ G tal que
y = g · x, luego g−1 · y = g−1 · ( g · x ) = ( g−1 · g) · x = e · x = x y ası́ y ∼G x.
3. Transitiva: x ∼G y y y ∼G z =⇒ x ∼G z, pues si x ∼G y y y ∼G z, entonces existen
g1 , g2 ∈ G tal que y = g1 · x y z = g2 · y, luego z = g2 · ( g1 · x ) = g2 g1 · x y ası́ x ∼G z.
Definición 10.3.3 Sea G actuando en X. Dado x ∈ X, definimos la órbita de x bajo G, como la

clase de equivalencia de x y la denotamos por Ox , es decir, Ox = {y ∈ X | x ∼ Gy} = { g · x | g ∈
G }.
Ya que las clases de equivalencia determinan una partición en X, tenemos que X =
S
x ∈ X Ox (unión disjunta) y Ox ∩ Oy = φ ó Ox = Oy .
Definición 10.3.4 Decimos que una acción de G en X es transitiva si hay una sola órbita, es
decir, si existe un x ∈ X, tal que X = Ox .
Por tanto si una acción es transitiva, entonces para todo x, y ∈ X, existe un g ∈ G tal
que y = g · x. Por ejemplo las acciones de G en G por traslación son transitivas, pues dada
la acción
ϕ : G −→ A( G )
g 7−→ ϕ g : G −→ G
a 7−→ ϕ g ( a) = g · a = ga
tenemos que para todo par de elementos a, b ∈ G, existe un elemento g ∈ G tal que
a = g · b, pues basta tomar g = ab−1 .
Definición 10.3.5 Sea G actuando en X y x ∈ X. Definimos el estabilizador de x en G, que
denotamos por Stab( x ), al siguiente conjunto
Stab( x ) = { g ∈ G | g · x = x }.
Es fácil ver que dado x ∈ X, el estabilizador de x en G es un subgrupo de G, por tanto
enunciaremos el siguiente lema y dejaremos su demostración como ejercicio.
Lema 10.3.1 Sea X un conjunto y el grupo G actuando en X. Si x ∈ X, entonces Stab( x ) ≤ G.
Teorema 10.3.1 Sea G actuando en X y x ∈ X. Entonces
ρ : Ox −→ G/Stab( x )
g · x 7−→ gStab( x )
es una biyección entre los conjuntos Ox y G/Stab( x ) = { aStab( x ) | a ∈ G }. En particular si G

es finito, entonces |Ox | = | G |/|Stab( x )|, es decir, |Ox || G |.
Demostración:
1. ρ está bien definida: Sea y1 = y2 ∈ Ox . Entonces existen g1 , g2 ∈ G, tal que y1 = g1 · x
y y2 = g2 · x, luego x = g1−1 · ( g2 · x ) = ( g1−1 g2 ) · x, por tanto g1−1 g2 ∈ Stab( x ), de
donde g1 Stab( x ) = g2 Stab( x ).
2. ρ es inyectiva: pues si g1 Stab( x ) = g2 Stab( x ), entonces g2−1 g1 ∈ Stab( x ), luego

( g2−1 g1 ) · x = x, lo que muestra que g1 · x = g2 · x.
3. La sobreyectividad de ρ es clara de la definición de la función.
Observación
1. Si una acción es transitiva y X y G son conjuntos finitos, entonces | X | = |Ox | =
| G |/|Stab( x )|.
2. Sean G, X conjuntos finitos y G como grupo actuando en X. Si xi ∈ X es un
representante de Ox , entonces X = ∪ri=1 Oxi y Oxi ∩ Ox j = φ para i 6= j. Luego
| X | = ∑ri=1 |Oxi | = ∑ri=1 | G |/|Stab( xi )|.
10.3.1. G actuando en G por conjugación

De todo lo anterior tenemos varias propiedades de subconjuntos de X y de G, cuan-
do el grupo G actúa sobre el conjunto X. Veamos entonces como se expresan estas
propiedades cuando G actúa en G por conjugación. En este caso particular tenemos lo
siguiente: Sea G actuando en G por conjugación, es decir,
ϕ : G −→ A( G )
g 7−→ ϕ g : G −→ G
a 7−→ g · a = gag−1
Entonces para x ∈ G, tenemos que Ox = { g · x | g ∈ G } = { gxg−1 | g ∈ G }.
Notemos entonces que Ox = { x }, si y solo si, g · x = x para todo x ∈ G, si y solo si,

gxg−1 = x para todo x ∈ G, si y solo si, gx = xg para todo x ∈ G, si y solo si, x ∈ Z ( G ).
Ası́
Ox = { x }, si y solo si, x ∈ Z ( G ).
Ahora para x ∈ G,
Stab( x ) = { g ∈ G | g · x = x } = { g ∈ G | gxg−1 = x } = { g ∈ G | gx = xg} = C ( x ),
recordemos que C ( a) es el centralizador de a y que además Z ( G ) = ∩ a∈G C ( a) (Capı́tulo

2), ası́ tenemos que en este caso particular el estabilizador de un elemento a ∈ G, coincide
con el centralizador a en G, es decir,
Stab( x ) = C ( x ).
Por tanto si G es finito, tenemos que

r r r
|G| = ∑ |O x i | = ∑ |G|/|Stab( xi )| = ∑ |G|/|C( xi )|.
i =1 i =1 i =1
10.4. Taller 61
10.4. Taller
1. Demuestre que un grupo G actúa sobre un conjunto X, si y solo si, existe una
aplicación:
ρ : G × X −→ X
( g, x ) 7−→ g · x
tal que
a) e · x = x, para todo x ∈ X.
b) ( g1 g2 ) · x = g1 · ( g2 · x ), para todo g1 , g2 ∈ G y x ∈ X.
2. Demuestre que Stab( x ) ≤ G. ¿Es Stab( x ) un subgrupo normal de G?

¿Es G/Stab( x ) = { aStab( x )| a ∈ G } un grupo?
3. Sea G un grupo. Demuestre que la relación de conjugación es una relación de equiv-

alencia en G.
4. Demuestre que si el grupo G actúa en un conjunto X, entonces Ox ∩ Oy 6= φ implica

que Ox = Oy para x, y ∈ X y x 6= y.
5. Calcule el centralizador para todos los elementos a ∈ G para G = S3 y para G = Q8 .
6. Sea G = S3 y X = {1, 2, 3}. Determine si G actúa en X, en caso afirmativo muestre

explı́citamente la acción (el homomorfismo) y determine Ox y Stab( x ) para todo
x ∈ X.
7. Muestre explı́citamente la acción por conjugación de G en sı́ mismo, para G = S3

y para G = Q8 . Determine Ox y Stab( x ) para todo x ∈ G y verifique la igualdad
| G | = ∑ri=1 |Oxi | = ∑ri=1 | G |/|Stab( xi )|.
8. Sea ϕ la acción de G en G por conjugación. Demuestre que ϕ es fiel, si y solo si,
Z ( G ) = {e}. De un ejemplo en el cual ϕ es fiel y otro en el cual no es fiel.
9. Sea φ la acción de G en S, para S = { aH : a ∈ G } dada por φg ( xH ) = gxH para

cada g ∈ G. Verifique que efectivamente φ es una acción de G en S y que g ∈ Kerφ,
si y solo si, g ∈ aHa−1 para todo a ∈ G.
10. Para un cuadrado fijo, sean L1 y L2 las perpendiculares que bisecan los lados
opuestos del cuadrado. Muestre que D4 actúa en { L1 , L2 } y determine el kernel de
esta acción.
CAPÍTULO 11
Clases de conjugación y Teoremas de Sylow.
11.1. Clases de conjugación

Definición 11.1.1
1. Elementos conjugados: Sea G un grupo y a, b ∈ G. Decimos que a y b son conjugados en G,

si existe x ∈ G tal que xax −1 = b, decimos también que b es conjugado de a y lo denotamos
por a ∼ b.
2. Clase de conjugación de a: Dado a ∈ G, llamamos clase de conjugación de a al conjunto

Cl ( a) := { xax −1 | x ∈ G }. Notemos que en general Cl ( a) no es un subgrupo de G, pues
e∈
/ Cl ( a), si a 6= e.
Nota
1. La relación de conjugación ∼ es una relación de equivalencia en G, es decir
a) a ∼ a.
b) Si a ∼ b, entonces b ∼ a.
c) Si a ∼ b y b ∼ c, entonces a ∼ c.
2. La clase de conjugación de a, Cl ( a), es la clase de equivalencia de a bajo la con-

jugación. Ası́ con esta notación tenemos que Cl ( a) = {b ∈ G |b ∼ a}. Notemos
que la órbita bajo la conjugación, es decir, la órbita de a cuando G actúa en G por
conjugación es precisamente Cl ( a), es decir, Cl ( a) = Oa .
3. Esta relación de equivalencia separa al conjunto G es partes disjuntas, es decir,

S
G = a∈G Cl ( a) (la unión es disjunta y a es un representante de cada clase) y
Cl ( a) ∩ Cl (b) = φ ó Cl ( a) = Cl (b).
63
64 11. Clases de conjugación y Teoremas de Sylow.
Ejemplo 11.1.0.1 .
Sea G = S3 = {(1), (123), (132), (23), (13), (12)}. Entonces el centralizador para cada
elemento de S3 es:
C ((123)) = {(1), (123), (132)} ≤ S3 , C ((23)) = {(1), (23)} ≤ S3 ,

C ((132)) = {(1), (123), (132)} ≤ S3 , C ((13)) = {(1), (13)} ≤ S3 ,
C ((1)) = S3 , C ((12)) = {(1), (12)} ≤ S3 .
Por otro lado tenemos que las clases de conjugación (distintas) para los elementos de S3
son:
Cl ((123)) = {(123), (132)} S3 , Cl ((23)) = {(23), (13), (12)} S3 , Cl ((1)) = {(1)}.
Es claro que estas clases de conjugación son disjuntas y que S3 = Cl ((123)) ∪ Cl ((23)) ∪
Cl ((1)).
Teorema 11.1.1 Sea G un grupo finito y a ∈ G. Entonces el número de conjugados distintos de

a ∈ G es igual al ı́ndice de C ( a) en G, es decir, |Cl ( a)| = | G |/|C ( a)|.
Demostración: Para ver el orden de Cl ( a) veamos cuando dos elementos en Cl ( a) son

iguales. Sean x −1 ax, y−1 ay ∈ Cl ( a). Entonces x −1 ax = y−1 ay, si y solo si, axy−1 = xy−1 a,
si y solo si, xy−1 ∈ C ( a), si y solo si, xC ( a) = yC ( a), es decir, x, y están en la misma clase
lateral a izquierda de C ( a) en G. Ası́ dos elementos de Cl ( a) son iguales, si y solo si, están
en la misma clase lateral a izquierda de C ( a) en G. Por tanto tenemos tantos elementos
diferentes en Cl ( a) como clases laterales diferentes hayan de C ( a) en G y sigue por el
teorema de Lagrange que |Cl ( a)| = | G |/|C ( a)|.
Corolario 11.1.1.1 (Ecuación de clase) Sea G un grupo finito. Entonces
| G | = ∑ | G |/|C ( a)|,
a
la suma va sobre un único elemento de cada una de las clases distintas Cl ( a).
S
Demostración: Como G = Cl ( a) (unión disjunta), entonces del lema anterior tenemos
que | G | = ∑ a |Cl ( a)| = ∑ a | G |/|C ( a)|.
Lema 11.1.1 Sea a ∈ G. Entonces Cl ( a) = { a}, si y solo si, a ∈ Z ( G ).

(La demostración es igual que la realizada para las órbitas.)
Teorema 11.1.2 Sea G un grupo de orden pn con p primo. Entonces Z ( G ) 6= {e}.
Demostración: Veamos que | Z ( G )| > 1. Para esto sea m = | Z ( G )|, como e ∈ Z ( G ),

entonces m ≥ 1. Por el lema anterior tenemos que el número de clases de conjugación de
orden 1 (con un solo elemento) es m. Luego si tomamos un elemento a ∈ / Z ( G ), entonces
|Cl ( a)| > 1 y como |Cl ( a)| = | G |/|C ( a)|, entonces |C ( a)| < | G |. Ya que C ( a) ≤ G,

entonces por teorema de Lagrange |C ( a)|| G |, luego |C ( a)| = pna , con 1 ≤ n a < n.
Ası́ podemos escribir la ecuación de clase de la siguiente manera:
pn = | G | = ∑ |Cl ( a)| + ∑ |Cl ( a)| = m + ∑ | G |/|C ( a)|

a∈ Z ( G ) ∈Z(G)
a/ ∈Z(G)
a/
=m+ ∑ pn /pna = m + ∑ pn−n a ,

na <n na <n
luego m = pn − ∑na <n pn−na y por tanto p|m y dado que m ≥ 1, entonces m = pt con
t ≥ 1 y ası́ m > 1.
Teorema 11.1.3 Si G es un grupo de orden p2 con p primo, entonces G es abeliano.
Demostración: Por el teorema anterior tenemos que | Z ( G )| > 1 y por teorema de La-
grange | Z ( G )|| G | = p2 . Por tanto | Z ( G )| = p ó | Z ( G )| = p2 . Si | Z ( G )| = p, entonces
| G/Z ( G )| = p y por tanto es cı́clico, luego por ejercicio 2(b) del taller 5.3 tenemos que G es
abeliano, de donde G = Z ( G ) y ası́ p2 = | G | = | Z ( G )| = p, absurdo!, luego | Z ( G )| = p2 ,
lo que muestra que G = Z ( G ) y por tanto G es abeliano.
11.2. Teoremas de Sylow

Definición 11.2.1
1. p-grupo: Un p-grupo es un grupo cuyo orden es una potencia de un primo p.

2. p-Sylow: Sea G un grupo y p un primo tal que p| G |. Un p-Sylow o un p-subgrupo de
Sylow es un subgrupo de G de orden pm , donde pm | G | y pm+1 6 | G |.
Ejemplo 11.2.0.2 .
1. En S3 el subgrupo A3 es un 3-grupo y es también un 3-Sylow.
2. En S4 el subgrupo D4 es un 2-grupo y es también un 2-Sylow.
3. En Q8 todos sus subgrupos propios son 2-grupos pero no son 2-Sylow.

Teorema 11.2.1 (Primer teorema de Sylow.) Sea G un grupo finito y p un primo tal que pk | G |.
Entonces G tiene un subgrupo de orden pk .
Demostración: Haremos la demostración por inducción sobre el orden de G. Si | G | = 1,

entonces el teorema se cumple trivialmente. Supongamos por hipótesis del inducción,
que el teorema es verdadero para todo grupo G ′ tal que pt | G ′ | y | G ′ | < | G |.

Sea p un primo tal que pk | G |. Entonces por la ecuación de clase tenemos que:
| G | = | Z ( G )| + ∑ | G |/|C ( a)|.
∈Z(G)
a/
Por tanto hay dos casos posibles:


Caso 1. p| Z ( G )|. Entonces por el teorema de Cauchy, existe b ∈ Z ( G ) tal que ◦(b) = p.
Si B = hbi, entonces por b ∈ Z ( G ) podemos afirmar que B ⊳ G. Luego | G/B| <
| G |. Si m
| G | = p r con ( p, r ) = 1, entonces | G/B| = p m − 1 k
r. Como p | G |, entonces

pk−1 | G/B| = pm−1 r < pm r, luego por la hipótesis de inducción, existe un Q̄ ≤
G/B, tal que | Q̄| = pk−1 . Por el teorema de correspondencia existe un H ≤ G
con B ⊆ H, tal que Q̄ = H/B. Luego pk−1 = | Q̄| = | H/B| = | H |/| B| = | H |/p y
ası́ | H | = pk−1 p = pk , es decir, existe un H ≤ G tal que | H | = pk .

Caso 2. p 6 | Z ( G )|. Entonces como p| G |, podemos deducir de la ecuación de clase que
p 6 (∑ a/∈Z(G) | G |/|C ( a)|), luego existe un i tal que p 6 |(| G |/|C ( ai )|) con ai ∈/ Z(G)

y | G |/|C ( ai )| < | G |. Como p 6 |(| G |/|C ( ai )|) y pk | G |, entonces pk |C ( ai )| y
|C ( ai )| < | G |, pues ai ∈/ Z ( G ). Luego por la hipótesis de inducción tenemos que
existe H ≤ C ( ai ) tal que | H | = pk , por tanto hemos encontrado un subgrupo
H ≤ G tal que | H | = pk .
Observación
1. El primer teorema de Sylow garantiza la existencia de p-Sylows.
2. Fijaremos la siguientes notación para el conjunto de los p-Sylow:
Π = { p − Sylow de G }.
Notemos que G actúa en Π por conjugación, pues la siguiente es una acción de G

en Π:
ϕ : G −→ A(Π )
g 7−→ ϕ g : Π −→ Π
H 7−→ g · H = gHg−1
3. Dos elementos P, Q ∈ Π son conjugados, y lo denotamos por P ∼ Q, si existe un

g ∈ G, tal que Q = gPg−1 . Notemos que si P ∼ Q, entonces Q ∼ P.
4. Para H ∈ Π definimos el normalizador de H en G, como el conjunto NG ( H ) = { g ∈

G | gHg−1 = H }. Notemos que H ⊳ NG ( H ) y que H ⊳ G, si y solo si, NG ( H ) = G.
Lema 11.2.1 Sea G un grupo finito, p un divisor primo del orden de G y H ≤ G de orden pk . Si
H ⊆ NG ( P), con P un p-Sylow de G, entonces H ⊆ P.
Demostración: Sea | G | = pm t con ( p, t) = 1. Entonces HP ≤ NG ( P) y por el cuarto

teorema de homomorfismos tenemos que HP/P ∼ = H/H ∩ P. Luego | HP/P|| H | = pk y
por tanto | HP/P| = pl con l ≤ k. Ası́ pl = | HP| = pl | P| = pl pm , de donde l = 0, luego
| HP/P| = 1 = | H/P ∩ H | y podemos concluir entonces que H = P ∩ H, lo que muestra
que H ⊆ P.
Teorema 11.2.2 (Segundo y tercer teorema de Sylow.) Sea G un grupo finito y p un primo
tal que p| G |.

1. Si n p = |Π |, entonces n p ≡ 1( p) y n p | G |/| P| con P ∈ Π.
2. P ∼ Q para todo P, Q ∈ Π, es decir si P, Q ∈ Π, entonces existe g ∈ G tal que Q =

gPg−1 . (Todos los p-Sylow son conjugados)
3. Todo p-subgrupo de G está contenido en un p-Sylow de G.
Demostración: Sea G finito, p un primo divisor del orden de G, Π el conjunto de los

p-Sylow de G y ϕ la acción por conjugación de G en Π. Veamos primero que si H ∈ Π y
O = O H es la órbita de H bajo ϕ, entonces |O| ≡ 1( p).
Recordemos que,
ϕ : G −→ A(Π )
g 7−→ ϕ g : Π −→ Π
Q 7−→ g · Q = gQg−1
y O H = { Q ∈ Π/Q ∼ H } = { gHg−1 /g ∈ G } ⊆ Π. Para P ∈ Π sea φ la acción por
conjugación de P en O, es decir,
φ : P −→ A(O)
x 7−→ φx : O −→ O
Q 7−→ x · Q = xQx −1
Es claro que φ es la restricción de ϕ a P en O. Como G es finito sean OQ1 , . . . , OQr las

órbitas bajo φ denotadas por Oi = OQi = { xQ −1 O = ∪ri=1 Oi (unión
i x /x ∈ P}. Entonces
disjunta) y |Oi | = | P|/|Stab( Qi )|, luego |Oi || P| y ası́ |Oi | = pki , con k i ≤ k.
Veamos ahora que P ∈ O, si y solo si, existe un i tal que |Oi | = 1. Supongamos que
P ∈ O. Como xPx −1 = P para todo x ∈ P, entonces OP = { P} y ası́ |OP | = 1. Para
la implicación contraria supongamos que existe un i tal que |Oi | = 1, es decir tenemos
un Qi ∈ O tal que |OQi | = |Oi | = 1, luego xQi x −1 = Qi para todo x ∈ P y por tanto
P ⊆ NG ( Qi ). Podemos entonces concluir por lema anterior que P ⊆ Qi y como | P| =
| Qi |, pues los dos son p-Sylow, entonces P = Qi ∈ O. Notemos que este resultado es
independiente de la acción de P en O, es decir, es válido para la acción por conjugación
de cualquier Q ∈ O.
S
Sea O una órbita en la cual está P. Entonces O = { P} ∪ ri=2 Oi (unión disjunta) y
ası́ |O| = 1 + ∑ri=2 |Oi |. Como |Oi | ≥ 2 para todo i ≥ 2 y vimos que |Oi | = pki para i ≥ 2,
entonces
|O | ≡ 1 ( p ) . (1)
Para demostrar que n p = |Π | ≡ 1( p), basta entonces demostrar que Π = O. Ya ten-
emos que O ⊆ Π, por tanto resta demostrar la otra inclusión. Supongamos, por absurdo,
que existe un Q ∈ Π tal que Q ∈ / O, entonces haciendo actuar Q en O, obtenemos que
Q ∈ O, si y solo si, existe un i tal que |Oi | = 1. Como Q ∈
/ O, entonces no tenemos órbitas
de orden 1 en O y ası́ O = ∪i=1 Oi (unión disjunta), de donde |O| = ∑ri=2 |Oi |, lo que im-
r
plica que p|O| (pues |Oi | = pti para cada i), lo que contradice la ecuación (1). Ası́ O = Π
y por tanto n p = |Π | ≡ 1( p). Notemos que la igualdad O = Π demuestra también que
todos los p-Sylow son conjugados.
Demostremos ahora que n p | G |/| P|. Sea P ∈ Π. Vimos que n p = |Π | = |OP | =
| G |/| NG ( P)| y como P ≤ NG ( P), entonces
| G |/| P| = (| G |/| NG ( P)|) (| NG ( P)|/| P|) = n p | NG ( P)|/| P|,

es decir, n p | G |/| P|, con lo cual quedan demostradas las partes 1 y 2 del teorema.
Para demostrar la parte 3 sea H ≤ G de orden pk , es decir, H es un p-grupo. Si hacemos
actuar H en Π por conjugación y denotamos por Oi las órbitas determinadas por la acción
de H en Π, entonces tenemos que |Oi || H | = pk , por tanto |Oi | = pli con li ≤ k. Como
|O| ≡ 1( p), entonces existe un i tal que |Oi | = 1, luego Oi = { Pi } = { xPi x −1 /x ∈ H } y

por tanto xPi x −1 = Pi para todo x ∈ H, luego H ⊆ NG ( Pi ) y por el lema H ⊆ Pi .
Corolario 11.2.2.1 Un p−Sylow de un grupo finito G, es un subgrupo normal de G, si y solo si,

es el único p−Sylow de G.
Ejemplo 11.2.0.3 .
1. El grupo Z24 tiene orden 23 × 3 y por el teorema fundamental de los grupos cı́clicos
sabemos que él tiene un único subgrupo por cada divisor propio, por tanto los
subgrupos de orden 2, 4 y 8 son:
H1 = {0̄, 1̄2}, H2 = {0̄, 6̄, 1̄2, 1̄8} y H3 = {0̄, 3̄, 6̄, 9̄, 1̄2, 1̄5, 1̄8, 2̄1},
respectivamente. Es claro que cada Hi es un 2-grupo para i = 1, 2, 3 y que H3 es el

único 2-Sylow de Z24 . Tenemos además que H1 ⊆ H2 ⊆ H3 y vemos entonces que
todos los 2-grupos están contenidos en un 2-Sylow.
2. El grupo S3 tiene orden 2 × 3 y sabemos que tiene un único subgrupo de orden 3,

es decir un 3-Sylow que es:
N = {(1), (123), (132)}
y 3 subgrupos de orden 2, es decir, 2-Sylows, que son:
H1 = {(1), (23)}, H2 = {(1), (13)} y H3 {(1), (12)}.

Ası́ n3 = 1 y n2 = 3 y es claro que n3 ≡ 1(3) y n2 ≡ 1(2), además n3 | G |/| N | y
n2 | G |/| Hi | para i = 1, 2, 3. Tenemos también que todos los 2-sylow son conjugados
ya que:
H2 = (12) H1 (12) y H1 = (13) H3 (13).
11.3. Taller
1. Sea G un grupo y a ∈ G. ¿Es C ( a) un subgrupo de G? ¿Es CL( a) un subgrupo de
G? ¿En caso afirmativo son estos subgrupos normales?
2. Para los grupos S3 y Q8 , calcule el centralizador de cada elemento y sus clases de

conjugación. Verifique la ecuación de clase en cada uno de ellos.
3. Describa las clases de conjugación de un grupo abeliano. De un ejemplo especı́fico.
4. Clasifique, salvo isomorfismos, todos los subgrupos (abelianos y no abelianos) de

orden 9.
5. Demuestre que todo grupo de orden 27 posee un subgrupo normal diferente de la

identidad.
6. Sea H un subgrupo normal de un subgrupo G. Mostrar que H es la unión de las

clases de conjugación de los elementos de H. ¿Es esto verdadero si H no es normal
en G?
11.3. Taller 69
7. Calcule todas las clases conjugadas para los cuaternios.
8. Sea G un grupo y H un subgrupo de G. Demuestre que H es un subgrupo normal

del normalizador de H en G. Demuestre que H es un subgrupo normal de G, si y
solo si, el normalizador de H en G es igual a G.
9. Demuestre que un p−Sylow de un grupo finito G es un subgrupo normal de G, si

y solo si, es el único p−Sylow de G.
10. Sea G un grupo no abeliano de orden 36. Pruebe que existen más de un 2−Sylow
ó más de un 3−Sylow.
11. Si G es un grupo de orden 48, demuestre que la intersección de cualquier 2−Sylow

distintos tiene orden 8.
12. ¿Cuántos 5−Sylow de S5 hay? Exhiba dos. ¿Cuántos 3−subgrupos de Sylow de S5

hay? Exhiba cinco.
13. Demuestre que todo grupo de orden 175 es abeliano.
14. Generalice el argumento dado en el resultado anterior para obtener un teorema

acerca de grupos de orden p2 q, donde p y q son primos distintos.
15. Pruebe que un grupo de orden 105 contiene un subgrupo de orden 35.
16. Pruebe que un grupo de orden 595 tiene un 17−subgrupo de Sylow normal.
17. Suponga que G es un grupo finito y que todos sus subgrupos de Sylow son nor-
males. Demuestre que G es el producto directo de sus subgrupos normales.
18. Demuestre que todo grupo de orden 20449 es abeliano.
19. Sea G un grupo de orden p2 q2 , con p y q primos distintos y tales que q no divide a
p2 − 1 y p no divide a q2 − 1. Demuestre que G es abeliano. De tres pares de primos
que satisfagan esta condición.
20. Demuestre que para cada primo p todos los p−subgrupos de Sylow de un grupo
finito son isomorfos.
21. Sea G un grupo de orden 56. Demuestre que G posee un subgrupo normal de orden
7 o un subgrupo normal de orden 8.
CAPÍTULO 12
Grupos simples
12.1. Grupos simples

Definición 12.1.1 Decimos que un grupo G es simple, si no posee subgrupos normales no triv-
iales, es decir, diferente de {e} y G.
12.1.1. Ejemplos
1. si G es abeliano y | G |= p, p primo. Es claro que los únicos subgrupos de G son
{e} y G, y se cumple trivialmente que G es simple, es decir, Z5 es simple.
2. Q8 es un grupo no abeliano que no es simple, pues todos sus subgrupos son nor-
males.
3. Sn no es simple pues An ⊳ Sn ∀n ; An , n ≥ 5 es simple.
Teorema 12.1.1
i) Si n ≥ 5 entonces el único subgrupo normal propio no trivial de Sn es An .
ii) El grupo An para n ≥ 5 es simple.
12.1.2. Algunos test de simplicidad

Teorema 12.1.2 Sea | G |= Pn con p primo y G no abeliano. Entonces G no es simple.
Demostración: Sea G no abeliano y | G |= Pn con p primo, entonces por teorema tenemos

que Z ( G ) no es trivial, es decir Z ( G ) 6= {e} y Z ( G ) 6= G pues G no es abeliano. Sabemos
que Z ( G ) ⊲ G, luego G tiene un subgrupo normal no trivial. Luego G no es simple.
71
72 12. Grupos simples
12.1.3. Ejemplo
Q8 cuaternios, | Q8 |= 8 = 23 , luego Z ( G ) = {1, −1} ⊲ Q8 , luego Q8 no es trivial.
Teorema 12.1.3 Sea n entero positivo no primo y p un primo divisor de n. Si 1 es el único divisor
de n que es congruente con 1 módulo p, entonces no existe un grupo simple de orden n.
Demostración: n ∈ Z + , p/n con p primo.
1. Si n = pt con p primo, entonces por el teorema anterior | G |= n entonces G no es
simple.
2. Si n = pt con p ∤ m y t ≥ 1, entonces los p−subgrupos de Sylow de G son subgrupos
propios. Por el teorema de Sylow, tenemos que n p ≡ 1( p). Como 1 es el único
divisor de n que es congruente con 1 módulo p, entonces n p = 1, luego existe un
único p−subgrupos de Sylow, digamos p y por tanto p es normal, es decir ∃ p ⊲ G,
p 6= {e}, G, luego G no es simple.
Teorema 12.1.4 No existen grupos simples de orden 2n para n > 1 y n impar.
12.2. Grupos solubles

Definición 12.2.1 Un grupo G es soluble si existen subgrupos {e} = G0 ≤ G1 ≤ G2 ≤ · · · ≤
Gn−1 ≤ Gn = G tales que:
i) Gi−1 ⊲ Gi para i = 1, . . . n
ii) Gi /Gi−1 es abeliano para i = 1, . . . n
12.2.1. Ejemplos
1. S3 es soluble, A4 y S4 son solubles.
2. Los grupos simples no son solubles, es decir, An , n ≥ 5 no es soluble.
Teorema 12.2.1 Para n ≥ 5, An no es soluble (pues An es simple, por tanto no tiene subgrupos
normales).
12.3. Teoremas de solubilidad

Teorema 12.3.1
i) Todo subgrupo de un grupo soluble es soluble.
ii) Todo cociente de un grupo soluble es soluble.
iii) Sea G grupo, N ⊲ G. Si G/N Y N son solubles, entonces G es soluble.
Teorema 12.3.2 (Burnside)
Todo grupo de orden p a · pb con p y q primos es soluble.
Teorema 12.3.3 (W. Feit y J. Thompson)
Todo grupo de orden impar es soluble.
12.3. Teoremas de solubilidad 73
12.3.1. Taller
1. Demuestre que si G es un grupo de orden 12, entonces G no es simple.
2. En un grupo G una secuencia de subgrupos {e} = G0 ≤ G1 ≤ · · · Gn−1 ≤ Gn = G

es una serie de composición si Gi−1 ⊳ Gi y Gi−1 /Gi es un grupo simple. Muestre
todas las series de composición de Z30 y de Q8 .
3. Demuestre que la imagen por un homomorfismo de un grupo soluble es soluble.
4. Demuestre que Sn es un grupo soluble para n ≤ 4.
5. Demuestre que la imagen por un homomorfismo de un grupo soluble es soluble.
6. Demuestre que Sn es un grupo soluble para n ≤ 4.
7. Demuestre que si G es un grupo de orden potencia de un primo, entonces G no es

simple.
8. Sea n es un entero positivo y p es un primo divisor de n. Demuestre que si 1 es el

único divisor de n que es congruente con 1 módulo n, entonces no existe un grupo
simple de orden n.
Bibliografı́a
[1] Dummit, D.S.; Foote, R.M. Abstract Algebra. John Wiley and Sons, Inc. 3 ed. 2004.
[2] Fraleigh, John B. Algebra Abstracta, Primer curso. Addison-Wesley-Iberoamericana,

S.A.: U.S.A. 1987.
[3] Gallian, Joseph A. Contemporary abstracta algebra. Hougnton Mifflin company. 4 ed.
Boston. 1998.
[4] Gonçalves, Adilson. Introduçao à algebra. IMPA, 5 ed. Rio de Janeiro 2009.
[5] Herstein, I.N. Álgebra Abstracta. Grupo Editorial Iberoamérica S.A. de C.V.: México
1988.
[6] Lang, Serge. Undergraduate algebra. Second edition. Springer-Verlag, 1990.
[7] Pinter, Charles C. A Book of Abstract Algebra. McGraw-Hill, Inc. 2 ed. 1990.
[8] Rotman, Joseph J. Advanced Modern Algebra. Prentice Hall, 1.ed. 2003.
75

Notas Algebra 1

Cargado por

Copyright:

Formatos disponibles

Notas Algebra 1

Cargado por

Información del documento

Descripción original:

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Notas Algebra 1

Cargado por

Copyright:

Formatos disponibles

Notas de clase para un curso de

Mary Luz Rodiño Montoya

Este documento es una recopilación de las notas escritas para un curso

1. Grupos abelianos y no abelianos. 1

2. Subgrupos y grupos cı́clicos. 7

3. Subgrupos de un grupo cı́clico y homomorfismos. 13

4. Clases laterales y subgrupos normales. 21

5. Teorema de Cauchy para grupos abelianos y los teoremas de homomorfismos. 27

6. Teorema de Cauchy para grupos no abelianos. 33

7. Producto directo de grupos. 37

8. Grupos abelianos finitos y Teorema fundamental. 43

9. Grupo simétrico de las permutaciones. 49

10. Grupo Diedral de orden 8, el Teorema de Cayley y Acciones de grupos. 55

11. Clases de conjugación y Teoremas de Sylow. 63

12. Grupos simples 71

Grupos abelianos y no abelianos.

1.1. Operación Binaria

1.2. Algunas propiedades de las operaciones binarias

Ejemplo 1.2.0.2 1. La suma y el producto en Z, Q, R y C son operaciones binarias

2. La diferencia en Z es una operación binaria que no es conmutativa ni asociativa.

3. El producto en el conjunto M2×2 (R ) (matrices cuadradas de orden 2, sobre los

4. Sea A = { a, b, c} y ∗ una operación binaria en A, definida por:

y representada por la siguiente tabla

Es fácil ver que ∗ es conmutativa pero no es asociativa, pues a ∗ (b ∗ b) = a ∗ c = c

Definición 1.2.2 Sea ∗ una operación binaria en un conjunto G y sea H ⊆ G. Si la restricción

Es importante observar que la conmutatividad (asociatividad) es heredada por H en

Ejemplo 1.2.0.3 1. Z es cerrado bajo la suma en Q.

2. Z − no es cerrado bajo el producto en Z. ¿Es Z n cerrado bajo la suma en Z, para

1. ( a ∗ b) ∗ c = a ∗ (b ∗ c), para todo a, b, c ∈ G. (∗ es Asociativa.)

2. Existe un elemento e ∈ G tal que a ∗ e = e ∗ a = a, para todo elemento a ∈ G. (Existencia

3. Para cada a ∈ G, existe un elemento b ∈ G, llamado inverso de a, tal que a ∗ b = b ∗ a = e.

Es claro que un grupo está conformado por un par ( G, ∗) consistente de un conjunto G

2. (Z + , +) no es un grupo, pues no existe elemento identidad en Z + . (En Z + no

3. Con la suma en Z, (3Z, +) es un grupo. También (Z6 , +6 ) es un grupo.

4. Sea A = { a, b} y ∗ y ⊛ en A definidas por las siguientes tablas

( A, ∗) es un grupo pero ( A, ⊛) no lo es.

Definición 1.3.2 Se dice que un grupo G es un grupo finito, si el conjunto G es un conjunto

1.4. Grupo Abeliano

1.5. Ejemplos de grupos no abelianos

identidad y cada matriz es invertible por tener determinante diferente de cero. Es

a) En R la operación definida por x ∗ y = x + y + 1.

3. Dado el conjunto A = { a, b}, defina cinco operaciones binarias diferentes en A.

4. Sea A = { a, b, c}. Defina dos operaciones binarias ∗ y ⊛ en A tales que ( A, ∗) sea

a) La suma y el producto (respectivo) en Z2 y Z4 .

a) ¿Es 2Z cerrado bajo la suma en Z?

c) Sea M = M2×2 (Z ) y sea N = M2×2 (2Z ). ¿Es N cerrado bajo la suma en M?

Subgrupos y grupos cı́clicos.

2.1. Propiedades elementales de los grupos

Teorema 2.1.1 Sea G un grupo. Entonces

i) Su elemento identidad es único.

ii) Para cada a ∈ G, su elemento inverso a−1 es único.

iii) ( a−1 )−1 = a, para todo a ∈ G.

iv) ( ab)−1 = b−1 a−1 , para todo a, b ∈ G.

i) Sean e, e′ ∈ G dos elementos identidad en G. Entonces

e = ee′ Pues e′ es elemento identidad,

ii) Sea a ∈ G y b, b′ ∈ G dos elementos inversos de a. Entonces

b = be = b( ab′ ) Pues b′ es el inverso de a,

iii) Es inmediata de la unicidad del inverso.