MATEMÁTICA DISCRETA

UNIDAD 8
SUBGRUPOS

Definición:

Sea (G ; ) un grupo y sea H  H  G.

Si (H ; ) es grupo entonces H es subgrupo de G.

Ejemplos:

1) ( ; +) es un subgrupo del grupo ( ; +)

2) Sea A = { x  / x = 3 k con k  }

¿Es ( A ;+ ) subgrupo de ( ;+ ) ?

3) Sea B = { x  / x = 2 k + 1 con k  }

¿Es (B ; • ) subgrupo de ( - {0} ; • ) ?

 4) Sea H = { 1 } Analiza si es subgrupo de ( + ;•)

• 1
1 1

5) Analiza si S3 es subgrupo de S3

SUBGRUPOS ESPECIALES:

({e} ; ) es el subgrupo trivial de (G ; )

(G ; ) es el subgrupo impropio de (G ; )

Todos los demás subgrupos de un grupo, se llaman subgrupos propios.

 Ejercicio 24:

1) Indica el subgrupo trivial y el impropio del grupo ( ;+)

Subgrupo trivial: ( {0} ; + )

Subgrupo impropio: ( ;+)

2) Indica el subgrupo trivial y el  a b c

impropio del grupo: a b c a

b c a b
c a b c
Subgrupo trivial: ( {c} ;  )

Subgrupo impropio: ( {a, b, c} ;  )

 TEOREMA: CONDICIÓN NECESARIA Y
SUFICIENTE DE SUBGRUPOS

Sea (G ; ) un grupo.
1) H  
H es subgrupo de G  2) H  G
3)  a,b  H  a  b’ H

Dem) 
1) H   se cumple por definición de subgrupo
2) H  G se cumple por definición de subgrupo
3) Como por hipótesis (H; ) es subgrupo, es grupo en sí mismo:
 a, b  H  a, b’  H  a  b’  H
 TEOREMA: CONDICIÓN NECESARIA Y
SUFICIENTE DE SUBGRUPOS

Sea (G ; ) un grupo.
1) H  
H es subgrupo de G  2) H  G
3)  a,b  H  a  b’ H
Dem) 
1) Como (G;  ) es grupo y H  G  es asociativa en H.

2)  a, a  H  a  a’ H e  H (H tiene neutro)

3)  e, a  H  e  a’  H a’ H (H tiene simétrico)

4)  a, b  H  a, b’  H  (a ( b’)’)  H  a  b  H

 es cerrada en H.
 Ejercicio 25:

Sea: n ={x / x = n k con k  }

Demostrar que: ( n ; + ) es subgrupo de ( ;+)

1) H   ; 2) H  G ; 3)  a,b  H  a  b’ H

1) n = n • 1 y 1  nn n 

2)  x  n x n 

3)  a, b  n a=n•k  b=n•t con k,t 

a + (- b) = n • k + (- n • t) = n • ( k +(- t) )

a + (- b)  n 
 Ejercicio 26 (PROPUESTO):

Demuestra que dados dos subgrupos ( H1 ;  ) y (H2 ;  )

de un mismo grupo ( G ;  ), la intersección de ellos:
H = H1  H2 es también otro subgrupo del mismo grupo
( G ;  ).

1) H   ; 2) H  G ; 3)  a,b  H  a  b’ H
 Ejercicio 27:

Analiza si dados dos subgrupos ( H1 ;  ) y (H2 ;  ) de un

mismo grupo ( G ;  ), la unión de ellos H = H1 U H2 es
también otro subgrupo del mismo grupo ( G ;  ).

3 y5 son subgrupos de ( ; +)

¿Es H = 3 5 subgrupo de ( ; +) también?

CONDICIÓN para SUBGRUPOS FINITOS

Propiedad: Si (G; ) es un grupo y H es un subconjunto

finito no vacío, entonces H es subgrupo de G si y sólo si  es
cerrada en H.

Ejemplo:

 f1 f2 f3 f4 f5 f6
H = { f1, f2 }
f1 f1 f2 f3 f4 f5 f6
f2 f2 f1 f5 f6 f3 f4
f3 f3 f4 f1 f2 f6 f5 T = { f1, f2, f3 }
f4 f4 f3 f6 f5 f1 f2
f5 f5 f6 f2 f1 f4 f3
f6 f6 f5 f4 f3 f2 f1
 Ejercicio 28:

Dado el grupo finito (A ; ) dado por la siguiente tabla:

 a b c d e f g h ¿Cuáles de los siguientes

a a b c d e f g h conjuntos son subgrupos?
b b c d a h g e f
c c d a b f e h g H = {a, b}
d d a b c g h f e
e e g f h a c b d K = {a, b, c, d}
f f h e g c a d b
g g f h e d b a c F = {a, e}
h h e g f b d c a
M = {a, e, f }
 GENERADORES. GRUPOS CÍCLICOS

Sea (G; ) un grupo y a  G. Llamamos Subgrupo cíclico de

G generado por a al siguiente conjunto: < a > = { an / n  Z }

an significa a  a  a  ....  a ( n veces )

a-n = a-1  a-1  a-1 ...  a-1 ( n veces, a-1 es el simétrico de a )
a0 = e ( elemento neutro)

Ejemplo 1:

En el grupo ( ;+) hallemos el subgrupo cíclico generado por el 2:

<2>={x / x = 2 • k con k  }
 Ejemplo 2:

Consideremos el grupo finito (A ; ) dado por la siguiente tabla:

 a b c d e f g h
Obtengamos el subgrupo
a a b c d e f g h
cíclico generado por el
b b c d a h g e f
c c d a b f e h g elemento “d”
d d a b c g h f e
dd=c
e e g f h a c b d
f f h e g c a d b
ddd= b
g g f h e d b a c
h h e g f b d c a c

dddd= a
< d > = { d, c, b, a }

b
 GRUPOS CÍCLICOS

Un grupo (G, ) es cíclico  a  G tal que < a > = G.

Ejercicio 29:

Indica si cada uno de los siguientes grupos es cíclico y

los generadores:

1) ( ; +) = < 1 > = < -1 >

2) ( A = {1,-1, i, -i} ; • )
• 1 -1 i -i
1 1 -1 i -i
<1>={1} -1 -1 1 -i i
i i -i -1 1
< -1 > = { -1, 1 } -i -i i 1 -1

< i > = { i, -1, -i, 1 } = < - i >

3) (S3 ; o )

 f1 f2 f3 f4 f5 f6
f1 f1 f2 f3 f4 f5 f6 < f1 > = { f1 }
f2 f2 f1 f5 f6 f3 f4
f3 f3 f4 f1 f2 f6 f5 < f2 > = { f2 , f1 }
f4 f4 f3 f6 f5 f1 f2
f5 f5 f6 f2 f1 f4 f3 < f3 > = { f3 , f1 }
f6 f6 f5 f4 f3 f2 f1

< f4 > = { f4 , f5 , f1 } = < f5 >

< f6 > = { f6 , f1 }
4) ( Z5 ;+ )

+ 0 1 2 3 4 <0 > = {0 }

0 0 1 2 3 4
1 1 2 3 4 0 <1 > = {1,2,3,4,0 }
2 2 3 4 0 1
<2 > = {2,4,1,3,0 }
3 3 4 0 1 2
4 4 0 1 2 3 <3 > = <2 >

<4 > = <1 >

PROPIEDADES:

1. Todo grupo cíclico es abeliano

2. Todo subgrupo de un grupo cíclico es cíclico

Dem. Prop.1: Todo grupo cíclico es abeliano

Como G es cíclico:
G =  g ,  a, b  G a=g n  b=g m con n, m N

ab= g n g m = g n+m = g m+n = g m  gn = b  a

Entonces (G; ) es grupo abeliano.

Aclaración: la proposición recíproca no es verdadera

ORDEN DE UN ELEMENTO Y DE UN SUBGRUPO

Sea (G; ) un grupo y a  G.

El orden de un elemento es el cardinal del subgrupo que genera.
El orden de un subgrupo es el orden de su generador, o bien el
cardinal del subgrupo

Ejemplo:

 f1 f2 f3 f4 f5 f6
< f2 > = { f2 , f1 }
f1 f1 f2 f3 f4 f5 f6
Es de ORDEN 2
f2 f2 f1 f5 f6 f3 f4
f3 f3 f4 f1 f2 f6 f5
f4 f4 f3 f6 f5 f1 f2 < f4 > = { f4 , f5 , f1 }
f5 f5 f6 f2 f1 f4 f3 Es de ORDEN 4
f6 f6 f5 f4 f3 f2 f1
RETÍCULO O RED DE SUBGRUPOS

Dado un grupo (G; ) con neutro e, entonces el conjunto de todos los

subgrupos puede ser ordenado por la inclusión.

Si G es finito, entonces: (subgrupos de G;  ) es una Red con primer ele-

mento, el subgrupo trivial, y con último elemento, el subgrupo impropio.

Ejercicio 30: Haz la red de los subgrupos del grupo (S3 ; o)

H1 = {f1} H6

H2 = {f2 , f1}
H3 = {f3 , f1}
H2 H3 H4 H5
H4 = {f4 , f5 , f1}
H5 = {f6 , f1}
H6 = {f1, f2, f3, f4, f5, f6}
H1
PROPIEDADES DE LOS GRUPOS (Zn ; +)

➢ Todos los grupos ( n ; +n ) son cíclicos

➢ Sus generadores son: k / mcd ( k,n) = 1, 1 ≤ k ≤ n-1

➢ La cantidad de subgrupos de n es:Dn

➢ Cada subgrupo tiene por cardinal a uno de los elementos de Dn

➢ La red de subgrupos es isomorfa a ( Dn ;  ).

 Ejercicio 31:

Hallemos todos los generadores de ( 18 ; +18), los subgrupos y

armemos la red de subgrupos.

18 = {0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17 }

Gen 18 : …………………………………

1, 2, 3, 6, 9, 18
D18 = { ………………………………………}

6
Cantidad de Subgrupos: ……

1, 2, 3, 6, 9, 18
Cardinales de los subgrupos: ……………………………………
Subgrupos cíclicos:

H0 = <0 > = {0 }

H1 = <2 > = {0,2,4,6,8,10,12,14,16 }
H2 = <3 > = {0, 3 ,6, 9,12,15 }
( D18 ;  )
H3 = <6 > = {0, 6, 12 }
18
H4 = <9 > = {0, 9 }
H5 = Z18 H5 9 6

H1 H2

3 2

H3 H4
1

H0
Si n es primo, entonces ( n;+) tiene …. subgrupos.

¿Y su red cómo es?

¡¡¡HASTA EL
PROXIMO
VIDEO!!!