Icosahedral symmetry

From Wikipedia, the free encyclopedia
  (Redirected from Icosahedral group)
Jump to: navigation, search
Point groups in three dimensions
Sphere symmetry group cs.png
Involutional symmetry
Cs, (*)
[ ] = CDel node c2.png
Sphere symmetry group c3v.png
Cyclic symmetry
Cnv, (*nn)
[n] = CDel node c1.pngCDel n.pngCDel node c1.png
Sphere symmetry group d3h.png
Dihedral symmetry
Dnh, (*n22)
[n,2] = CDel node c1.pngCDel n.pngCDel node c1.pngCDel 2.pngCDel node c1.png
Polyhedral group, [n,3], (*n32)
Sphere symmetry group td.png
Tetrahedral symmetry
Td, (*332)
[3,3] = CDel node c1.pngCDel 3.pngCDel node c1.pngCDel 3.pngCDel node c1.png
Sphere symmetry group oh.png
Octahedral symmetry
Oh, (*432)
[4,3] = CDel node c2.pngCDel 4.pngCDel node c1.pngCDel 3.pngCDel node c1.png
Sphere symmetry group ih.png
Icosahedral symmetry
Ih, (*532)
[5,3] = CDel node c2.pngCDel 5.pngCDel node c2.pngCDel 3.pngCDel node c2.png
Icosahedral symmetry fundamental domains
A Soccer ball, a common example of a spherical truncated icosahedron, has full icosahedral symmetry.

A regular icosahedron has 60 rotational (or orientation-preserving) symmetries, and a symmetry order of 120 including transformations that combine a reflection and a rotation. A regular dodecahedron has the same set of symmetries, since it is the dual of the icosahedron.

The set of orientation-preserving symmetries forms a group referred to as A5 (the alternating group on 5 letters), and the full symmetry group (including reflections) is the product A5 × Z2. The latter group is also known as the Coxeter group H3, and is also represented by Coxeter notation, [5,3] and Coxeter diagram CDel node.pngCDel 5.pngCDel node.pngCDel 3.pngCDel node.png.

As point group[edit]

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.

Icosahedral symmetry is not compatible with translational symmetry, so there are no associated crystallographic point groups or space groups.

Schö. Coxeter Orb. Abstract
structure
Order
I [5,3]+ CDel node h2.pngCDel 5.pngCDel node h2.pngCDel 3.pngCDel node h2.png 532 A5×2 60
Ih [5,3] CDel node.pngCDel 5.pngCDel node.pngCDel 3.pngCDel node.png *532 A5 120

Presentations corresponding to the above are:

I:  \langle s,t \mid s^2, t^3, (st)^5 \rangle\
I_h:  \langle s,t\mid s^3(st)^{-2}, t^5(st)^{-2}\rangle.\

These correspond to the icosahedral groups (rotational and full) being the (2,3,5) triangle groups.

The first presentation was given by William Rowan Hamilton in 1856, in his paper on icosian calculus.[1]

Note that other presentations are possible, for instance as an alternating group (for I).

Visualizations[edit]

Schoe.
(Orb.)
Coxeter
notation
Elements Mirror diagrams
Orthogonal Stereographic
Ih
(*532)
CDel node.pngCDel 5.pngCDel node.pngCDel 3.pngCDel node.png
CDel node c1.pngCDel 5.pngCDel node c1.pngCDel 3.pngCDel node c1.png
[5,3]
Mirror
lines:
15 CDel node c1.png
Spherical disdyakis triacontahedron.png Disdyakis triacontahedron stereographic d5.png Disdyakis triacontahedron stereographic d3.png Disdyakis triacontahedron stereographic d2.png
I
(532)
CDel node h2.pngCDel 5.pngCDel node h2.pngCDel 3.pngCDel node h2.png
[5,3]+
Gyration
points:
125Patka piechota.png
203Armed forces red triangle.svg
302Rhomb.svg
Sphere symmetry group i.png Disdyakis triacontahedron stereographic d5 gyrations.png Disdyakis triacontahedron stereographic d3 gyrations.png Disdyakis triacontahedron stereographic d2 gyrations.png

Group structure[edit]

The icosahedral rotation group I 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 group Ih 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.

Ih acts on the compound of five cubes and the compound of five octahedra, but −1 acts as the identity (as cubes and octahedra are centrally symmetric). It acts on the compound of ten tetrahedra: I acts on the two chiral halves (compounds of five tetrahedra), and −1 interchanges the two halves. Notably, it does not act as S5, and these groups are not isomorphic; see below for details.

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).

Commonly confused groups[edit]

The following groups all have order 120, but are not isomorphic:

They correspond to the following short exact sequences (which do not split) and product

1\to A_5 \to S_5 \to Z_2 \to 1
I_h = A_5 \times Z_2
1\to Z_2 \to 2I\to A_5 \to 1

In words,

Note that A_5 has an exceptional irreducible 3-dimensional representation (as the icosahedral rotation group), but S_5 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:

Conjugacy classes[edit]

conjugacy classes
I Ih
  • identity
  • 12 × rotation by 72°, order 5
  • 12 × rotation by 144°, order 5
  • 20 × rotation by 120°, order 3
  • 15 × rotation by 180°, order 2
  • 12 × rotoreflection by 108°, order 10
  • 12 × rotoreflection by 36°, order 10
  • 20 × rotoreflection by 60°, order 6
  • 15 × reflection, order 2

Subgroups of full icosahedral symmetry[edit]

Subgroup relations
Chiral subgroup relations
Scho. Coxeter Orb. H-M Structure Cyc. Order Index
Ih [5,3] CDel node.pngCDel 5.pngCDel node.pngCDel 3.pngCDel node.png *532 532/m A5×2 120 1
D2h [2,2] CDel node.pngCDel 2.pngCDel node.pngCDel 2.pngCDel node.png *222 mmm Dih2×Dih1=Dih13 GroupDiagramMiniC2x3.svg 8 15
C5v [5] CDel node.pngCDel 5.pngCDel node.png *55 5m Dih5 GroupDiagramMiniD10.svg 10 12
C3v [3] CDel node.pngCDel 3.pngCDel node.png *33 3m Dih3=S3 GroupDiagramMiniD6.svg 6 20
C2v [2] CDel node.pngCDel 2.pngCDel node.png *22 mm2 Dih2=Dih12 GroupDiagramMiniD4.svg 4 30
Cs [ ] CDel node.png * 2 or m Dih1 GroupDiagramMiniC2.svg 2 60
Th [3+,4] CDel node h2.pngCDel 3.pngCDel node h2.pngCDel 4.pngCDel node.png 3*2 m3 A4×2 GroupDiagramMiniA4xC2.png 24 5
D5d [2+,10] CDel node h2.pngCDel 2x.pngCDel node h2.pngCDel 10.pngCDel node.png 2*5 10m2 Dih10=Z2×Dih5 GroupDiagramMiniD20.png 20 6
D3d [2+,6] CDel node h2.pngCDel 2x.pngCDel node h2.pngCDel 6.pngCDel node.png 2*3 3m Dih6=Z2×Dih3 GroupDiagramMiniD12.svg 12 10
D1d = C2h [2+,2] CDel node h2.pngCDel 2x.pngCDel node h2.pngCDel 2.pngCDel node.png 2* 2/m Dih2=Z2×Dih1 GroupDiagramMiniD4.svg 4 30
S10 [2+,10+] CDel node h2.pngCDel 2x.pngCDel node h4.pngCDel 10.pngCDel node h2.png 5 Z10=Z2×Z5 GroupDiagramMiniC10.svg 10 12
S6 [2+,6+] CDel node h2.pngCDel 2x.pngCDel node h4.pngCDel 6.pngCDel node h2.png 3 Z6=Z2×Z3 GroupDiagramMiniC6.svg 6 20
S2 [2+,2+] CDel node h2.pngCDel 2x.pngCDel node h4.pngCDel 2x.pngCDel node h2.png × 1 Z2 GroupDiagramMiniC2.svg 2 60
I [5,3]+ CDel node h2.pngCDel 5.pngCDel node h2.pngCDel 3.pngCDel node h2.png 532 532 A5 60 2
T [3,3]+ CDel node h2.pngCDel 3.pngCDel node h2.pngCDel 3.pngCDel node h2.png 332 332 A4 GroupDiagramMiniA4.svg 12 10
D5 [2,5]+ CDel node h2.pngCDel 2x.pngCDel node h2.pngCDel 5.pngCDel node h2.png 225 225 Dih5 GroupDiagramMiniD10.svg 10 12
D3 [2,3]+ CDel node h2.pngCDel 2x.pngCDel node h2.pngCDel 3.pngCDel node h2.png 223 223 Dih3=S3 GroupDiagramMiniD6.svg 6 20
D2 [2,2]+ CDel node h2.pngCDel 2x.pngCDel node h2.pngCDel 2x.pngCDel node h2.png 222 222 Dih2=Z22 GroupDiagramMiniD4.svg 4 30
C5 [5]+ CDel node h2.pngCDel 5.pngCDel node h2.png 55 5 Z5 GroupDiagramMiniC5.svg 5 24
C3 [3]+ CDel node h2.pngCDel 3.pngCDel node h2.png 33 3 Z3=A3 GroupDiagramMiniC3.svg 3 40
C2 [2]+ CDel node h2.pngCDel 2x.pngCDel node h2.png 22 2 Z2 GroupDiagramMiniC2.svg 2 60
C1 [ ]+ CDel node h2.png 11 1 Z1 GroupDiagramMiniC1.svg 1 120

All of these classes of subgroups are conjugate (i.e., all vertex stabilizers are conjugate), and admit geometric interpretations.

Note that the stabilizer of a vertex/edge/face/polyhedron and its opposite are equal, since -1 is central.

Vertex stabilizers[edit]

Stabilizers of an opposite pair of vertices can be interpreted as stabilizers of the axis they generate.

  • vertex stabilizers in I give cyclic groups C3
  • vertex stabilizers in Ih give dihedral groups D3
  • stabilizers of an opposite pair of vertices in I give dihedral groups D3
  • stabilizers of an opposite pair of vertices in Ih give D_3 \times \pm 1

Edge stabilizers[edit]

Stabilizers of an opposite pair of edges can be interpreted as stabilizers of the rectangle they generate.

  • edges stabilizers in I give cyclic groups Z2
  • edges stabilizers in Ih give Klein four-groups Z_2 \times Z_2
  • stabilizers of a pair of edges in I give Klein four-groups Z_2 \times Z_2; there are 5 of these, given by rotation by 180° in 3 perpendicular axes.
  • stabilizers of a pair of edges in Ih give Z_2 \times Z_2 \times Z_2; there are 5 of these, given by reflections in 3 perpendicular axes.

Face stabilizers[edit]

Stabilizers of an opposite pair of faces can be interpreted as stabilizers of the anti-prism 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 D_5 \times \pm 1

Polyhedron stabilizers[edit]

For each of these, there are 5 conjugate copies, and the conjugation action gives a map, indeed an isomorphism, I \stackrel{\sim}\to A_5 < S_5.

  • stabilizers of the inscribed tetrahedra in I are a copy of T
  • stabilizers of the inscribed tetrahedra in Ih are a copy of Th
  • stabilizers of the inscribed cubes (or opposite pair of tetrahedra, or octahedrons) in I are a copy of O
  • stabilizers of the inscribed cubes (or opposite pair of tetrahedra, or octahedrons) in Ih are a copy of Oh

Fundamental domain[edit]

Fundamental domains for the icosahedral rotation group and the full icosahedral group are given by:

Sphere symmetry group i.png
Icosahedral rotation group
I
Sphere symmetry group ih.png
Full icosahedral group
Ih
Disdyakistriacontahedron.jpg
Faces of disdyakis triacontahedron are the fundamental domain

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.

Solids with icosahedral symmetry[edit]

For more details on this topic, see Solids with icosahedral symmetry.

Chiral solids[edit]

Class Name picture Faces Edges Vertices
Archimedean solid snub dodecahedron Snubdodecahedronccw.jpg 92 150 60
Catalan solid pentagonal hexecontahedron Pentagonalhexecontahedronccw.jpg 60 50 92

Full icosahedral symmetry[edit]

Platonic solids
Dodecahedron.jpg
{5,3}
Icosahedron.jpg
{3,5}
Archimedean solids
Truncateddodecahedron.jpg
3.10.10
Truncatedicosidodecahedron.jpg
4.6.10
Truncatedicosahedron.jpg
5.6.6
Rhombicosidodecahedron.jpg
3.4.5.4
Icosidodecahedron.jpg
3.5.3.5
Catalan solids
Triakisicosahedron.jpg
V3.10.10
Disdyakistriacontahedron.jpg
V4.6.10
Pentakisdodecahedron.jpg
V5.6.6
Deltoidalhexecontahedron.jpg
V3.4.5.4
Rhombictriacontahedron.jpg
V3.5.3.5

Other objects with icosahedral symmetry[edit]

Icosahedral capsid of an Adenovirus

Liquid crystals with icosahedral symmetry[edit]

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[edit]

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/79b) 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.

There is a close relationship to other Platonic solids.

See also[edit]

References[edit]

  • Klein, F. (1878). "Ueber die Transformation siebenter Ordnung der elliptischen Functionen" [On the order-seven transformation of elliptic functions]. Mathematische Annalen 14 (3): 428–471. doi:10.1007/BF01677143.  Translated in Levy, Silvio, ed. (1999). The Eightfold Way. Cambridge University Press. ISBN 978-0-521-66066-2. MR 1722410.  edit
  • Klein, F. (1879), "Ueber die Transformation elfter Ordnung der elliptischen Functionen (On the eleventh order transformation of elliptic functions)", Mathematische Annalen 15 (3-4): 533–555, doi:10.1007/BF02086276, collected as pp. 140–165 in Oeuvres, Tome 3  edit
  • Klein, Felix (1888), Lectures on the Icosahedron and the Solution of Equations of the Fifth Degree, Trübner & Co., ISBN 0-486-49528-0trans. George Gavin Morrice 
  • 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-Strass, ISBN 978-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, ISBN 978-0-471-01003-6 [1]
  • N.W. Johnson: Geometries and Transformations, (2015) Chapter 11: Finite symmetry groups

External links[edit]