Lista de ejercicios 1
Teorı́a de Grupos, 2022-O
Profesor: Rodrigo Hernández Gutiérrez
Última actualización: 10 de octubre de 2022
Instrucciones: De la siguiente lista de problemas, algunos se harán en clase y otros serán de tarea. El profesor
acordará cuáles problemas serán de tarea.
1. En M = Z × Z denimos una operación binaria
∗ por
(a, b) ∗ (c, d) = (ac + 2bd, ad + bc)
siempre que (a, b), (c, d) ∈ M .
(a) Demuestra que (M, ∗) es un semigrupo, es
decir, que ∗ es una operación asociativa.
(b) Demuestra que ∗ es una operación conmuta-
tiva.
(c) Encuentra el elemento neutro e de ∗.
(d) Encuentra todos los (a, b) ∈ M tales que
existe (c, d) ∈ M tal que (a, b) ∗ (c, d) = e.
(Sugerencia: Plantea un sistema de ecuacio-
nes. ¿Para cuales valores de a, b ∈ Z tiene
solución única este sistema?)
2. Considera el cuadrado etiquetado de la siguiente
manera
4 3
1 2
Sea D4 el subconjunto de S4 que consiste en iso-
metrı́as de este cuadrado. Determina todos los
elementos de D4 y describe geométricamente que
tipo de transformación representan.
3. Considera los siguientes dos elementos de S5 :
 
1 2 3 4 5
α =
2 3 1 5 4
 
1 2 3 4 5
β =
1 3 4 5 2
Calcula αβ, βα y a−1 .
1
4. Da un ejemplo de un grupo G y dos elementos
g, h ∈ G tales que (gh)2 ̸= g 2 h2 . (Sugerencia:
busca en un grupo de permutaciones de orden
pequeño.)
5. Sea G un grupo en el que para todo x ∈ G se
tiene que x2 = e. Demuestra que G es abeliano.
6. Encuentra un ejemplo de un grupo G que no es
abeliano pero para cualquier x ∈ G se tiene que
x3 = e.
7. Si r, n son enteros positivos con r ≤ n, demuestra
que el número de permutaciones en Sn que son
r-ciclos es (1r)[n(n − 1) · · · (n − r + 1)].
8. Sea n ∈ Z+ , sea α ∈ Sn cualquier permutación y
sea (i1 i2    ir ) ∈ Sn un ciclo. Demuestra que
α ◦ (i1 i2    ir ) ◦ α−1 = (α(i1 ) α(i2 )    α(ir ))
9. Demuestra que dos permutaciones ajenas siempre
conmutan.
10. Escribe las siguientes permutaciones de S7 como
producto de ciclos ajenos:
 
1 2 3 4 5 6 7
(a)
5 4 1 7 3 6 2
 
1 2 3 4 5 6 7
(b)
3 7 6 5 1 2 4
11. Sea α ∈ S10 denida por α(i) = 10 − i para cada
i ∈ 1,    , 10. Escribe α como un producto de
ciclos ajenos.
12. Sea n ∈ Z+ y σ ∈ Sn . Supongamos que
σ = τ1 ·    · τk
 es la descomposición en ciclos ajenos. Demues- (b) Determina para cuáles θ se tiene que el gru-
tra que el orden de σ es exáctamente el mı́ni- po libre generado ⟨⟨Rθ ⟩⟩ es nito y para
mo común múltiplo de las longitudes de τi , para cuáles es innito.
i ∈ 1,    , k.
19. Sea G un grupo y H0 , H1 subgrupos de G. De-
13. Sea n ∈ Z+ con n > 1. Demuestra que An  = muestra que H0 ∪ H1 es un subgrupo de G si y
n!
2 . (Sugerencia: Encuentra una función biyectiva solo si H0 ⊂ H1 o H1 ⊂ H0 .
f : Sn → Sn con la propiedad de que f (α) ∈ An
si y sólo si α ∈ Sn \ An .) 20. Sea G un grupo y H ⊂ G un subgrupo. Dado
a ∈ G sea
14. Sea G un grupo y H ⊂ G. Demuestra que H es
un subgrupo de G si y sólo si a−1 b ∈ H para cada aHa−1 = aha−1 : h ∈ H
a, b ∈ H.
(a) Demuestra que aHa−1 es un subgrupo de G.
15. Sea n ∈ Z y consideramos el grupo aditivo
+
(b) Demuestra que H y aHa−1 tienen el mismo
G = ZnZ. Demuestra que cualquier subgrupo orden.
de G es cı́clico.
21. Dado un grupo G, su centro es el conjunto
16. Demuestra que todos los subgrupos propios de S3
son cı́clicos. Z(G) = z ∈ G : ∀g ∈ G gz = zg
17. Sea G un grupo, a ∈ G y H = ⟨⟨a⟩⟩ el subgrupo Demuestra que Z(G) es un subgrupo abeliano de
generado por a. Demuestra que H es nito si y G.
sólo si existe m ∈ Z+ ∪ 0 tal que am = e.
22. Calcula el centro Z(G) de G = A4 .
18. Sea G = SO(2, R). Recordemos que en álgebra
lineal se demuestra que M ∈ G si y solo si existe 23. Demuestra que si n ≥ 3 entonces An está gene-
un θ ∈ [0, 2π) tal que rado por 3-ciclos.
 
cos (θ) − sin (θ) 24. Demuestra que si n ∈ Z+ , entonces Sn está gene-
M = Rθ =  rado por cada uno de los siguientes conjuntos.
sin (θ) cos (θ)
(a) El conjunto de las transposiciones de la for-
(a) Demuestra que si n ∈ Z entonces ma (1 k) con 2 ≤ k ≤ n.
 
n cos (nθ) − sin (nθ) (b) El conjunto de las transposiciones de la for-
(Rθ ) =  ma (i i + 1) con 1 ≤ i ≤ n − 1.
sin (nθ) cos (nθ)
(c) El conjunto (1 n), (1 2    n).
(Sugerencia: Primero hazlo por inducción
para n ≥ 0 y después considera el caso 25. Demuestra que S4 no está generado por
n < 0.) (1 3), (1 2 3 4).