Square discriminants in characteristic two

ID: square-discriminants-in-characteristic-two

For a separable polynomial in characteristic two, the Vandermonde determinant of its roots is fixed by every Galois automorphism: root permutations change it only by a sign, and in . It therefore lies in . Its square, multiplied by the square of the appropriate leading-coefficient power for a nonmonic polynomial, is the polynomial discriminant. Thus being a square does not detect containment of the Galois group in the alternating group. For example over has discriminant one and Galois group , while is trivial. The discriminant criterion for an alternating Galois group requires characteristic different from two.

New to topics? Read the docs here!