There are several ways how a useful resolvent for solving a quartic equation can be defined, e.g. (the roots are a, b, c, d)
(a + b)(c + d)ab + cd- Let
X = a + bi - c - di, then we takeX * complex_conjugate(X)
All these expressions have an orbit of size 3 under S4 and actually the same orbit under the Klein group V4. Since V4 is the normal subgroup that "saves" the solvability of A4 (therefore S4), I wonder whether there's an explanation for the role its normality plays in existence of the resolvents given above.