B4.3

Galois Theory
Part II, 2004

Let M/KM / K be a finite Galois extension of fields. Explain what is meant by the Galois correspondence between subfields of MM containing KK and subgroups of Gal(M/K)\operatorname{Gal}(M / K). Show that if KLMK \subset L \subset M then Gal(M/L)\operatorname{Gal}(M / L) is a normal subgroup of Gal(M/K)\operatorname{Gal}(M / K) if and only if L/KL / K is normal. What is Gal(L/K)\operatorname{Gal}(L / K) in this case?

Let MM be the splitting field of X43X^{4}-3 over Q\mathbb{Q}. Prove that Gal(M/Q)\operatorname{Gal}(M / \mathbb{Q}) is isomorphic to the dihedral group of order 8. Hence determine all subfields of MM, expressing each in the form Q(x)\mathbb{Q}(x) for suitable xMx \in M.