Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2007/ii/paper-4/18f/solution

The squared Vandermonde product defining the polynomial discriminant is symmetric in all roots. By the fundamental theorem of symmetric polynomials, it is a polynomial in the elementary symmetric functions, which are the signed coefficients of the monic polynomial. Hence it is a polynomial function of those coefficients over the base field.
For , . Eliminating the two leading rows in the Sylvester determinant reduces the resultant to
Thus
For , the only possible rational roots are , and neither is a root. The cubic is therefore irreducible, so its Galois group is a transitive subgroup of . Its discriminant is . The Vandermonde product changes sign under odd permutations, and its square being a rational square implies that the product itself is rational; hence all Galois permutations are even. The only transitive subgroup of is itself. Consequently, writing for its splitting field,

New to topics? Read the docs here!