ALGEBRA MODERNA I

Lista 3

1. Sea ~ una relación de equivalencia sobré un grupo G. Si a, b, x  G : a b  ax bx entonces

1   G y las clases de equivalencia son las clases laterales derechas de 1  en G. (Nota:
1~   x  G x ~ 1 . ).

2. Sea   S  G. Definimos x y  xy 1  S. Probar que si ~ es una relación de equivalencia

entonces S  G. Si definimos x y  Sx  Sy, mostrar que, aunque ~ sea relación de equivalencia,
existen casos en los que S no es subgrupo de G.

3. En cada uno de los incisos determine si la función indicada es un morfismo. Si es así, diga si es
inyectivo, si es suprayectivo y calcule su kernel.
a) f :   n , donde (a ) f   a  para a   ,
b) f : G  G , donde (a) f  a 1 para a  G ,
c) G grupo abeliano y f como en el inciso b),
d) f : *  1, 1 , donde (a) f  1 si a es positivo y (a ) f  1 si a es negativo.
e) G grupo abeliano, n  1 entero positivo fijo y f : G  G , donde (a) f  a n para a  G .
f) Sea G cualquier grupo y sea a  G. Sea f : G definida por n f  a n .

4. Sea f : G  K un morfismo de grupos. Si   S  G mostrar que S f  S  f .

5. Sea G un grupo cíclico con generador a y f : G  G ' es un isomorfismo, probar que para todo
x  G , x f se puede escribir en términos de a f .

6. ¿Cuántos homomorfismos hay de  sobre  ? ¿De  en  2 ? ¿De  sobre  2 ?

7. ¿Cuántos homomorfismos hay de  en  8 ? ¿De  sobre  8 ?

8. Sea G un grupo cíclico con generador a y f : G  G ' es un isomorfismo, probar que para todo
x  G , x f se puede escribir en términos de a f .

9. ¿Cuántos automorfismos hay de  2 , de  6 , de  8 , de  y de  17 ? (Use el ejercicio anterior).

10. ¿Cuántos homomorfismos hay de  12 sobre  5 ? ¿De  12 en  6 ? ¿De  12 sobre  6 ? ¿De  12 en

 14 ? ¿De  12 en  16 ?

11. ¿Cuántos automorfismos hay de  2 , de  6 , de  8 , de  y de  17 ?

12. Sea f :  12 3 el homomorfismo tal que 1 f  2 .

a) Calcular el kernel de f.

1
  12
b) Dar la lista de las clases laterales en Kerf mostrando los elementos en cada clase
lateral.
 12
c) Dar el morfismo de Kerf a  3 inducido por f, de acuerdo a los teoremas de
isomorfismo.

13. Sea f :  18 12 el homomorfismo tal que 1 f  10 .

a) Calcular el kernel de f.
 18
b) Dar la lista de las clases laterales en Kerf mostrando los elementos en cada clase
lateral.
c) Calcular el grupo Imf.
 12
d) Dar el morfismo de Kerf a Imf inducido por f, de acuerdo a los teoremas de
isomorfismo.

14. En el grupo  24 sean H  4 y K 6 .

a) Dar la lista de los elementos de HK (que es igual a H  K para este grupo aditivo) y de
HK.
b) Dar la lista de las clases laterales en HK K mostrando los elementos en cada clase lateral.
c) Dar la lista de las clases laterales en H H  K mostrando los elementos en cada clase
lateral.
d) Dar el morfismo entre HK K y H H  K según los teoremas de isomorfismo.

15. Repetir el ejercicio anterior para el grupo  36 con H  6 y K 9 .

16. En el grupo G  24 sean H  4 y K 8 .

a) Dar la lista de las clases laterales en G H mostrando los elementos en cada clase lateral.
b) Dar la lista de las clases laterales en G K mostrando los elementos en cada clase lateral.
c) Dar la lista de las clases laterales en H K mostrando los elementos en cada clase lateral.
G K
d) Dar la lista de las clases laterales en H K mostrando los elementos en cada clase
lateral.
G K
e) Dar el morfismo entre G H y H K según los teoremas de isomorfismo.

17. Repetir el ejercicio anterior para el grupo  36 con H  9 y K  18 .

2
18. Sea G un grupo y Sim(G ) el grupo de biyecciones de G sobre G. Sea L a: G  G definida por
( x) L a  a 1 x . Probar:
a) L a Sim(G ) ,
b) L a L b  L ab
c) La función L : G  Sim(G ) definida por (a) L  L a es un monomorfismo de G en Sim(G ) .
Similarmente, se define R a: G  G por ( x) R a  xa . Probar:
d) R a ( x)  Sim(G ) ,
e) R a R b  R ab .
f) La función R : G  Sim(G ) definida por (a) R  R a es un monomorfismo de G en Sim(G ) .
Además:
g) Para todo a, b  G : R a L b  L b R a .
h) Si f  Sim(G ) y para todo a  G : L a f  f L a , entonces f  R b para algún b  G .
(Sugerencia: actuando sobre 1, ¿a que debe ser igual b?)

19. Encontrar un isomorfismo entre el grupo aditivo de los números reales sobre el grupo multiplicativo
de los números reales positivos.

20. Sea G el grupo aditivo de  x y   el grupo multiplicativo de los racionales positivos. Probar
que G    .

21. Si A es el grupo del Problema 3 de la Lista 1, y H  Ta ,b  G a   , probar que H  G .

22. Verifique que en el grupo diédrico de grado 4, D4  a, b | a 2  b 4  1; ab  b 1a , el conjunto
H  1, b, b 2 , b3  es un subgrupo normal de D4 .
23. Sea Dn  x, y x 2  y n  1, xy  y 1 x el grupo diedrico de orden 2n. Mostrar que:
a) el subgrupo N  1, y, y 2 , , y n 1 es normal en G
Dn
b) 2
N
24. Sea G un grupo, mostrar que Z (G )  G.

25. Si G es un grupo abeliano finito de orden n y f : G  G se define como (a ) f  a m para a  G .

Encuentre la condición necesaria y suficiente para que f sea un isomorfismo.

26. Si G es un grupo abeliano y f : G  K es un morfismo sobre K mostrar que K es abeliano.

27. Si G y H son grupos finitos entonces una condición necesaria para que exista un monomorfismo de
G en H es que G divida a H . Mostrar con un ejemplo que esta no es una condición suficiente.

28. Sea G un grupo, x G de orden finito y sea f : G  H un morfismo. Probar que el orden de
 x f divide el orden de x.

3
29. Sea G un grupo, N  G y f : G  K un epimorfismo. Mostrar que ( N ) f  K .

30. Sean G y G’ grupos y sean H y H’ subgrupos normales de G y G’, respectivamente. Sea f : G  G '
un homomorfismo. Mostrar que f induce un homomorfismo canónico
f *: G H  G ' H ' sí Hf  H '.

bg
31. Probar que en el grupo GLn F el conjunto SLn  F  de las matrices con determinante 1 es un
subgrupo normal.

32. Sea D el grupo multiplicativo generado por las matrices

1 0  1 1 
A  y B ,
 0 1  0 1
a) Mostrar que A y B tienen orden 2;
b) Probar que todo elemento de D distinto de la identidad, se puede escribir como
C1C2  Cm , m  1, con cada Ci  A o B, y Ci  Ci 1 , para i= 1, 2, ... , n-1. Probar que ninguno de
tales elementos es la identidad, deducir que AB tiene orden infinito;
c) ¿ AB D ?

18. Sea G el grupo multiplicativo generado por las matrices

 1 1  2 0
A  y B 
 0 1 0 1
Probar que BAB1  A2 , y deducir que cada elemento de G se puede escribir como Br A s B q para
enteros r, s, q adecuados. ¿ A  G ?

19. Probar que si M  G y N  G , entonces

a) M , N  MN  G .
b) M  N  G .
20. Si G es un grupo y N  G . Sea M  G
N  
y M  a  G aN  M , entonces M es un subgrupo de
G que contiene a N.

21. Respecto al problema anterior: si M  G entonces M  G .

N

22. Probar que si X es el conjunto vacío, el subgrupo normal generado por X es 1 . Sí X no es vacío,
el subgrupo normal generado por X es el conjunto de los productos de conjugados de elementos de
X  X 1 .

 
23. Sea H  G y N G  H   x  G x 1 Hx  H . Probar que:
a) N G  H   G
b) H  NG  H 

4
 c) Si para K  G se tiene que K  H , entonces K  NG  H  . ( N G  H  es el máximo
subgrupo de G en el cual H es normal).

24. Sea A un conjunto con más de dos elementos. Si H y K son subgrupos de G entonces
b g b g bg
N G H  K  N G H  N G K . Dar un ejemplo en el cual la inclusión es propia.

25. Si M  G y N  G y M  N  1 , probar que para todo m  M , n  N : mn  nm.

26. Sea G un grupo tal que todos sus subgrupos son normales. Si a, b  G, mostrar que ba  a k b para
algún k entero.

27. Sea G un grupo, para cada a  G se define  a : G  G por  a ( x)  a 1 xa. Mostrar:

a)  a : G  G es un isomorfismo
b) Si definimos  : G  Sim(G ) por (a)   a , entoncese  es morfismo.
c) Ker ( )  Z (G ).

28. Si f  Aut(G ) y N  G , entonces f ( N )  G .

29. Un subgrupo T de G es característico si para todo f  Aut(G ) se tiene f (T )  T . Probar:

a) Si T es característico entonces T  G
b) Si M y N son característicos en G, entonces MN es característico en G
c) Un subgrupo normal no es necesariamente característico.

30. Sea G un grupo con G  pm, donde p  m y p es primo. Si H  G es de orden p, probar que H es
característico en G.

31. Sea G un grupo abeliano de orden G  p r m, donde p  m y p es primo. Si H es un subgrupo de

orden p r , probar que H es un subgrupo característico de G.

32. El problema anterior es verdadero si G no es abeliano pero H  G.

33. Sea N  G y M  N un subgrupo característico de N. Mostrar que M  G .

34. Sea G un grupo, Aut(G ) el grupo de automorfismos de G, sea In(G ) la imágen de  : G  Sim(G )
según el Problema 18. Mostrar que In(G )  Aut(G ) . In(G ) es el grupo de automorfismos internos de G.

35. Sea f una función biyectiva de G sobre G tal que g  G :  g f  f  g . Probar que h  G : f   h .

36. Demostrar que el centro de un grupo Z  G  es un subgrupo abeliano característico de G, y cada

subgrupo H de Z  G  es normal en G. ¿H es característico en G?

5
37. Sea K un subgrupo característico de G.
a) Sea f  Aut  G  . Sea f la correspondencia de G K en G K , definida por
f : gK   g  f K . Mostrar que f  Aut G
K  
. La correspondencia f  f es un

monomorfismo Aut  G   Aut G

K 
.
b) Sea K  H  G , si H K es un subgrupo característico en G K , entonces H es un subgrupo
característico en G.

38. i) Si H es subgrupo característico en K, K es subgrupo característico en G y H  K entonces

H es subgrupo característico en G.
ii) Si H es subgrupo característico en K y K G , entonces H es subgrupo característico en G.
iii) Sea G un grupo finito. Si K G y  K , G : K   1 , entonces K es subgrupo característico en G.

39. Si N  G y H es un subgrupo de G, mostrar que H  N  H .

40. Si G es un grupo no abeliano de orden 6, mostrar que G es isimorfo a S3 .

41. Sea G un grupo, H  G y G  aH a  G . Para b  G definimos fb : G G por

H H H
fb (aH )  b 1aH .
a) Probar que fb f c  fbc , esto muestra que la función f : G  Sim G  H  definida por
(b) f  fb es un morfismo
b) Calcule Ker( f ) .
c) Mostrar que Ker( f ) es el máximo subgrupo normal de G contenido en H.

42. Si G es un grupo finito y H  G es tal que n  G : H ! , donde G  n , mostrar que existe un

subgrupo normal de G no trivial contenido en H. (Sugerencia: usar el Problema 29).

43. Sea G un grupo de orden 21 con un elemento a de orden 7. Mostrar que H  a es normal en G.
(Sugerencia: usar el problema anterior).

44. Sea G un grupo de orden 36 con un subgrupo H de orden 9. Mostrar que H  G o existe un
subgrupo N  G , N  H con N  3 .

45. Probar que un grupo de orden 9 debe ser abeliano.

46. Mostrar que un grupo de orden p 2 , con p primo, tiene un subgrupo normal de orden p.

47. Usando el problema anterior mostrar que un grupo de orden p 2 , con p primo, es abeliano.

48. Sea G un grupo de orden 15, mostrar que existen elementos a, b  G tales que a 3  1 y b5  1 .

6
49. En relación con el grupo del problema anterior, mostrar que los subgrupos generados por a y b,
respectivamente son normales en G.

50. A partir del resultado del problema anterior, mostrar que todo grupo de orden 15 es cíclico.

51. Mostrar que sí un grupo finito G tiene exactamente un subgrupo H de un orden dado, entonces H es
un subgrupo normal de G. ¿Qué se puede decir si G no es finito?

52. Mostrar que sí H y N son subgrupos de un grupo G y N G , entonces H  N H . Mostrar, con un

ejemplo, que H  N no es necesariamente un subgrupo normal de G.

53. Sea G un grupo que contiene al menos un subgrupo de orden finito m. Mostrar que la intersección
de todos los subgrupos de G de orden m es un subgrupo normal de G.

54. a) Mostrar que sí N G y H es un subgrupo de G, entonces HN  NH  H , N .

b) Sí M , N G , entonces M N G .

lq
55. Mostrar que H y K son subgrupos normales del grupo G y H  K  1 , entonces hk  k h, para
todo h  H y k  K .

56. Sea G un grupo y H un subgrupo de indice finito. Mostrar que H contiene un subgrupo normal en G
de indice finito.

57. Construir un grupo G y un subgrupo normal N, tal que N contenga un subgrupo normal en N y que
no sea normal en G. (Esto muestra que la relación "ser normal en" no es transitiva).

58. Sea G un grupo y n un natural tal que la función definida por  x  f  x n , es un automorfismo de
G. Mostrar que g  G : g n 1  Z  G  .

59. Probar que un grupo G es abeliano sí y sólo si la función f : G  G definida por f ( x )  x 1 es un

morfismo.

60. Sea G un grupo finito y f  Aut(G ) tal que f 2  I G . Suponer que si ( x) f  x entonces x  1 .
Probar que f ( x)  x 1 para todo x  G y por tanto que G es abeliano. (Sugerencia: probar que cada
elemento de G tiene la forma x  x  f ).
1

61. Sea G un grupo finito y f  Aut(G ) tal que f ( x)  x 1 para más de las tres cuartas partes de los
elementos de G. Probar que f ( x)  x 1 para todo x  G y que, por tanto, G es abeliano.

62. Probar que todo grupo finito con más de dos elementos tiene un automorfismo no trivial.

7
63. Sea * el grupo multiplicativo de los números reales distintos de cero,   el subgrupo de los
*
núneros reales positivos, describa   exhibiendo las clases laterales de   en * , ¿cual es la

operación inducida?

*
64. Sea * y H  1, 1 , mostrar que se puede "identificar"  con   . ¿Cuales son las clases
H
laterales de H en * ?

65. Mostrar que toda clase lateral izquierda del subgrupo  del grupo aditivo  , contiene exáctamente
un representante x  tal que 0  x  1.

66. En el grupo aditivo  de los números reales, los enteros  son un subgrupo normal. Si
m r
T  z  z  1 es el grupo (multiplicativo de los complejos de módulo 1, mostrar que existe un
isomorfismo    . (Geométricamente  es el círculo unitario con una operación apropiada).
 

67. En analogía con el problema anterior,  2 es un grupo aditivo (es un espacio vetorial real), 2 es un
subgrupo normal de 2 . Mostrar que geométricamente  2 se puede identificar con un toro, por
2


tanto en el toro se puede definir una operación de tal manera que se convierta en un grupo.

68. Sean k, n , mostrar que existe un homomorfismo f :kn n . Determine Ker f , i.e., encuentre

un grupo conocido isomorfo a Ker f . Determine el grupo cociente kn  Im f . ¿Para qué
Ker f
valores de k, f es un isomorfismo?

69. Probar que S n  n  2  es homomorfo a un grupo con dos elementos.

70. Mostrar que el grupo de matrices invertibles de orden 2 con entradas en  2 , GL2   2  , es isomorfo
al grupo S3 .
71. Probar que D3  S3 .

72. Mostrar que el grupo aditivo de los números complejos  es isomorfo al grupo de matrices de la
 a b
forma   , a, b  , con la operación suma de matrices.
 b a 
73. Determinar un grupo de matrices isomorfo al grupo alternante A4 .

74. Probar que cada subgrupo del grupo de los cuaternios Q es normal.

75. Probar que Q no es isomorfo a D4 .

76. Mostrar que Q y D4 son los únicos grupos no abelianos de orden 8.

8
77. Considere un campo F, y el grupo GF cuyos elementos son parejas  a,   con a,   F , a  0, y
con multiplicación  a,   b,     ab, a     , mostrar:
i) H  1,    F  es un subgrupo de GF
ii) Si  a,    GF , entonces  a,   H   a, a      F   H  a,     a,      F 
 HGF
iii) H  a,   H  b,     ab,     F 
iv) F H es abeliano y f : F H  F * , definido por:  H  a,    f  a es un isomorfismo.
G G

78. Si G es un grupo y N  G es tal que G es abeliano, mostrar que x, y  G :  x, y   xyx 1 y 1  N .

N
(  a, b  es el conmutador de a y b. a y b conmutan si y sólo si  a, b   1. )

79. Probar el recíproco del problema anterior: Si G es un grupo y N  G es tal que

x, y  G :  x, y   xyx 1 y 1  N , entonces G es abeliano.
N

80. Sea G un grupo finito de orden impar y sea x el producto de los elementos de G en algún orden.
Probar que x  G ' , G ' subgrupo derivado de G.

81. Sea H  G tal que G'  H , entonces HG .

82. Calcule el subgrupo conmutador D4 ' del grupo D4 .

 N   Z G  N .
83. Sea N  G tal que N  G '  1. Entonces N  Z  G  , deducir que Z G

84. Sean H , J , K G tales que J  H . Si H  Z  G   HK  Z G

JK 
.
J J JK

85. Sean K  H  G con K  G . Entonces

i) K  G   H , G   H
ii) H
K  K    H , G  K.
Z G

86. Sea K  G , entonces

a) Si x, y  G, entonces en G K , tenemos xK , yK  x, y K

 
H, J K '
b) Si H , J  G entonces HK K , JK K  K . En particular: G  G'K (subgrupos
K K
derivados).

87. Sea G  H  K , entonces

i) Si h, h '  H ; k , k '  K   h, k  ,  h ', k '    h, h ' ,  k , k '
ii) Si H1 , H2  H ; K1 , K2  K  H1  K1 , H2  K2  H1 , H2  K1 , K2 . En particular
G '  H ' K ' .

9
88. a) Sean H , K  G , H y K cíclicos y H  h, K  k. Si  h, k   1 entonces el producto directo
de H y K, H  K es un grupo cíclico de orden hk.
b) Si G es un grupo cíclico de orden n   h, k  , entonces G tiene exactamente un subgrupo
H , H  h y un subgrupo K , K  k . Mostrar que G=HK, H  K   h, k  .
c) Sea p un primo. Mostrar que un grupo cíclico de orden p  no es producto de subgrupos
propios.
d) Sean p1 , p2 ,  , pr números primos distintos. Entonces, un grupo cíclico de orden
p11 p2  2  pr  r es el producto directo de r grupos cíclicos de orden p11 , p2  2 ,  , pr  r ,
respectivamente, y estos son únicos.

89. Sea G un grupo abeliano finito de orden G  n y sea k un entero primo relativo a n. Entonces todo
elemento g  G se puede escribir como g  y km , para algún y  G .

90. Sea G un grupo abeliano de orden p1  p2   pk donde p1 , p2 , , pk son primos distintos, mostrar
que G es cíclico. (Ver problema 32 y 52 de la Lista 2).

91. Sea G un grupo abeliano de orden pr n , donde p es primo y p  n. Sea

 
P  a  G a p  1, para algún k . Mostrar:
k

a) P  G
b) G no tiene elementos de orden p
P
c) P  p r .

92. Sea G un grupo abeliano de orden mn, donde (m, n)  1 . Sea M  a  G a m  1 . Mostrar 
a) M  G ,
b) G no tiene elementos x distintos de la identidad tales que x m  1.
M

93. Sea G un grupo abeliano y T el conjunto de elementos de G de orden finito. Mostrar

a) T  G ,
b) G no tiene elementos de orden finito.
T

94. Sea G el grupo de las funciones f :  0,1   con la operación de suma: f  g , donde
f  g  ( x)  f ( x)  g ( x) , para x   0,1 . Si N   f  G f (¼) = 0 , mostrar que G  .
N
*
95. En la situación del Problema 46 probar que    .
H

96. Sea G un grupo y N  G si a  G es de orden finito, probar que aN es de orden finito en G y

N
que Na a.

97. Sí HG y tiene índice n en G, entonces para todo g G se tiene g  H . Dar un ejemplo de que
n

esto puede ser falso cuando H no es normal.

10
98. Sea f : G  H un morfismo con kernel K. Este induce un isomorfismo f: G K  Im f , y para
cada h Im f sea  h  G con   h  f  h . Mostrar que el morfismo inverso de f: G K  Im f
está dado por la correspondencia h   h K .
99. Sea HG y p : G  G H el epimorfismo canónico. Sea X  G tal que G H  p X . Probar b g
que G  H  X .

100. Sea G un grupo abeliano finito de orden n y sea r un entero positivo, primo relativo con n.
a) Mostrar que la transformación f r : G  G dada por a f r  a r , a  G , es un isomorfismo
de G sobre sí mismo.
b) Deducir que la ecuación x r  a siempre tiene solución única.
¿Qué sucede sí r y el orden de G no son primos relativos?

101. b g
Sea G un grupo finito tal que para algún entero n  1 , ab  a b para todo a, b G. Sean
n n n

m
Gn  c G| cn  1 r m r
y G  c | c G , mostrar que Gn y G son subgrupos normales de G y
n n n

que G  G : Gn .
n

102. c h
Sea G un grupo finito con HG tal que H , G: H  1 . Mostrar que H es el único subgrupo
de G de orden H . (Sugerencia: ¿sí K es un subgrupo normal con K  H , que pasa con K en
G
H ?)

103. Sea HG , ¿necesariamente G contiene un subgrupo isomorfo a G H ?

104. Sea G un grupo finito con subgrupos normales H y K. Sí G H  G K ¿se tiene H  K ?

105. Sean H , K  G , una clase lateral doble de H y K es un subconjuto de G de la forma Ht K

donde t G . Probar que la familia de las distintas clases laterales dobles constituye una partición
de G. (Sugerencia: examine la siguiente relación: t ~ t '  h  H , k  K: t '  ht k ).
n
106. Sean H , K  G , donde G ess un grupo finito y que G   H ti K . Probar que
i 1
n
G: K   H: H  ti Kti .
1

i 1
(El Teorema de Lagrange es un caso particular de este resultado con K=1).

107. Sea H  G , x G  H de orden 2 y xHx  H . Probar que H , x : H  2. (Sugerencia:

mostrar que H , x  H  Hx ).

108. Sean G y H grupos. Considere el grupo G  H .

11
 a) Mostrar que hay un monomorfismo i1 : G  G  H tal que (G ) i1  G  H , dado por
( g ) i1  ( g ,1) ,
b) Repita la parte a) para H.
c) Usando estos monomorfismos probar que (G ) i1 ( H ) i2  G  H y que (G ) i1  ( H ) i2  1
d) Probar que G  H  H  G.

100. Sea G un grupo y W  G  G. Probar que:

a) La función  : G  W definida por  (a)  (a, a ) es un monomorfismo
b) La imagen (G ) en W es normal si y sólo si G es abeliano.

101. Sea :G  G  G la operación de un grupo G. Sí G  G es considerado como un grupo (el

producto directo) probar que  es un morfismo sí y sólo si G es abeliano.

102. Sí p es un primo, probar que  p2 =  p   p .

103. Probar que D6  S3  2 .

lq
104. Mostrar que las clases laterales izquierdas del subgrupo 0   2 de    2 forman un grupo
isomorfo a  bajo la operación inducida en las clases laterales izquierdas.

105. Sean H y K grupos, sea G  H  K , mostrar:

a) N  (a,1) a  H  es un subgrupo normal de G
b) N  H
c) G  K .
N

106. Sea N G  H  K. Probar que N es abeliano o N intersecta a uno de los factores H o K no

trivialmente.

107. Dar un ejemplo de un grupo abeliano H  K que contiene un subgrupo no trivial N tal que
lq lq
N  H  1 y N  K  1 . Concluir que sí N  H  K entonces es posible
N  b N  H g  b N  K g.
G  K 
108. Sea JG y LK . Entonces  J  L  1  G  K  y
 J  L  J   K L .
 G

109. Sean H, KG , probar que la correspondencia g  H  K    gH , gK  , de

G a G G , es un monomorfismo. En particular, si G H y G K son abelianos
H  K  H K
entonces G es abeliano
H  K 

12
110. Sea G un grupo con un subgrupo simple H de índice 2. Probar que H es el único subgrupo
normal de G o G contiene un subgrupo normal K de orden 2 con G  H  K . (Sugerencia: usar
los teoremas de isomorfismo).

111. Calcule todos los subgrupos de  2   2   2.

112. Encuentre todos los subgrupos propios de  2   2   2 que sean isomorfos al 4-grupo de Klein.

113. Dar un ejemplo que ilustre que hay grupos abelianos que no son producto directo de dos
subgrupos.

l
114. Mostrar que S3 no es producto directo (interno) de los subgrupos H   0 ,  1 ,  2 q y
l q
K   0 , 1 .

b g
115. Sea n  rs con r , s  1. Probar que  n es producto directo (interno) de los subgrupos
r y s.
116. ¿Cuántos homomorfismos hay de  2   2 en  2 ? ¿De  2   2 sobre  2 ? ¿De  2   2 en  6 ?
¿De  2   2 en  2   2   2 ? ¿De  2   2 en  2   2   4 ?

b g b g
117. Sea G un grupo. Sí f :    G es un homomorfismo y 1,0 f  h , mientras que 0,1 f  k ,
b g
calcular m, n f .
b g
118. Sean h, k  G y g:   G definido por m, n g  h m k n . Dar una condición necesaria y
suficiente, incluyendo a h y k, para que g sea un homomorfismo. Pruebe su afrmación.

119.
3
bg
Probar que sí G es un grupo no abeliano de orden p , donde p es primo, entonces Z G  G'.

120. Sea p un primo impar. Probar que, salvo isomorfismo, existen a lo más dos grupos no abelianos
3
de orden p : uno tiene generadores a y b que satisfacen las relaciones
2
a p  1  b p y bab 1  a p1; el otro tiene generadores a,b y c que satisfacen las relaciones
c  aba 1b1 , ca  ac, cb  bc y a p  b p  c p  1.
121. i) Probar que el grupo de rotaciones del tetraedro es isomorfo a A4 .
ii) Probar que el grupo de rotaciones del octaedro y del cubo es isomorfo a S4 .
iii) Probar que el grupo de rotaciones del icosaedro y del dodecaedros isomorfo a A5 .

13