Concept

Fano plane

The smallest projective plane, with seven points and seven lines, three points on each line and three lines through each point. It is the smallest example of a finite geometry, and its incidence structure is also the multiplication table of the octonions.

Named by 5 essays across 3 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
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
Petersen's graph and a tour that cannot close. The words of length 5 with 2 ones, joined when disjoint (10 vertices, 15 edges), with an open tour through every vertex drawn heavy.

The symmetric graphs no tour can close

Take the words of five places with two ones and join two when they share no one. The ten words look exactly alike to the graph, and no closed tour runs through them — because every way of leaving out one edge at each word leaves two pentagons. Only four connected graphs this symmetric are known to fail like that, and nobody knows whether a fifth exists.

discrete · Hamiltonian cycles
Two polynomials that factor alike at every prime. 5:8 7:2+2+2+2 11:1+1+2+2+2 13:1+1+1+1+2+2 17:8 19:4+4 23:1+1+2+2+2 29:8 31:2+2+2+2 37:4+4 41:8 43:4+4 47:1+1+2+2+2 53:8 59:1+1+2+2+2 61:4+4 67:4+4 71:1+1+2+2+2 73:4+4 79:2+2+2+2 83:1+1+2+2+2 89:8 97:4+4 101:8 103:2+2+2+2 107:1+1+2+2+2 109:1+1+1+1+2+2 113:8 127:2+2+2+2 131:1+1+2+2+2 137:8 139:4+4 149:8 151:2+2+2+2 157:4+4 163:4+4 167:1+1+2+2+2 173:8 179:1+1+2+2+2 181:1+1+1+1+2+2 191:1+1+2+2+2 193:2+2+2+2 197:8 199:2+2+2+2 211:4+4 223:2+2+2+2

Two fields that every prime confuses

Reduce x⁸ − 3 and x⁸ − 48 modulo any prime other than 2 and 3 and factor them: the two lists of factor degrees are the same, at all 9,590 such primes below 100,000. The fields the two equations define are still different. The reason is a pair of ways for one group to permute eight roots, with the same cycle lengths element by element and different fixed points — the same coincidence, in degree seven, as the points and lines of the Fano plane.

algebra · Field extensions

Named alongside it

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

Counting argumentFinite fieldIncidenceProjective planeAffine planeBasisBlock designConjugacy classDivisibilityDualityExhaustive searchExistence proof

All concepts