Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2017/ii/paper-1/17i/b/i/solution

The quartic is irreducible by Eisenstein criterion at two, so its Galois group is transitive on its four roots. Its discriminant is , so five and seven are unramified primes for the polynomial. The squarefree factorizations are
The cubic modulo five has no root in , hence is irreducible. The quadratic modulo seven has discriminant five, a nonsquare there. The Frobenius cycle type theorem therefore supplies a three-cycle and a transposition in the group.
Transitivity implies that its order is divisible by four, and the three-cycle implies divisibility by three. Its order divides , so it is or . The only subgroup of index two in is : an index-two subgroup is the kernel of a group homomorphism of a nontrivial homomorphism to , and all transpositions are conjugate and generate , forcing this homomorphism to be the sign. The exhibited transposition excludes . Hence

New to topics? Read the docs here!