Matpic
mathematics, in pictures
Concept

Division algebra

An algebra in which every non-zero element can be divided by. Over the real numbers there are exactly four with a multiplicative length — dimensions one, two, four and eight — and each step up the list gives up a law the one below it kept.

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

The quaternion multiplication table, from i² = j² = k² = ijk = −1. A four-by-four multiplication table of the quaternion units, with the row giving the left factor, every entry computed from Hamilton's rule, and the pair that differs between the two orders marked.

A multiplication that remembers the order

Four characters — i² = j² = k² = ijk = −1 — define a multiplication in which ab and ba are different numbers. Everything follows from them, including the fact that a rotation of a solid body has two names, and that two full turns are needed to get one of them home.

algebra · Quaternions The four-square identity, and how few squares a number needs. A product of two whole quaternions with both sides of the four-square identity evaluated, above a strip colouring every number by the fewest squares that add to it.

The identity that multiplies sums of squares

A sum of two squares times a sum of two squares is a sum of two squares, and the same is true of four and of eight. It is true of three of nothing: 3 and 5 are each a sum of three squares, 15 is not, and one small pair of numbers rules the case out forever.

algebra · Quaternions 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 The one line from which the nearfield plane looks Desarguesian. A grid of the 91 lines of the nearfield plane of order nine shaded by how many of 40 Desargues configurations with that line as axis failed; only the line at infinity has none, and every other line at least 20.

A plane no field built

Every finite field builds a projective plane, and for a long time every known plane was built that way. The plane over Dickson's nearfield of order nine has ninety-one points, ninety-one lines and every incidence right — and Desargues' theorem fails in it on most configurations tried, except for one line, from which it never fails at all.

computation · Finite geometry

Named alongside it

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

AssociativityQuaternionComplex numbersDimensionNormProjective planeSymmetryCommutativityConjugateExhaustive searchFinite fieldFinite geometry

All concepts