Quadratic resolvent field of a cubic (source code)

= Quadratic resolvent field of a cubic

If a separable cubic has <polynomial discriminant> $\Delta$, then adjoining $\sqrt\Delta$ gives the subfield fixed by the alternating part of its <Galois group>. When the cubic <Galois group> is $S_3$, this is its unique quadratic subfield.