B4.3
Let be a finite Galois extension of fields. Explain what is meant by the Galois correspondence between subfields of containing and subgroups of . Show that if then is a normal subgroup of if and only if is normal. What is in this case?
Let be the splitting field of over . Prove that is isomorphic to the dihedral group of order 8. Hence determine all subfields of , expressing each in the form for suitable .
Typos? Please submit corrections to this page on GitHub.