伽罗瓦群
For proving this, one can use that the reduction modulo a prime induces a surjective group homomorphism from the Galois group of onto the Galois group of formula_48 This implies that the sequence of the degrees of the irreducible factors of formula_49 is the sequence of the lengths of the cycles of some permutation in the Galois group of .