Unramified cyclic cubic extension from a prime-discriminant cubic
ID: unramified-cyclic-cubic-extension-from-a-prime-discriminant-cubic
Suppose an irreducible monic integral cubic has discriminant for a prime , and let be its splitting field. Its Galois group is and its quadratic subfield is . The extension over that subfield is cyclic cubic and everywhere unramified. Away from , separable reduction and Hensel lemma put the roots in an unramified local extension. At , discriminant valuation one gives a double residue root and a separate simple root; lift the simple root, and the remaining quadratic's discriminant has square class . Its splitting field is already the quadratic subfield's completion. The imaginary quadratic base has no real places.
New to topics? Read the docs here!