Crystallography & Symmetry
patterns derived from their groups
Generator

A sublattice of index 5

A sublattice of index 5
A sublattice of index 5. One of the 6 sublattices of index 5 in the square lattice, drawn as the points of the parent it keeps. Its own cell is outlined and has area 5 — which is what an index of a sublattice means, and which is why the index can be counted rather than believed. Whether this one is square is decided by the integrality of H⁻¹RH and not by looking.

One of the 6 sublattices of index 5 in the square lattice, drawn as the points of the parent it keeps. Its own cell is outlined and has area 5 — which is what an index of a sublattice means, and which is why the index can be counted rather than believed. Whether this one is square is decided by the integrality of H⁻¹RH and not by looking.

8 essays call sublattice-map. 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 393 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 subgroups of p4m of index 2. p4m has 7 subgroup(s) of index 2 with cyclic quotient. 3 of them keep every translation and lose operations — the lattice is untouched and the pattern loses a symmetry at every point. 4 keep every operation and lose translations, and each is named beside the basis of the sublattice it keeps, written in the parent's own axes. Each subgroup is the kernel of a homomorphism onto a cyclic group, found by enumeration; each name is found by searching changes of basis and origin until the operation sets match exactly. Operations

Two ways down from a group

A pattern can lose a symmetry by giving up an operation or by giving up a translation, and the two are different in kind. Sorting the seventy-four subgroups of index two among the seventeen splits them twenty-nine to forty-five — and a containment test that compares operations modulo one shared lattice can only see the twenty-nine.

 Sublattices of index n in the plane. For each index up to 12: the number of sublattices found by building every Hermite normal form of that determinant, and the number the Dirichlet series ζ(s)ζ(s−1) predicts — the sum of the divisors in the plane, and a longer sum in space. The two columns are computed by routines that share no code, and the figure does not appear at all if any row disagrees. Lattices

How many ways there are to thin a lattice

A sublattice of index n keeps one lattice point in n, and there is never only one way to do it. In the plane the number of them is the sum of the divisors of n; in space it is a longer sum; and both are counted here by writing every one of them down.

 Which indices have a square sublattice. For each index up to 26: how many sublattices of the square lattice are themselves square, found by testing whether the quarter-turn maps each one onto itself; the same count as a sum over divisors, +1 for each divisor one more than a multiple of four and −1 for each one less; and the ways of writing the index as a sum of two squares. The three agree at every row, which is Fermat's theorem — and it says that 3, 7 and 11 have no square sublattice at all while 5, 13 and 17 have two. Lattices

The sublattices that stay square

A sublattice of the square lattice is itself square exactly when its index is a sum of two squares — so index five has two and index seven has none, and which superstructures a surface can form is decided by a theorem of Fermat's about primes.

 Subgroups of index 3, across the seventeen. Every subgroup of index 3 with cyclic quotient in each of the seventeen plane groups, sorted into the two kinds: 4 keep all the translations and lose operations, 22 keep all the operations and lose translations, and the total is 26. The split is decided by whether the homomorphism onto ℤ3 kills the two lattice translations, which is a property of the kernel and not a judgement. Every one of them is found by enumeration inside the finite quotient by 3Λ, and the count for the whole classification is a measurement. The classification

Three colours, and why most patterns cannot have them

Seventy-four of the seventeen plane groups' subgroups have index two, and every group but one has at least one. At index three there are twenty-six, and ten of the seventeen have none at all — because a symmetry of order two cannot survive being asked to permute three colours.

 p = 2: 1, 3, 6, 12, 24 vertices at each distance. Every sublattice of index a power of 2, up to scale, joined when one contains the other with index 2. From the whole lattice there are 3 ways down, because a sublattice of index 2 is a line over the field of 2 elements and there are 3 of those; from each of those there are 3 again, one of which is the way back. So the counts are 1, 3, 6, 12, 24 — that is (2 + 1)·2^(k−1) — and the graph has no cycles, both of which are checked on every vertex whose whole neighbourhood was grown rather than read off the picture. The object is the Bruhat–Tits tree of the p-adic plane, and it is what the set of sublattices is rather than how many there are. Lattices

Every way down, and no way round

There are as many sublattices of a given index as the index has divisors, and counting them is where that essay stopped. This one asks what they are to each other, and the answer is a shape: an infinite tree in which every vertex has exactly p + 1 neighbours and no path ever comes back.

 At which indices a group contains a copy of itself. A filled circle where the group has a subgroup of that index which is the same plane group again. The groups with no rotation past a half-turn take every index — the lattice can be stretched along one direction by any factor. The four-fold groups take the sums of two squares and the three- and six-fold groups take the Loeschian numbers, because a sublattice invariant under a quarter or a third of a turn is an ideal in the Gaussian or Eisenstein integers and its index is a norm. The groups with mirrors take fewer still, and p4g takes only the squares. Into space

The same group in a bigger cell

A subgroup usually gives something up. An isomorphic subgroup gives up nothing but scale — the same plane group again, on a coarser lattice — and the indices at which that is possible turn out to be the values of a quadratic form.

 Sums of two squares, arriving as superstructures. Which indices admit a sublattice of the same shape as the square lattice, drawn as a bar per index whose height is how many there are. The pattern is not a pattern about lattices at all: an index works exactly when it is a sum of two squares, because a similar sublattice of the square lattice is multiplication by a Gaussian integer and its index is that integer's norm. The indices that work up to 30 are 1, 2, 4, 5, 8, 9, 10, 13, 16, 17, 18, 20, 25, 26, 29, and the same list is produced here a second time by factorising rather than by searching, with the two required to agree. Lattices

The sublattices that are the same shape

Thinning a lattice usually changes its shape. Sometimes it does not: the sublattice is the parent rotated and scaled, and a drawing of it alone would be a drawing of the parent. Which indices allow it turns out to be a question Fermat answered in 1640.

 A wavevector of thirds, and the boxes that cannot see it. Which sizes of box can carry the wavevector at the corner of a hexagonal zone. The characters of the box's translation group are its wavevectors, and there are exactly N² of them — the fractions with denominator dividing N. A wavevector of thirds is therefore present in a box of three, six, nine or twelve cells and absent from one of two, four or five: not approximated badly, not resolved coarsely, absent. A mechanism or a level living there is invisible to such a calculation, and that is the practical content of a mechanism count depending on the cell it was looked for in. The classification

Crystallography in a box

A calculation over a crystal is not performed on a crystal. It is performed on a finite block with its edges glued, and the block has a symmetry group of its own — finite, complete in one direction and missing something decisive in the other.

The whole library · All essays