UNIVERSIDAD CENTRAL DEL ECUADOR

Omniun potentior est sapientia

Facultad: Ciencias Físicas y Matemáticas

Carrera: Ingeniería Matemáticas
Integrantes: Sofía Jara, Josselin Landeta, Katherine Nieto
Fecha de entrega: 2018-05-22
Tema: Grupo Diedral 4

Grupos Diédricos
Un grupo diedral o grupo diédrico es el grupo de simetría de un polígono regular, incluyendo
tanto rotaciones y reflexiones.

Diedral 4

D4=<a,b| a4=1, b2=1, (ab)2=1>

D4={1,a, a2 , a3,b, ab, a2b, a3b}

Realizando la tabla pitagórica obtenemos:

. 1 a a2 a3 b ab a2b a3b
1 1 A a2 a3 b ab a2b a3b
a A a2 a3 1 ab a2b a3b b
a2 a2 a3 1 a a2b a3b b ab
a3 a3 1 a a2 a3b b ab a2b
b B a3b a2b ab 1 a3 a2 a
ab ab B a3b a2b a 1 a3 a2
a2b a2b Ab b a3b a2 a 1 a3
a3b a3b a2b ab b a3 a2 a 1

Verifiquemos si en el diedral cuatro se hallan subgrupos.

Por definición sabemos que H es subgrupo de G si

1. H es no vacío.
2. Para todo g,g’ pertenece H: g*g’ también pertenece a H
3. Para todo g que pertenece H su inverso también esta en H.

En efecto el diedral 4 tiene subgrupos de orden 1,2, 4 y 8.

 UNIVERSIDAD CENTRAL DEL ECUADOR
Omniun potentior est sapientia

 El subgrupo de orden 1 es el trivial.

 Ahora busquemos los subgrupos de orden 4.

. 1 A a2 a3 b ab a2b a3b
1 1 A a2 a3 b ab a2b a3b
A A a2 a3 1 ab a2b a3b B
a2 a2 a3 1 A a2b a3b b Ab
a3 a3 1 a a2 a3b b ab a2b
b B a3b a2b Ab 1 a3 a2 A
ab ab B a3b a2b a 1 a3 a2
a2b a2b Ab b a3b a2 a 1 a3
a3b a3b a2b ab B a3 a2 a 1

𝐻1 = {1, 𝑎, 𝑎2 , 𝑎3 } Verifiquemos si en efecto es un subgrupo de 𝐷4 .

 𝐻1 es un conjunto no vacío.
 Verifiquemos la propiedad 2, realizando la tabla pitagórica

. 1 A a2 a3
1 1 A a2 a3
a a a2 a3 1
a2 a2 a3 1 a
a3 a3 1 a a2
En efecto para cualquier elemento de 𝐻1 la operación que se define sigue en 𝐻1 .

 Probemos la tercera propiedad, revisando la tabla pitagórica.

. 1 a a2 a3
1 1 A a2 a3
a a a2 a3 1
a2 a2 a3 1 a
a3 a3 1 a a2

Probemos que para todo g que pertenece H su inverso también esta en H.

1=1∗1
 UNIVERSIDAD CENTRAL DEL ECUADOR
Omniun potentior est sapientia

1 = 𝑎 ∗ 𝑎3

1 = 𝑎2 ∗ 𝑎2

1 = 𝑎3 ∗ 𝑎

Por tanto 𝑔−1 pertenece a H

Como verifica 1,2 y 3 𝐻1 es un subgrupo de 𝐷4

𝐻1 tiene la forma del conjunto 𝐶4 ,

Ahora busquemos otro subgrupo de orden 4 en nuestra tabla pitagórica

. 1 a a2 a3 b ab a2b a3b
1 1 a a2 a3 b ab a2b a3b
a A a2 a3 1 ab a2b a3b B
a2 a2 a3 1 a a2b a3b b Ab
a3 a3 1 A a2 a3b b ab a2b
b B a3b a2b ab 1 a3 a2 A
ab ab b a3b a2b a 1 a3 a2
a2b a2b ab B a3b a2 a 1 a3
a3b a3b a2b Ab b a3 a2 a 1
𝐻2 = {1, 𝑏, 𝑎2 , 𝑎2 𝑏}. También es un subgrupo de 𝐷4 ya que verifica las tres propiedades anteriores, además
este subgrupo tiene una particularidad.

Veamos la tabla pitagórica de 𝐻2

. 1 a2 b a2b
1 1 a2 b a2b
a2 a2 1 a2b b
b B a2b 1 a2
a2b a2b b a2 1

Tiene unos en su diagonal principal, por tanto 𝐻2 = 𝐾, llamado Klein.

Finalmente 𝐷4 tiene un último subgrupo 𝐻3 .

 UNIVERSIDAD CENTRAL DEL ECUADOR
Omniun potentior est sapientia

. 1 a a2 a3 b ab a2b a3b
1 1 a a2 a3 b ab a2b a3b
a A a2 a3 1 ab a2b a3b b
a2 a2 a3 1 A a2b a3b b ab
a3 a3 1 A a2 a3b b ab a2b
b B a3b a2b ab 1 a3 a2 a
ab Ab b a3b a2b a 1 a3 a2
a2b a2b ab B a3b a2 a 1 a3
a3b a3b a2b Ab B a3 a2 a 1
𝐻3 = {1, 𝑎2 , 𝑎𝑏, 𝑎3 𝑏}, 𝐻3 también cumple con las propiedades anteriores, además también es un Klein, ya que
su diagonal principal está formada por unos.

. 1 a2 ab a3b
1 1 a2 ab a3b
a2 a2 1 a3b ab
ab Ab a3b 1 a2
a3b a3b ab a2 1
Llamaremos 𝐻3 = 𝐾′.

Por tanto el grupo 𝐷4 tiene 3 subgrupos de orden 4 {𝐶4 , 𝐾, 𝐾′}

 Busquemos los subgrupos de orden 2

Regresemos a la tabla pitagórica.

. 1 A a2 a3 b ab a2b a3b
1 1 A a2 a3 b ab a2b a3b
a a a2 a3 1 ab a2b a3b b
a2 a2 a3 1 a a2b a3b b ab
a3 a3 1 A a2 a3b b ab a2b
b b a3b a2b ab 1 a3 a2 a
ab ab B a3b a2b a 1 a3 a2
a2b a2b ab B a3b a2 a 1 a3
a3b a3b a2b Ab b a3 a2 a 1
Separando tenemos
 UNIVERSIDAD CENTRAL DEL ECUADOR
Omniun potentior est sapientia

𝐻1 = {1, 𝑎2 }

. 1 a2
1 1 a2
a2 a2 1
𝐻2 = {1, 𝑏}

. 1 b
1 1 b
b b 1

𝐻3 = {1, 𝑎𝑏}

. 1 ab
1 1 ab
ab ab 1

𝐻4 = {1, 𝑎2 𝑏}

. 1 a2b
1 1 a2b
a2b a2b 1

𝐻5 = {1, 𝑎3 𝑏}

. 1 a3b
1 1 a2b
a3b a2b 1

Por tanto el grupo 𝐷4 tiene 5 subgrupos de orden 2 {𝐻1 , 𝐻2 , 𝐻3 , 𝐻4 , 𝐻5 }

 El 𝐷4 tiene 1 subgrupo de orden 8 y este es el mismo grupo 𝐷4 . Recordemos que un conjunto es

subconjunto de sí mismo.

Con todo estos datos realicemos el reticulado de 𝐷4 .

 UNIVERSIDAD CENTRAL DEL ECUADOR
Omniun potentior est sapientia

𝐷4

𝐾 𝐶4 𝐾′

{1, 𝑏, 𝑎2 , 𝑎2 𝑏} {1, 𝑎, 𝑎2 , 𝑎3 } {1, 𝑎2 , 𝑎𝑏, 𝑎3 𝑏}

.

𝐻4 𝐻2 𝐻1 𝐻3 𝐻5
{1, 𝑎2 𝑏} {1, 𝑏} {1, 𝑎2 } {1, 𝑎𝑏}. {1, 𝑎3 𝑏}
. . . .

{1}

Realicemos el Diagrama de Cayley para el diedral cuatro

a
1 a

b
a3b a2

b
a2b b a3

ab b
 UNIVERSIDAD CENTRAL DEL ECUADOR
Omniun potentior est sapientia

1 a

a2b
ab

a3b ab a2

a3b
a3b

a2 a a2b
a3b
a2b a3

a2b
ab

ab b
Bibliografía
Fraileg. (1982). Álgebra Abstracta. Massachusetts: Adisson-Wesley.

http://cadadr.org/san-salvador/2018-algebra/subgrupos-de-d4.pdf