Is an intersection of two splitting fields a splitting field? Let $F$ be a field, and let $K_1$, $K_2$ be two splitting fields over $F$ (Suppose they are contained in a larger field $K$). Is $K_1\cap K_2$ necessarily a splitting field over $F$?
The statement is true if $K_1$ and $K_2$ are finite extensions of $F$, however I'm not sure how to prove (or disprove) the statement in the general case.
Thanks.
 A: The following is standard; for example, it appears in Lang's Algebra.
Proposition.  Let $K$ be an algebraic extension of $F$, contained in some algebraic closure $\overline{F}$ of $F$. The following are equivalent:


*

*Every embedding of $K$ into $\overline{F}$ over $F$ is an automorphism of $K$.

*$K$ is as splitting field over $F$.

*Every irreducible polynomial $f(x)\in F[x]$ that has at least one root in $K$ splits over $K$.
Proof. 1$\Rightarrow$2,3: Let $a\in K$, and let $f(x)$ be its irreducible polynomial over $F$. If $b$ is any root of $f(x)$ in $\overline{F}$, then the isomorphism $F(a)\to F(b)$ that maps $a$ to $b$ extends to an embedding of $K$ over $F$; by 1, it is an automorphism of $K$, so $b\in K$. Thus, an irreducible polynomial in $F[x]$ that has at least one root in $K$ has all its roots in $K$, proving 3. Letting $S$ be the collection of irreducible polynomials over $F$ of elements of $K$ shows that $K$ is a splitting field over $F$.
2$\Rightarrow$1: Let $S=\{f_i\}$ be a family of polynomials such that $K$ is the splitting field of $S$ over $F$. If $a$ is a root of some $f_i$ and $a\in K$, then for any embedding of $K$ into $\overline{F}$, $a$ must map to a root of $f_i$; but the roots of $f_i$ are all in $K$. Moreover, since $K$ is generated over $F$ by the roots of the $f_i$, then this means that every element of $K$ maps to an element of $K$ under the embedding. So $K$ satisfies condition 1.
3$\Rightarrow$1: Let $\sigma\colon K\to\overline{F}$ be an embedding over $F$. Let $a\in K$, and let $f(x)$ be the monic irreducible of $a$ over $F$. If $\sigma\colon K\to\overline{F}$ is any embedding over $F$, then $\sigma$ maps $a$ to a root of $f(x)$; but by assumption, all the roots of $f(x)$ are in $K$, so $\sigma(a)\in K$. Thus, $\sigma$ maps $K$ into itself, proving 1. QED
From this, it is easy to verify that the intersection of two splitting fields is indeed a splitting field. 
A: It is proved in Serge Lang's book 'Algebra' page no 237 that an algebraic field extension $K/k$ is splitting field if and only if every irreducible polynomial of $k[X]$ which has a root in $K$ splits into linear factors in $K$. Use this result to answer your question.
