Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2005/ii/paper-3/18g/solution

Modulo two the quartic has no root, and the only irreducible monic quadratic is . Reducing the quartic modulo that quadratic gives remainder one. Hence the quartic is irreducible over . Its splitting field is , and , generated by Frobenius.
Modulo three it factors as . The cubic has no root at zero, one or two and is irreducible, so its splitting field is and . Both reductions are square-free. Irreducibility modulo two makes the rational quartic irreducible, and its rational Galois group is transitive on four roots. The unramified factorization theorem supplies a four-cycle from the modulo-two reduction and a three-cycle from the modulo-three reduction. Its order is divisible by twelve and divides twenty-four. An order-twelve subgroup would have index two and equal , which has no four-cycle. Thus .

New to topics? Read the docs here!