Paper 2, Section II, F

Galois Theory | Part II, 2019

For any prime p≠5p \neq 5, explain briefly why the Galois group of X5−1X^{5}-1 over Fp\mathbb{F}_{p} is cyclic of order dd, where d=1d=1 if p≡1 mod 5,d=4p \equiv 1 \bmod 5, d=4 if p≡2,3 mod 5p \equiv 2,3 \bmod 5, and d=2d=2 if p≡4p \equiv 4  mod 5.\bmod 5 .

Show that the splitting field of X5−5X^{5}-5 over Q\mathbb{Q} is an extension of degree 20 .

For any prime p≠5p \neq 5, prove that X5−5∈Fp[X]X^{5}-5 \in \mathbb{F}_{p}[X] does not have an irreducible cubic as a factor. For p≡2p \equiv 2 or 3 mod 53 \bmod 5, show that X5−5X^{5}-5 is the product of a linear factor and an irreducible quartic over Fp\mathbb{F}_{p}. For p≡1 mod 5p \equiv 1 \bmod 5, show that either X5−5X^{5}-5 is irreducible over Fp\mathbb{F}_{p} or it splits completely.

[You may assume the reduction mod p criterion for finding cycle types in the Galois group of a monic polynomial over Z\mathbb{Z} and standard facts about finite fields.]

Typos? Please submit corrections to this page on GitHub.