Paper 1, Section II,
Part II, 2015
(i) Let be a field extension and be irreducible of positive degree. Prove the theorem which states that there is a correspondence
(ii) Let be a field and . What is a splitting field for ? What does it mean to say is separable? Show that every is separable if is a finite field.
(iii) The primitive element theorem states that if is a finite separable field extension, then for some . Give the proof of this theorem assuming is infinite.