Class group
Named by 3 essays across one field — each of them below, with the objects they name alongside it.
Counting the classes that break factorisation
The class number measures how badly unique factorisation fails in a field, and defined through ideals it looks impossible to compute. Gauss computed it by hand, for every field he wanted, by counting quadratic forms — and every form can be squeezed, by changes of variable that keep its values, into exactly one small standard shape.
Euler's sixty-five convenient numbers
For some n, whether a prime can be written as x² + ny² is settled by its remainder on division by 4n alone, the way a prime's remainder on division by four settles whether it is a sum of two squares. Euler found sixty-five such n, from 1 to 1,848, called them convenient, and used the largest to prove that 18,518,809 is prime. Every one of them is a number whose class group has no element of order more than two — and whether the list is complete is still not known.
Class groups drawn at random
The class number of an imaginary quadratic field measures how badly unique factorisation fails there, and it looks arbitrary: 1, 2, 4, 3, 5, 12, 1. Count how often 3 divides it and the answer is not one time in three but noticeably more — heading, by a conjecture of Cohen and Lenstra, for 44 per cent. The reason is that class groups behave like finite groups chosen at random with each group weighted by one over its number of symmetries, so groups with few symmetries, like the cyclic group of order 3, turn up more often than the naive count suggests.
Named alongside it
The objects these essays reach for when they reach for this one.
Class numberQuadratic formDiscriminantAutomorphismGenusGenus theoryIdealIdoneal numberModular groupPrimality testQuadratic fieldRandom group