Algebra II (Doble grado Informática-Matemáticas)
Relación 4
Curso 2016/17
Ejercicio 1. Dado un cuerpo F , definimos el grupo lineal especial de or-
den n sobre F , también llamado el grupo unimodular de orden n sobre
F como el subgrupo de las matrices invertibles que tienen determinante igual
a 1:
SLn (F ) := {G ∈ GLn (F )| det(G) = 1}
1. Se considera la aplicación det : GLn (F ) → F × que aplica cada matriz
en su determinante. Demostrar que dicha aplicación es un epimorfismo
de grupos. ¿Cuál es el núcleo de esta aplicación?
2. Si F es un cuerpo finito con q elementos, determinar el orden del grupo
SLn (F ).
Ejercicio 2.
1. Demostrar que el subgrupo de SL2 (Z3 ) generado por los elementos
0 −1, 1 1,
i := , j := ,
1 0 1 −1
es isomorfo al grupo cuaternio Q2 .
2. Demostrar que SL2 (Z3 ) y S4 son dos grupos de orden 24 que no son
isomorfos. (Pista: Demostrar que S4 no puede contener a ningún sub-
grupo isomorfo a Q2 .)
Ejercicio 3. Demostrar que todo subgrupo de índice 2 es normal.
Ejercicio 4. Describir el retículo de subgrupos de A4 .
Ejercicio 5. Sea n > 1 un número natural, y sea G un grupo verificando
que para todo par de elementos x, y ∈ G se tiene que (xy)n = xn y n . Se
definen H := {x ∈ G| xn = 1}, y K := {xn | x ∈ G}. Demostrar que H y K
son subgrupos normales de G, y que |K| = [G : H].
Ejercicio 6. Para un grupo G se define su centro como
Z(G) := {a ∈ G| ∀ x ∈ G xa = ax}.
1
1. Demostrar que Z(G) es un subgrupo de G.
2. Demostrar que Z(G) es normal en G.
3. Demostrar que G es abeliano si, y sólo si, G = Z(G).
4. Demostrar que si G/Z(G) es cíclico, entonces G es abeliano.
Ejercicio 7. Determinar el centro del grupo diédrico D4 . Observar que el
cociente D4 /Z(D4 ) es abeliano, aunque D4 no lo sea (compárese este hecho
con el tercer apartado del ejercicio anterior).
Ejercicio 8. 1. Demostrar que Z(S2 ) = S2 y que Z(Sn ) es trivial si
n ≥ 3.
2. Demostrar que Z(A3 ) = A3 y que Z(An ) es trivial si n ≥ 4.
Ejercicio 9. Demostrar que Z(Dn ) = {1, rm } si n = 2m y que Z(Dn ) es
trivial si n = 2m + 1.
Ejercicio 10. Sean H y K dos subgrupos finitos de un grupo G, uno de
ellos normal. Demostrar que
|H||K| = |HK||H ∩ K|.
Ejercicio 11. Sea N E G. Probar que G/N ∼
= G si, y sólo si, N = {1}, y
∼
que G/N = {1} si, y sólo si, N = G.
Ejercicio 12. Sean G y H dos grupos cuyos órdenes sean primos relativos.
Probar que si f : G → H es un homomorfismo, entonces necesariamente
f (x) = 1 para todo x ∈ G, es decir, que el único homomorfismo entre ellos
es el trivial.
Ejercicio 13. Sean H y K subgrupos de G, y sea N EG un subgrupo normal
de G tal que HN = KN . Demostrar que
H ∼ K
= .
H ∩N K ∩N
Ejercicio 14. Sea N un subgrupo normal de G tal que N y G/N son
abelianos. Sea H un subgrupo cualquiera de G. Demostrar que existe un
subgrupo normal K E H tal que K y H/K son abelianos.
Ejercicio 15. Sea G un grupo finito, y sean H, K subgrupos de G, con K
normal y tales que |H| y [G : K] son primos relativos. Demostrar que H está
contenido en K.
Ejercicio 16. Sea G un grupo
1. Demostrar que para cada a ∈ G la aplicación ϕa : G → G definida por
ϕa (x) = axa−1 , es un automorfismo de G. ϕa se llama automorfismo
interno o de conjugación de G definido por a.
2. Demostrar que la aplicación G → Aut(G), a 7→ ϕa es un homomorfis-
mo.
3. Demostrar que el conjunto de automorfismos internos de G, que se
denota Int(G), es un subgrupo normal de Aut(G).
4. Demostrar que G/Z(G) ∼
= Int(G).
5. Demostrar que Int(G)=1 si y sólo si G es abeliano.
Ejercicio 17. Demostrar que el grupo de automorfismos de un grupo no
abeliano no puede ser cíclico.
Ejercicio 18. Sea G un grupo, y denotemos por Cn := hx|xn = 1i el grupo
cíclico de ordenn. Demostrar que:
1. Si θ : Cn → G es un homomorfismo de grupos, con θ(x) = g, entonces
ord(g)|n, y θ(xk ) = g k para todo k ∈ {0, . . . , n − 1}.
2. Para cada g ∈ G tal que ord(g)|n, existe un único homomorfismo de
grupos θg : Cn → G tal que θg (x) = g.
3. Si g ∈ G es tal que ord(g)|n, entonces el morfismo θg es monomorfismo
si, y sólo si, ord(g) = n.
4. Existe un isomorfismo de grupos
U (Zn ) ∼
= Aut(Cn ),
dado por r 7→ fr para cada r = 1, . . . , n con mcd(r, n) = 1, donde el
morfismo fr se define mediante
fr (x) := xr .
En particular, Aut(Cn ) es un grupo abeliano de orden ϕ(n).
Ejercicio 19.
1. Describir explícitamente el grupo de automorfismos Aut(C8 ).
2. Demostrar que Aut(C8 ) es isomorfo al grupo de Klein.
Ejercicio 20. Demostrar que el grupo Aut(µ2 × µ2 ) es isomorfo a S3 .
Ejercicio 21. Demostrar que los grupos S3 , Cpn (con p primo) y Z no son
producto directo internos de subgrupos propios.
Ejercicio 22. En cada uno de los siguientes casos, decidir si el grupo G es
o no producto directo de los subgrupos H y K.
1. G = R× , H = {±1}, K = {x ∈ R| x > 0}.
2. G = a0 cb ∈ GL2 (R) , H = {( a0 0c ) ∈ GL2 (R)}, K = 1 b
01 ∈ GL2 (R) .
3. G = C× , H = {z ∈ C| |z| = 1}, K = x ∈ R| x > 0}.
Ejercicio 23. Sean G; H y K grupos. Demostrar que:
1. H × K ∼
= K × H,
2. G × (H × K) ∼
= (G × H) × K.
Ejercicio 24. Sean H ∼
=J yK∼
= L. Demostrar que H × K ∼
= J × L.
Ejercicio 25. Sean H, K, L y M grupos tales que H × K ∼
= L × M . +Se
∼ ∼
verifica necesariamente que H = L y K = M ?
Ejercicio 26. Demostrar que no todo subgrupo de un producto directo
H × K es de la forma H1 × K1 , con H1 subgrupo de H y K1 subgrupo de
K.
Ejercicio 27. Sean H, K dos grupos y sean H1 C H, K1 C K. Demostrar
que H1 × K1 C H × K y que
H ×K ∼ H K
= × .
H1 × K1 H1 k1
Ejercicio 28. Sean H, K C G tales que H ∩ K = 1. Demostrar que G es
isomorfo a un subgrupo de G/H × G/K.
Ejercicio 29. Sean H y K subgrupos normales de G tales que HK = G.
Demostrar que
G/(H ∩ K) ∼
= H/(H ∩ K) × K/(H × K) ∼
= (G/H) × (G/K).
Ejercicio 30. Sea G un grupo que sea producto directo interno de subgrupos
H y K, y N EG tal que N ∩H = {1} = N ∩K. Demostrar que N es abeliano.
Ejercicio 31. Sea G un grupo finito que sea producto directo interno de
dos subgrupos H y K tales que mcd(|H|, |K|) = 1. Demostrar que para todo
subgrupo N ≤ G verifica que N = (N ∩ H) × (N ∩ K).
Ejercicio 32. Sea G un grupo y sea f : G → G un endomorfismo idempo-
tente (esto es, verificando que f 2 = f ) y tal que Im f E G. Demostrar que
G∼= Im f × Ker f .
