Paper 2, Section II, F

Galois Theory
Part II, 2019

For any prime p5p \neq 5, explain briefly why the Galois group of X51X^{5}-1 over Fp\mathbb{F}_{p} is cyclic of order dd, where d=1d=1 if p1mod5,d=4p \equiv 1 \bmod 5, d=4 if p2,3mod5p \equiv 2,3 \bmod 5, and d=2d=2 if p4p \equiv 4 mod5.\bmod 5 .

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

For any prime p5p \neq 5, prove that X55Fp[X]X^{5}-5 \in \mathbb{F}_{p}[X] does not have an irreducible cubic as a factor. For p2p \equiv 2 or 3mod53 \bmod 5, show that X55X^{5}-5 is the product of a linear factor and an irreducible quartic over Fp\mathbb{F}_{p}. For p1mod5p \equiv 1 \bmod 5, show that either X55X^{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.]