Grupo diedro

Este artículo incluye una lista de referencias generales , pero carece de suficientes citas en línea correspondientes . Ayúdenos a mejorar este artículo introduciendo citas más precisas. ( Abril de 2015 ) ( Aprenda cómo y cuándo eliminar este mensaje )

Estructura algebraica → Teoría de grupos Teoría de grupos
Nociones básicas Subgrupo Subgrupo normal Acción grupal Grupo de cocientes Producto (semi) directo Suma directa Producto gratuito Producto de corona Homomorfismos de grupo núcleo imagen simple finito infinito continuo multiplicativo aditivo cíclico abeliano diedro nilpotente soluble Glosario de teoría de grupos Lista de temas de teoría de grupos
Grupos finitos Grupo cíclico Z n Grupo simétrico S n Grupo alterno A n Grupo diedro D n Grupo de cuaterniones Q Teorema de Cauchy Teorema de Lagrange Teoremas de Sylow Teorema de Hall p -grupo Grupo abeliano elemental Grupo Frobenius Multiplicador de Schur Clasificación de grupos finitos simples cíclico alterno Tipo de mentira esporádico
Grupos discretos Celosías Números enteros (${\displaystyle \mathbb {Z}}$) Grupo libre Grupos modulares LPS(2,${\displaystyle \mathbb {Z}}$) SL(2,${\displaystyle \mathbb {Z}}$) Grupo aritmético Enrejado Grupo hiperbólico
Grupos topológicos y de Lie Solenoide Círculo GL lineal general ( n ) SL lineal especial ( n ) O( n ) ortogonal E( n ) euclidiana SO( n ) ortogonal especial Unitario U( n ) SU unitario especial ( n ) Sp( n ) simpléctico G2​ F4​ E6​ E7​ E8​ Lorentz Poincaré Conforme Difeomorfismo Bucle Grupo de Lie de dimensión infinita O(∞) SU(∞) Sp(∞)
Grupos algebraicos Grupo algebraico lineal Grupo reductivo Variedad abeliana Curva elíptica
en a mi

En matemáticas , un grupo diedro es el grupo de simetrías de un polígono regular , ^{[1] [2]} que incluye rotaciones y reflexiones . Los grupos diedros se encuentran entre los ejemplos más simples de grupos finitos y desempeñan un papel importante en la teoría de grupos y la geometría .

La notación para el grupo diedro difiere en geometría y álgebra abstracta . En geometría , D _n o Dih _n se refiere a las simetrías del n -gono , un grupo de orden 2 n . En álgebra abstracta , D _{2 n} se refiere a este mismo grupo diedro. ^[3] Este artículo utiliza la convención geométrica, D _n .

La palabra diedro proviene de di- y -hedron. Este último proviene del griego hédra, que significa "cara de un cuerpo geométrico". En general, se refiere a las dos caras de un polígono.

Un polígono regular con lados tiene diferentes simetrías: simetrías rotacionales y simetrías de reflexión . Generalmente, tomamos aquí. Las rotaciones y reflexiones asociadas forman el grupo diedro . Si es impar, cada eje de simetría conecta el punto medio de un lado con el vértice opuesto. Si es par, hay ejes de simetría que conectan los puntos medios de lados opuestos y ejes de simetría que conectan vértices opuestos. En cualquier caso, hay ejes de simetría y elementos en el grupo de simetría. ^[4] La reflexión en un eje de simetría seguida de la reflexión en otro eje de simetría produce una rotación a través del doble del ángulo entre los ejes. ^[5]${\displaystyle n}$${\displaystyle 2n}$${\displaystyle n}$ ${\displaystyle n}$ ${\displaystyle n\geq 3}$${\displaystyle \mathrm {D} _{n}}$${\displaystyle n}$${\displaystyle n}$${\displaystyle n/2}$${\displaystyle n/2}$${\displaystyle n}$${\displaystyle 2n}$

Como sucede con cualquier objeto geométrico, la composición de dos simetrías de un polígono regular es a su vez una simetría de este objeto. Con la composición de simetrías para producir otra como operación binaria, esto da a las simetrías de un polígono la estructura algebraica de un grupo finito . ^[6]

La siguiente tabla de Cayley muestra el efecto de la composición en el grupo D ₃ (las simetrías de un triángulo equilátero ). r ₀ denota la identidad; r ₁ y r ₂ denotan rotaciones en sentido antihorario de 120° y 240° respectivamente, y s ₀ , s ₁ y s ₂ denotan reflexiones a través de las tres líneas que se muestran en la imagen adyacente.

Por ejemplo, s ₂ s ₁ = r ₁ , porque la reflexión s ₁ seguida de la reflexión s ₂ da como resultado una rotación de 120°. El orden de los elementos que denotan la composición es de derecha a izquierda, lo que refleja la convención de que el elemento actúa sobre la expresión a su derecha. La operación de composición no es conmutativa . ^[6]

En general, el grupo D _n tiene elementos r ₀ , ..., r _{n −1} y s ₀ , ..., s _{n −1} , con composición dada por las siguientes fórmulas:

${\displaystyle \mathrm {r} _{i}\,\mathrm {r} _{j}=\mathrm {r} _{i+j},\quad \mathrm {r} _{i}\,\mathrm {s} _{j}=\mathrm {s} _{i+j},\quad \mathrm {s} _{i}\,\mathrm {r} _{j}=\mathrm {s} _{i-j},\quad \mathrm {s} _{i}\,\mathrm {s} _{j}=\mathrm {r} _{i-j}.}$

En todos los casos, la suma y resta de subíndices se deben realizar utilizando aritmética modular con módulo n .

Si centramos el polígono regular en el origen, entonces los elementos del grupo diedro actúan como transformaciones lineales del plano . Esto nos permite representar elementos de D _n como matrices , siendo la composición la multiplicación de matrices . Este es un ejemplo de una representación de grupo (bidimensional) .

Por ejemplo, los elementos del grupo D ₄ pueden representarse mediante las siguientes ocho matrices:

${\displaystyle {\begin{matrix}\mathrm {r} _{0}=\left({\begin{smallmatrix}1&0\\[0.2em]0&1\end{smallmatrix}}\right),&\mathrm {r} _{1}=\left({\begin{smallmatrix}0&-1\\[0.2em]1&0\end{smallmatrix}}\right),&\mathrm {r} _{2}=\left({\begin{smallmatrix}-1&0\\[0.2em]0&-1\end{smallmatrix}}\right),&\mathrm {r} _{3}=\left({\begin{smallmatrix}0&1\\[0.2em]-1&0\end{smallmatrix}}\right),\\[1em]\mathrm {s} _{0}=\left({\begin{smallmatrix}1&0\\[0.2em]0&-1\end{smallmatrix}}\right),&\mathrm {s} _{1}=\left({\begin{smallmatrix}0&1\\[0.2em]1&0\end{smallmatrix}}\right),&\mathrm {s} _{2}=\left({\begin{smallmatrix}-1&0\\[0.2em]0&1\end{smallmatrix}}\right),&\mathrm {s} _{3}=\left({\begin{smallmatrix}0&-1\\[0.2em]-1&0\end{smallmatrix}}\right).\end{matrix}}}$

En general, las matrices para elementos de D _n tienen la siguiente forma:

${\displaystyle {\begin{aligned}\mathrm {r} _{k}&={\begin{pmatrix}\cos {\frac {2\pi k}{n}}&-\sin {\frac {2\pi k}{n}}\\\sin {\frac {2\pi k}{n}}&\cos {\frac {2\pi k}{n}}\end{pmatrix}}\ \ {\text{and}}\\[5pt]\mathrm {s} _{k}&={\begin{pmatrix}\cos {\frac {2\pi k}{n}}&\sin {\frac {2\pi k}{n}}\\\sin {\frac {2\pi k}{n}}&-\cos {\frac {2\pi k}{n}}\end{pmatrix}}.\end{aligned}}}$

r _k es una matriz de rotación , que expresa una rotación en sentido antihorario a través de un ángulo de 2 πk / n . s _k es una reflexión a través de una línea que forma un ángulo de πk / n con el eje x .

D _n también se puede definir como el grupo con presentación

${\displaystyle {\begin{aligned}\mathrm {D} _{n}&=\left\langle r,s\mid \operatorname {ord} (r)=n,\operatorname {ord} (s)=2,srs^{-1}=r^{-1}\right\rangle \\&=\left\langle r,s\mid r^{n}=s^{2}=(sr)^{2}=1\right\rangle .\end{aligned}}}$

Usando la relación , obtenemos la relación . Se deduce que se genera por y . Esta sustitución también muestra que tiene la presentación${\displaystyle s^{2}=1}$${\displaystyle r=s\cdot sr}$${\displaystyle \mathrm {D} _{n}}$${\displaystyle s}$${\displaystyle t:=sr}$${\displaystyle \mathrm {D} _{n}}$

${\displaystyle \mathrm {D} _{n}=\left\langle s,t\mid s^{2}=1,t^{2}=1,(st)^{n}=1\right\rangle .}$

En particular, D _n pertenece a la clase de grupos de Coxeter .

D ₁ es isomorfo a Z ₂ , el grupo cíclico de orden 2.

D ₂ es isomorfo a K ₄ , el cuatro-grupo de Klein .

Los modelos D ₁ y D ₂ son excepcionales porque:

• D ₁ y D ₂ son los únicos grupos diedros abelianos . De lo contrario, D _n no es abeliano.
• D _n es un subgrupo del grupo simétrico S _n para n ≥ 3 . Dado que 2 n > n ! para n = 1 o n = 2 , para estos valores, D _n es demasiado grande para ser un subgrupo.
• El grupo de automorfismo interno de D ₂ es trivial, mientras que para otros valores pares de n , este es D _n / Z ₂ .

Los gráficos de ciclos de los grupos diedros consisten en un ciclo de n elementos y n ciclos de 2 elementos. El vértice oscuro en los gráficos de ciclos a continuación de varios grupos diedros representa el elemento identidad, y los otros vértices son los otros elementos del grupo. Un ciclo consiste en potencias sucesivas de cualquiera de los elementos conectados al elemento identidad .

Gráficas de ciclos

D1 = Z2​​	D2 = Z22 = K4​​​	D3​	D4​	D5​
D6 = D3 × Z2​	D7​	D8​	D9​	D10 = D5 × Z2​

D3 = S3​​	D4​

Un ejemplo de grupo abstracto D _n , y una forma común de visualizarlo, es el grupo de isometrías del plano euclidiano que mantienen fijo el origen. Estos grupos forman una de las dos series de grupos de puntos discretos en dos dimensiones . D _n consiste en n rotaciones de múltiplos de 360°/ n alrededor del origen, y reflexiones a través de n líneas a través del origen, formando ángulos de múltiplos de 180°/ n entre sí. Este es el grupo de simetría de un polígono regular con n lados (para n ≥ 3 ; esto se extiende a los casos n = 1 y n = 2 donde tenemos un plano con respectivamente un punto desplazado del "centro" del "1-gono" y un "2-gono" o segmento de línea).

D _n se genera por una rotación r de orden n y una reflexión s de orden 2 tal que

${\displaystyle \mathrm {srs} =\mathrm {r} ^{-1}\,}$

En términos geométricos: en el espejo una rotación parece una rotación inversa.

En términos de números complejos : multiplicación por y conjugación compleja .${\displaystyle e^{2\pi i \over n}}$

En forma matricial, estableciendo

${\displaystyle \mathrm {r} _{1}={\begin{bmatrix}\cos {2\pi \over n}&-\sin {2\pi \over n}\\[4pt]\sin {2\pi \over n}&\cos {2\pi \over n}\end{bmatrix}}\qquad \mathrm {s} _{0}={\begin{bmatrix}1&0\\0&-1\end{bmatrix}}}$

y definiendo y para podemos escribir las reglas del producto para D _n como${\displaystyle \mathrm {r} _{j}=\mathrm {r} _{1}^{j}}$${\displaystyle \mathrm {s} _{j}=\mathrm {r} _{j}\,\mathrm {s} _{0}}$${\displaystyle j\in \{1,\ldots ,n-1\}}$

${\displaystyle {\begin{aligned}\mathrm {r} _{j}\,\mathrm {r} _{k}&=\mathrm {r} _{(j+k){\text{ mod }}n}\\\mathrm {r} _{j}\,\mathrm {s} _{k}&=\mathrm {s} _{(j+k){\text{ mod }}n}\\\mathrm {s} _{j}\,\mathrm {r} _{k}&=\mathrm {s} _{(j-k){\text{ mod }}n}\\\mathrm {s} _{j}\,\mathrm {s} _{k}&=\mathrm {r} _{(j-k){\text{ mod }}n}\end{aligned}}}$

(Compare rotaciones de coordenadas y reflexiones ).

El grupo diedro D ₂ se genera por la rotación r de 180 grados y la reflexión s a través del eje x . Los elementos de D ₂ pueden entonces representarse como {e, r, s, rs}, donde e es la identidad o transformación nula y rs es la reflexión a través del eje y .

D ₂ es isomorfo al cuatro-grupo de Klein .

Para n > 2 las operaciones de rotación y reflexión en general no conmutan y D _n no es abeliano ; por ejemplo, en D ₄ , una rotación de 90 grados seguida de una reflexión produce un resultado diferente de una reflexión seguida de una rotación de 90 grados.

Así, más allá de su obvia aplicación a problemas de simetría en el plano, estos grupos se encuentran entre los ejemplos más simples de grupos no abelianos y, como tales, surgen con frecuencia como contraejemplos fáciles de teoremas que están restringidos a los grupos abelianos.

Los 2 n elementos de D _n se pueden escribir como e , r , r ² , ... , r ^{n −1} , s , rs , r ² s , ... , r ^{n −1} s . Los primeros n elementos enumerados son rotaciones y los n elementos restantes son reflexiones de eje (todos los cuales tienen orden 2). El producto de dos rotaciones o dos reflexiones es una rotación; el producto de una rotación y una reflexión es una reflexión.

Hasta ahora, hemos considerado que D _n es un subgrupo de O(2) , es decir, el grupo de rotaciones (alrededor del origen) y reflexiones (a través de ejes que pasan por el origen) del plano. Sin embargo, la notación D _n también se usa para un subgrupo de SO(3) que también es del tipo de grupo abstracto D _n : el grupo de simetría propio de un polígono regular inserto en el espacio tridimensional (si n ≥ 3). Tal figura puede considerarse como un sólido regular degenerado con su cara contada dos veces. Por lo tanto, también se le llama diedro (griego: sólido con dos caras), lo que explica el nombre de grupo diedro (en analogía con grupo tetraédrico , octaédrico e icosaédrico , refiriéndose a los grupos de simetría propios de un tetraedro regular , octaedro e icosaedro respectivamente).

• 
  Simetría 2D D _{16 – Sello Imperial de Japón, que representa} un crisantemo óctuple con dieciséis pétalos .
• 
  Simetría 2D D _{6 –} La Estrella Roja de David
• 
  Simetría 2D D _{12 : El buque insignia de la República de China (Sol Blanco)}
• 
  Simetría 2D D _{24 –} Ashoka Chakra , como se representa en la bandera nacional de la República de la India .

Las propiedades de los grupos diedros D _n con n ≥ 3 dependen de si n es par o impar. Por ejemplo, el centro de D _n consiste solamente en la identidad si n es impar, pero si n es par el centro tiene dos elementos, a saber, la identidad y el elemento r ^{n /2} (con D _n como subgrupo de O(2), esto es inversión ; dado que es multiplicación escalar por −1, es claro que conmuta con cualquier transformación lineal).

En el caso de isometrías 2D, esto corresponde a agregar inversión, dando rotaciones y espejos entre los existentes.

Para n dos veces un número impar, el grupo abstracto D _n es isomorfo con el producto directo de D _{n / 2} y Z ₂ . Generalmente, si m divide a n , entonces D _n tiene n / m subgrupos de tipo D _m , y un subgrupo _m . Por lo tanto, el número total de subgrupos de D _n ( n  ≥ 1), es igual a d ( n ) + σ( n ), donde d ( n ) es el número de divisores positivos de n y σ ( n ) es la suma de los divisores positivos de  n . Véase la lista de grupos pequeños para los casos  n  ≤ 8.${\displaystyle \mathbb {Z} }$

El grupo diedro de orden 8 (D ₄ ) es el ejemplo más pequeño de un grupo que no es un grupo T. Cualquiera de sus dos subgrupos de cuatro grupos de Klein (que son normales en D ₄ ) tiene como subgrupo normal subgrupos de orden 2 generados por una reflexión (inversión) en D ₄ , pero estos subgrupos no son normales en D ₄ .

Todas las reflexiones son conjugadas entre sí siempre que n sea impar, pero caen en dos clases de conjugación si n es par. Si pensamos en las isometrías de un n -gono regular: para n impar hay rotaciones en el grupo entre cada par de espejos, mientras que para n par sólo se puede llegar a la mitad de los espejos desde uno mediante estas rotaciones. Geométricamente, en un polígono impar cada eje de simetría pasa por un vértice y un lado, mientras que en un polígono par hay dos conjuntos de ejes, cada uno correspondiente a una clase de conjugación: los que pasan por dos vértices y los que pasan por dos lados.

Algebraicamente, este es un ejemplo del teorema de Sylow conjugado (para n impar): para n impar, cada reflexión, junto con la identidad, forman un subgrupo de orden 2, que es un 2-subgrupo de Sylow ( 2 = 2 ¹ es la máxima potencia de 2 que divide a 2 n = 2[2 k + 1] ), mientras que para n par, estos subgrupos de orden 2 no son subgrupos de Sylow porque 4 (una potencia mayor de 2) divide el orden del grupo.

Para n par hay en cambio un automorfismo externo que intercambia los dos tipos de reflexiones (propiamente, una clase de automorfismos externos, que son todos conjugados por un automorfismo interno).

El grupo de automorfismos de D _n es isomorfo al holomorfo de / n , es decir, a Hol( / n ) = { ax + b | ( a , n ) = 1} y tiene orden nϕ ( n ), donde ϕ es la función totiente de Euler , el número de k en 1, ..., n − 1 coprimos con n .${\displaystyle \mathbb {Z} }$${\displaystyle \mathbb {Z} }$${\displaystyle \mathbb {Z} }$${\displaystyle \mathbb {Z} }$

Se puede entender en términos de los generadores de una reflexión y una rotación elemental (rotación por k (2 π / n ), para k coprimo con n ); qué automorfismos son internos y externos depende de la paridad de n .

• Para n impar, el grupo diedro no tiene centro, por lo que cualquier elemento define un automorfismo interno no trivial; para n par, la rotación de 180° (reflexión a través del origen) es el elemento no trivial del centro.
• Así, para n impar, el grupo de automorfismo interno tiene orden 2 n , y para n par (distinto de n = 2 ) el grupo de automorfismo interno tiene orden n .
• Para n impar, todas las reflexiones son conjugadas; para n par, se dividen en dos clases (las que pasan por dos vértices y las que pasan por dos caras), relacionadas por un automorfismo externo, que puede representarse mediante la rotación por π / n (la mitad de la rotación mínima).
• Las rotaciones son un subgrupo normal; la conjugación por una reflexión cambia el signo (dirección) de la rotación, pero por lo demás no cambia. Por lo tanto, los automorfismos que multiplican los ángulos por k (coprimos con n ) son externos a menos que k = ±1 .

D ₉ tiene 18 automorfismos internos . Como grupo de isometría 2D D ₉ , el grupo tiene espejos a intervalos de 20°. Los 18 automorfismos internos proporcionan rotación de los espejos por múltiplos de 20° y reflexiones. Como grupo de isometría, todos estos son automorfismos. Como grupo abstracto, hay además de estos, 36 automorfismos externos ; por ejemplo, multiplicar los ángulos de rotación por 2.

D ₁₀ tiene 10 automorfismos internos. Como grupo de isometría 2D D ₁₀ , el grupo tiene espejos a intervalos de 18°. Los 10 automorfismos internos proporcionan rotación de los espejos por múltiplos de 36° y reflexiones. Como grupo de isometría hay 10 automorfismos más; son conjugados por isometrías fuera del grupo, rotando los espejos 18° con respecto a los automorfismos internos. Como grupo abstracto hay además de estos 10 automorfismos internos y 10 externos, 20 automorfismos externos más; por ejemplo, multiplicando las rotaciones por 3.

Comparemos los valores 6 y 4 de la función totiente de Euler , el grupo multiplicativo de los números enteros módulo n para n = 9 y 10, respectivamente. Esto triplica y duplica el número de automorfismos en comparación con los dos automorfismos como isometrías (manteniendo el mismo orden de las rotaciones o invirtiendo el orden).

Los únicos valores de n para los cuales φ ( n ) = 2 son 3, 4 y 6, y en consecuencia, solo hay tres grupos diedros que son isomorfos a sus propios grupos de automorfismo, a saber, D ₃ (orden 6), D ₄ (orden 8) y D ₆ (orden 12). ^{[7] [8] [9]}

El grupo de automorfismo interno de D _n es isomorfo a: ^[10]

• D _n si n es impar;
• D _n / Z ₂ si n es par (para n = 2 , D ₂ / Z ₂ = 1 ).

Hay varias generalizaciones importantes de los grupos diedros:

• El grupo diedro infinito es un grupo infinito con estructura algebraica similar a los grupos diedros finitos. Puede considerarse como el grupo de simetrías de los números enteros .
• El grupo ortogonal O(2), es decir, el grupo de simetría del círculo , también tiene propiedades similares a los grupos diedros.
• La familia de grupos diedros generalizados incluye ambos ejemplos anteriores, así como muchos otros grupos.
• Los grupos cuasidiédricos son una familia de grupos finitos con propiedades similares a los grupos diedros.

Wikimedia Commons alberga una categoría multimedia sobre Grupos diedros .

• Rotaciones y reflexiones de coordenadas
• Índice de ciclo del grupo diedro
• Grupo dicíclico
• Grupo diedro de orden 6
• Grupo diedro de orden 8
• Grupos de simetría diedral en 3D
• Simetría diedral en tres dimensiones

• Grupo diedro n de orden 2n por Shawn Dudzik, Wolfram Demonstrations Project .
• Grupo diedro en Groupprops
• Weisstein, Eric W. "Grupo diedro". MathWorld .
• Weisstein, Eric W. "Grupo diedro D3". MathWorld .
• Weisstein, Eric W. "Grupo diedro D4". MathWorld .
• Weisstein, Eric W. "Grupo diedro D5". MathWorld .
• Davis, Declan. "Grupo diedro D6". MathWorld .
• Grupos diedros en GroupNames