PROBLEMAS DE ALGEBRA MODERNA I

LISTA 1

1. Diga cuáles de las siguientes son operaciones sobre :

ab
a) a b  ab  1 e) a b  i ) a b  a b
2
b) a b  a f ) a b  ab 2
c) a b  a 2  b 2 g) a b  2 ab
d ) a b  3 h) a b  ab
¿Cuáles son asociativas? ¿Cuáles son conmutativas? ¿Cuáles tienen elemento identidad?

2. Sea   ,    donde  y  son operaciones definidas por:

a  b   a, b  máximo común divisor
a  b   a, b  mínimo común múltiplo
a) Muestre que las operaciones son asociativas, conmutativas y distributivas
b) Verifique que las parejas   ,   y   ,   no son grupos.

3. Sea A   a ,b :    x  a ,b  ax  b, a  0, a, b   y como operación la composición usual de

funciones. Sean
B   a ,0  A 0  a  
C  1,b  A b  
a) Verifique que la composición es una operación en B. ¿Es Asociativa? ¿Conmutativa?
¿Existe elemento identidad?
b) Verifique que la composición es una operación en C. ¿Es Asociativa? ¿Conmutativa?
¿Existe elemento identidad?
c) Pruebe que todo elemento de A puede escribirse como producto de un elemento de B y un
elemento de C.

4. Sea C() el conjunto de funciones continuas de  en . ¿La composición es una operación en

C()?

5. Sea Func({1, 2}) el conjunto de funciones de {1, 2} en {1, 2}, y considere la composición de
funciones:
a) Calcule |Func({1, 2})|. Describa sus elementos.
b) Construya la tabla de Cayley de la composición.
c) ¿Cuál es el elemento identidad?
d) ¿La operación es conmutativa sobré los elementos invertibles?

6. Sean x, y   , definimos x  y  x 2 y  xy , mostrar que  no es conmutativa ni asociativa. Probar lo

mismo para x  y  x  2 y.

1
 7. En 2 definimos una operación por:  x, y    z, w    xz, yz  w  ,  x, y  ,  z, w    2 . ¿Qué
propiedades tiene esta operación?

8. Sea P un polinomio en dos variables reales, considere la operación definida por x  y  P  x, y  .

Encontrar los polinomios P tales que  es conmutativa y para los que es asociativa.

 a b  
9. Sea S    a, b    , mostrar:
 0 0  
a) S es cerrado con respecto a la multiplicación matricial.
1 c
b) Para cada c   la matriz   es identidad izquierda para esta operación.
0 0
c) Concluir que S no tiene identidad derecha.

10. Determínese si los siguientes conjuntos G con la regla indicada forman un grupo. En caso contrario,
indíquese cuales axiomas de grupo no son validos.
a) G = conjunto de los enteros, a • b = a - b.
b) G = conjunto de los enteros, a • b = a + b + ab.
c) G = conjunto de los enteros no negativos, a • b = a + b.
d) G = conjunto de los números racionales -1, a • b = a + b + ab.
e) G = conjunto de los números racionales (escritos de modo que el numerador y el
denominador sean primos relativos) con denominador divisible por 5, a • b = a + b.
f) G un conjunto que conste de más de un elemento, a • b = a para todo a,b G.

11. Sea  G ,   un conjunto con una operación asociativa. Probar que  G ,   es un grupo si y sólo si para
toda pareja a, b  G existe una única pareja x, y  G que satisfacen las condiciones
a x b y ya b .

12. Sea G un conjunto finito, provisto de una operación asociativa, para la cual se satisfacen las dos
leyes de cancelación, entonces G es un grupo. Con un ejemplo muestre que la hipótesis de finitud es
necesaria.

13. Sea G   , y sea  una operación asociativa en G, que además satisface:

a) Existe e  G tal que a  G : a  e  a
b) Para cada a  G existe y  a  G tal que a  y  a   e.
Entonces  G,  es un grupo. Si se modifican las hipótesis del problema de forma que:
a’) Existe e  G tal que a  G : a  e  a
b’) Para cada a  G existe y  a  G tal que y  a   a  e.
Muestre, mediante un ejemplo que  G,  no necesariamente es un grupo.

14. Sea  G,  un conjunto con una operación asociativa, en el cual todo elemento a  G tiene un único
seudoinverso: esto es, existe un único a'  G tal que a  a ' a  a . Mostrar que  G,  es un grupo.

2
15. Sea c , c  0. Entonces G  c n   forma un grupo con la multiplicación de
n
.

 2n k i 

16. Sea n  y n e
G 0  k  n    . Entonces G es un grupo con la multiplicación de . Este es
 
el grupo de las raíces n-ésimas de la unidad.

1  2m
17. Pruebe que el conjunto de los números de la forma con m, n  0, 1, 2,  , es un grupo bajo
1  2n
la multiplicación de los racionales.

18. Cuáles de las siguientes estructuras  G,  son grupos:

a) G    X  , A  B  A B (suma simétrica);
b) G    X  , A  B  A  B ;
c) G    X  , A  B  A  B (diferencia);
  X  es el conjunto de subconjuntos de X.

d) G  , x  y  xy ;
e) G    , x  y  xy ;
f) G   z   z  1 , x  y  xy ;
x y
g) G   c , c  , x y  ;
xy
1 2
c
h) G  a, b , a  a  a  b  a, b  a  b  b  b ;
i) G  a, b , a  b  b  a  a, a  a  b  b  b

19. Pruebe que el conjunto cos   isen   es un grupo con la multiplicación de los números
complejos.

20. ¿Los subconjuntos 2n n  y 2n 3m n, m  de  son grupos con respecto a la multiplicación?

21. Probar que las siguientes matrices forman un grupo con respecto a la multiplicación matricial:
 1 0   1 0   1 0   1 0 
 ,  ,  ,  .
 0 1   0 1   0 1  0 1

22. Mostrar que las matrices:

 1 0   0   2 0   0 1   0    0  2 
 ,  ,
2  ,  ,  2 ,  ;
 0 1   0    0    1 0   0   0 
donde  3  1,   1, forma un grupo de orden 6 con respecto a la multiplicación matricial. Escriba
su tabla de Cayley.

3
 1 1
23. Mostrar que las funciones: f1: z  z, f2 : z   z, f3 : z  , f4 : z   , del plano complejo extendido
z z
en sí mismo, forma un grupo con respecto a la composición de funciones. Escriba su tabla de
Cayley.

24. Muestre que las seis funciones

1 1 1 z
f1: z  z, f2 : z  , f3 : z  1  z, f4 : z  1  , f5 : z  , f6 : z  ,
z z 1 z z 1
del plano complejo extendido en sí mismo, forma un grupo con respecto a la composición de
funciones. Muestre, mediante una correspondencia adecuada, que este grupo y S3 tienen la misma
tabla de Cayley.

25. Transformaciones de Möbius: Sean a, b, c, d  y ad  bc  0. Sea z , entonces la función

az  b
z lleva círculos y líneas sobré círculos y líneas en el plano complejo. El conjunto de tales
cz  d
funciones forma un grupo con la composición de funciones.
az  b
 
26. Sea S  z z  1  , si a, b   satisfacen aa  bb  0  i.e. b  a  , las funciones z 
bz  a
tienen dominio y codominio S y forman un grupo con la composición de funciones.
xy
27. Sea S   1, 1   , y la operación  definida por x  y  con x, y  S . Muestre que (S, ) es
1  xy
un grupo.

28. Sea  el conjunto de los enteros y =. Se define la operación  por

 a, b    c, d    a  c,  1 
b  d . Demostrar que (, ) es un grupo no abeliano.
c

29. Sea =, donde  es en conjunto de los racionales. Se define la operación  por
 a, b    c, d    a  c, 2c b  d  . Demostrar que (, ) es un grupo. ¿Es abeliano?

30. Si se define la operación  por  a, b    c, d    a  c, 2 c b  d  , ¿es (, ) un grupo? Si se define la

operación  por  a, b    c, d    a  c, 2 c b  d  , ¿es (, ) un grupo?

31. Sea    f f :    y =. Se define la operación  por  a , f    b, g    a  b, h  , donde

h: está definida por  c  h   c  b  f   c  g . Demostrar que (, ) es un grupo.

32. Grupo de Lorentz: Mostrar que el conjunto de matrices

1 2  1 v 
 v2  
 v  A  1 c 2    v 1 
   2 
 c 
donde c  0 es una constante y c  v  c , es grupo con la operación
v v
 v1  A  v2  A   v3  A, con v3  1 v v2 .
1  1 22
c
4
33. Sea M 2    el conjunto de matrices de orden 2 con entradas en los enteros, y considérese el
subconjunto SL2    de M 2    cuyos elementos son las matrices con determinante igual a 1.
Muestre que con la multiplicación usual de matrices éste es un grupo, el Grupo Unimodular de
grado 2.

34. Usando tablas de Cayley para un conjunto de cuatro elementos, muestre que existen exactamente
dos grupos de orden 4 (no isomorfos).

35. Sea n un natural fijo y sea S  0, 1, 2,  , n  1 . Se define en S la operación  por:

a  b  a  b si a  b  n
a b  r si a  b  n  r , 0  r  n.
Demuestre que (S, ) es un grupo de orden n.

36. Construya las tablas de Cayley correspondientes al grupo del punto anterior, para n  3 y n  4.

37. Sea R un anillo conmutativo con identidad 1. Sea S el conjunto de las soluciones de x 2  1 en R.
Mostrar que S, con la multiplicación de R, es un grupo abeliano.

 
38. Sea R * el grupo de elementos invertibles de R  a  b 2 a, b   . ¿ R * es finito o infinito?

39. Sea * el conjunto de los números reales excepto el cero. Definimos  en  * por a  b  a b .
a) Probar que  es una operación asociativa en *
b) Probar que existe identidad izquierda para  y un inverso derecho para cada elemento en *
c) ¿  * es un grupo con esta operación?
d) Destaque la importancia de este ejercicio.

b g c h
40. Verifique sí , y   ,  son grupos cíclicos o no. Justifique su respuesta.

41. Sea  Simb Ag. Decimos que  mueve a  A sí a  a.Si A es un conjunto infinito, entonces el
conjunto H de las  Simb Ag que sólo mueven un número finito de elementos de A es un subgrupo
de Simb Ag.

42. a) Mostrar que el grupo simétrico S3 no es abeliano.

b) Mostrar que el grupo simétrico Sn no es abeliano para n  3 .

43. Calcular  ,  ,  1 ,  1 ,   y    , si

1 1

1 2 3 4 5 6 1 2 3 4 5 6 
   y   .
2 3 6 5 4 1 1 3 5 6 2 4 

44. Verificar que         si

1 2 3 4 5 1 2 3 4 5 1 2 3 4 5
  ,    ,    .
3 1 2 4 5 3 2 1 5 4  4 3 1 5 2

5
45. Calcular todos los elementos de los grupos S1 y S2 y sus tablas de Cayley.

46. a) Escriba los elementos de S4 .

b) ¿Cuáles elementos de S4 son su propio inverso?

42. Escriba los elementos de S3 y S4 en la notación de ciclos ajenos.

43. Demuestre que en S3 hay cuatro elementos de orden 2 y tres elementos de orden 3.

44. Calcule la estructura cíclica de todas las potencias de (1 2 3 4 5 6 7 8).

45. i) Calcule a 1ba cuando

a) a  135 12  , b  1579 
b) a   579  , b  123 .
c) Dados x  1 2  3 4  y y   5 6 1 3 , calcule a tal que a 1 xa  y.
ii) Pruebe que no existe a tal que a 1 1 2 3 a  1 3 5 7 8  .
iii) Pruebe que no existe a tal que a 1 1 2  a   3 4 1 5  .

1 2 3 4 5 6 7 8 9 a b c d e f 
46. Escriba   y   en ciclos ajenos. Calcule el
 4 6 9 7 2 5 8 1 3 c e d f b a
orden de estas permutaciones.

47. Verifique que el conjunto de permutaciones {I, (1 2)(3 4), (1 3)(2 4), (1 4)(2 3)} es un grupo
abeliano de orden 4. Calcule su tabla de Cayley.

48. Encuentre los elementos de A4 y después escríbalos en la notación de ciclos ajenos.

49. Calcule  a1 a2  ar  . ¿Para qué valores de r cada r-ciclo es su propio inverso?

1

a) Muestre que un ciclo de longitud r tiene orden r.

b) Mostrar que si C1 , C2 ,  , Cr son ciclos ajenos, donde Ci tiene orden di , i=1, 2, ... , n entonces
C1C2  Cr tiene orden el mínimo común múltiplo de d1 , d2 ,  , dr .
c) ¿Cómo calcularía el orden de una permutación dada?

50. Sean n y m naturales tales que m|n. Sea c un ciclo de longitud n en Sn . Entonces c m es el producto
de m ciclos ajenos de longitud n/m.

51. Siguiendo la línea del ejercicio anterior, complétese la siguiente afirmación con una condición que
incluya n y r de tal manera que el enunciado resultante sea un teorema:
“sí s es un ciclo de longitud n, entonces  r también es un ciclo sí y sólo si…..”

52. ¿Cuántos elementos de S3 dejan fijo al 3?

53. ¿Cuántos elementos de Sn dejan fijo al n?

6
54. H  Sn , probar que las permutaciones en H o son pares o exactamente la mitad son pares (aquí
n  2 ).

55. Sea n  2 y sea  una permutación impar dada en Sn . Probar que toda permutación impar en Sn es
producto de  y alguna permutación en An .

56. Probar que sí  es un ciclo de longitud impar entonces  2 es un ciclo.

b g b
57. Probar que Sn está generado por 12 y 12 3n . g
58. Calcular D3 y construir su tabla de Cayley. Haga lo mismo para D4 , el grupo de simetrías del
cuadrado.

59. Escriba a D4 como un grupo de permutaciones.

60. Sean f , g, h: definidas por  a  f  a  1 ,  2a  g  2a y  2a  1 g  2a  3 ,  2a  h  2  a  1

y  2a  1 h  2a  1 , para todo a . Demostrar que f , g , h  Sim    y que f 2  gh  hg .

61. Sea G un grupo en el cual g  G : g 2  1. Demostrar que G es abeliano.

62. Sea G un grupo en el cual a, b  G :  ab   a 2b 2 . Demostrar que G es abeliano.

2

63. Sea G un grupo en el cual a, b  G :  ab   a i bi , para tres enteros consecutivos i. Demostrar que G
i

es abeliano.

64. Encuentre en S3 una pareja a, b para los cuales  ab   a 2b 2 .

2

65. Sean a, b  G . Entonces a b  b a .

n
66. Sea g  G con g  n. Entonces, para cada entero m: g m  .
 n, m 
67. Si G es un grupo cíclico de orden finito n entonces el número de distintos elementos que generan a
G es   n  .
68. Sean a, b  G con a  n y b  m. Si a y b conmutan y (m, n)=1, entonces ab  nm.

69. Sea g  G con g  mn, donde (m, n)=1. Entonces existen elementos a, b  G , únicos, tales que
g  ab  ba, a  m, b  n.

70. Si en un grupo G se tiene b 1ab  a k , probar que b  r a s b r  a sk .

r

71. Si en un grupo G se tiene a 5  1 y aba 1  b 2 , si b  1 calcular b .

7
72. Una involución en un grupo G es un elemento g de orden 2.
a) Mostrar que si G es de orden impar, entonces G no tiene involuciones.
b) Probar que un grupo de orden par contiene un número impar de elementos de orden 2.
c) Mostrar que en un grupo finito de orden impar, el producto de todos sus elementos es la
identidad.

73. Sea G un grupo abeliano finito de orden n. Mostrar que el producto de los n elementos de G es igual
al producto de los elementos de G de orden 2. Aplicando este resultado al grupo multiplicativo de
los elementos distintos de cero del campo p , probar el teorema de Wilson para números primos:
 p  1!  1mod p.

74. Sea g  G un elemento fijo. Muestre que las correspondencias x  g x, x  xg , x  g 1 xg , con

x  G , son biyecciones; mientras que la correspondencia x  x 1 g x no lo es, sí G  1.

75. Que se puede decir de un grupo con elementos a, b, c, d, e, distintos de la identidad, tales que
ab  c, bc  d , cd  e, de  a, ea  b.