Paper 2, Section II, 18I

Galois Theory
Part II, 2021

(a) Let f(x)Fq[x]f(x) \in \mathbb{F}_{q}[x] be a polynomial of degree nn, and let LL be its splitting field.

(i) Suppose that ff is irreducible. Compute Gal(f)\operatorname{Gal}(f), carefully stating any theorems you use.

(ii) Now suppose that f(x)f(x) factors as f=h1hrf=h_{1} \cdots h_{r} in Fq[x]\mathbb{F}_{q}[x], with each hih_{i} irreducible, and hihjh_{i} \neq h_{j} if iji \neq j. Compute Gal(f)\operatorname{Gal}(f), carefully stating any theorems you use.

(iii) Explain why L/FqL / \mathbb{F}_{q} is a cyclotomic extension. Define the corresponding homomorphism Gal(L/Fq)(Z/mZ)\operatorname{Gal}\left(L / \mathbb{F}_{q}\right) \hookrightarrow(\mathbb{Z} / m \mathbb{Z})^{*} for this extension (for a suitable integer mm ), and compute its image.

(b) Compute Gal(f)\operatorname{Gal}(f) for the polynomial f=x4+8x+12Q[x]f=x^{4}+8 x+12 \in \mathbb{Q}[x]. [You may assume that ff is irreducible and that its discriminant is 5762576^{2}.]