Escuela de Matem

aticas. Universidad Nacional de Colombia, Sede Medelln.

2016.1 3007963 - Algebra

Ejercicios y problemas
1.1 Grupos - Conceptos b
asicos
Consecuencias elementales de los axiomas
1. Es cierto que en todo semigrupo en el que hay un elemento neutro por la izquierda y en el que todo
elemento tenga un inverso por la derecha es un grupo? Pruebe o de un contraejemplo.
2. De ejemplos de semigrupos y monoides que no sean grupos.
3. Sea G un semigrupo finito en el que se verifica:
a, b, c G

ab = ac b = c,

a, b, c G

ba = ca b = c.

Muestre que G es un grupo. Y si G no es finito?

4. Sea A un anillo con unidad. Denotamos por A al conjunto de los elementos de A que tienen un inverso
multiplicativo. Muestre que A dotado de la operacion multiplicacion es un grupo.
5. Muestre que si a2 = e para todo elemento de G, entonces G es abeliano.
6. Muestre que si |G| es par, entonces hay un elemento en g G diferente de e y tal que g 2 = e.
Subgrupos
7. Muestre que todo subgrupo de (Z, +) es de la forma nZ para cierto n Z.
8. Muestre que todo grupo de orden 6 no abeliano tiene alg
un subgrupo no normal de orden 2. Utilice este
hecho para clasificar todos los grupos de orden 6.
9. Describa el reticulo de subgrupos de S3 , D4 , Z/36Z y Q8 .
10. Sea S un subconjunto cualquiera de G. Definamos la relacion tal que a b si y solo si ab1 S.
Muestre que es una relaci
on de equivalencia si y solo si S es un subgrupo de G.
11. Sea S un subconjunto finito de G cerrado por el producto. Muestre que es un subgrupo.
12. Muestre que estas tres condiciones son equivalentes:
(i) |G| es primo.
(ii) G no tiene ning
un subgrupo no trivial (es decir, distinto de {e} Y G).
(iii) G ' Z/pZ para alg
un primo p.
13. Muestre que la intersecci
on arbitraria de grupos normales es normal.
Homomorfismos
14. Muestre que G es abeliano si y solo si la inversion i : g 7 g 1 es un isomorfismo.
15. Encuentre un morfismo de grupos inyectivo de Q8 en GL(2, C).
16. Muestre que Autgr (Z) ' Z/2Z.
17. Muestre que Homgr (Z, Z) ' (Z, ) es decir, la composicion de homomorfismos se corresponde con la
multiplicaci
on.
18. *Calcule Autgr (Z/nZ) para cualquier n Z.

Escuela de Matem
aticas. Universidad Nacional de Colombia, Sede Medelln.

19. Sea (A, +) un grupo abeliano. Definimos en Homgr (A, A) la operacion suma ( + )(a) = (a) + (a).
Muestre que (Homgr (A, A), +, ) es un anillo. De algunos ejemplos de anillos que se obtienen de esta
manera.
Operaciones
20. De un ejemplo de 4 grupos H1 , H2 , K1 , K2 tales que H1 H2 ' K1 K2 pero H1 no es isomorfo ni a K1
ni a K2 , y tampoco H2 .
21. Sean G y H grupos cclicos. Muestre que G H es cclico si y solo si |G| y |H| son coprimos.
22. Sean N C G y H G subgrupos tales que H N = G y H N = {e}. Muestre que entonces G ' H o N
donde la acci
on de H en N es la acci
on adjunta.
Teoremas de isomorfismo
23. Sean N C G y H G subgrupos. Muestre que se verifica:
(a) N H C H.
(b) N H = hN, Hi = H N .
24. Sean N C G y H C G subgrupos normales que se cortan en la identidad N H = {e}. Muestre que
necesariamente conmutan, es decir [H, K] = {e}.
25. Sean N C G y H C G subgrupos normales tales que N H = {e} y hN, Hi = G. Muestre que G ' N H.
26. (Segundo teorema de isomorfismo) Sean N C G y H G subgrupos. Muestre que,
H/(N H) (H N )/N,

h (N H) 7 hN,

es un isomorfismo.
27. Sea H C G un subgrupo normal. Consideremos la aplicacion cociente : G G/H, g 7 gH, y la
aplicaci
on inducida 1 P(G/H) P(G) que hace 1 (S) = {g G : (g) S}.
(a) Muestre que 1 establece biyecci
on entre la familia de subgrupos de G/H y la familia de subgrupos
de G que contienen a H.
(b) Muestre que dicha biyecci
on es un isomorfismo de retculos.
28. (Tercer teorema de isomorfismo) Sean H C G y K C G subgrupos normales tales que K H. Muestre
que se verifica:
(a) H/K C G/K.
(b) (G/K)/(H/K) ' G/H.
Teoremas del ndice
Sea H G un subgrupo. El ndice de H en G es el cardinal |G/H|, y se escribe [G : H].
29. Sea H G E, entonces si al menos dos de las cantidades [G : H], [E : G] y [E : H] son finitas tambien
lo es la tercera y se verifica [G : H][E : G] = [E : H].
Grupos cclicos y abelianos
30. Cual es el orden del grupo (Z/nZ) ?
31. * Si p es primo, muestre que (Z/nZ) es un grupo cclico.
32. (Peque
no teorema de Fermat) Sea a un entero y p un primo tal que p no divide a a. Pruebe que
ap1 1(mod p).

Escuela de Matem
aticas. Universidad Nacional de Colombia, Sede Medelln.

33. (Euler - Fermat) Sea (n) el orden de (Z/nZ) . Sean n y a enteros coprimos. Pruebe que a(n) 1(mod n).
34. ** (Teorema de Carmichael) Para que valores de n el grupo (Z/nZ) es cclico?
Acciones, centralizadores y normalizadores
Dado un subgrupo H G su normalizador NG (H) es el estabilizador de H (como conjunto) por la acci
on
adjunta, su centralizador CG (H) es el estabilizador de todos los elementos de H (punto a punto) por la
acci
on adjunta.
NG (H) = {g G : gHg 1 = H},

CG (H) = {g G : h H ghg 1 = h}.

35. Muestre H NG (H) y CG (H) NG (H).

36. Muestre que NG (H) es el mayor subgrupo de G tal que H C NG (H).
37. (Teorema de Cauchy) Sea G finito, si p es primo y p divide al orden de G entonces hay alg
un elemento en
en G de orden p.
38. Si G es simple, entonces ning
un elemento de G tiene exactamente dos conjugados.
39. Si G/C(G) es cclico entonces G es abeliano.
40. Muestre que los automorfismos internos forman un subgrupo normal del grupo de automorfismos.
41. Si |G| = pn con p primo y p > n entonces si H es de orden p entonces es normal.
42. Muestre que no hay grupos simples de orden pq donde p y q son primos diferentes.
43. Muestre que todo grupo de orden 15 es cclico.

1.2 Grupo de permutaciones

44. Encuentra cuatro subgrupos de S4 que sean isomorfos a S3 y nueve isomorfos a S2 .
45. Muestre que Sn est
a generado por n 1 transposiciones.
46. Muestre que Sn est
a generado por dos elementos. Pista: considere una trasposicion y un n-ciclo.
47. Calcule el n
umero de m ciclos de Sn .
48. Encuentre todos los n
umeros n tal que S5 tiene alg
un elemento de orden n.
49. * Encuentre el orden del elemento de orden mas alto en Sn
50. El exponente de un grupo es el mnimo com
un m
ultiplo de los ordenes de sus elementos. Calcule el
exponente de S5 .
51. **Calcule el exponente de Sn .
52. Calcule los 2-subgrupos de Sylow de S4 .
53. Muestre que A4 no tiene subgrupos de orden 6.
54. Encuentre una homomorfismo inyectivo del grupo Dn en el grupo de matrices meta-abeliano:

 

a
0
0
a
G=

0 a1
a1 0
Pista: considere Dn como grupo de transformaciones lineales del plano y diagonalize un generador de su
grupo normal m
aximal.
55. Calcule en centro de Dn en funci
on de n.

Escuela de Matem
aticas. Universidad Nacional de Colombia, Sede Medelln.

1.3 Grupos libres y presentaciones

56. Sea L2 = ha, bi un grupo libre con dos generadores a, b. Muestre que el subgrupo de L2 generado por
a2 , b2 , ab es un grupo libre con tres generadores.
57. Sea G y H dos grupos de tal manera que existen morfismos inyectivos de cada uno de ellos en el otro.
Son H y G necesariamente inyectivos?
58. Muestre que todo elemento distinto de la identidad en un grupo libre tiene orden infinito.
59. Sea L un grupo libre y N el grupo generado por el conjunto {g n , : , g G, n Z}. Muestre N C L.
60. Sea L(X) el grupo libre generado porc X y sea Y X. Sea N hY i el menor subgrupo normal que contiene
a Y . Muestre que L(X)/N
langleY i es un grupo libre.
61. Muestre que el grupo ha, b | a8 = b2 a4 = ab1 ab = ei tiene orden menor o igual que 16.
62. Muestre que el grupo ha, b | a2 = b3 = ab1 ab = ei es un grupo cclico de orden 6.
63. Muestre que el grupo ha, b | a2 = b3 = ei es infinito y no abeliano. Escribalo como el producto libre de
grupos cclicos.
64. Sean G y H con m
as de un elemento. Muestre que el centro de G H es {e}. Muestre que G H es
infinito.
65. Sea N hAi el subgrupo normal generado por A en A B. Muestre (A B)/N hAi ' B.

1.4 Grupos Abelianos

66. Sea G un grupo abeliano finito generado sin elementos de torsion. Muestre que es libre.
67. De un ejemplo de un grupo abeliano sin elementos de torsion y que no sea libre.
68. Muestre que (Q, +) no es libre pero (Q , ) s. De una base para este grupo. Construya un isomorfismo
entre (Q , ) y Z[x]).
69. Sea G el grupo abeliano dado por la presentacion ha, b, c | 6a + 12b 3c = 12a 9c = 0i. Calcule sus
divisores elementales y factores invariantes.
70. Muestre que todo p-grupo (es decir, de orden pk ) abeliano esta generado por sus elementos de orden
m
aximo.
71. Usando el teorema de clasificaci
on de los grupos abelianos finito generados muestre que todo grupo abeliano
finito es el producto directo de sus subgrupos de Sylow.
72. Sea G abeliano de orden 216. Si adem
as |6G| = 6, Es posible determinar G?
73. Cu
antos subgrupos de orden p2 tiene el grupos Z/p2 Z Z/p3 Z?
74. Muestre que los factores invariantes de Z/mZ Z/nZ son el maximo comun divisor y el mnimo com
un
m
ultiplo de m y n.
75. Muestre que todo subgrupo finito de Q/Z es cclico.
76. * Sean G y H grupos abelianos finitos tales que, para todo m el n
umero de elementos de G de orden M
coincide con el n
umero de elementos de H de orden m. Muestre que G son isomorfos.
77. Encuentre todos los grupos (modulo isomorfismos) abelianos de orden 108.