Matpic
mathematics, in pictures
Concept

Projective plane

A geometry in which any two points lie on one line and any two lines meet in one point, so there are no parallels. Adding a line at infinity to the ordinary plane produces one, and it is what makes the conics a single family rather than four.

Named by 9 essays across 4 fields — each of them below, with the objects they name alongside it.

The Fano plane, and the incidence table behind it. Seven points joined by six straight lines and one circle, beside the seven-by-seven table of which point lies on which line.

Seven points, seven lines

A geometry with seven points, in which every two points lie on exactly one line and every two lines meet in exactly one point. There are no parallels, the whole thing is built out of the two-element field, and one of its lines has to be drawn as a circle.

computation · Finite geometry A schedule on 9 points where every pair meets exactly once. Points around a circle with the triples of a Steiner system drawn between them, beside the list of triples.

A schedule where every pair meets once

Sort n people into groups of three so that every two of them share a group exactly once. Two divisions have to come out whole, that rules out most sizes — and at every size the divisions permit, a schedule exists.

computation · Finite geometry Transversals of the cyclic square of order 6. A cyclic Latin square with a transversal marked if it has one, beside a count of transversals at neighbouring orders.

The thirty-six officers

Six regiments send six officers each, one of every rank. Arrange all thirty-six in a square so that each row and each column holds every rank once and every regiment once. Euler could not, guessed why, and was wrong about the reason.

computation · Latin squares The nine-point grid, and the lines they force. 9 points with all 20 of their connecting lines drawn. The 12 carrying exactly two points are drawn solid and the rest faintly; the count is computed from the coordinates rather than read off the drawing.

The line with only two points on it

Scatter finitely many points on a page, not all in one line, and draw every line through two or more of them. However cunningly the points are placed, some line ends up carrying exactly two — and the proof is a minimisation with no algebra in it at all.

geometry · Ordinary lines The gluing abab makes a projective plane. A polygon whose edges carry the word abab, with arrows for the direction each edge is glued and the corners coloured by which vertex they become.

A disc sewn to a Möbius band

The band has one boundary curve, and a disc has one boundary curve. Sew them together and the result is the smallest closed surface with one side — the one every other one-sided surface is built out of.

topology · Orientability A sphere over a projective plane, cell by cell. An icosahedron with opposite faces drawn in matching colours, beside the count of cells it has and the count the quotient by the antipodal map has — every number halved, including the Euler characteristic.

Two sheets over a one-sided surface

Above every one-sided surface sits a two-sided one, exactly twice as large, and the map between them forgets which of the two senses of turning a point was carrying. Building it turns a question about sides into a question about covers.

topology · Orientability The 3 mutually orthogonal squares of order 4. Every Latin square built from the field of order 4 as a·i + j, one for each non-zero multiplier, with every pair checked orthogonal.

A field's worth of squares

Two orthogonal squares of order five are easy to stumble on. Four of them, every pair orthogonal, is not a stumble — it is one line of arithmetic over a field, and the field supplies as many as the order allows.

computation · Latin squares The affine plane of order 3, one parallel class at a time. The n² cells of a complete set of orthogonal Latin squares of order 3, with the rows, the columns and each square's symbol classes drawn as lines of a plane.

The plane hiding in the squares

A complete family of orthogonal squares is not a collection of squares that happen to agree nowhere. It is a geometry — a plane with n² points in which every two points lie on exactly one line — and reading it that way is how the impossible orders were found.

computation · Latin squares The octonion multiplication table, drawn as seven lines. The Fano plane with its seven points labelled by the imaginary octonion units and its seven lines carrying an arrow each, giving the products of every pair.

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.

algebra · Quaternions

Named alongside it

The objects these essays reach for when they reach for this one.

Counting argumentFinite fieldIncidenceFano planeLatin squareOrthogonal latin squaresAntipodal mapEuler characteristicExistence proofOrientabilityPrime powerAffine plane

All concepts