Galois Theory – Does a Cubic Polynomial with 3 Real Roots Have Galois Group C3?

galois-theory

If an irreducible cubic polynomial with coefficients in $\mathbb Q$ has Galois group $C_3$ then, since no order $2$ symmetry lies in the Galois group no complex conjugation acts on the roots, it's roots must all be real.

What about the converse, must $3$ real roots imply $C_3$ group?

Best Answer

No.

Suppose $f(x) = x^3 + ax + b$ (a linear change of variable will take it to this form). If $\alpha_1,\alpha_2,\alpha_3$ are the three roots of $f(x)$, then $$\delta = (\alpha_1-\alpha_2)(\alpha_1-\alpha_3)(\alpha_2-\alpha_3)$$ lies in the splitting field, and its square is the discriminant of the polynomial, $\delta^2 = -4a^3 - 27b^2$.

So the splitting field contains $\mathbb{Q}(\sqrt{\Delta})$, hence the splitting field has degree $6$ over $\mathbb{Q}$ whenever the discriminant is not a rational square. In fact, the converse also holds: if the splitting field has degree $6$, then the discriminant is not a square.

On the other hand, the splitting field is real if and only if the discriminant is positive (since it equals a square).

So to find an irreducible cubic whose splitting field is completely real but has Galois group $S_3$, you just need to find an irreducible cubic whose discriminant is positive and not a square. For example, $f(x) = x^3 -4x + 1$; the only possible rational roots are $1$ and $-1$, so it is irreducible, and the discriminant is $$\Delta = -4(-4)^3 -27 = 229,$$ which is positive and not a square. So the splitting field is of degree $6$ and has Galois group $S_3$.

Related Question