A3.4
Part II, 2004
(i) Let be a field and a finite normal extension of . If is a finite subgroup of order in the Galois group , show that is a normal extension of the -invariant subfield of degree and that . [You may assume the theorem of the primitive element.]
(ii) Show that the splitting field over of the polynomial is and deduce that its Galois group has order 8. Exhibit a subgroup of order 4 of the Galois group, and determine the corresponding invariant subfield.