EJERCICIOS EXTRAS 1

  
a a
1. Sea G = : a ∈ R, a 6= 0 . Demuestre que G es un grupo bajo
a a
la multiplicación de matrices. Explique porque cada elemento de G
tiene un inverso aún cuando las matrices tienen determinante cero.
  
 1 a b 
2. El grupo de Heisenberg. Demuestre G = 0 1 c  : a, b, c ∈ R es
0 0 1
 
un grupo bajo la multiplicación definida por

1 a0 b0 1 a + a0 b0 + ac0 + b
    
1 a b
0 1 c  0 1 c0  = 0 1 c0 + c  .
0 0 1 0 0 1 0 0 1

3. Pruebe que si G es un grupo con la propiedad que el cuadrado de cada

elemento es la identidad, entonces G es abeliano.

4. Cancelación a mitad.

a) De un ejemplo de elementos a, b, c y x de un grupo donde axb =

cxd pero ab 6= cd (i.e. la cancelación a mitad no es una propiedad
elemental de grupos)
b) Cancelación a mitad implica conmutatividad.
Suponga que G es un grupo con la propiedad de cancelación a
mitad (i.e. ∀a, b, c, x ∈ G, axb = cxd implica ab = cd). Demuestre
que G es abeliano.

5. Pruebe que el conjunto de números racionales de la forma 3m 6n , donde

m y n son enteros, es un grupo bajo la multiplicación ordinaria.

6. Los enteros 5 y 15 están en una colección de 12 enteros que forman un

grupo bajo la multiplicación módulo 56. Liste todos los 12 elementos
del grupo.

7. Pruebe que un grupo G es abeliano sii (ab)−1 = a−1 b−1 para todo a y
b ∈ G.

8. Sea G un grupo con la siguiente propiedad que si a, b, c ∈ G y ab = ca,

entonces b = c. Pruebe que G es abeliano.

1
 9. Propiedad medias-zapatos.

a) Demuestre que en un grupo (ab)−1 = b−1 a−1 .

b) Encuentre un ejemplo que muestre que es posible tener (ab)−2 6=
b−2 a−2 .
c) Encuentre distintos elementos a y b, diferentes a la identidad, de
un grupo no abeliano con la propiedad (ab)−1 = a−1 b−1 .
d) Explique porque la sentencia (ab)−1 = b−1 a−1 es analoga a el
hecho de ponerse y quitarse las medias y los zapatos.

10. Al digitar una tı́pica lista de nueve enteros que forman un grupo bajo
la multiplicación módulo 91, ocurrio un error y uno de los números
no fue digitado, asi que en la lista solo aparecen 1,9,16,22,53,74,79,81.
¿Cuál fue el entero que falto?

11. Sean p y q primos distintos. Suponga que H es un subconjunto propio

de los enteros y H es un grupo bajo la suma que contiene exactamente
tres elementos del conjunto {p, p + q, pq, pq , q p }. Determine cuál de los
siguientes son los tres elementos en H.
a) pq, pq , q p
b) p + q, pq, pq c) p, p + q, pq d) p, pq , q p e) p, pq, pq
 
2 6
12. Encuentre el inverso de en GL(2, Z11 ). Demuestre que GL(2, Z11 )
3 5
es un grupo bajo la multiplicación de matrices.

13. Demuestre que la si de la definición de grupo cambiamos la condición

(ii) y (iii) por:
(ii)0 Existe e ∈ G tal que ea = a para todo a ∈ G.
(iii)0 Para cada a ∈ G existe a−1 ∈ G tal que a−1 a = e.
Esta nueva definición es equivalente a la definición de grupo. (i.e. solo
se necesita exigir que exista un modulo a izquierda e inverso a izquier-
da, lo mismo ocurre con ambas condiciones solo a derecha) ¿se puede
obtener una definición equivalente cambiando las condiciones por iden-
tidad a izquierda e inverso a derecha o viceversa?

14. a) Si S es un conjunto no vacı́o , muestre que el conjunto ℘(S) partes

de S no es un grupo bajo ninguna de las operaciones ∪ unión, ∩
intersección o \ diferencia.
b) Construya una tabla de Cayley para la diferencia simétrica 4 en
el conjunto ℘(X) partes de X = {a, b, c}.

2
15. El grupo de traslaciones. Para un punto fijo (a, b) ∈ R2 , defina las
transformaciones Ta,b : R2 −→ R2 por (x, y) 7−→ (x + a, y + a). De-
muestre que G = {Ta,b : a, b ∈ R} es un grupo bajo la composición de
funciones.

16. Sea p un número primo fijo. Sea Rp el conjunto de todos los números
racionales cuyo denominador es primo relativo a p. Sea Rp el conjunto
de todos los números racionales cuyo denominador es una potencia de
p (pi , i ≥ 0). Pruebe que ambos Rp y Rp son grupos abelianos bajo la
suma ordinaria de racionales.

17. Sea G un conjunto finito, no vacı́o, con operación binaria asociativa

tal que para todo a, b, c ∈ G ab = ac ⇒ b = c y ba = ca ⇒ b = c
(i.e. se cumplen las propiedades cancelativas a izquierda y derecha).
Demuestre que G es un grupo. Muestre que esta conclusión es falsa si
G es infinito.