Matpic
mathematics, in pictures
Concept

Orthogonal latin squares

Two Latin squares of the same order such that superimposing them produces every ordered pair of symbols exactly once. Families in which every pair is orthogonal exist at every prime power order, are the same objects as finite planes, and are what Euler's officer problem asks for.

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

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 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 576 squares of order 4, sorted by whether they associate. Every Latin square of order 4, counted by whether it associates and by which group it is when it does.

Sixteen of five hundred and seventy-six

A Latin square is a multiplication table in which every equation has exactly one solution. Ask it to be associative as well and almost every square drops out — sixteen of the five hundred and seventy-six of order four survive, and they are the two groups.

computation · latin squares

Named alongside it

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

Counting argumentLatin squareFinite fieldProjective planeExhaustive searchTransversalAffine planeAssociativityBijectionConstructionCounterexampleExistence proof

All concepts