Symmetry group
Named by 12 essays across 5 fields — each of them below, with the objects they name alongside it.
Thirteen more when one word is dropped
The list of regular solids stops at five because the definition asks for two things at once. Ask for only the second — every corner alike — and thirteen more appear, each of them cut off a Platonic solid at a depth found rather than chosen.
The five solids as three groups
There are five regular solids and only three groups of rotations between them, because a solid and its dual share their symmetries exactly. The largest of the three is the smallest group with no way of coming apart, which is why the general equation of the fifth degree has no formula.
A table folded into a surface
Unfolding a square billiard gives a straight line on a torus. Unfolding any table whose angles are whole fractions of half a turn gives a straight line on some surface — and which surface it is decides how hard the dynamics will be.
A rotation of four-space takes two of them
One unit quaternion, conjugating, turns three-space about an axis. Two of them, multiplying from the left and the right, turn four-space — and a rotation of four-space has no axis at all, but two independent angles and two planes it spins in.
The integers among the quaternions
The obvious integer quaternions are the ones with whole coordinates, and they are the wrong ones. Sixteen more, with every coordinate a half, have to be let in — and with them comes a division algorithm, twenty-four units instead of eight, and a regular solid that exists only in four dimensions.
What is lost at eight
Double the quaternions and division still works, but ab times c and a times bc are no longer the same number. What survives is a weaker law that turns out to be enough for a great deal — and the whole multiplication table fits into a picture of seven lines.
Two hundred and forty directions
The quaternions have twenty-four units and they are the vertices of the most symmetric object in four dimensions. Eight dimensions has two hundred and forty of them, and the quaternions turn out to be how they are built — twice over, with a hundred and ninety-two left to explain.
A Latin square with boxes
A finished Sudoku is a Latin square of order nine with one extra rule: each 3×3 box holds every digit once. At order four the extra rule keeps exactly half of the 576 Latin squares, the 288 survivors are two grids in disguise, and no puzzle can be pinned down by fewer than four clues. At order nine every one of those questions needed a computer, and the answers are 6.67 × 10²¹ grids, 5.47 billion essentially different ones, and seventeen clues.
One determinant for every kaleidoscope
Three mirrors close up into a kaleidoscope when the angles of their triangle add to more than half a turn. In more dimensions there is no triangle to add up, but there is a matrix — the inner products of the mirrors' directions — and the mirrors close up exactly when it is positive definite. Trying every arrangement of up to nine mirrors against that one test finds Coxeter's list: three families in every dimension, a fork that runs out at eight mirrors because its determinant reaches zero at nine, and five exceptions. The same search finds the hyperbolic kaleidoscopes, and finds that they stop at five mirrors.
Dots that never repeat a step
Place n dots on an n-by-n grid, one in each row and column, so that no two pairs of dots are joined by the same step. These Costas arrays were invented for sonar, and finite fields build them: a primitive root modulo a prime gives one family, a pair of primitive elements in any finite field another. Yet the constructions account for almost none of the arrays that exist — 92 of the 2,160 of order ten — and for orders 32 and 33 nobody has found a single one.
A rotation chosen at random
Turn a solid body to an orientation chosen at random and it has usually been turned a long way: on average 126.5 degrees, and by less than ten degrees only three times in ten thousand. Unit quaternions make the right meaning of 'at random' a picture, and two recipes that look fair fail it in opposite directions.
Truth tables up to renaming
There are 256 truth functions of three letters, but many differ only in which letter is called what, or whether a letter or the answer is negated. Counted up to such renamings there are fourteen. For four letters there are 222, for five 616,126 — and almost every function of many letters is changed by every renaming, so the count settles into a simple division.
Named alongside it
The objects these essays reach for when they reach for this one.
QuaternionExhaustive searchPermutationRotationDimensionDouble coverDualityEuler characteristicGroupLatticeNormOrbit