INTRODUCCIÓN A LA TEORÍA DE GRUPOS

1. Definición y ejemplos
1. Axiomas. Notación multiplicativa. Grupos abelianos (notación aditiva). Isomor-
fismo de grupos, G1 ∼
= G2 . Subgrupos de un grupo, H ≤ G. Normal subgrupo, N
G.
Producto directo de grupos, G1 × G2 . Grupos finitos. Orden de un grupo, |G|. Centro
de un grupo G, Z(G).
2. Ejemplos:
(i) (Z, +), (C, +), (R+ , ·), (Zn , +), (K ∗ , ·), (Z∗p , ·), K es un cuerpo y p es primo.
(ii) GLn (R), SLn (Q), GLn (K), SLn (K), donde K es un cuerpo, GLn (Z3 ), . . .
(iii) Grupo de Klein (Z2 , +) × (Z2 , +).
(iv) Grupo de las raı́ces n-ésimas de la unidad Cn , Cn ∼ = (Zn , +),
(v) Grupo diédrico Dn de las isometrı́as del polı́gono regular de n lados, |Dn | = 2n.
(vi) Grupo de los cuaterniones Q8 = {±1, ±i, ±j, ±k},
i2 = j 2 = k 2 = −1, ij = −ji = k, jk = −kj = i, ki = −ik = j.
(vii) Grupo de las permutaciones un conjunto de n elementos Sn , |Sn | = n!, S3 = D3 .
(ix) Grupo de los subconjuntos de un conjunto de n elementos Bn , |Bn | = 2n .
A ⋄ B = (A ∪ B) ∩ (A ∩ B)c = (A ∩ B c ) ∪ (Ac ∩ B).
(x) Grupo de los automorfismos de un grupo G, Aut(G); grupo de los automorfismos
internos Int(G).
3. Trigonometrı́a, complejos, matrices y grupo de las semejanzas del plano.
Cn ≤ C∗ ≤ GL2 (R). S 1 (grupo de los complejos módulo 1)
4. En la lista de grupos anteriores indica cuáles son subgrupos de otros (por ejemplo,
(Z, +) es un subgrupo de (Q, +)), y calcula sus centros.
5. Sea A un anillo con elemento unidad. Prueba que el conjunto de sus elementos
inversibles es un grupo Gr(A) para el producto.
6. Describe los elementos del grupo Gr(Zn ) del anillo Zn . ¿Cuál es el orden de este
grupo? ¿Tiene algo que ver con la función de Euler?
7. Prueba que si H y H son dos subgrupos de un grupo G tales que H ∪ K ≤ G,
entonces H ⊆ K o K ⊆ H.
8. Sean H y K subgrupos de un grupo G. Prueba que el conjunto HK es un subrupo
de G si y sólo si HK = KH.
1
2 INTRODUCCIÓN A LA TEORÍA DE GRUPOS

9. Comprueba que, salvo isomorfismo, hay un único grupo de orden 2 y un único grupo
de orden 3. Completa las correspondientes tablas.

2. jugando con los axiomas

10. Sea G un grupo, e su elemento neutro, y x−1 el inverso de x, x ∈ G. (i) xy = xz
implica y = z; (ii) existe un único elemento neutro, y el inverso de un elemento es único;
(iii) yx = e = xz ⇒ y = z; (iv) (xy)−1 = y −1 x−1 .
11. Sea G un conjunto no vacı́o dotado con un producto asociativo ab, a, b ∈ G. Prueba
que G es un grupo si y sólo si: (i) existe e ∈ G tal que ea = a para todo a ∈ G; (ii)
para todo a ∈ G, existe b ∈ G tal que ba = e. Indicación: x2 = x ⇒ x = e.
12. Sea G un conjunto no vacı́o dotado con un producto asociativo ab, a, b ∈ G. Prueba
que G es un grupo si y sólo si para cualesquiera a, b ∈ G las ecuaciones ax = b, ya = b
tienen solución.
13. Sea G un grupo con elemento neutro e. Si todo elemento x ∈ G verifica x2 = e,
entonces G es abeliano.

3. Homomorfismos. subgrupo normal. grupo cociente

14. Definición de homomorfismo de grupos. Núcleo de un homomorfismo. Subgrupos
normales.
15. Sea H y K subgrupos de un grupo G. Si uno de ellos es normal, entonces HK =
KH ≤ G.
16. Teorema de la correspondencia
17. Grupo cociente.
18. Teoremas de isomorfı́a.
19. θ : G → Aut(G), ker(θ) = Z(G), Im(θ) = Int(G).
20. Producto directo de grupos. Caracterización interna.
Lemma 3.1. Sean X y Y subgrupos normales de un grupo G tales que X ∩ Y = {e} y
XY = G. Entonces G ∼
= X ×Y.
Demmostración. xyx−1 y −1 ∈ X ∩ Y = {e}. 

4. Generadores. Orden de un elemento. grupos cı́clicos.

21. Una condición necesaria y suficiente para que un subconjunto de un grupo sea un
subgrupo. Intersección de subgrupos. Subgrupo generado por un subconjunto X de un
grupo G: ⟨X⟩ ≤ G. Grupos cı́clicos. Retı́culo de los subgrupos de un grupo.
22. Todo grupo cı́clico es abeliano.
 INTRODUCCIÓN A LA TEORÍA DE GRUPOS 3

23. Todo grupo cı́clico de orden n es isomorfo a Cn ∼

= (Zn , +).
24. (Z, +) es salvo isomorfismo el único grupo cı́clico infinito.
25. Orden de un elemento a de un grupo G: ord(a) = |⟨a⟩|, es el menor entero positivo
n tal que an = e. Si no existe tal entero positivo, ord(a) = ∞.
26. Sea a ∈ G tal que ord(a) = n. Entonces ⟨ak ⟩ = ⟨ad ⟩, siendo d el m.c.d de n y k.
27. Si am = e, entonces ord(a) es un divisor de m.
28. ord(bab−1 ) = ord(a).
29. Si ord(a) = mn, entonces ord(am ) = n.
30. Sea G un grupo y sean a, b ∈ G. Si ab = ba y ord(a), ord(b) son primos relativos,
entonces ord(ab) = ord(a)ord(b).
31. Todo subgrupo de un grupo cı́clico es cı́clico. Además, si G es cı́clico de orden n,
entonces para todo divisor m de n, G contiene un único subgrupo (cı́clico) de orden m.
32. En el espacio vectorial euclı́deo E2 , sea γ un giro, digamos de ángulo α, y sea σ la
simetrı́a con respecto al eje OY . Comprueba geométricamente y en términos matriciales
que σγσ = γ −1 . Se sigue de aquı́ que si α = 2πn
, entonces el subgrupo ⟨γ, σ⟩ de GL2 (R)
es isomorfo a Dn .
33. El grupo diédrico Dn está generado por dos elementos a, b tales que ord(a) = n,
ord(b) = 2, ba = an−1 b.
34. Si G es un grupo finito generado por dos elementos de orden 2, entonces G isomorfo
al grupo de Klein o a un grupo diédrico.
Indicación. Sea a y b dos generadores de orden 2 de G. Pongamos c = ab, ord(c) = n,
n > 1. Entonces bc = cn−1 b. En efecto,
e = (ab)n ⇒ a = b(ab)n−1 ⇒ ba = (ab)n−1 ,
y de aquı́, bc = cn−1 b. Si n = 2, entonces ab = ba y G es es grupo de Klein. Para n > 2,
G es isomorfo a Dn .
35. El grupo simétrico Sn está generado por un ciclo de longitud n y una trasposición.
36. Pruébese que GL2 (Z2 ) ∼
= S3 .
5. Grupos de automorfismos
37. Para todo natural n, Aut(Cn ) ∼
= Gr(Zn ), grupo multiplicatiov del anillo Zn .
38. Haciendo uso del Teorema Chino del Resto, prueba que si n, m son primos relativos,
entonces Aut(Cnm ) ∼
= Gr(Zn ) × Gr(Zm ).
39. Aut(C2 × C2 ) ∼
= GL2 (Z2 ) ∼
= S3 .
40. Aut(S3 ) ∼
= S3 .
4 INTRODUCCIÓN A LA TEORÍA DE GRUPOS

6. Teorema de Lagrange. consecuencias inmediatas

Teorema 6.1. (Lagrange). Sea H un subgrupo de un grupo finito G. Entonces |G| =
[G : H]|H|. En particular, el orden de H es un divisor del orden de G.
41. Sea G un grupo finito y a ∈ G. Entonces ord(a) divide a |G|.
42. Todo grupo finito de orden primo es cı́clico.
43. Sea G un grupo finito. Todo subgrupo de G de ı́ndice 2 es normal.
44. Prueba que todo grupo de orden 4 es abeliano y encuentra cuántos hay salvo
isomorfismo, y descrı́belos.
Solución. Sea G un grupo de orden 4. Todo elemento de G es un divisor de 4. Descar-
tando que G sea cı́clico, encontramos que todo elemento distinto del neutro tiene orden
2. Luego G es abeliano. Sea a ∈ G, a ̸= e, y sea H = ⟨a⟩ el subgrupo generado
por a. Dado que H es un subgrupo propio, existe b ∈ G tal que b ∈ / H. Claramente,
G = H ∪ bH = {e, a, b, ab}, con ba = ab. Se comprueba, con ayuda de la tabla, que G
es el grupo de Klein. 

7. Exponente de un grupo finito

45. Sea G un grupo finito. Se define el exponente de G, denotado por exp(G), como el
mı́nimo común múltiplo de los órdenes de sus elementos.
46. Sea G un grupo finito. Entonces exp(G) divide al orden de G.
Proposición 7.1. Sea G un grupo abeliano finito, exp(G) = n. Entonces G contiene
un elemento de orden n.
Demostración. Sea n = pα1 1 . . . pαk k la descomposición de n como producto de potencias
de primos. Para cada 1 ≤ i ≤ k sea ni = npαi i −1 . Existe entonces ai en G tal que
−αi
np
ani i ̸= e. Sea ahora bi = ai i . Tenemos entonces que ord(bi ) = pαi , y de aquı́, por
(30), b = b1 . . . bk tiene orden n. 
Teorema 7.2. Sea G un subgrupo finito del grupo multiplicativo de un cuerpo F. En-
tonces G es cı́clico.
Demostración. Sea n = exp(G). Por Proposición 7.1, G contiene un subgrupo cı́clico C
de orden n. Por otro lado, todo elemento de G satisface la ecuación X n = 1. De donde,
|G| ≤ n = |C|. Esto implica que G = C es cı́clico. 
Corolario 7.3. Sea p primo. Entonces Aut(Cp ) ∼ = Gr(Zp ) ∼= Cp−1 .
Proposición 7.4. Sea G un grupo finito de exponente 2. Entonces G ∼
= Bn ∼
= Cn2 .
Lemma 7.5. Sea G un grupo finito y sean a, b ∈ G cuyos órdenes son primos relativos.
Entonces |G| ≥ ord(a)ord(b).
 INTRODUCCIÓN A LA TEORÍA DE GRUPOS 5

Proposición 7.6. Todo grupo G de orden 2p, donde p es primo, p > 2, es cı́clico o
isomorfo al grupo diédrico Dp .
Demostración. Se sigue de 7.5 que G contiene un elemento a de orden p y un elemento
b de orden 2. Sea N = ⟨a⟩. Dado que N tiene ı́ndice 2 es normal en G, y dado que los
automorfismos conservan el orden de un elemento, tenemos
bab = ak , k = 1, 2, . . . , p − 1.
Y de aquı́ a = b2 ab2 = ak implica p|(k−1)(k+1). Si k = 1, entonces G ∼
= Cp ×C2 ∼
2
= C2p .
∼
Si p = p − 1, entonce G = Dp . 
47. Grupos de orden 8.
Sea |G| = 23 . Las posibilidades para el exponente de G son pues 2, 4 o 8. Si exp G = 2,
entonces G ∼
= B3 , mientras que exp(G) = 8 implica que G ∼ = C8 . Supongamos pues que
exp(G) = 4. Sea a ∈ G de orden 4 y N = ⟨a⟩. Dado que [G : N ] = 2, tomando b ∈ G\N
tenemos que G = N ∪ N b y que b2 ∈ N . Analizamos ahora todas las posibilidades.
(1.1) b2 = e, ba = ab. En tal caso, G ∼ = C4 × C2 .
(1.2) b2 = e, ba = a2 b. En tal caso tendrı́amos
a = ba2 b ⇒ a2 = ba4 b = e,
lo que contradice que ord(a) = 4.
(1.3) b2 = e, ba = a3 b. En tal caso, G ∼
= D4 .
2 2 3
(1.4) b = a o b = a . En tal caso, ord(b) = 8 y, por lo tanto, G es cı́clico.
Supongamos finalmente que b2 = a2 (lo que implica ord(b) = ord(a) = 4).
(2.1) Si ba = ab entonces (ab)2 = e y G ∼= C4 × C 2 .
2 3
(2.2) ba = a b = b lleva a contradicción. Luego resta únicamente suponer
(2.3) ba = a3 b. En tal caso, G ∼
= Q8 .
Por lo tanto, los grupos de orden 8 son, salva isomorfismo:
C8 , C4 × C2 , C2 × C2 × C2 , D4 , Q8 .

8. Ecuación de clases y Teorema de Cauchy

48. Normalizador de un conjunto. Clases de conjugación.
49. Clases de conjugación de un elemento. Centralizador. Ecuación de clases.
Teorema 8.1. Un grupo G de orden pn (n > 1), donde p es primo, tiene centro no
trivial.
Corolario 8.2. Todo grupo G de orden p2 , donde p es primo, es abeliano. De hecho,
G∼
= Cp2 o G ∼= Cp × C p .
Teorema 8.3. (Teorema de Cauchy) Sea G un grupo finito y sea p un primo que divide
al orden de G. Entonces G contiene un subgrupo de orden p.
6 INTRODUCCIÓN A LA TEORÍA DE GRUPOS

9. Producto semidirecto de grupos

• Producto semidirecto de grupos N oφ K, donde φ : K → Aut(N ) es a homomorfismo
de grupos (el caso en que ϕ es el homomorfismo trivial, ϕ(k) = 1N para todo k ∈ K,
corresponde al producto directo de N y K.
• Condición necesaria y suficiente para que un grupo G sea el producto semidirecto de
dos subgrupos N y K:
N E G, G = N K, N ∩ K = {e}.
Proposición 9.1. Sea G un grupo, |G| = pq donde p, q son primos, con q < p y q no
divide a p − 1. Entonces G es cı́clico.
Demostración. Por el teorema de Cauchy, G contiene un elemento a de orden p y un
element b de orden q. Denotemos por N el subgrupo generado por a. Se sigue del Lema
7.5 que G sólo puede contener un subgrupo de orden p, por lo que N es normal en G.
Sea K := ⟨b⟩. Dado que p ̸= q, se tiene que N ∩ K = {e} y de aquı́ G = N K. Luego
G∼ = N o K. Sea φ : Cq → Aut(Cp ) ∼ = Cp−1 un automorfismo de grupos. Dado que q
no divide a p − 1 por hipótesis, φ es necesariamente el homomorfismo trivial y por lo
= Cp × Cq ∼
tanto, G ∼ = Cpq 
50. Todo grupo de orden 15 es cı́clico.
Proposición 9.2. Sean p, q tales que p < q y q|p − 1. Todo grupo G de orden pq es
isomorfo a Cpq o a un producto semidirecto no trivial Cp o Cq
Demostración Como en la proposición 9.1, G ∼
= Cp oCq y hemos de determinar los homo-
∼
morfismos φ : Cq → Aut(Cp ) = Cp−1 . Dado que q|p − 1, existe un único homomorfismo
(salvo conjugación) distinto del trivial. 
51. Grupos de orden 21.
Solución. Tenemos ahora p = 7 y q = 3. En este caso, q = 3 divide a p − 1 = 6, luego
existen productos semidirectos C7 oφ C3 no triviales. Consideremos el homomorfismo
φ : C3 → Aut(C7 ) ∼
= Ce dado por
b 7→ φb , donde φb (a) = a2 .
Este homomorfismo da la siguiente presentación de G:
G = ⟨a, b⟩, a7 = 3, b3 = e, bab−1 = a2 .
También tenemos la dada por φb (a) = a4 , pero ambas producen grupos isomorfos.
Luego hay sólo dos grupos de orden 21: C21 y C7 oφ C3 . 
• Comprueba que en el grupo G = ⟨a, b⟩, a7 = 3, b3 = e, bab−1 = a2 ⟩ los elementos
xk y, xk y 2 , donde k = 0, 1, . . . 6, son de orden 3.
 INTRODUCCIÓN A LA TEORÍA DE GRUPOS 7

10. Teoremas de Sylow

Sea G un grupo de orden pα s, donde p es primo, α ≥ 1 y p no divide a s. Entonces:
• Para todo 1 ≤ β ≤ α, G contiene un subgrupo de orden pβ . En particular, G contiene
p-subgrupos de orden maximal pα . Cada uno de tales p-subgrupos se denomina un p-
subgrupo de Sylow de G.
• Todos los p-subgrupos de Sylow de G son conjugados (por automorfismos internos).
• El número np de p-subgrupos de Sylow de G es congruente con 1 módulo p y divide
a s.
52. Prueba que todo grupo de orden 45 es abeliano.
53. Grupos de orden 20.
Solución. Sea |G| = 20 = 22 · 5. Tenemos que n5 = 1 + 5k|4, lo que implica que G
contiene un único 5-subgrupo (y por lo tanto normal) de Sylow. Sea N = ⟨x⟩ ∼ = C5 ,
N E G, y sea K un 2-subgrupo de Sylow de G, |K| = 4. Dado que los órdenes de
N y K son primos relativos y que su producto es igual al orden de G, tenemos que
G∼ = N oφ K. Ahora bien, se sigue del corolario 8.2 que K ∼ = C4 o K ∼= C2 × C2 . Se
nos presentan pues dos casos:
(1) G ∼ = C5 oφ C4 . Dado que Aut(C5 ) ∼= C4 tenemos tres posibilidades en este caso.
Sea φ : C4 → Aut(C5 ), C5 = ⟨x⟩, C4 = ⟨y⟩.
(i) y 7→ φy : C5 → C5 dado por φy = IdC5 , G ∼
= C5 × C4 ∼ = C20 .
(ii) y 7→ φy : C5 → C5 dado por φy (x) = x = x , yxy = x−1 .
−1 4 −1

(iii) y 7→ φy : C5 → C5 dado por φy (x) = x2 (o x3 ), yxy −1 = x2 (or x3 ).

(2) G ∼
= C5 oφ (C2 × C2 ). Tenemos ahora pues que determinar los homomorfismos de
C2 × C2 en Aut(C5 ) ∼
= C4 . Sólo existen dos: el trivial que produce el producto directo
∼
C5 × C2 × C2 = C10 × C2 , y el dado por
φy (x) = yxy = x−1 , φz (x) = zxz = x,
donde y, z son dos generadores del grupo de Klein. Tomando a := xz = zx, tenemos
que ⟨x, z⟩ ∼
= C10 y G = ⟨a, y⟩ ∼
= D10 :
yay = y(xz)y = (yxy)(yzy) = x−1 z = a−1 .
Las otras posibilidades conducen a grupos isomorfos (distintas elecciones de los gener-
adores del grupo de Klein). Luego hay cinco grupos de orden 20 salvo isomorfismo.
54. Aut(D5 ) es un grupo de orden 20 isomorfo al descrito en 53(1)(iii)
Solución. D5 = ⟨x, y : x5 = y 2 = e, yxy = x−1 ⟩. El grupo D5 contiene cuatro elementos
de orden 5, xk , k = 1, . . . , l = 4, y cinco elementos de orden 2, yxl , l = 0, . . . , l = 4.
Luego los posibles automorfismos de D5 son las aplicaciones fk,l : D5 → D5 , definidas
por
fk,l (x) = xk , fk,l (y) = yxl , k = 1, . . . , l = 4, l = 0, . . . , l = 4.
8 INTRODUCCIÓN A LA TEORÍA DE GRUPOS

Se comprueba que tales aplicaciones conservan la relación yxy = x−1 , y por lo tanto
definen automorfismos de D5 , ası́ que |Aut(D5 )| = 20. Tomando a := f1,1 , b := f2,0 , se
tiene
Aut(D5 ) = ⟨a, b : a5 = b4 = 1, bab−1 = a2 ⟩.
55. Grupos de orden 28.
Solución. |G| = 28 = 22 · 7, n7 = 1. Luego G contiene un único 7-subgrupo de Sylow
N = ⟨x⟩ ∼ = C7 . Sea K un 2-grupo de Sylow de G, |K| = 4. Como en el caso previo,
G∼= C5 oφ K, donde K = ⟨y⟩ ∼ = C4 o K = ⟨y, z⟩ ∼
= C2 × C2 .
(1) G ∼ = C5 oφ C4 , φ : C4 → Aut(C7 ) ∼
= C6 .
(i) y 7→ φy : C7 → C7 dado por φy = IdC7 , G ∼
= C7 × C4 ∼ = C28 .
(ii) y 7→ φy : C7 → C7 dado por φy (x) = x = x , yxy = x−1 .
−1 6 −1

(2) G ∼= C7 oφ (C2 × C2 ). Como antes, este caso proporciona únicamente dos nuevos
grupos de orden 28: C7 × C2 × C2 ∼
= C14 × C2 , y D14 .
56. Grupos de orden 12.
Solución. |G| = 12 = 22 · 3, n3 = 1 o n3 = 4, y n2 = 1 o n2 = 3. Contando elementos se
tiene que o bien n3 = 1, o n2 = 1.
(1) Supongamos que n3 = 1 y que los 2-subgrupos de Sylow de G son isomorfos a C4 .
Tenemos en tal caso que G ∼= C3 oφ C4 . Se sigue entonces que
(1.1) G ∼
= C12 ,
(1.2) G ∼= C3 oφ C4 , dado por la presentación: x3 = e, y 4 = e, yxy −1 = x−1 (este
grupo se conoce también como el Q12 ).
(2) Supongamos que n3 = 1 y que los 2-subgrupos de Sylow de G son isomorfos a C2 ×C2 .
En tal caso, G ∼
= C3 o (C2 × C2 ) y hemos de determinar los posibles homomorfismos
φ : C2 × C2 → Aut(C3 ) ∼= C2 .
Como en el caso de los grupos de orden 28 tenemos que ϕ es el homomorfismo trivial,
o el dado por φy (x) = x− 1, φz (x) = x2 , siendo y, z generadores de C2 × C2 . Tenemos
ası́ que
(2.1) G ∼
= C6 × C2 ,
(2.2) G ∼
= D6 .
(3) Supongamos que n2 = 1 y que el único 2-subgrupo de Sylow de G es isomorfo a C4 ,
esto es, G ∼= C4 oφ C3 . Dado que Aut(C4 ) ∼ = Gr(Z4 ) ∼
= C2 , el único homorfismo posible
es el trivial, dando el producto directo, ya encontrado en 1.1.
(4) Supongamos finalmente que n2 = 1 y que el único 2-subgrupo de Sylow de G es
isomorfo a C2 × C2 . Hemos de determinar los homomorfismos
φ : C3 → Aut(C2 × C2 ) ∼
= S3 .
 INTRODUCCIÓN A LA TEORÍA DE GRUPOS 9

El único no trivial (salvo isomorfismos del producto semidirecto) produce el grupo al-
ternante A4 con la siguiente presentación:
x3 = e, y 2 = z 2 = e, yz = zy, xyx−1 = z, xzx−1 = yz.
57. Determina los grupos de orden 44 y de orden 72.
58. Prueba que todo grupo de orden 30 es isomorfo a uno de los grupos siguientes:
C30 , D15 , C3 × D5 , o C5 × D3 .

Indicaciones para el ejercicio anterior.

• Usando los teoremas de Sylow, prueba que G contiene un subgrupo normal de orden
5 o un subgrupo normal de orden 3. (La posibilidad de que n5 = 6 y n3 = 10 no puede
darse como se comprueba contando los elementos de orden 5 y los de orden 3 que en
tal caso tendrı́a el grupo.)
• Deduce que en cualquiera de los casos G contiene un subgrupo N de orden 15. Por
lo tanto N es normal e isomorfo a C15 (50).
• Sea a un generador de N y b un elemento de G de orden 2. Prueba que G = ⟨a, b⟩,
esto es, G = N H = HN , donde H es el subgrupo de G generador por b.
• Tenemos entonces
2 2 −1
bab = ak ⇒ a = b2 ab2 = ak ⇒ e = ak ⇒ 15|k 2 − 1 = (k − 1)(k + 1). (A)
Además,
k ∈ Gr(Z15 ) = {1, 2, 4, 7, 8, 11, 13, 14} ∼
= C4 × C2 (B)
• De las condiciones (A) y (B) se deduce que las únicas posibilidades para k son los
valores 1, 4, 11 y 14, esto es, aquellos elementos del grupo Gr(Z15 ) de orden a lo sumo
2. Lo que nos proporciona cuatro grupos de orden 30.
• Comprueba que
(i) C30 que corresponde a k = 1.
(ii) C3 × D5 que corresponde a k = 4.
(iii) C5 × D3 que corresponde a k = 11.
(ii) D15 que corresponde a k = 14.
Por ejemplo, sea x un generador de C3 , e y, z generadores de D5 . Tenemos entonces
las siguientes relaciones:
x3 = e, xy = yx, xz = zx, y 5 = e, z 2 = e, zy = y 4 z.
Pongamos a := xy, b = z. Tenemos entonces a15 = e, b2 = e, y
ba = z(xy) = (zy)x = (y 4 z)x = (xy 4 )z = (x4 y 4 )z = (xy)4 z = a4 b.

Otro modo de abordar este ejercicio.

10 INTRODUCCIÓN A LA TEORÍA DE GRUPOS

• Sea H = ⟨x⟩ ∼= C5 y K = ⟨y⟩ ∼ = C3 subgrupos de G, uno de los cuales ha de ser

normal, como hemos dicho anteriormente, y sea N = HK E G, N ∼= C15 .
• Sea z ∈ G, ord(z) = 2. Dado que H y K son subgrupos normales de G, tenemos las
siguientes cuatro posibilidades:
(1) zxz = x, zyz = y. En tal caso, G ∼ = C30 .
(2) zxz = x, zyz = y −1 . En tal caso, G ∼= C5 × S3 .
−1 ∼
(3) zxz = x , zyz = y. En tal caso, G = D5 × C3 .
(4) zxz = x−1 , zyz = y −1 . En tal caso, tomando a = xy = yx se tiene
a15 = e, z 2 = e, zaz = a−1 ,
lo que prueba que G ∼
= D15 .
59. Grupos de orden 42.
Sea |G| = 42. Dado que n7 = 1, G contiene un subgrupo normal H = ⟨x⟩ ∼
= C7 .
Sea K = ⟨y⟩ ≤ G, K ∼= C3 . Tenemos entonces que N = HK es un subgrupo normal
de G de orden 21. Luego, como hemos visto en 51, N ∼
= C21 o N ∼= C7 oφ C3 con
−1 2 −1 4
φy (x) = yxy = x o yxy = x .
Hemos de determinar los productos semidirectos C21 oφ C2 y (C7 oφ C3 ) oφ C2 .
• El caso G ∼
= C21 oφ C2 da lugar, como en 58, a los siguientes grupos:
C42 , C4 × S3 , C3 × D7 , D21 .
• Supongamos entonces que G ∼ = C7 oφ C3 y fijemos un generador z para para C2 .
Dado que H = ⟨x⟩ es normal en G y z 2 = e, tenemos que zx = xz o zxz = x−1 . En
cuanto a la acción por conjugación de z sobre tenemos (según lo visto en 51) que
zyz = xk y, o zyz = xk y 2 .
(α) Si zxz = x, entonces zyz = y. En efecto, zyz = xk y 2 lleva a contradicción:
y = z 2 yz 2 = z(xk y 2 )z = (zxk z)(zy 2 z) = xk (xk y 2 )2 = (x2k y)(yxk y −1 = x2k yx2k = x2k x4k y
lo que implica k = 0, esto es, zyz = y 2 = y −1 . Ahora bien, tomando b := zy, obtenemos
b2 = e y bxb = z(yxy −1 )z = z(x2 )z = x2 , lo que lleva a contradicción:
x = b2 xb2 = b(x2 b = x4 ⇒ e = x3 .
De forma análoga, zyz = xk y implica k = 0. Luego zyz = y. Por tanto, G ∼
= C2 ×
(C7 oφ C3 ).
(β) Si zxz = x−1 , afirmamos entonces que podemos seleccionar un elemento, digamos
b, en ⟨x, y⟩ de orden 3 tal que zbz = z. Veamos que esta afirmación es cierta para el
caso en que zyz = xy. Tomando b := x5 y 2 , obtenemos
zbz = (zx5 z)(zy 2 z) = x−5 (xy)2 = x−5 x(yx)y = x−4 x2 y 2 = x−2 y 2 = x5 y 2 = b.
 INTRODUCCIÓN A LA TEORÍA DE GRUPOS 11

Las otras posibilidades para zyz se obtendrı́an de forma análoga. Se comprueba también
que bxb−1 = x4 . Ası́ que G ∼
= (C7 oφ C3 ) oφ C2 , dado este último por la presentación:
x7 = 3, b3 = 3, bxb−1 = x4 , z 2 = e, zxz = x−1 , zb = bz.
Luego en total tenemos 6 grupos, salvo isomorfismo, de orden 42.
60. Aut(D7 ) ∼
= (C7 oφ C3 ) oφ C2 ∼= C7 oφ C6 , donde φ : C6 → Aut(C7 ) ∼
= C6 es un
isomorfismo.
Solución. D7 = ⟨x, y : x7 = y 2 = e, yxy = x−1 ⟩. El grupo D7 contiene seis elementos
de orden 7, xk , k = 1, . . . , l = 6, y siete elementos de orden 2, yxl , l = 0, . . . , l = 6.
Luego los posibles automorfismos de D7 son las aplicaciones fk,l : D7 → D7 definidas
por
fk,l (x) = xk , fk,l (y) = yxl , k = 1, . . . , l = 6, l = 0, . . . , l = 6.
Se comprueba que tales aplicaciones conservan la relación yxy = x−1 , y por lo tanto
definen automorfismos de D7 , ası́ que |Aut(D7 )| = 42. Tomando a := f1,1 , c := f2,0 , se
tiene
Aut(D7 ) = ⟨a, c : a7 = c6 = 1, cac−1 = a3 ⟩.
Consideremos ahora el grupo (C7 oφ C3 ) oφ C2 dado por la presentación
x7 = 3, b3 = 3, bxb−1 = x4 , z 2 = e, zxz = x−1 , zb = bz.
Tomando a := x, c := zb = bz, tenemos
a7 = c6 = 1, cac−1 = b(zxz)b−1 = bx−1 b = x−4 = a3 .
Luego Aut(D7 ) ∼= (C7 oφ C3 ) oφ C2 ∼
= C7 oφ C6 , donde φ : C6 → Aut(C7 ) ∼
= C6 es un
isomorfismo.
61. Sea p primo. Entonces Aut(Dp ) ∼
= Cp oφ Cp−1 , donde φ : Cp−1 → Aut(Cp ) ∼
= Cp−1
es un isomorfismo.
Solución. Dp = ⟨x, y : xp = y 2 = e, yxy = x−1 ⟩. El grupo Dp contiene p − 1 elementos
de orden p, xk , k = 1, . . . , l = p − 1, y p elementos de orden 2, yxl , l = 0, . . . , l = p − 1.
Y como en el caso particular de p = 7, Aut(Dp ) es un grupo de orden p(p−1) constituido
por las aplicaciones fk,l : Dp → Dp definidas por
fk,l (x) = xk , fk,l (y) = yxl , k = 1, . . . , l = p − 1, l = 0, . . . , l = p − 1.
Sea 1 ≤ r ≤ p − 1 un generador del grupo Gr(Zp ) ∼ = Cp−1 . Se comprueba entonces
que Aut(Dp ) está generado por los automorfismos a := f1,r , b := fr,0 , que satisfacen la
relaciones: ap = 1, bp−1 = 1, bab−1 = ar .
62. Aut(D4 ) ∼ = D4
Solución. D4 = ⟨x, y : x4 = y 2 = e, yxy = x−1 ⟩. Como en los casos anteriors, Aut(D4 )
está generado por los automorfismos a, b, a(x) = x, a(y) = yx; b(x) = x3 , b(y) = y,
satisfaciendo las relaciones: a4 = b2 = 1, bab = a−1 del grupo D4 .
• ¿Cuál es el grupo de los automorfismos internos de D4 )?
12 INTRODUCCIÓN A LA TEORÍA DE GRUPOS

63. Aut(D9 ) ∼
= C9 oφ C6 , donde φ : C6 → Aut(C9 ) ∼
= C6 es un isomorfismo.
Solución. D9 = ⟨x, y : x9 = y 2 = e, yxy = x−1 ⟩. El grupo D9 contiene seis elementos de
orden 9, x, x2 , x4 , x5 , x7 , x8 , siendo el exponente 2 un generador del grupo Gr(Z9 ) ∼
= C6 ,
y nueve elementos de orden 2, yxl , l = 0, . . . , l = 8. Se sigue de aquı́ que
Aut(D9 ) = ⟨a, b : a9 = b6 = 1, bab−1 = a2 .⟩,
a, b; D9 → D9 vienen definidos por a(x) = x, a(y) = yx; b(x) = x2 , b(y) = y.
• Obsérvese que D9 es isomorfo al subgrupo S = ⟨a, b3 ⟩ de Aut(D9 ).
• Identificar los automorfismos externos de D9 .

11. Grupos de orden 16 obtenidos como productos semidirectos

64. C8 oφ C2 .
Sea N = ⟨x⟩ ∼
= C8 y sea K = ⟨x⟩ ∼
= C2 , esto es,
x8 = y 2 = e, zxz = xk , donde k = 1, 3, 5, 7.
(k = 1) G ∼
= C8 × C2 .
(k = 7) G ∼
= D8 .
(k = 3) Tomando a := x2 se tiene que ⟨a, y⟩ ∼
= D4 . Este grupo se denota por QD8 .
(k = 5) Este grupo se denota simplemente por C8 oφ C2
65. (C4 × C2 ) oφ C2 : x4 = y 2 = z 2 = e, xy = yx.
Hemos de determinar la acción de z sobre cada uno de los elementos x, y. Tenemos
las siguientes posibilidades:
(1) zxz = x, zyz = y. En tal caso, G ∼= C4 × C2 × C2 .
(2) zxz = x3 , zyz = y. En tal caso, G ∼
= D4 × C2 .
(3) zxz = x, zyz = yx2 .
(4) zxz = yx, zyz = y. Obsérvese que en este caso
(C4 × C2 ) oφ C2 ∼= (C2 × C2 ) o C4 .
En efecto, ⟨y, z⟩ ∼
= C2 × C2 ; además, tenemos que xyx−1 = x, xzx−1 = zy.
(5) zxz = yx−1 , zyz = y.
Las otras posibilidades llevan a contradicción, o repiten grupos anteriores.
(α) zxz = x, zyz = x2 implica φz (x2 ) = x2 = φz (y), contradicción.
(β) zxz = yx, zyz = yx2 implica
x = z 2 xz 2 = z(yx)z = (zyz)(zxz) = (yx2 )(yx) = x3 , contradiccion.
 INTRODUCCIÓN A LA TEORÍA DE GRUPOS 13

(γ) zxz = yx−1 , zyz = yx2 implica

x = z 2 xz 2 = z(yx−1 )z = (zyz)(zx−1 z) = (yx2 )(yx−1 )−1 = x3 , contradiccion.
(δ) zxz = x−1 zyz = x2 y. El grupo definido por esta presentación es isomorfo al
presentado en (3). Sea a := xy. Tenemos entonces
zaz = (zxz)(zyz) = x−1 x2 y = xy = a, zyz = yx2 = ya2 .
66. (C2 × C2 × C2 ) oφ C2 : x2 = y 2 = z 2 = v 2 = e, xy = yx, xz = zx, yz = zy.
Sólo hay dos posibilidades para este producto directo: el trivial, que proporciona el
grupo C42 , y el definido por la presentación:
vxv = y, vyv = x, vzv = z,
que es isomorfo a D4 × C2 . En efecto, sea a := vx. Tenemos entonces
(i) a2 = (vxv)x = yx, a4 = (xy)2 = e, lo que junto con
(ii) yay = y(vx)y = y(yv)y = vy = (vx)−1 = a−1 , implica
⟨x, v, y⟩ = ⟨a, y⟩ ∼
= D4 , y dado que zv = vz, tenemos que ⟨x, y, z, v⟩ ∼
= D4 × C2 .