Paper 1, Section II, H

Galois Theory
Part II, 2016

(a) Prove that if KK is a field and fK[t]f \in K[t], then there exists a splitting field LL of ff over KK. [You do not need to show uniqueness of LL.]

(b) Let K1K_{1} and K2K_{2} be algebraically closed fields of the same characteristic. Show that either K1K_{1} is isomorphic to a subfield of K2K_{2} or K2K_{2} is isomorphic to a subfield of K1K_{1}. [For subfields FiF_{i} of K1K_{1} and field homomorphisms ψi:FiK2\psi_{i}: F_{i} \rightarrow K_{2} with i=1i=1, 2, we say (F1,ψ1)(F2,ψ2)\left(F_{1}, \psi_{1}\right) \leqslant\left(F_{2}, \psi_{2}\right) if F1F_{1} is a subfield of F2F_{2} and ψ2F1=ψ1\left.\psi_{2}\right|_{F_{1}}=\psi_{1}. You may assume the existence of a maximal pair (F,ψ)(F, \psi) with respect to the partial order just defined.]

(c) Give an example of a finite field extension KLK \subseteq L such that there exist α,βL\K\alpha, \beta \in L \backslash K where α\alpha is separable over KK but β\beta is not separable over K.K .