Grupo didrico

El grupo didrico de orden n, denotado Dn, es el conjunto de las trasformaciones lineales que dejan globalmente invariable a un polgono regular de n lados. Da lo mismo decir que deja globalmente invariable a sus n vrtices. Por tanto, una trasformacin perteneciente a Dn se caracteriza por su accin sobre estos n vrtices, es decir como los permuta; luego es parte del grupo simtrico Sn. Dn constituye un grupo, con el producto definido por la ley de composicin de las aplicaciones porque si y dejan invariable al polgono entonces tambin lo harn -1 la recproca por una parte y la trasformacin compuesta (que se notar en adelante , prescindiendo del "") por otra parte. El centro O del polgono, como isobaricentro de sus vrtices, es invariable por todo elemento de Dn. Entonces Dn slo contiene a rotaciones cuyo centro es O y a simetras cuyos ejes pasan por O.

Estas rotaciones envan un vrtice sobre otro, que hace un ngulo de

grados

radianes, con k entero relativo, luego son mltiples de la rotacin

0 2 n-1 -1 n

fundamental r, de ngulo . Las rotaciones son por tanto id = r , r, r ... y r = r porque r = id. Si se nota s la simetra cuyo eje pasa por el centro O y la arista "1", es fcil ver que deja el 2 n-1 polgono invariable (por razones de ... simetra!); entonces las trasformaciones sr, sr , ... sr son otras tantas simetras (la composicin de una simetra por una rotacin es una simetra); adems no hay otras en Dn: si es otra simetra, entonces s es una rotacin de centro O (como 2 n-1 composisin de dos simetras cuyos ejes se cortan en O), y es id, r, r ... o r . Componiendo por s a la derecha se obtiene el resultado anunciado. En resumen: Dn = {id, r, r ... r , s, sr, sr ... sr
2 n-1 2 n-1

} y su cardinal es #Dn = |Dn| = 2n.

Se han dibujado los grupos didricos del tringulo (n = 3) y del cuadrado (n = 4). En rojo figuran los ejes de simetra (en ambos casos se ha tomado para s la simtria que permuta los vrtices 1 y 2 (en el caso del cuadrado tamin permuta 3 y 4), y en azul las rotaciones r (azul oscuro: la que -1 realiza la permutacin 1 2 3 ....) y r (en azul claro).

Cuando n es impar, todas la simetras dejan exactamente un vrtice fijo, mientras que con n par, una simetra puede dejar fijo cero (como sen D4) o dos vrtices (como sr). Para conocer perfectamente Dn hace falta describir su estructura como grupo. Esto se puede llevar a cabo de distintas maneras.

El primer mtodo consiste en trazar su grafo, definido a partir de generadores del grupo y de relaciones entre ellos.

El grupo es generado por r y s, que verifican las relaciones r = id, s = id y rsrs = id (pues rs es una 2 simetra luego (rs) = id). Se representa la composicin a la izquierda por r con una arista orientada -1 azul, y la de s con una arista no orientada (porque s = s ) roja. Cada vrtice del grafo debe tener una arista azul entrante y otra saliente, adems de una roja (que es a la vez entrante y saliente); Se empieza el grafo a partir del vrtice id y se aaden aristas y vrtices hasta que no sea ms n posible. La relacin r = id da polgonos azules de n vrtices, y rsrs = id da cuadrilateros (trapezios en este esquema) bicolores. Se obtiene el diagrama dibujado en el caso n = 7.

El segundo mtodo consiste en tratar de escribir D n mediante grupos conocidos, los grupos cclicos Zn (que tambin son anillos). Dn = {id, r, r ... r , s, sr, sr ... sr } es, como conjunto, el producto de {id, s} por {id, r, r ... r }, que son isomorfos a Z2 y Zn respectivamente. Sin embargo s y r no conmutan por tanto Dn no puede ser el producto directo de Z2 y Zn. -1 -1 b -b Como rsrs = id luego rs = sr (porque s = s ). Por induccin sobre b se demuestra que s = s , c c b c c (luego, sabiendo que s = id cuando c es par y s = s cuando ces impar, se obtiene r s = s r 1)cb para b y c enteros relativos cualquiera. Entonces: (s r )(s r ) = s (r s )r = s s r
a b c d a b c d a c (-1)cb d 2 n-1 2 n-1 2 n-1

r =s

a+c (-1)cb+d

Ver Dn como un producto de {id, s} por {id, r, r2 ... rn-1} implica reescribir los s r bajo la forma ( s , r ) y evidenciar su modo de multiplicarse: (s ,r )*(s,r )=(s
a b c d a+c

a b

,r

(-1)cb+d

).

El isomorfismo entre {id, s} {id, r, r ... r } y Z2 Zn se realiza borrando las s y las r y dejando solamente los exponentes: ( s , r ) (a, b).
a b

n-1

(a mdulo 2 y b mdulo n)

Luego Dn es isomorfo al producto indirecto Z2 i Zn con la ley de multiplicacin siguiente:

(a, b) * (c, d) = (a + c, (-1) b + d ) El factor (-1) es el responsable de que el producto no sea directo, lo que ya se poda observar en el grafo anterior pues los dos polgonos azules no tenan la misma orientacin.
c