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 K⊂L⊂MK \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 X4−3X^{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 x∈Mx \in M.

Typos? Please submit corrections to this page on GitHub.