Grupo didrico D4

21 de marzo de 2010

Resumen En este ejercicio se estudiar el grupo de simetras de un cuadrado. Se obtendr la tabla de multiplicacin del grupo, las clases de conjugacin, los subgrupos normales y sus cosets. Adems se estudiarn los grupos cocientes y sus tablas de multiplicacin.

1.

Introduccin: las simetras del cuadrado

Llamemos a los vrtices del cuadrado con las letras maysculas A, B, C y D. Las operaciones de simetra (movimientos de la gura que conducen a una conguracin equivalente, indistinguible, de la misma) las podemos engoblar en dos grupos: rotaciones y reexiones.

Figura 1: Operacin de simetra. Las rotaciones espaciales se determinan con un eje y un ngulo, y las reexiones con un plano. En el caso de guras planas las rotaciones son en el plano y vienen parametrizadas slo con el ngulo, para las reexiones necesitamos una recta. 3 Las rotaciones de ngulos 2 , , 2 intercambian los vrtices de la siguiente manera A B C D

B C D A
, T2

T1

A B C D 1

C D A B
, T3

A B C D

D A B C
(1)

las reexiones con respecto a las diagonales A B C D

A D C B B D, 2

A B C D

C B A D AC
(2)

y las reexiones respecto a las rectas que unen los puntos medios de los lados A B C D

B A D C
, 2

A B C D

D C B A
(3)

2.

La ley de grupo: composicin de simetras

Es fcil ver que las rotaciones planas (giros) conmutan entre s. Calculemos las composiciones de las rotaciones T2 A C B D
1 D

T1 T2

T1 T3

T2 T3

2 T1

= T3 = T2 T1 C B CA B D C D B C T1 T3 AD A B A B =E CB C D C D T3 T2 A D B B A C = T1 C B D D C A T1 T1 A C A B C B C D B D 2 2 = T2 , T2 = E, T3 = T2 C A CD A D A B D B
2

A B

D A

las composiciones de las reexiones i2 1 2 1 2 i i

= i2 = E, i = 1, 2 = 2 1 = T2 = 2 2 = T2 = Ti , i i = T3

Completando podemos construir la tabla de multiplicacin del grupo:

E T1 T2 T3 1 2 1 2

E E T1 T2 T3 1 2 1 2

T1 T1 T2 T3 E 2 1 1 2

T2 T2 T3 E T1 2 1 2 1

T3 T3 E T1 T2 1 2 2 1

1 1 1 2 2 E T2 T1 T3

2 2 2 1 1 T2 E T3 T1

1 1 2 2 1 T3 T1 E T2

2 2 1 1 2 T1 T3 T2 E

3.

Subgrupos y clases

Estudiaremos en esta seccin los subgrupos de D4 y sus clases de conjugacin. Prestaremos especial inters a los subgrupos invariantes.

3.1.

Clases de conjugacin

Dos elementos g1 , g2 G se dice que son conjugados si existe un tercer elemento g G tal que g1 = g1 g2 g. Esto dene una relacin de equivalencia y nos permite separar el grupo en clases de elementos conjugados entre s.
1 T1 T3 pues T1 1 = 1 T3 o lo que es lo mismo T1 = 1 T3 1 . 1 2 1 pues 2 = 2 1 2 . 1 1 2 ya que 1 = T1 2 T1 .

As podemos construir las clases CE = { E} , CT = { T1 , T3 } , C = {1 , 2 } , y C = {1 , 2 } con la siguiente tabla de producto: CT C C CT C C

{ T2 , E} C C

C { T2 , E} CT

C CT { T2 , E}

3.2.

Subgrupos

A primera vista se observa que las rotaciones forman un subgrupo, ya que contienen a la identidad y sus productos forman rotaciones. Por tanto, H1 = { E, T1 , T2 , T3 } es un subgrupo. Otros subgrupos son: 3

H2 = { E, 1 , 2 , T2 } H3 = { E, 1 , 2 , T2 } H4 = { E, T1 , T3 , 1 , 1 } H5 = { E, T1 , T3 , 1 , 2 } H6 = { E, T1 , T2 , 2 , 1 } No hay ms subgrupos que estos 6.

3.3.

Subgrupos normales

Un subgrupo se dice normal si sus cosets por la derecha y la izquierda coinciden. Para los subgrupos anteriores tenemos que calcular sus cosets. Empezemos con el subgrupo de las rotaciones: EH1 = H1 E trivialmente, adems Ti H1 = H1 Ti . 1 H1 = {1 E, 1 T1 , 1 T2 , 1 T3 } = {1 , 2 , 2 , 1 }, y por otro lado H1 1 = { E1 , T1 1 , T2 1 , T3 1 } = {1 , 1 , 2 , 2 }; por tanto 1 H1 = H1 1 . 2 H1 = {2 , 1 , 1 , 2 } = H1 2 = {2 , 2 , 1 , 1 } 1 H1 = {1 , 1 , 2 , 2 } = H1 1 = {1 , 2 , 2 , 1 } 2 H1 = {2 , 2 , 1 , 1 } = H1 2 = {2 , 1 , 1 , 2 } Por tanto H1 es un subgrupo normal. Probemos con H2 : T1 H2 = T1 { E, 1 , 2 , T2 } = { T1 , 1 , 2 , T3 } = H2 T1 = { T1 , 2 , 1 , T3 }, T3 H2 = T3 { E, 1 , 2 , T2 } = { T3 , 2 , 1 , T1 } = H2 T3 = { E, 1 , 2 , T2 } T3 = { T3 , 1 , 2 , T1 } 1 H2 = 1 { E, 1 , 2 , T2 } = {1 , T1 , T3 , 2 } = H2 1 = { E, 1 , 2 , T2 } 1 = {1 , T3 , T1 , 2 } 2 H2 = 2 { E, 1 , 2 , T2 } = {2 , T3 , T1 , 1 } = H2 2 = { E, 1 , 2 , T2 } 2 = {2 , T1 , T3 , 1 } Por tanto vemos que H2 tambin es un subgrupo normal. Vayamos con H3 : T1 H3 = T1 { E, 1 , 2 , T2 } = { T1 , 2 , 1 , T3 } = H3 T1 = { E, 1 , 2 , T2 } T1 = { T1 , 1 , 2 , T3 } T3 H3 = T3 { E, 1 , 2 , T2 } = { T3 , 1 , 2 , T1 } = H3 T3 = { E, 1 , 2 , T2 } T3 = { T3 , 2 , 1 , T1 } 1 H3 = 1 { E, 1 , 2 , T2 } = {1 , T3 , T1 , 2 } = H3 1 = { E, 1 , 2 , T2 } 1 = {1 , T1 , T3 , 2 } 2 H3 = 2 { E, 1 , 2 , T2 } = {2 , T1 , T3 , 1 } = H3 2 = { E, 1 , 2 , T2 } 2 = {2 , T3 , T1 , 1 }. Por tanto H3 es un subgrupo normal. 4

Probemos con H4 : H6 = { E, T1 , T2 , 2 , 1 } T2 H4 = T2 { E, T1 , T3 , 1 , 1 } = { T2 , T3 , T1 , 2 , 2 } = H4 T2 = { E, T1 , T3 , 1 , 1 } T2 = { T2 , T3 , T1 , 2 , 2 }, 2 H4 = 2 { E, T1 , T3 , 1 , 1 } = {2 , 1 , 2 , T2 , T1 } = H4 2 = {2 , 2 , 1 , T2 , T3 } No tenemos que seguir probando los dems cosets, H4 no es un subgrupo normal. Veamos H5 : T2 H5 = T2 { E, T1 , T3 , 1 , 2 } = { T2 , T3 , T1 , 2 , 1 } = H5 T2 = { E, T1 , T3 , 1 , 2 } T2 = { T2 , T3 , T1 , 2 , 1 }, 2 H5 = 2 { E, T1 , T3 , 1 , 2 } = {2 , 1 , 2 , T2 , T1 } = H5 2 = { E, T1 , T3 , 1 , 2 } 2 = {2 , 2 , 1 , T2 , T1 }, 1 H5 = 1 { E, T1 , T3 , 1 , 2 } = {1 , 1 , 2 , T1 , T2 } = H5 1 = { E, T1 , T3 , 1 , 2 } 1 = {1 , 2 , 1 , T3 , T2 } H5 tampoco es normal. Veamos H6 : T3 H6 = T3 { E, T1 , T2 , 2 , 1 } = { T3 , E, T2 , 1 , 1 } = H6 T3 = { E, T1 , T2 , 2 , 1 } T3 = { T3 , E, T1 , 2 , 2 } Observamos que H6 tampoco es normal. Hemos visto que H1 , H2 H3 son normales.

4.

Grupos cociente

Sea H un subgrupo normal de G. Llamamos grupo cociente al conjunto G/H = { gH : g G } con la ley interna ( gH ) ( g H ) = ( gg ) H y el elemento neutro eG/H = eG H que dotan de estructura del grupo a G/H . Para D4 tenemos tres grupos cociente, ya que existen tres subgrupos normales.

G/H1 G/H2 G/H3

= = =

EH1 , Ti H1 , j H1 , j H1 con i = 1, 2, 3 j = 1, 2 = { H1 , {1 , 2 , 1 , 2 }} EH2 , Ti H2 , j H2 , j H2 con i = 1, 2, 3 j = 1, 2 = { H2 , { T1 , T3 , 1 , 2 }} EH3 , Ti H3 , j H3 , j H3 con i = 1, 2, 3 j = 1, 2 = { H3 , { T1 , T3 , 1 , 2 }}

Podemos construir una tabla de multiplicacin de los grupos cocientes considerados como clases de equivalencia. G/H1 G/H2 G/H3
G/H1 G/H2 G/H3