The fourteen Bravais lattices — the series
-
Twenty-five cells, and fourteen lattices
The usual picture of the fourteen Bravais lattices is a plate of fourteen boxes, which is the answer with the argument removed. The argument is one question asked of twenty-five candidates, and the question has a computable answer.
-
Forty-eight becomes sixteen
Centre one face of a cube and the four threefold axes along its body diagonals are gone. That sentence is usually offered as a fact to accept; it is a computation whose answer is a number, and the number says which lattice you got instead.
-
A lattice described on somebody else's axes
R-centring a hexagonal cell does lower its symmetry, from twenty-four to twelve — and the lattice that results is the fourteenth, the rhombohedral one, which already appears on the list under its own axes. It is the only row in the enumeration where losing symmetry and being a duplicate are the same verdict.
-
Thirty-two from fourteen matrices
Write the fourteen Bravais lattices as Gram matrices, ask each one which integer matrices preserve it, and take every subgroup of every answer: five hundred and ten of them. Sort those by how many operations of each kind they contain — which a determinant and a trace decide — and thirty-two answers come out. They are the crystal classes, from a construction in which no point group is ever named.
-
Seventy-three, without a search
The unit a space group is built from is a point group together with the lattice it acts on, and there are seventy-three of them. Getting there looks like it needs conjugacy in GL(3,ℤ), which is a search this collection tried and abandoned. It does not: every finite group of integer matrices carries a canonical larger group that says which lattice it belongs to, and once that is computed the search has nothing left to do.