En matemáticas, y especialmente en geometría, un objeto tiene simetría icosaédrica si tiene las mismas simetrías que un icosaedro regular . Ejemplos de otros poliedros con simetría icosaédrica incluyen el dodecaedro regular (el dual del icosaedro) y el triacontaedro rómbico .
Cada poliedro con simetría icosaédrica tiene 60 simetrías rotacionales (o que preservan la orientación) y 60 simetrías que invierten la orientación (que combinan una rotación y una reflexión ), para un orden de simetría total de 120. El grupo de simetría completo es el grupo de Coxeter de tipo H. 3 . Puede representarse mediante notación de Coxeter [5,3] y diagrama de Coxeter. 
. El conjunto de simetrías rotacionales forma un subgrupo que es isomorfo al grupo alterno A 5 en 5 letras.
La simetría icosaédrica es una propiedad matemática de los objetos que indica que un objeto tiene las mismas simetrías que un icosaedro regular .
Aparte de las dos series infinitas de simetría prismática y antiprismática, la simetría icosaédrica rotacional o simetría icosaédrica quiral de objetos quirales y la simetría icosaédrica completa o simetría icosaédrica aquiral son las simetrías de puntos discretos (o equivalentemente, simetrías en la esfera ) con los grupos de simetría más grandes .
La simetría icosaédrica no es compatible con la simetría traslacional , por lo que no hay grupos de puntos cristalográficos ni grupos espaciales asociados .
Las presentaciones correspondientes a lo anterior son:
Estos corresponden a los grupos icosaédricos (rotacionales y completos) siendo los grupos de triángulos (2,3,5) .
La primera presentación la realizó William Rowan Hamilton en 1856, en su artículo sobre cálculo icosiano . [1]
Tenga en cuenta que son posibles otras presentaciones, por ejemplo como grupo alterno (para I ).
El grupo de simetría total es el grupo de Coxeter de tipo H 3 . Puede representarse mediante notación de Coxeter [5,3] y diagrama de Coxeter. . El conjunto de simetrías rotacionales forma un subgrupo que es isomorfo al grupo alterno A 5 en 5 letras.
Cada poliedro con simetría icosaédrica tiene 60 simetrías rotacionales (o que preservan la orientación) y 60 simetrías que invierten la orientación (que combinan una rotación y una reflexión ), para un orden de simetría total de 120.
El El grupo I de rotación icosaédrica es de orden 60. El grupoIesisomorfoaA5, elgrupo alternode permutaciones pares de cinco objetos. Este isomorfismo se puede realizaractuandosobre varios compuestos, en particular elcompuesto de cinco cubos(que se inscriben en eldodecaedro), elcompuesto de cinco octaedroso cualquiera de los doscompuestos de cinco tetraedros(que sonenantiomorfosy se inscriben en el dodecaedro). El grupo contiene 5 versiones deThcon 20 versiones deD 3 (10 ejes, 2 por eje) y 6 versiones deD 5 .
ElEl grupo icosaédrico completo I h tiene orden 120. TieneIcomosubgrupo normaldelíndice2. El grupoI h es isomorfo aI×Z2, oA5×Z2, con lainversión en el centrocorrespondiente al elemento (identidad, -1), dondeZ2se escribe multiplicativamente.
I h actúa sobre el compuesto de cinco cubos y el compuesto de cinco octaedros , pero −1 actúa como identidad (ya que los cubos y los octaedros son centralmente simétricos). Actúa sobre el compuesto de diez tetraedros : I actúa sobre las dos mitades quirales ( compuestos de cinco tetraedros ), y −1 intercambia las dos mitades. En particular, no actúa como S 5 y estos grupos no son isomorfos; consulte a continuación para obtener más detalles.
El grupo contiene 10 versiones de D 3d y 6 versiones de D 5d (simetrías como antiprismas).
I también es isomorfo a PSL 2 (5), pero I h no es isomorfo a SL 2 (5).
Es útil describir explícitamente cómo es el isomorfismo entre I y A 5 . En la siguiente tabla, las permutaciones Pi y Qi actúan sobre 5 y 12 elementos respectivamente, mientras que las matrices de rotación Mi son los elementos de I. Si P k es el producto de tomar la permutación Pi y aplicarle P j , entonces, para los mismos valores de i , j y k , también es cierto que Q k es el producto de tomar Q i y aplicar Q j , y también que premultiplicar un vector por M k es lo mismo que premultiplicar ese vector por M i y luego premultiplicar ese resultado por M j , es decir M k = M j × M i . Dado que las permutaciones Pi son las 60 permutaciones pares de 12345, la correspondencia uno a uno se hace explícita y, por lo tanto, también el isomorfismo.
Todos los siguientes grupos tienen orden 120, pero no son isomorfos:
Corresponden a las siguientes secuencias cortas exactas (la última de las cuales no se divide) y producto
En palabras,
Tenga en cuenta que tiene una representación tridimensional irreducible excepcional (como el grupo de rotación icosaédrico), pero no tiene una representación tridimensional irreducible, correspondiente a que el grupo icosaédrico completo no es el grupo simétrico.
Estos también pueden relacionarse con grupos lineales sobre el campo finito con cinco elementos, que exhiben los subgrupos y grupos de cobertura directamente; Ninguno de estos es el grupo icosaédrico completo:
Las 120 simetrías se dividen en 10 clases de conjugación.
Cada línea en la siguiente tabla representa una clase de subgrupos conjugados (es decir, geométricamente equivalentes). La columna "Mult". (multiplicidad) da el número de subgrupos diferentes en la clase de conjugación.
Explicación de colores: verde = los grupos que se generan por reflexiones, rojo = los grupos quirales (que preservan la orientación), que contienen solo rotaciones.
Los grupos se describen geométricamente en términos del dodecaedro.
La abreviatura "hts(edge)" significa "media vuelta intercambiando este borde con su borde opuesto", y de manera similar para "cara" y "vértice".
Los estabilizadores de un par de vértices opuestos pueden interpretarse como estabilizadores del eje que generan.
Los estabilizadores de un par de bordes opuestos pueden interpretarse como estabilizadores del rectángulo que generan.
Los estabilizadores de un par de caras opuestas pueden interpretarse como estabilizadores del antiprisma que generan.
Para cada uno de ellos, hay 5 copias conjugadas, y la acción de conjugación da un mapa, de hecho un isomorfismo .
El grupo de simetría icosaédrico completo [5,3] (
) de orden 120 tiene generadores representados por las matrices de reflexión R 0 , R 1 , R 2 a continuación, con relaciones R 0 2 = R 1 2 = R 2 2 = (R 0 ×R 1 ) 5 = (R 1 ×R 2 ) 3 = (R 0 ×R 2 ) 2 = Identidad. El grupo [5,3] + (
) de orden 60 es generado por dos cualesquiera de las rotaciones S 0,1 , S 1,2 , S 0,2 . Una reflexión del rotor de orden 10 se genera mediante V 0,1,2 , el producto de las 3 reflexiones. Aquí se denota la proporción áurea .
Los dominios fundamentales para el grupo de rotación icosaédrico y el grupo icosaédrico completo vienen dados por:
En el triacontaedro de disdyakis, una cara completa es un dominio fundamental; Se pueden obtener otros sólidos con la misma simetría ajustando la orientación de las caras, por ejemplo, aplanando subconjuntos de caras seleccionados para combinar cada subconjunto en una cara, o reemplazando cada cara por múltiples caras o una superficie curva.
Ejemplos de otros poliedros con simetría icosaédrica incluyen el dodecaedro regular (el dual del icosaedro) y el triacontaedro rómbico .
Para la fase material intermedia llamada cristales líquidos , H. Kleinert y K. Maki [2] propusieron la existencia de simetría icosaédrica y su estructura se analizó en detalle por primera vez en ese artículo. Vea el artículo de revisión aquí. En el aluminio, la estructura icosaédrica fue descubierta experimentalmente tres años después por Dan Shechtman , lo que le valió el Premio Nobel en 2011.
La simetría icosaédrica es equivalentemente al grupo lineal especial proyectivo PSL(2,5), y es el grupo de simetría de la curva modular X(5), y más generalmente PSL(2, p ) es el grupo de simetría de la curva modular X( p ). La curva modular X(5) es geométricamente un dodecaedro con una cúspide en el centro de cada cara poligonal, lo que demuestra el grupo de simetría.
Esta geometría, y el grupo de simetría asociado, fue estudiado por Felix Klein como los grupos monodromía de una superficie de Belyi – una superficie de Riemann con un mapa holomórfico a la esfera de Riemann, ramificada sólo en 0, 1 e infinito (una función de Belyi ) – la las cúspides son los puntos que se encuentran sobre el infinito, mientras que los vértices y los centros de cada arista se encuentran sobre 0 y 1; el grado de recubrimiento (número de hojas) es igual a 5.
Esto surgió de sus esfuerzos por dar una explicación geométrica de por qué surgió la simetría icosaédrica en la solución de la ecuación quíntica , con la teoría dada en el famoso (Klein 1888); se ofrece una exposición moderna en (Tóth 2002, Sección 1.6, Tema adicional: Teoría del icosaedro de Klein, p. 66).
Las investigaciones de Klein continuaron con su descubrimiento de simetrías de orden 7 y orden 11 en (Klein 1878) y (Klein 1879) (y recubrimientos asociados de grado 7 y 11) y diseños de niños , el primero que produjo el cuártico de Klein , cuya geometría asociada tiene un mosaico de 24 heptágonos (con una cúspide en el centro de cada uno).
Se producen geometrías similares para PSL(2, n ) y grupos más generales para otras curvas modulares.
Más exóticamente, existen conexiones especiales entre los grupos PSL(2,5) (orden 60), PSL(2,7) (orden 168) y PSL(2,11) (orden 660), que también admiten interpretaciones geométricas – PSL (2,5) son las simetrías del icosaedro (género 0), PSL(2,7) del cuártico de Klein (género 3) y PSL(2,11) la superficie de buckyball (género 70). Estos grupos forman una " trinidad " en el sentido de Vladimir Arnold , que da un marco para las distintas relaciones; ver trinidades para más detalles.
Existe una estrecha relación con otros sólidos platónicos .
{{citation}}: Enlace externo en |postscript={{citation}}: CS1 maint: postscript (link)