Crystallography & Symmetry
patterns derived from their groups
Generator

Which rotation orders each dimension permits

Which rotation orders each dimension permits
Which rotation orders each dimension permits. An n-fold rotation of a lattice is an integer matrix of order n. One that turns a plane by a primitive n-th of a turn needs φ(n) dimensions; one of order n at all needs the least total over blocks whose orders have n as least common multiple, which is smaller from fifteen on. Every order up to 14, against the dimensions drawn here: 2 admits 1, 2, 3, 4, 6; 3 admits 1, 2, 3, 4, 6; 4 admits 1, 2, 3, 4, 5, 6, 8, 10, 12.

An n-fold rotation of a lattice is an integer matrix of order n. One that turns a plane by a primitive n-th of a turn needs φ(n) dimensions; one of order n at all needs the least total over blocks whose orders have n as least common multiple, which is smaller from fifteen on. Every order up to 14, against the dimensions drawn here: 2 admits 1, 2, 3, 4, 6; 3 admits 1, 2, 3, 4, 6; 4 admits 1, 2, 3, 4, 5, 6, 8, 10, 12.

12 essays call totient-restriction. The drawing above is what it returns with no arguments at all; every call below passes it something, because a placement that passes nothing draws whichever member of the family the generator happens to default to rather than the one its essay argues about. Every one of this site's 522 essays names its parameters at the call site, which the standard pass of 2026-08-09 established and param-floor holds.

Where it is called

Changing this generator changes every one of these figures.

The 48 point symmetries of a cubic lattice. Every operation that maps a cubic lattice onto itself, built as the integer matrices preserving that system's metric: 48 of them, of which 24 are proper rotations and 24 reverse handedness. The orders occurring among the rotations are 1, 2, 3, 4 — the same list the plane gives, so the crystallographic restriction does not change in three dimensions, and there is no six anywhere. The 13 rotation axes are counted from the rotations they carry rather than drawn from memory, and every rotation but the identity is checked to belong to exactly one of them. What a lattice forbids

The restriction in three dimensions

Space is roomier than the plane in every other respect, so the natural expectation is that it permits more rotation orders. It permits exactly the same five, and seeing why is more interesting than the result.

 An integer matrix of order 5. The companion matrix of the 5th cyclotomic polynomial has whole-number entries and order exactly 5, so it is a genuine 5-fold symmetry of a 4-dimensional lattice. The plane it rotates sits at an irrational angle to that lattice, and the lattice's shadow on it is dense — which is why a projection needs a window before it becomes a pattern. What a lattice forbids

Where five-fold becomes legal

A five-fold rotation with whole-number entries exists — in four dimensions, as a four-by-four matrix that can be written down. The plane forbids it because the plane is too small, and knowing which dimension is large enough changes what a quasicrystal is.

 The icosahedral group, counted. The sixty rotations of an icosahedron, found by trying every map that sends one adjacent pair of vertices to another and keeping those that carry the whole vertex set onto itself. They fall into 6 axes of order 5, 10 axes of order 3, 15 axes of order 2 — and the fivefold axes are the reason this group cannot be the point group of any crystal, since no three-dimensional lattice admits a rotation of order five. Quasicrystals have it anyway, which is what made 1982 an argument rather than a measurement. Order without repetition

Icosahedral symmetry

Sixty rotations, six fivefold axes, and no lattice in three dimensions that can hold any of them. It is the point group a crystal is forbidden, and the one the first quasicrystal turned out to have.

 Why the seventeen is a number at all. The classification is finite because three counts in a row are finite, and the first two are where the work is. Finitely many lattice types, because a lattice's symmetry group is a finite group of integer matrices; finitely many such groups, by Minkowski's lemma and his bound; and finitely many ways to attach translations to each, which is the extension problem. Every step is a count this site makes elsewhere — five, thirteen, seventeen — and this is the reason each of those searches was allowed to stop. What a lattice forbids

Why there is a list at all

Five lattices, seventeen groups, thirty-two classes, two hundred and thirty. Every one of those counts came out of a search that had to know when to stop, and the reason it could stop is a divisibility Minkowski proved in 1887.

 66 squares and 106 rhombs. The Ammann–Beenker tiling, built by keeping the points of a four-dimensional lattice whose companion image falls inside an octagon and projecting them into the plane. Every tile has the same edge length; the squares and the forty-five degree rhombs are told apart by their diagonals. Nothing was placed — the faces were found among the projected points. Order without repetition

Eight-fold, with the golden ratio taken out

The familiar quasicrystals are all built on five: Penrose's rhombs, the Fibonacci chain, the ten-fold pattern Shechtman measured. A method that works only on the golden ratio is a method tuned to its answer — so here is the same construction run on eight, where the irrational is √2 and nothing else changes.

 Rotation orders 1, 2, 3, 4, 6 and no others. Every net in this collection, with the orders of the rotations its own symmetry group has, and the degrees of its vertices beside them. The orders are 1, 2, 3, 4, 6 — the crystallographic restriction, arrived at with no length anywhere in the argument: the translations of a net are ℤ² by construction, an automorphism carries translations to translations, so it acts on ℤ² by an integer matrix, and an integer trace in the interval from minus two to two is one of five numbers. The degree column is there because the two are constantly confused: a net may perfectly well have vertices of degree five, and one here does. What a lattice forbids

The restriction, with no lattice assumed

The proof that only two-, three-, four- and six-fold rotations are possible is usually stated about a lattice, and every step of it turns out to need no lengths at all. A periodic graph has the same theorem, proved the same way — and a graph may have a five-fold symmetry the plane cannot receive.

 Four angles, and the integer that picks them. Two roots at angle θ have Cartan integers whose product is 4cos²θ. Both are whole numbers and the product is below four, so it is nought, one, two or three — and each value fixes the angle between the two roots, and with it the angle between the mirrors perpendicular to them. The shaded wedge is the region the pair of mirrors folds the plane onto; the smaller it is, the larger the group they generate. What a lattice forbids

Four root systems, and the same four rotations

Two mirrors meeting at an angle generate a group. Ask that the group be finite and that a certain pairing between the mirrors come out a whole number, and the angle has only four possible values — from which the rotations that survive are of order two, three, four and six. The crystallographic restriction arrives with no lattice anywhere in the argument.

 Three rotations of order twelve, and one twelve-fold. Three integer 4 × 4 matrices of order twelve, one from each rational class of that order on a four-dimensional lattice. A four-dimensional rotation turns two perpendicular planes, and each plane is drawn as a dial: a point, its images, and the path the operation takes round them. Φ₁₂ turns its planes by one twelfth and five twelfths of a turn, so a point runs round twelve positions. Φ₃ ⊕ Φ₄ turns one plane by a third and the other by a quarter, and Φ₄ ⊕ Φ₆ by a quarter and a sixth; each has order twelve because twelve is the least common multiple, and neither has a plane with twelve positions in it. What a lattice forbids

Three rotations of order twelve

A four-dimensional lattice can be carried onto itself by three different integer matrices of order twelve, and only one of them turns anything by a twelfth of a turn. The totient that is usually said to decide which orders a dimension permits decides something else: which angles. The orders are decided by a sum over blocks, the two lists part company at six dimensions, and space already has an operation whose order is not its angle.

 Which four-dimensional lattices carry which rotations of order twelve. Six four-dimensional lattices, the order of each one's symmetry group, and how many of its symmetries are of each of the three kinds of order twelve: the single block Φ₁₂, the third-turn with a quarter-turn Φ₃Φ₄, and the quarter-turn with a sixth-turn Φ₄Φ₆. D₄ has 96 of the first among 1,152 symmetries, the two hexagonal planes 24 among 288, and the hexagonal-and-square sum 4 of each of the other two among 96. No lattice has all three, and none has the first with either other. What a lattice forbids

No lattice carries all three twelves

Four-dimensional lattices admit three different operations of order twelve: one that turns a single irreducible block by a twelfth, and two that turn two planes, by a third and a quarter or by a quarter and a sixth. Computing the symmetry group of every kind of four-dimensional lattice that can have a maximal one shows that no lattice carries all three, and none carries the first with either of the others. D₄, the most symmetric of them, has only the first.

 Twelve kinds of operation six dimensions adds, and the lattices that carry them. The twelve rational kinds of operation whose orders first appear in five or six dimensions — 7, 9, 14, 15, 18, 20 (two kinds), 24 (two) and 30 (three) — against six lattices whose symmetry groups were computed element by element. Every kind is carried by at least one. All three kinds of order thirty are carried by A₄ ⊕ A₂, forty-eight symmetries each; the single-block kinds Φ₇ and Φ₁₄ only by A₆, and Φ₉ and Φ₁₈ by E₆ and by three hexagonal planes. What a lattice forbids

The thirties share a lattice

Four dimensions has three kinds of operation of order twelve and no lattice carries all three. Six dimensions has three kinds of order thirty, and one lattice carries every one of them, forty-eight times each. The difference is not the order. One of the twelves is a single block that cannot be split, and no thirty is: thirty needs eight dimensions to be irreducible, so in six it is always a five-fold piece beside a three-fold one, and the lattice that is both pieces holds every combination.

 Seventeen ways to have order thirty in eight dimensions, and four on E₈. Every product of cyclotomic polynomials of total degree eight whose order is thirty: 17 of them. E₈'s symmetry group holds 4: the single block Φ₃₀ and three split kinds, each with a one-dimensional piece of each sign or a doubled minus one. The other thirteen fit the dimension and have no element on this lattice. What a lattice forbids

Thirty as one block lives on two lattices

Eight dimensions is where an operation of order thirty can finally be a single irreducible block. It was predicted to sit alone on E₈ with the split kinds elsewhere, as the twelves do in four dimensions. It does not: E₈ holds three split thirties beside it, and exactly three of the sixteen that fit, because a five-fold block leaves nothing but a permutation of five things. The block also lives on a second lattice, A₂ ⊗ A₄, and there it really is alone.

 Every form tried, by its symmetries and by how well it packs. 5902 totally positive forms of the ring of fifteenth roots of unity, sorted by the order of their symmetry group into five rows. Forms with 60 and 120 symmetries form scattered bands. Two lattices have 1,440, the tensor products of A2 with A4 and with its dual. One has 14,400, a member of the icosian line; one has 28,800, the icosian ring with its plain trace; and one is E8. The highest Hermite number among forms with only 60 symmetries is above that of the 28,800 lattice. What a lattice forbids

One ring is E8 and a lattice with no mirror

An operation of order thirty as one block in eight dimensions preserves a whole family of forms, and E₈ was one point of it. Walking the family finds sixty symmetries almost everywhere and two lines above that. One is tensor products. The other is the icosian ring, on which E₈ is famously built, under a sliding choice of form: 14,400 symmetries all along it, 28,800 and not one reflection at one end, and at the other end E₈, where the group jumps by a factor of nearly fifty thousand.

The whole library · All essays