Concept

Irreducible polynomial

A polynomial that cannot be written as a product of two smaller ones with coefficients from the same field.

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

x³ − 2candidatevalue thereroot?-2-10-1-31-126x³ − 2 has no rational root — all 4 candidates the theorem allows weretested and none is zeroa cubic with no rational root is irreducible over ℚ, so its roots have degree3

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
3 trisect · 14 do notcos θθrational root8/8y = 17/829°none6/841°none5/851°none4/860°none3/868°none2/876°none1/883°none0/890°y = 0-1/897°none-2/8104°none-3/8112°none-4/8120°none-5/8129°none-6/8139°none-7/8151°none-8/8180°y = -1cos θ = k/8 for k from 8 down to −8: 3 of 17 angles trisecteach verdict is the rational root theorem run to the end — 18–28 candidates per cubic, every onedivided out

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
+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

Named alongside it

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

Constructible numberDegree of an extensionOperation setRational root theoremStraightedge and compassCharacteristicClosureCosineCounterexampleDoubling the cubeFinite fieldMinimal polynomial

All concepts