ESTRUCTURAS ALGEBRAICAS.
HOJA 2
1. Se considera el tercer grupo diédrido D3 . Se pide hallar lo siguiente:
i) Las clases de conjugación de cada uno de sus elementos.
ii) Los elementos de Int(D3 ).
iii) Los centralizadores CD3 (x), para cada x ∈ D3 .
iv) Los centralizadores CD3 (H), para cada H < D3 .
2. Comprobad explı́citamente que en D3 se satisface la ecuación de clases de conjugación.
3. Hallad el centro de Q8 = i, j : i4 = j 4 = 1, ji = i3 j = {1, i, j, k, −1, −i, −j, −k}, donde k := ij.
4. Hallad H d para cada H ≤ D4 y para cada d ∈ D4 .
5. Encontrar todos los subgrupos normales de D4 .
6. Sea G un grupo. ¿Verdadero o falso?
i) H ≤ G y H conmutativo implica H E G.
ii) H ≤ G y |H| = 2 implica H E G.
iii) Si ϕ : G → G1 es un homomorfismo de grupos, entonces Im ϕ E G1
iv) Si H E K y K E G, entonces H E G.
v) Si H E G y |H| = m entonces H es el único subgrupo de G de orden m.
vi) Si H E G entonces H ≤ Z(G).
7. Si N es un subgrupo normal de G y N tiene dos elementos, demostrad que entonces N está incluido en el
centro de G (esto es equivalente a: grupos de centro trivial no tienen subgrupos normales de orden 2).
1 1
8. Hallad el centralizador de la matriz A = en GL2 (R).
0 1
9. Hallad el normalizador de hbi en D3 := a, b : a3 = 1, b2 = 1, ba = a2 b .
10. Sean H y K dos subgrupos de G tales que H está incluido en NG (K), el normalizador de K en G. Demostrar
que HK es un subgrupo de G. Deducir que si H es un subgrupo de G y K es normal en G, HK es un
subgrupo de G.
11. Sea G un grupo para el que existe un entero n > 1 tal que (ab)n = an bn para todos los elementos a y b de
G. Sean H1 = {xn : x ∈ G} y H2 = {x ∈ G : orden(x)|n}. Demostrar que H1 y H2 son subgrupos normales
de G.
12. Sea G una grupo y sea N un subgrupo normal de G. Sea x un elemento de torsión de G. Demostrad que el
orden de xN en G/N es un divisor del orden de x en G.
√
13. Demostrad que G = {m + 2n : m, n ∈ Z} es un grupo con respecto a la suma. Demostrad que H = {5k 3s :
k, s ∈ Z} es un grupo con respecto a la multiplicación. ¿Son G y H isomorfos?
14. Si A es un grupo abeliano con n elementos y k es un entero primo con n, demostrad que la aplicación
ϕ : A −→ A definida por ϕ(a) = ak es un isomorfismo.
15. Sea N un subgrupo normal de G tal que G/N tiene orden n. Demostrad que si n y m son primos entre sı́,
la relación xm = e implica que xN es N .
16. Sea G un grupo abeliano con n elementos y p un entero primo con n. Demostrad que para todo a ∈ G la
ecuación xp = a tiene una solución en G.
17. Sea f un homomorfismo suprayectivo de G en Z. Demostrad que para todo número entero positivo n, G
tiene un subgrupo normal de ı́ndice n.
18. Sea G un grupo y N un subgrupo normal de G tal que G/N ∼
= Z. Demostrad que para todo entero positivo
n, G tiene un subgrupo normal de ı́ndice n.
19. Dado un grupo G y un subgrupo normal N tal que G/N es cı́clico de orden 6, describid el retı́culo de los
subgrupos de G que contienen a N .
20. Sea S1 = {z ∈ C : |z| = 1} (el grupo circular). Utilizad el primer teorema de isomorfı́a para demostrar que S1
es isomorfo al grupo cociente R/2πZ. Hallad el subgrupo de S1 formado por todos los elementos de torsión.
¿A qué subgrupo de R/2πZ corresponde?
21. Demostrad que si H es un subgrupo de un grupo G, H ⊆ Z(G) y G/H es cı́clico, entonces G es abeliano.
22. Hallad D4 /Z(D4 ).
23. Demostrad que si G es un grupo no conmutativo y tiene orden p3 (p un número primo) entonces Z(G) tiene
orden p.
24. ¿Cuántos homomorfismos sobreyectivos se pueden definir entre los siguientes grupos aditivos?
(a) de Z/30Z en Z/30Z,
(b) de Z/30Z en Z/15Z y
(c) de Z/30Z en Z/8Z.
25. Definid un homomorfismo (si es posible) entre los siguientes grupos:
(a) de S3 en Z/12Z inyectivo,
(b) de S3 en Z/3Z sobre y
(c) de S3 en Z/6Z no constante.
26. Hallad todos los homomorfismos de Z/2Z en Aut(Z/12Z).
27. Sean G1 y G2 dos grupos finitos de órdenes primos entre sı́. ¿Cuántos homomorfismos hay de G1 en G2 ?
28. Sea G un grupo y H, K E G. Demostrad que si H ∩ K = {1} y HK = G entonces G/H ∼
= K.
29. Dad un ejemplo de un grupo G que posea un subgrupo normal N tal que N y G/N sean cı́clicos pero G no
lo sea.
