If and is a primitive cube root of unity, then and . The Eisenstein polynomial therefore presents the entire degree-six splitting field, and is a uniformizer. Its normalised valuation gives , and . The order-three automorphisms displace with valuation four, whereas transpositions displace it with valuation one.
Hilbert class field of Q of square root minus thirty-one Created 2026-10-06 Updated 2026-10-07
The splitting field of has discriminant square class and Galois group . It is the Hilbert class field of : the relative extension is unramified cyclic cubic, and the ideal class group of Q of square root minus thirty-one has order three. Locally at , the simple residue root lifts and the remaining quadratic splits over , so the prime of above splits completely in its Hilbert class field. The inverse generator satisfies .