Crystallography & Symmetry
patterns derived from their groups
Generator

Where fourteen comes from

Where fourteen comes from
Where fourteen comes from. 25 centred cells asked the same question: does the lattice still have the symmetry of the system it was built in? The bar is the order of the lattice's automorphism group against 48, the largest any lattice has. 3 lose symmetry outright, 8 describe a lattice already on the list, and 14 are kept, which is where the fourteen comes from — 3 lost, 8 duplicates, 14 lattices out of 25 candidates.

25 centred cells asked the same question: does the lattice still have the symmetry of the system it was built in? The bar is the order of the lattice's automorphism group against 48, the largest any lattice has. 3 lose symmetry outright, 8 describe a lattice already on the list, and 14 are kept, which is where the fourteen comes from — 3 lost, 8 duplicates, 14 lattices out of 25 candidates.

15 essays call bravais-count. 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 fourteen Bravais lattices. All fourteen lattices: triclinic P, with 2 symmetries; monoclinic P, with 4 symmetries; monoclinic C, with 4 symmetries; orthorhombic P, with 8 symmetries; orthorhombic C, with 8 symmetries; orthorhombic I, with 8 symmetries; orthorhombic F, with 8 symmetries; tetragonal P, with 16 symmetries; tetragonal I, with 16 symmetries; rhombohedral P, with 12 symmetries; hexagonal P, with 24 symmetries; cubic P, with 48 symmetries; cubic I, with 48 symmetries; cubic F, with 48 symmetries. The corner points are the conventional cell; the points in the second colour are the centring translations, drawn at every position inside the cell rather than one per face. The cell shapes are the picture's, chosen so no two systems look alike; only the angles a system is defined by mean anything. Lattices

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.

 Six integers that do not depend on the description. The same monoclinic lattice written in 4 different bases, each obtained from the last by an integer matrix of determinant one, and each reduced by Niggli's algorithm. Every one of them gives the same six integers — the squared lengths and twice the dot products of the reduced basis. That is what makes the reduced form a fingerprint of the lattice: two cells with no number in common are the same lattice exactly when their reduced forms agree, and the comparison has no tolerance in it. Lattices

The cell that settles the argument

Two determinations of one compound can report cells that share no number and describe the same lattice. Reduction is the procedure that decides — six integers that depend on the lattice and not on anybody's choice of axes, and that agree exactly when the lattices do.

 Thirty-two classes, from fourteen Gram matrices. The five hundred and ten subgroups sorted by how many operations of each kind they contain — a determinant and a trace decide which of the ten kinds a matrix is. Thirty-two answers come out, and they are the thirty-two crystal classes: matched against the construction elsewhere in this collection by signature rather than by name, since nothing here names a point group. What symmetry decides

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.

 Twenty-two halvings the fourteen lattices permit. Every lattice has exactly seven subgroups of index two, whatever its shape. The third column is how many of the seven the lattice's own group carries onto themselves, and the fourth is how many of those survive as distinct types once a change of basis within the type is allowed to identify them. The running total ends at twenty-two, which with the fourteen grey lattices is the thirty-six magnetic Bravais lattices — and the row that ends at zero is the face-centred cubic lattice. Lattices

The halving a lattice will not permit

Admit time reversal and a lattice splits into points that leave the moments alone and points that reverse them. The second set is a coset of a subgroup of index two, and every lattice has exactly seven of those, whatever its shape. What differs is how many of the seven the lattice's own symmetry survives — and the face-centred cubic lattice survives none of them.

 Seventy-three arithmetic classes, from fourteen groups. Every subgroup of every lattice's own group, split by whether the subgroup's own Bravais group is that lattice's. The ones that are not belong to a lower lattice and are counted there, which is what stops the same class being counted twice. The running total ends at seventy-three, and no conjugacy in GL(3, ℤ) was ever decided. What symmetry decides

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.

 Where an antiferromagnet's reflections land. Two cubic antiferromagnets, with their nuclear reflections as dots and their magnetic reflections as triangles, in units of the conventional reciprocal lattice. On the left, a simple cubic lattice with every neighbour opposite: the magnetic reflections sit at half-integer indices, in a layer the nuclear pattern never visits. On the right, a body-centred lattice with the corners up and the centres down: the magnetic reflections sit at integer indices with an odd sum — exactly the reflections the body centring had extinguished, lit up again by the moments. In both, no magnetic reflection falls on a nuclear one. What symmetry decides

Magnetic reflections land where nuclear ones cannot

An antiferromagnet scatters neutrons into places its chemical structure leaves dark, and never into a place it lights. The reason is one line of algebra: the magnetic pattern is the nuclear pattern shifted by half a reciprocal-lattice vector. Each of a lattice's seven halvings is one such shift, and how many of them its symmetry keeps decides how many kinds of domain the magnet must form.

 The centrings each holohedry allows, prime by prime. For each of the seven holohedries on its conventional lattice and each prime from 2 to 7, how many of the lines and planes of the lattice reduced modulo that prime the holohedry leaves invariant, and which of them give a lattice other than the one being centred. At 2 they give C for the monoclinic system, C, I and F for the orthorhombic, I for the tetragonal and I and F for the cubic; at 3 they give the rhombohedral lattice from the hexagonal one; at 5 and 7 nothing new. Lattices

Only two and three can centre a lattice

The centring letters P, A, B, C, I, F and R are usually a list brought to the Bravais lattices. They can be derived instead: a centring is a subspace of the lattice reduced modulo a prime, and a centring that keeps a crystal system's symmetry is a subspace its holohedry leaves invariant. Enumerating every one for the seven holohedries and the primes up to seven gives exactly the fourteen, with new lattices only at two and three. The reason is the crystallographic restriction, one step removed: every holohedry has an order made of twos and threes.

 The centrings six four-dimensional lattice groups allow, prime by prime. For each of the six four-dimensional lattices whose symmetry groups are maximal, with the group's order, and each prime from 2 to 7: the subspaces of the lattice modulo that prime the group keeps, sorted by what centring by each one makes. New Bravais types appear only at 2, three of them, all over the cube-and-line lattice, and at 5, where A₄ centred by fifths is A₄*. Both centrings of the hypercubic lattice by halves make D₄, which has three times the symmetry. Lattices

The body-centred hypercube is the checkerboard lattice

In three dimensions the centring letters come out as the subspaces a holohedry keeps modulo a prime, and only two and three make new lattices. In four dimensions the same census, run on the six lattices whose symmetry groups are maximal, finds a prime that the three-dimensional argument never could: five centres A₄ into its dual. It also finds that the most familiar centring does not survive the extra dimension. The body-centred hypercubic lattice is not a centred hypercube at all: its body centre is exactly as far away as an edge, and it is D₄, with three times the symmetry.

 Every four-dimensional lattice with a five-fold rotation, on one interval. The lattices with a five-fold rotation in four dimensions are one ring, ℤ[ζ₅], with the form Tr(a·x·x̄), and the number t = log(a/σ(a)) / 2 log φ, folded into the interval from 0 to 1, says which lattice a is. The dots are the members with a = u + v√5 for u up to 9, 8 distinct lattices. The two ends are A₄* and A₄, with 240 symmetries each; every point between has 20. The arcs join each member to the one a centring by fifths makes of it, its reflection t ↦ 1 − t. Lattices

A five-fold lattice has one free number

In four dimensions a lattice can have a five-fold rotation, and A₄ and its dual both do. Every other lattice with one turns out to be the same ring, the integers of the fifth roots of unity, with a single number deciding its shape. Folded onto an interval, the number runs from A₄* at one end to A₄ at the other, and every lattice strictly between has twenty symmetries. Centring by fifths does not make a new lattice. It reflects the interval end to end, exchanging A₄ with A₄* and pairing every other lattice with a partner, and no lattice sits at the middle to be its own.

 Every six-dimensional lattice with a seven-fold rotation, on one torus. The lattices with a rotation of order seven in six dimensions are the ring ℤ[ζ₇] with three positive weights, one on each complex line it spans. Up to scale and isometry the weights live on a torus, drawn as a sixty-degree rhombus with opposite sides glued, shaded by how well each lattice packs spheres. The Galois automorphism turns the torus a third of a turn about three points, on the long diagonal: A₆* with 10080 symmetries, A₆ with 10080, and the ideal (1 − ζ)² with 672, the densest lattice in the family. The small dots are integral members, each with 28 symmetries. Lattices

A seven-fold lattice lives on a folded torus

In six dimensions a lattice can have a seven-fold rotation, and every one that does is the integers of the seventh roots of unity with three weights on it. Up to scale the weights live on a hexagonal torus that a Galois symmetry folds by a third-turn, and the fold has three fixed points: A₆*, A₆, and a third lattice that packs better than either. Centring by sevenths is no longer a reflection, as fifths was in four dimensions. It moves every lattice a third of the way along the torus and carries the three special ones round in a cycle.

 The five special eleven-fold lattices in ten dimensions. The five lattices at the fixed points of the Galois rotation of order five on the 4-torus of eleven-fold lattices: A₁₀*, A₁₀ and the ideals (1 − ζ)², (1 − ζ)³ and (1 − ζ)⁴ with the trace form. For each, where it sits on the torus's diagonal, its symmetry group (the root lattices' by identification, the others' by exhaustive search: 2,640 each), its kissing number, its centre density at determinant one (0.0020, 0.0094, 0.0274, 0.0189, 0.0221), and which of the five its dual is. The densest, (1 − ζ)², is shaded; the one duality fixes is (1 − ζ)³. Lattices

The densest eleven-fold lattice is not its own dual

Every ten-dimensional lattice with an eleven-fold rotation is one ring with five weights, and its shapes form a four-dimensional torus folded by a Galois rotation of order five. The seven-fold essay predicted five special lattices, the powers of 1 − ζ, cycled by centring, and all of that holds. What does not carry over is its best result. In six dimensions the densest seven-fold lattice was the one duality fixes. In ten, duality fixes (1 − ζ)³, and the densest is (1 − ζ)², whose dual is (1 − ζ)⁴.

 The six special thirteen-fold lattices in twelve dimensions. The six lattices at the fixed points of the Galois rotation of order six on the 5-torus of thirteen-fold lattices: A₁₂*, A₁₂ and the ideals (1 − ζ)² to (1 − ζ)⁵ with the trace form. For each, where it sits on the line through the fixed points, the symmetries known for it, its kissing number (26, 156, 390, 312, 78, 26), its centre density at determinant one (0.0005, 0.0043, 0.0213, 0.0187, 0.0081, 0.0071), and which of the six its dual is. None is its own dual. The densest, (1 − ζ)², is shaded; the densest known twelve-dimensional lattice, Coxeter and Todd's, is given below for comparison. Lattices

Thirteen-fold, and nothing is its own dual

Every twelve-dimensional lattice with a thirteen-fold rotation is one ring with six weights, and its shapes form a five-dimensional torus folded six ways. The fold has six fixed points, the powers of 1 − ζ, and duality fixes none of them, as in four dimensions and unlike six and ten: it pairs them off. The eleven-fold essay asked whether a longer cycle would let a higher power take over as the densest. It does not. (1 − ζ)² is the densest member at seven, at eleven and at thirteen, whatever duality does.

 The 8 special 17-fold lattices in 16 dimensions. The 8 lattices at the fixed points of the Galois fold on the torus of 17-fold lattices: A16*, A16 and the ideals (1 − ζ)² to (1 − ζ)⁷ with the trace form. For each, its place on the torus, its minimum where it reaches the bound 2kp, its kissing number (34, 272, 952, 1088, 476, 816, 306, 34), its centre density at determinant one (0.0000, 0.0009, 0.0143, 0.0215, 0.0126, 0.0191, 0.0112, 0.0007), and which of them its dual is. The densest, (1 − ζ)³, is shaded: the third power, where the seven-, eleven- and thirteen-fold families had the second. Lattices

At seventeen the densest power of 1 − ζ moves

Three primes running, the densest lattice with a p-fold rotation sat at the second power of 1 − ζ. At seventeen, in sixteen dimensions, and at nineteen, in eighteen, it sits at the third. The move is not a surprise once the minima are read: every power up to the fourth reaches Craig's bound exactly, which turns each density into a formula and the competition between powers into an inequality. The second power wins exactly while (3/2) raised to half of p − 1 stays below p, and the formula's next prediction, the fourth power at twenty-three, comes true by three per cent.

 A shortest vector of a sixteen-dimensional lattice, as a polynomial with two full fibres. The values of f(t) = t(t − 1)(t − 2)(t − 3) at every t in the field of 17 elements, value against t. It takes the value 0 at the four points 0, 1, 2, 3 and the value 12 at the four points 3, 5, 12, 14. Those two fibres are two sets of four with equal first, second and third power sums modulo 17, so the vector with +1 on one set and −1 on the other lies in (1 − ζ)⁴, with squared length 8 in the trace form's units of 17: Craig's bound, attained. Lattices

The shortest vector is a polynomial with two full fibres

Whether Craig's lattices reach their bound, minimum 2kp for the ideal (1 − ζ)ᵏ, looked like a question for shortest-vector searches in twenty-eight to thirty-six dimensions. It is a question about polynomials over the field of p elements. The bound is reached exactly when some polynomial of degree k takes two values k times each, and every divisor of p − 1 supplies one. Read that way, every power at 29, 31 and 37 is settled, the densest are the fourth, fourth and fifth as predicted, and past the middle of each cycle the minimum climbs until it meets the vector of quadratic residues and stops.

 Which of the fourteen lattices is a limit of which. The fourteen Bravais types, with an edge from one type up to another when the higher is a limit of the lower and no third type lies between: nineteen edges, computed from the subgroups of each lattice's own group. Primitive cubic is reached through primitive tetragonal and the rhombohedral type; body-centred and face-centred cubic through body-centred tetragonal and the rhombohedral type; the hexagonal lattice only through the C-centred orthorhombic one. Lattices

The centring survives the limit

Stretch a body-centred tetragonal lattice until its axes are equal and it becomes body-centred cubic; stretch it further and it becomes face-centred cubic. No stretching of a primitive tetragonal lattice reaches either. Which of the fourteen lattices can be deformed into which is decided by the subgroups of each lattice's own group, and the answer keeps track of centring in a way the familiar chain of crystal systems does not.

The whole library · All essays