Concept

Finite field

A finite set with addition, multiplication and division that obey the ordinary rules, which exists exactly when its size is a prime power.

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

012345678910012345678910sentf(0) = 4f(1) = 8f(2) = 7f(3) = 1f(4) = 1f(5) = 7f(6) = 8the message 4, 1, 3 read as 3x² + 1x + 4 over GF(11), evaluated at x = 0…6all 35 ways of keeping 3 of the 7 values were interpolated and every one returned the message

A polynomial through the gaps

Write the message as the coefficients of a polynomial and send its values instead. Any k of them determine the polynomial, so it does not matter which ones are lost — and it does not matter how many, as long as k survive.

computation · error correcting codes
+01αα+101αα+101αα+110α+1ααα+101α+1α10×01αα+101αα+1000001αα+10αα+110α+11α× mod 40000012302020321the 4 elements of GF(4), built as polynomials in α modulo α+1 + α² — every product of two non-zero elements is non-zerobeside it the integers mod 4, where 2 × 2 = 0 and 1 element has no reciprocal

The field with four elements

The integers modulo four are not a field: two times two is zero and two has no reciprocal. There is nevertheless a field with four elements, and building it means giving up on counting as the way to make arithmetic finite.

computation · finite fields
1αα²α³α+1α²+αα³+α²α³+α+1α²+1α³+αα²+α+1α³+α²+αα³+α²+α+1α³+α²+1α³+1GF(16)*15 elementspowerelementα⁰1α¹αα²α²α³α³α⁴α+1α⁵α²+αα⁶α³+α²α⁷α³+α+1α⁸α²+1α⁹α³+αα¹⁰α²+α+1α¹¹α³+α²+αα¹²α³+α²+α+1α¹³α³+α²+1α¹⁴α³+1every non-zero element of GF(16) is a power of α — the 15 of them, once each, around the wheel8 of the 15 elements generate the whole group, which is φ(15) = 8, and the product rule waschecked on all 225 pairs

Every element is a power of one of them

Pick the right element of a finite field and its powers run through every other non-zero element exactly once before returning to one. Multiplication becomes addition of exponents, and a table of q − 1 entries replaces the whole multiplication table.

computation · finite fields
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
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 argumentCounterexampleModular arithmeticPrime powerProjective planeBasisCharacteristicClosureCyclic groupDiscrete logarithmDualityErasure

All concepts