Matpic
mathematics, in pictures
Concept

Irreducible polynomial

A polynomial that cannot be written as a product of two smaller ones with coefficients from the same field. It is what plays the role of a prime in a polynomial ring, and quotienting by one is how a field extension is built.

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

Every rational number that could be a root of x³ − 2. A table of the candidate rational roots allowed by the rational root theorem, with the polynomial's exact value at each.

The cube that will not double

Doubling a cube needs an edge in the ratio of the cube root of two. That number satisfies an equation of degree three, three does not divide any power of two, and the oldest open problem in geometry closes in a line.

computation · Constructible numbers Which angles with a rational cosine can be cut in three. A dial of angles marked trisectable or not, beside the cubic whose rational roots decided each one.

The angle that will not divide by three

Halving an angle costs one circle. Cutting it in three means solving a cubic, and for sixty degrees that cubic has no rational root — but plenty of angles do trisect, and which ones is a question with a countable answer.

computation · Constructible numbers The arithmetic of GF(4), and of the integers mod 4. Addition and multiplication tables of a finite field, optionally beside the table of a ring of the same kind of size.

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 The tower ℚ ⊂ ℚ(√2) ⊂ ℚ(√2, √3). A tower of field extensions with the degree of each step, beside the multiplication table of the basis.

A tower whose degrees multiply

Treat a field containing another as a vector space over it, and the size of an extension becomes a dimension — one that multiplies along a tower, so that three impossible constructions become arithmetic about which numbers divide which.

algebra · Field extensions

Named alongside it

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

Constructible numberDegree of an extensionMinimal polynomialOperation setRational root theoremStraightedge and compassBasisCharacteristicClosureCosineCounterexampleDimension

All concepts