Paper 2, Section II, 18G

Galois Theory
Part II, 2020

(a) Let KK be a field and let LL be the splitting field of a polynomial f(x)K[x]f(x) \in K[x]. Let ξN\xi_{N} be a primitive Nth N^{\text {th }}root of unity. Show that Aut(L(ξN)/K(ξN))\operatorname{Aut}\left(L\left(\xi_{N}\right) / K\left(\xi_{N}\right)\right) is a subgroup of Aut(L/K)\operatorname{Aut}(L / K).

(b) Suppose that L/KL / K is a Galois extension of fields with cyclic Galois group generated by an element σ\sigma of order dd, and that KK contains a primitive dth d^{\text {th }}root of unity ξd\xi_{d}. Show that an eigenvector α\alpha for σ\sigma on LL with eigenvalue ξd\xi_{d} generates L/KL / K, that is, L=K(α)L=K(\alpha). Show that αdK\alpha^{d} \in K.

(c) Let GG be a finite group. Define what it means for GG to be solvable.

Determine whether

(i) G=S4;G=S_{4} ; \quad (ii) G=S5G=S_{5}

are solvable.

(d) Let K=Q(a1,a2,a3,a4,a5)K=\mathbb{Q}\left(a_{1}, a_{2}, a_{3}, a_{4}, a_{5}\right) be the field of fractions of the polynomial ring Q[a1,a2,a3,a4,a5]\mathbb{Q}\left[a_{1}, a_{2}, a_{3}, a_{4}, a_{5}\right]. Let f(x)=x5a1x4+a2x3a3x2+a4xa5K[x]f(x)=x^{5}-a_{1} x^{4}+a_{2} x^{3}-a_{3} x^{2}+a_{4} x-a_{5} \in K[x]. Show that ff is not solvable by radicals. [You may use results from the course provided that you state them clearly.]