Paper 3, Section II, H

Galois Theory
Part II, 2016

(a) Let LL be the 13 th cyclotomic extension of Q\mathbb{Q}, and let μ\mu be a 13 th primitive root of unity. What is the minimal polynomial of μ\mu over Q\mathbb{Q} ? What is the Galois group Gal(L/Q)\operatorname{Gal}(L / \mathbb{Q}) ? Put λ=μ+1μ\lambda=\mu+\frac{1}{\mu}. Show that QQ(λ)\mathbb{Q} \subseteq \mathbb{Q}(\lambda) is a Galois extension and find Gal(Q(λ)/Q)\operatorname{Gal}(\mathbb{Q}(\lambda) / \mathbb{Q}).

(b) Define what is meant by a Kummer extension. Let KK be a field of characteristic zero and let LL be the nnth cyclotomic extension of KK. Show that there is a sequence of Kummer extensions K=F1F2FrK=F_{1} \subseteq F_{2} \subseteq \cdots \subseteq F_{r} such that LL is contained in FrF_{r}.