The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.
Every polyhedron with icosahedral symmetry has 60 rotational (or orientation-preserving) symmetries and 60 orientation-reversing symmetries (that combine a rotation and a reflection), for a total symmetry order of 120. The full symmetry group is the Coxeter group of type H3. It may be represented by Coxeter notation[5,3] and Coxeter diagram. The set of rotational symmetries forms a subgroup that is isomorphic to the alternating groupA5 on 5 letters.
Description
Icosahedral symmetry is a mathematical property of objects indicating that an object has the same symmetries as a regular icosahedron.
As point group
Apart from the two infinite series of prismatic and antiprismatic symmetry, rotational icosahedral symmetry or chiral icosahedral symmetry of chiral objects and full icosahedral symmetry or achiral icosahedral symmetry are the discrete point symmetries (or equivalently, symmetries on the sphere) with the largest symmetry groups.
Every polyhedron with icosahedral symmetry has 60 rotational (or orientation-preserving) symmetries and 60 orientation-reversing symmetries (that combine a rotation and a reflection), for a total symmetry order of 120.
The edges of a spherical compound of five octahedra represent the 15 mirror planes as colored great circles. Each octahedron can represent 3 orthogonal mirror planes by its edges.
The pyritohedral symmetry is an index 5 subgroup of icosahedral symmetry, with 3 orthogonal green reflection lines and 8 red order-3 gyration points. There are 5 different orientations of pyritohedral symmetry.
The icosahedral rotation groupI is of order 60. The group I is isomorphic to A5, the alternating group of even permutations of five objects. This isomorphism can be realized by I acting on various compounds, notably the compound of five cubes (which inscribe in the dodecahedron), the compound of five octahedra, or either of the two compounds of five tetrahedra (which are enantiomorphs, and inscribe in the dodecahedron). The group contains 5 versions of Th with 20 versions of D3 (10 axes, 2 per axis), and 6 versions of D5.
The full icosahedral groupIh has order 120. It has I as normal subgroup of index 2. The group Ih is isomorphic to I × Z2, or A5 × Z2, with the inversion in the center corresponding to element (identity,-1), where Z2 is written multiplicatively.
The group contains 10 versions of D3d and 6 versions of D5d (symmetries like antiprisms).
I is also isomorphic to PSL2(5), but Ih is not isomorphic to SL2(5).
Isomorphism of I with A5
It is useful to describe explicitly what the isomorphism between I and A5 looks like. In the following table, permutations Pi and Qi act on 5 and 12 elements respectively, while the rotation matrices Mi are the elements of I. If Pk is the product of taking the permutation Pi and applying Pj to it, then for the same values of i, j and k, it is also true that Qk is the product of taking Qi and applying Qj, and also that premultiplying a vector by Mk is the same as premultiplying that vector by Mi and then premultiplying that result with Mj, that is Mk = Mj × Mi. Since the permutations Pi are all the 60 even permutations of 12345, the one-to-one correspondence is made explicit, therefore the isomorphism too.
Rotation matrix
Permutation of 5 on 1 2 3 4 5
Permutation of 12 on 1 2 3 4 5 6 7 8 9 10 11 12
= ()
= ()
= (3 4 5)
= (1 11 8)(2 9 6)(3 5 12)(4 7 10)
= (3 5 4)
= (1 8 11)(2 6 9)(3 12 5)(4 10 7)
= (2 3)(4 5)
= (1 12)(2 8)(3 6)(4 9)(5 10)(7 11)
= (2 3 4)
= (1 2 3)(4 5 6)(7 9 8)(10 11 12)
= (2 3 5)
= (1 7 5)(2 4 11)(3 10 9)(6 8 12)
= (2 4 3)
= (1 3 2)(4 6 5)(7 8 9)(10 12 11)
= (2 4 5)
= (1 10 6)(2 7 12)(3 4 8)(5 11 9)
= (2 4)(3 5)
= (1 9)(2 5)(3 11)(4 12)(6 7)(8 10)
= (2 5 3)
= (1 5 7)(2 11 4)(3 9 10)(6 12 8)
= (2 5 4)
= (1 6 10)(2 12 7)(3 8 4)(5 9 11)
= (2 5)(3 4)
= (1 4)(2 10)(3 7)(5 8)(6 11)(9 12)
= (1 2)(4 5)
= (1 3)(2 4)(5 8)(6 7)(9 10)(11 12)
= (1 2)(3 4)
= (1 5)(2 7)(3 11)(4 9)(6 10)(8 12)
= (1 2)(3 5)
= (1 12)(2 10)(3 8)(4 6)(5 11)(7 9)
= (1 2 3)
= (1 11 6)(2 5 9)(3 7 12)(4 10 8)
= (1 2 3 4 5)
= (1 6 5 3 9)(4 12 7 8 11)
= (1 2 3 5 4)
= (1 4 8 6 2)(5 7 10 12 9)
= (1 2 4 5 3)
= (1 8 7 3 10)(2 12 5 6 11)
= (1 2 4)
= (1 7 4)(2 11 8)(3 5 10)(6 9 12)
= (1 2 4 3 5)
= (1 2 9 11 7)(3 6 12 10 4)
= (1 2 5 4 3)
= (2 3 4 7 5)(6 8 10 11 9)
= (1 2 5)
= (1 9 8)(2 6 3)(4 5 12)(7 11 10)
= (1 2 5 3 4)
= (1 10 5 4 11)(2 8 9 3 12)
= (1 3 2)
= (1 6 11)(2 9 5)(3 12 7)(4 8 10)
= (1 3 4 5 2)
= (2 5 7 4 3)(6 9 11 10 8)
= (1 3 5 4 2)
= (1 10 3 7 8)(2 11 6 5 12)
= (1 3)(4 5)
= (1 7)(2 10)(3 11)(4 5)(6 12)(8 9)
= (1 3 4)
= (1 9 10)(2 12 4)(3 6 8)(5 11 7)
= (1 3 5)
= (1 3 4)(2 8 7)(5 6 10)(9 12 11)
= (1 3)(2 4)
= (1 12)(2 6)(3 9)(4 11)(5 8)(7 10)
= (1 3 2 4 5)
= (1 4 10 11 5)(2 3 8 12 9)
= (1 3 5 2 4)
= (1 5 9 6 3)(4 7 11 12 8)
= (1 3)(2 5)
= (1 2)(3 5)(4 9)(6 7)(8 11)(10 12)
= (1 3 2 5 4)
= (1 11 2 7 9)(3 10 6 4 12)
= (1 3 4 2 5)
= (1 8 2 4 6)(5 10 9 7 12)
= (1 4 5 3 2)
= (1 2 6 8 4)(5 9 12 10 7)
= (1 4 2)
= (1 4 7)(2 8 11)(3 10 5)(6 12 9)
= (1 4 3 5 2)
= (1 11 4 5 10)(2 12 3 9 8)
= (1 4 3)
= (1 10 9)(2 4 12)(3 8 6)(5 7 11)
= (1 4 5)
= (1 5 2)(3 7 9)(4 11 6)(8 10 12)
= (1 4)(3 5)
= (1 6)(2 3)(4 9)(5 8)(7 12)(10 11)
= (1 4 5 2 3)
= (1 9 7 2 11)(3 12 4 6 10)
= (1 4)(2 3)
= (1 8)(2 10)(3 4)(5 12)(6 7)(9 11)
= (1 4 2 3 5)
= (2 7 3 5 4)(6 11 8 9 10)
= (1 4 2 5 3)
= (1 3 6 9 5)(4 8 12 11 7)
= (1 4 3 2 5)
= (1 7 10 8 3)(2 5 11 12 6)
= (1 4)(2 5)
= (1 12)(2 9)(3 11)(4 10)(5 6)(7 8)
= (1 5 4 3 2)
= (1 9 3 5 6)(4 11 8 7 12)
= (1 5 2)
= (1 8 9)(2 3 6)(4 12 5)(7 10 11)
= (1 5 3 4 2)
= (1 7 11 9 2)(3 4 10 12 6)
= (1 5 3)
= (1 4 3)(2 7 8)(5 10 6)(9 11 12)
= (1 5 4)
= (1 2 5)(3 9 7)(4 6 11)(8 12 10)
= (1 5)(3 4)
= (1 12)(2 11)(3 10)(4 8)(5 9)(6 7)
= (1 5 4 2 3)
= (1 5 11 10 4)(2 9 12 8 3)
= (1 5)(2 3)
= (1 10)(2 12)(3 11)(4 7)(5 8)(6 9)
= (1 5 2 3 4)
= (1 3 8 10 7)(2 6 12 11 5)
= (1 5 2 4 3)
= (1 6 4 2 8)(5 12 7 9 10)
= (1 5 3 2 4)
= (2 4 5 3 7)(6 10 9 8 11)
= (1 5)(2 4)
= (1 11)(2 10)(3 12)(4 9)(5 7)(6 8)
Commonly confused groups
The following groups all have order 120, but are not isomorphic:
Note that has an exceptional irreducible 3-dimensional representation (as the icosahedral rotation group), but does not have an irreducible 3-dimensional representation, corresponding to the full icosahedral group not being the symmetric group.
These can also be related to linear groups over the finite field with five elements, which exhibit the subgroups and covering groups directly; none of these are the full icosahedral group:
12 × rotation by ±72°, order 5, around the 6 axes through the face centers of the dodecahedron
12 × rotation by ±144°, order 5, around the 6 axes through the face centers of the dodecahedron
20 × rotation by ±120°, order 3, around the 10 axes through vertices of the dodecahedron
15 × rotation by 180°, order 2, around the 15 axes through midpoints of edges of the dodecahedron
central inversion, order 2
12 × rotoreflection by ±36°, order 10, around the 6 axes through the face centers of the dodecahedron
12 × rotoreflection by ±108°, order 10, around the 6 axes through the face centers of the dodecahedron
20 × rotoreflection by ±60°, order 6, around the 10 axes through the vertices of the dodecahedron
15 × reflection, order 2, at 15 planes through edges of the dodecahedron
Subgroups of the full icosahedral symmetry group
Each line in the following table represents one class of conjugate (i.e., geometrically equivalent) subgroups. The column "Mult." (multiplicity) gives the number of different subgroups in the conjugacy class.
Explanation of colors: green = the groups that are generated by reflections, red = the chiral (orientation-preserving) groups, which contain only rotations.
The groups are described geometrically in terms of the dodecahedron.
The abbreviation "h.t.s.(edge)" means "halfturn swapping this edge with its opposite edge", and similarly for "face" and "vertex".
stabilizers of a pair of edges in I give Klein four-groups; there are 5 of these, given by rotation by 180° in 3 perpendicular axes.
stabilizers of a pair of edges in Ih give ; there are 5 of these, given by reflections in 3 perpendicular axes.
Face stabilizers
Stabilizers of an opposite pair of faces can be interpreted as stabilizers of the antiprism they generate.
face stabilizers in I give cyclic groups C5
face stabilizers in Ih give dihedral groups D5
stabilizers of an opposite pair of faces in I give dihedral groups D5
stabilizers of an opposite pair of faces in Ih give
Polyhedron stabilizers
For each of these, there are 5 conjugate copies, and the conjugation action gives a map, indeed an isomorphism, .
stabilizers of the inscribed tetrahedra in I are a copy of T
stabilizers of the inscribed tetrahedra in Ih are a copy of T
stabilizers of the inscribed cubes (or opposite pair of tetrahedra, or octahedra) in I are a copy of T
stabilizers of the inscribed cubes (or opposite pair of tetrahedra, or octahedra) in Ih are a copy of Th
Coxeter group generators
The full icosahedral symmetry group [5,3] () of order 120 has generators represented by the reflection matrices R0, R1, R2 below, with relations R02 = R12 = R22 = (R0×R1)5 = (R1×R2)3 = (R0×R2)2 = Identity. The group [5,3]+ () of order 60 is generated by any two of the rotations S0,1, S1,2, S0,2. A rotoreflection of order 10 is generated by V0,1,2, the product of all 3 reflections. Here denotes the golden ratio.
[5,3],
Reflections
Rotations
Rotoreflection
Name
R0
R1
R2
S0,1
S1,2
S0,2
V0,1,2
Group
Order
2
2
2
5
3
2
10
Matrix
(1,0,0)n
n
(0,1,0)n
axis
axis
axis
Fundamental domain
Fundamental domains for the icosahedral rotation group and the full icosahedral group are given by:
In the disdyakis triacontahedron one full face is a fundamental domain; other solids with the same symmetry can be obtained by adjusting the orientation of the faces, e.g. flattening selected subsets of faces to combine each subset into one face, or replacing each face by multiple faces, or a curved surface.
For the intermediate material phase called liquid crystals the existence of icosahedral symmetry was proposed by H. Kleinert and K. Maki[2]
and its structure was first analyzed in detail in that paper. See the review article here.
In aluminum, the icosahedral structure was discovered experimentally three years after this
by Dan Shechtman, which earned him the Nobel Prize in 2011.
Related geometries
Icosahedral symmetry is equivalently the projective special linear group PSL(2,5), and is the symmetry group of the modular curve X(5), and more generally PSL(2,p) is the symmetry group of the modular curve X(p). The modular curve X(5) is geometrically a dodecahedron with a cusp at the center of each polygonal face, which demonstrates the symmetry group.
This geometry, and associated symmetry group, was studied by Felix Klein as the monodromy groups of a Belyi surface – a Riemann surface with a holomorphic map to the Riemann sphere, ramified only at 0, 1, and infinity (a Belyi function) – the cusps are the points lying over infinity, while the vertices and the centers of each edge lie over 0 and 1; the degree of the covering (number of sheets) equals 5.
This arose from his efforts to give a geometric setting for why icosahedral symmetry arose in the solution of the quintic equation, with the theory given in the famous (Klein 1888); a modern exposition is given in (Tóth 2002, Section 1.6, Additional Topic: Klein's Theory of the Icosahedron, p. 66).
Klein's investigations continued with his discovery of order 7 and order 11 symmetries in (Klein 1878) and (Klein 1879) (and associated coverings of degree 7 and 11) and dessins d'enfants, the first yielding the Klein quartic, whose associated geometry has a tiling by 24 heptagons (with a cusp at the center of each).
Similar geometries occur for PSL(2,n) and more general groups for other modular curves.
More exotically, there are special connections between the groups PSL(2,5) (order 60), PSL(2,7) (order 168) and PSL(2,11) (order 660), which also admit geometric interpretations – PSL(2,5) is the symmetries of the icosahedron (genus 0), PSL(2,7) of the Klein quartic (genus 3), and PSL(2,11) the buckyball surface (genus 70). These groups form a "trinity" in the sense of Vladimir Arnold, which gives a framework for the various relationships; see trinities for details.
Klein, Felix (1888), Lectures on the Icosahedron and the Solution of Equations of the Fifth Degree, Trübner & Co., ISBN0-486-49528-0trans. George Gavin Morrice{{citation}}: CS1 maint: postscript (link)
Tóth, Gábor (2002), Finite Möbius groups, minimal immersions of spheres, and moduli
Peter R. Cromwell, Polyhedra (1997), p. 296
The Symmetries of Things 2008, John H. Conway, Heidi Burgiel, Chaim Goodman-Strauss, ISBN978-1-56881-220-5
Kaleidoscopes: Selected Writings of H.S.M. Coxeter, edited by F. Arthur Sherk, Peter McMullen, Anthony C. Thompson, Asia Ivic Weiss, Wiley-Interscience Publication, 1995, ISBN978-0-471-01003-6[1]
N.W. Johnson: Geometries and Transformations, (2018) ISBN978-1-107-10340-5 Chapter 11: Finite symmetry groups, 11.5 Spherical Coxeter groups