Grupo Didrico

Grupo Didrico
Jeanneth Galeano Pealoza

Universidad Nacional de Colombia

Segundo semestre de 2016

Grupo Didrico

Grupo Didrico

Consideremos un polgono regular de n 3 lados y consideremos

los siguientes movimientos
(i) n rotaciones en sentido contrario a las agujas del reloj
ngulos 2kn , k = 0, 1, . . . , n 1.
(ii) n reflexiones correspondientes a los n ejes de simetra
n par

n impar

Grupo Didrico

Para n par:
n
2 lneas uniendo el centro con cada uno de los vrtices y
n
2 lneas uniendo el centro con los puntos medios de los lados.
Para n impar:
n ejes de simetra uniendo al centro con cada uno de los
vrtices.
En total 2n movimientos Grupo Didrico de grado n: Dn
Dn es subgrupo de Sn .

Grupo Didrico

Sea R1 la rotacin a travs del ngulo :=

2
n ,

corresponde a:

1 2 3 n
f=
= (1 2 3 n)
2 3 4 1
Rk la rotacin a travs del ngulo

2k
n

ord(R1 ) = n:
R1n = R0
f n = 1.

corresponde a f k .

Grupo Didrico

R10 reflexin a travs del eje de simetra que pasa por el

vrtice 1, corresponde a
1 2
3

k
n 1 n
g=
1 n n 1 n k + 2
3
2
ord (R10 ) = 2

(R1 )2 = R0 ,
g 2 = 1.

ord(fg ) = ?
1 2 3
k
n 1 n
fg =
2 1 n n k + 3
4
3

(fg )2 =
ie ord(fg ) = 2.

1 2 3
1 1 3

k
k

n1 n
n1 n

Grupo Didrico

(fg )2 = 1,
gfg = f 1 .
hf , g i Dn

Si probamos que |hf , g i| = 2n entonces tendramos

Dn = hf , g i, con f n = 1, g 2 = 1, gfg = f 1 .

Sea x hf , g i
x = f k 1 g l1 f k 2 g l2 f k m g lm ,

ki , li Z,

i = 1, . . . , m.

g es de orden 2: 0 li 1
Como f es de orden n: 0 ki n 1.
Como gf = f 1 g entonces x tiene la forma x = f k g l ,
0k n1 0l 1
hay 2n elementos.

Grupo Didrico

Veamos que todos son diferentes.

Supongamos que f k g l = f r g s algn r , s con 0 r n 1,
0 s 1.
f k r = g s l hf i hg i = 1,
pues de lo contrario g = f k algn 0 k n 1 luego
gf = f k +1 = f 1 g

f k + 2 = f f 1 g = g = f k
f 2 = 1 ().
n | k r, pero 0 k , r n 1
k = r.
l = s.
Dn = {1, f , f 2 , . . . , f n1 , g , f g , . . . , f n1 g }.

Grupo Didrico

Representacin matricial
Consideremos en GL2 (R )
cos sen
1 0
A :=
, B :=
sen cos
0 1
2
:=
.
n

ord (A ) = n
ord (B ) = 2
1 0
BAB =
0 1

cos sen
sen cos

cos sen
=
= A 1
sen cos

hA , B i  Dn .

1 0
0 1

Grupo Didrico

Regla de multiplicacin en Dn

f k gm

 

k0

m0

0
0

f k +k g m+m
=

f k k 0 g m m 0

m = 0,
m = 1.

Grupo Didrico

Subgrupos de Dn
orden 1:
orden 2n:
orden n:
orden 2:

{1}
Dn .
hf i

(puede haber ms)

n

hf 2 i

si n es par

hg i
hfg i
hf 2 g i

hf n1 g i.

g f g = f 1

Grupo Didrico

Centro de Dn
Para todo 0 k n 1, f k g < Z (Dn ), en efecto:

(f k g )f = f k 1 g

k 1
k +1
g

si fueran iguales: f g = f
k
k +1
f (f g ) = f
g
f 2 = 1 (),
lo que muestra que Z (Dn ) contiene solamente rotaciones.
Sea f k Z (Dn ).

f k g = gf k
f k g = f k g
f 2k = 1 n | 2k .

? Si n es impar k = 0
Z (Dn ) = 1.

Grupo Didrico

? Si n = 2m, como 2m | 2k , entonces existe 1 tal que

2m = 2k
k = m
Si 2 k 2m = n ()
Entonces = 1 k = m = n/2.
n

En otras palabrs, si x Z (Dn ), x tiene la forma x = f 2 , en

n
efecto, f 2 conmuta con todos:
n

f f2 =f2 f
n
2

gf =

n
f2

X
n

g = f 2 g.
X

n impar,
1
o
D E n
Z (Dn ) =

f n2 = 1, f n2 n par.

Grupo Didrico

Subgrupos Normales de Dn
Sea N E Dn .
Caso 1. n es impar y N no contiene reflexiones

N hf i N = hf k i algn 0 k n 1, en efecto tal N es

normal:

f kj = 1
1 k j

(f g ) (f ) (f g ) =

f kj = 0
Caso 2. n es impar y N contiene al menos una reflexin
Sea f k g en N, k fijo, 0 k n 1. Sea 0 r n 1, entonces
(f r )1 (f k g )f r = f k r g f r = f k r f r g = f k 2r g N.
r = k f k g N
f 2k N.

Grupo Didrico

r = k + 1 f k 2(k +1) g N
f k 2 g N
(f k g )(f k 2 g ) N
f 2k +2 N.
f 2 N.
Como n es impar
hf i = hf 2 i N
f N
f k N y g N
N = Dn .
Caso 3. n es par. N no contiene reflexiones

N = hf k i.

Grupo Didrico

Caso 4. n es par y en N hay al menos una reflexin

Sea n = 2t y sea f k g en N, igual que el caso impar concluimos
que f 2 N.
Caso 4.1 g N.

f 2r g l

|0r

|{z}

n
1, 0 l 1} N .
2

todos son diferentes!

y hay n

Si en N hay un elemento adicional, entonces

|N | n + 1 |N | = 2n.
Si |N | = 2n N = Dn
Si |N | < 2n
N = {f 2r g l | 0 r

= hf 2 , g i  D n2 .

n
1, 0 l 1}
2

Grupo Didrico

Caso 4.2 g < N

Veamos que entonces necesariamente fg N.
Si k es par, k = 2u, entonces f k = (f 2 )u N
f k (f k g ) = g N ()
k es impar k = 2w + 1.
f 2w (f k g ) = fg N
N contiene a
N1 = {f 2k | 0 k n2 1} y a
N2 = {f 2k +1 g | 0 k n2 1} que en total suman n
elementos,
Entonces
Si |N | = n
N = hf 2 , f g i = N1 N2 .
Si |N | > n N = Dn .

Grupo Didrico

Conclusin
Sea N 4 Dn
n impar.
N = Dn
N = hf k i, k | n.
n par
N = Dn ,
N = hf k i, k | n,
N = hf 2 , g i  D n2 ,
N = hf 2 , fg i  D n2 .