En matemáticas , los icosianos son un conjunto específico de cuaterniones hamiltonianos con la misma simetría que los de 600 celdas . El término puede utilizarse para referirse a dos conceptos relacionados, pero distintos:
Las 120 unidades icosianas, que forman el grupo icosiano, son todas permutaciones pares de:
En este caso, el vector ( a , b , c , d ) se refiere al cuaternión a + b i + c j + d k , y φ representa la proporción áurea ( √ 5 + 1)/2. Estos 120 vectores forman el sistema de raíces H4 , con un grupo Weyl de orden 14400. Además de los 120 icosianos unitarios que forman los vértices de un 600 celdas, los 600 icosianos de norma 2 forman los vértices de un 120 celdas . Otros subgrupos de icosianos corresponden a los teseracto , de 16 celdas y de 24 celdas .
Los icosianos se encuentran en el campo dorado , ( a + b √ 5 ) + ( c + d √ 5 ) i + ( e + f √ 5 ) j + ( g + h √ 5 ) k , donde las ocho variables son números racionales . Este cuaternión es sólo icosiano si el vector ( a , b , c , d , e , f , g , h ) es un punto en una red L , que es isomorfa a una red E8 .
Más precisamente, la norma del cuaternión del elemento anterior es ( a + b √ 5 ) 2 + ( c + d √ 5 ) 2 + ( e + f √ 5 ) 2 + ( g + h √ 5 ) 2 . Su norma euclidiana se define como u + v si la norma del cuaternión es u + v √ 5 . Esta norma euclidiana define una forma cuadrática en L , bajo la cual la red es isomorfa a la red E8 .
Esta construcción muestra que el grupo Coxeter se integra como un subgrupo de . De hecho, un isomorfismo lineal que preserva la norma del cuaternión también preserva la norma euclidiana.