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.
Articles by others on the same topic
There are currently no matching articles.