Paper 4, Section II, 17 F17 \mathrm{~F}

Galois Theory | Part II, 2015

(i) Prove that a finite solvable extension KLK \subseteq L of fields of characteristic zero is a radical extension.

(ii) Let x1,,x7x_{1}, \ldots, x_{7} be variables, L=Q(x1,,x7)L=\mathbb{Q}\left(x_{1}, \ldots, x_{7}\right), and K=Q(e1,,e7)K=\mathbb{Q}\left(e_{1}, \ldots, e_{7}\right) where eie_{i} are the elementary symmetric polynomials in the variables xix_{i}. Is there an element αL\alpha \in L such that α2K\alpha^{2} \in K but αK\alpha \notin K ? Justify your answer.

(iii) Find an example of a field extension KLK \subseteq L of degree two such that LK(α)L \neq K(\sqrt{\alpha}) for any αK\alpha \in K. Give an example of a field which has no extension containing an 11th11 t h primitive root of unity.

Typos? Please submit corrections to this page on GitHub.