Crystallography & Symmetry
patterns derived from their groups
Concept

Icosahedral group — where it appears

The sixty rotations of an icosahedron, which no lattice in three dimensions admits and which the six-dimensional integer lattice does. Its largest crystallographic subgroup has order twelve, at index five, and the five are Kepler's five cubes.

Named by 3 essays across 2 fields — each of them below, with the objects they name alongside it.

The most of an icosahedron a crystal can keep. Every subgroup of the sixty rotations of an icosahedron, found by closure, with the crystallographic ones marked — those whose rotation orders are all among the 1, 2, 3, 4 and 6 that a three-dimensional lattice admits. The largest is 23, of order 12, at index 5; everything containing a fivefold axis is refused. So a crystal containing an icosahedral molecule may fix a twelfth of the molecule's own symmetry and no more, and the remaining 5 orientations have to be related by something other than the site's symmetry.

The most of an icosahedron a crystal can keep

C₆₀ sits in crystals and virus capsids sit in crystals, and neither of them stops being icosahedral. What a lattice can fix is a subgroup — and the largest crystallographic subgroup of the sixty rotations has order twelve, at index five. The five are Kepler's five cubes.

restriction · Local symmetry A quasilattice down a 5-fold axis: 10-fold, from an axis of order 5. 153 points of a three-dimensional quasilattice, made by keeping the points of Z⁶ whose perpendicular image lies inside a window and projecting them into ordinary space, then viewed along one of its 5-fold axes. There is no lattice here and no unit cell, and the symmetry is nevertheless exact: all sixty rotations of the icosahedral group carry the set onto itself, on 153 points of its core, measured by applying them rather than assumed from the construction. Seen down this axis the set comes back to itself under a turn of a 10th and no finer turn, measured over every turn up to a twelfth — twice the order of the axis, and the factor of two is a centre of symmetry: this set equals its own negation, which is what a window centred on the origin produces, and that is checked here rather than assumed. A diffraction experiment would record the same 10 whatever: the measured intensity acquires a centre whether or not the structure has one, so the tenfold photograph of 1982 does not by itself distinguish a structure with a centre from one without.

Six integers, and the lattice that holds them

A fivefold rotation is not an integer matrix in three dimensions and is one in six. The icosahedral group permutes its own six fivefold axes, so in coordinates along those axes every one of its sixty rotations is a signed permutation — and Z⁶ is a lattice it maps onto itself.

aperiodic · Quasicrystals Which Schläfli symbols close. Every {p, q} with p polygons round each face and q faces round each vertex, from three to six of each. A solid exists only when 2p + 2q − pq is positive, which is the same statement as 1/p + 1/q > ½; the five that qualify carry their vertex, edge and face counts, and the three on the diagonal where the expression vanishes are the three regular tilings of the plane. Past them the expression is negative and the answer is the hyperbolic plane, where the list never ends. The five, the three and the infinity are one inequality read at its three signs.

Five solids from one inequality

Five families of rotation group in space, five regular solids, three regular tilings of the plane and an endless supply of hyperbolic ones — all of it is 1/p + 1/q compared with a half, read at its three signs.

restriction · Finite groups

Named alongside it

The objects these essays reach for when they reach for this one.

Crystallographic restrictionOrbitTetrahedral groupArchimedean tilingCosetCut-and-projectDualityEnumerationThe Euler characteristicFinite groupFullereneGolden ratio

All concepts