Icosian

In mathematics, the icosians are a specific set of Hamiltonian quaternions with the same symmetry as the 600-cell. The term can be used to refer to two related, but distinct, concepts:

• The icosian group: a multiplicative group of 120 quaternions, positioned at the vertices of a 600-cell of unit radius. This group is isomorphic to the binary icosahedral group of order 120.
• The icosian ring: all finite sums of the 120 unit icosians.

Unit icosians

The 120 unit icosians, which form the icosian group, are all even permutations of:

• 8 icosians of the form ½(±2, 0, 0, 0)
• 16 icosians of the form ½(±1, ±1, ±1, ±1)
• 96 icosians of the form ½(0, ±1, ±ψ, ±φ)

In this case, the vector (a, b, c, d) refers to the quaternion a + bi + cj + dk, and ψ,φ represent the numbers (1 ± √5)/2. These 120 vectors form the H4 root system, with a Weyl group of order 14400. In addition to the 120 unit icosians forming the vertices of a 600-cell, the 600 icosians of norm 2 form the vertices of a 120-cell. Other subgroups of icosians correspond to the tesseract, 16-cell and 24-cell.

Icosian ring

The icosians lie in the golden field, (a + b√5)i + (c + d√5)j + (e + f√5)k + (g + h√5), where the eight variables are rational numbers. Interestingly, this quaternion is only an icosian if the vector (a, b, c, d, e, f, g, h) is a point on the E8 lattice.

References

• John H. Conway, Neil Sloane: Sphere Packings, Lattices and Groups (2nd edition)
• John H. Conway, Heidi Burgiel, Chaim Goodman-Strauss: The Symmetries of Things (2008)
• Frans Marcelis Icosians and ADE
• Adam P. Goucher Good fibrations