Paper 1, Section II, 17 F17 \mathrm{~F}

Galois Theory
Part II, 2015

(i) Let KLK \subseteq L be a field extension and fK[t]f \in K[t] be irreducible of positive degree. Prove the theorem which states that there is a 111-1 correspondence

Rootf(L)HomK(K[t]f,L)\operatorname{Root}_{f}(L) \longleftrightarrow \operatorname{Hom}_{K}\left(\frac{K[t]}{\langle f\rangle}, L\right)

(ii) Let KK be a field and fK[t]f \in K[t]. What is a splitting field for ff ? What does it mean to say ff is separable? Show that every fK[t]f \in K[t] is separable if KK is a finite field.

(iii) The primitive element theorem states that if KLK \subseteq L is a finite separable field extension, then L=K(α)L=K(\alpha) for some αL\alpha \in L. Give the proof of this theorem assuming KK is infinite.