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.

Named by 3 essays across one field — each of them below, with the objects they name alongside it.

001010100110101011111point on line?0123456L0L1L2L3L4L5L6seven points, seven lines, three points on every line and three lines through every pointthe drawing was checked against the algebra by searching all 5,040 relabellings — one of them carries GF(2)³ onto thispicture

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
01234567812 triples0 1 20 3 40 5 60 7 81 3 51 4 71 6 82 3 82 4 62 5 73 6 74 5 89 points, 12 triples, each point in 4 of them — and every one of the 36 pairs appears exactly oncefound by backtracking over the pairs, which decides existence rather than assuming it

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
order 6, symbols 0…5012345123450234501345012450123501234transversals of the cyclic squareorder 33order 40order 515order 60order 7133the cyclic square of order 6 has no transversal at all: all 720 placements were tried and every one repeats asymbola square with no transversal cannot have an orthogonal mate, so the search for one need never begin

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

Named alongside it

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

Counting argumentExistence proofFano planeFinite fieldIncidenceBasisBlock designCounterexampleDivisibilityDualityLatin squareOrthogonal latin squares

All concepts