UNIVERSIDAD DEL ATLANTICO - DEPARTAMENTO DE CIENCIAS BASICAS

TALLER PARA PRACTICAR

GRUPOS Y SUBGRUPOS, TEOREMA DE LAGRANGE

Nombres: Fecha:
ASIGNATURA: TEORIA DE GRUPOS - GRUPO 24

1. Estudiar los temas desde la definición de subgrupos hasta el teorema de Lagrange.

2. Realizar la demostración de los siguientes teoremas que están en el libro de Caicedo: Lema
2.1 pag. 18, Proposición 2.3 pag. 19 y Teorema de Lagrange 2.7 pag. 22.

Realizar los siguientes ejercicios

 UNIVERSIDAD DEL ATLANTICO - DEPARTAMENTO DE CIENCIAS BASICAS
TALLER PARA PRACTICAR PARA EL PARCIAL FINAL
GENERACIÓN DE SUBGRUPOS, ORDEN DE UN ELEMENTO Y DIVISIBILIDAD
PROFESOR: HENRY GULLO

Nombre del estudiante: Fecha:

1. Sea f: (A, ∗) → (B, ∆) un homomorfismo sobreyectivo. Definimos en A la relación ≡ como

sigue: a1 ≡a 2 ⇔ f (a1)=f (a2) , para cualesquiera a1 , a2 en A.

i. Demuestre que ≡ es una relación de equivalencia.

ii. Demuestre que ≡ es compatible con ∗, es decir, si a1 ≡ a2 y b1 ≡ b2 ,
entonces:
a1 ∗ b1 ≡ a2 ∗ b2 .
iii. Se Á el conjunto de todas las clases de equivalencia A/ ≡ inducidas de la
relación ≡. Definimos ´¿ : Á × Á → Á como [a] ´¿ [b] = [a ∗ b].
Entonces, demuestre que: f́ : ( Á , ´¿ ) → (B, ∆) definido por f́ ([a]) :=
f(a) es un isomorfismo (como toda función definida sobre un conjunto cociente, es
importante probar como primer paso que f́ está bien definida, es decir que si
a1 ≡ a2 , entonces f́ ([a1 ])= f́ ([a2 ])¿ .
 UNIVERSIDAD DEL ATLANTICO - DEPARTAMENTO DE CIENCIAS BASICAS
TALLER PARA PRACTICAR

GRUPOS Y SUBGRUPOS, TEOREMA DE LAGRANGE

Nombre Estudiante: Fecha:

2. Demuestre que si (G, ·) es un semigrupo en el cual las ecuaciones ax = b, xa = b son solubles

para cualesquiera elementos a, b ∈ G, entonces (G, ·) es un grupo.

3. Demuestre que el conjunto G:={(a , b)∨a , b ∈ R , a ≠ 0} con la operación:

(a, b) (c, d) := (ac, ad + b)
es un grupo. ¿G es conmutativo?

4. Sea G un grupo tal que (ab)2=a2 b 2 para cualesquiera elementos a, b ∈ G.

Pruebe que G es conmutativo.

5. Sea (G, ·) un grupo abeliano. Pruebe que el conjunto H :={ x ∈G∨x2 =e } es un

subgrupo de G.

6. Sea G un grupo. Pruebe que son equivalentes:

(1). G es abeliano.
(2). (ab)2=a2 b 2 , para cualesquiera a, b ∈ G.
(3). b−1 a−1 ba=1 , para cualesquiera a, b ∈ G

7. Pruebe que la unión de dos subgrupos de un grupo G es un subgrupo de G si y sólo si uno

de los subgrupos contiene al otro. Pruebe que un grupo nunca es unión de dos subgrupos
propios.

8. Escriba la tabla de una operación binaria en el conjunto A = {a, b, c, d} de manera que no

exista ningún subconjunto propio (es decir, distinto de A) que sea cerrado por la operación.

2
9. Sea (G, ·) un grupo, en el cual a =e para todo a en G; demuestre que (G, ·) es abeliano.

10. Demuestre que si (G, ·) es un grupo finito de orden o(G)=n>2 , existen

a , b ∈G , a ≠ e , b ≠ e , a ≠ b , tales que ab=ba .

11. Sea (G, ·) un grupo finito de orden o(G)=2m , demuestre que existe a ∈G , a ≠ e , tal
que a2=e .

12. Sea G un grupo y H ⊂ G un subgrupo cuyo índice i(H ,G) es un número primo p. Pruebe
que H es un subgrupo propio maximal de G, es decir, que el único subgrupo de G distinto de
H que contiene a H es el propio G.

13. Sea G un grupo, g ∈ G y definimos nueva multiplicación ¿ sobre G por la fórmula a ¿ b

= agb para todo a, b ∈ G. Pruebe que G con la esta nueva operación · es un grupo.