Irreducibility modulo two implies irreducibility over by Gauss lemma for polynomials, so the Galois group embeds transitively in . The discriminant is , hence primes two and three are unramified. The factor-degree theorem says that square-free reduction with factor degrees provides an element of the Galois group with cycle lengths . The reductions already found therefore give a 4-cycle and a 3-cycle.
The group order divides 24 and is divisible by four and three, so is 12 or 24. An order-12 subgroup of has index two and must be : in its quotient every transposition has the same nontrivial image, since transpositions are conjugate and generate , making the quotient map the sign. But a 4-cycle is odd. Therefore the order is 24 andThe discriminant can also be obtained from and the resultant, giving .
Articles by others on the same topic
There are currently no matching articles.