Solution

ID: past-exam-of-the-galois-theory-course-of-the-university-of-oxford/2023/2/c/solution

First assume . Set . If with , then in the field , so . For an automorphism inducing the root permutation ,
Since fixes and in , every induced permutation has positive sign. The root action is faithful because the roots generate , giving
This is the discriminant criterion for an alternating Galois group.
As printed for arbitrary fields, the assertion is false in characteristic two. Over , the polynomial is irreducible and separable, with roots in . Their difference is one, so the discriminant is the square . Nevertheless its Galois group is , whereas is trivial. In characteristic two the permutation signs become indistinguishable as field elements; square discriminants in characteristic two therefore cannot detect the alternating subgroup in this way.

New to topics? Read the docs here!