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

Galois Theory | Part II, 2015

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

Root⁡f(L)⟷Hom⁡K(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 f∈K[t]f \in K[t]. What is a splitting field for ff ? What does it mean to say ff is separable? Show that every f∈K[t]f \in K[t] is separable if KK is a finite field.

(iii) The primitive element theorem states that if K⊆LK \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.

Typos? Please submit corrections to this page on GitHub.