2
$\begingroup$

While studying Patrick Morandi's book "Field and Galois Theory", on page49, I came across the following question:

Let $F\subseteq L\subseteq K$ be fields such that $K/L$ is normal and $L/F$ is purely inseparable. Show that $K/F$ is normal.

What I know about normal extension is an equivalent conditon, which says that the following conditions are equivlent

  1. $K/F$ is normal extension.
  2. $M$ is an algebraic closure of $K$ and if $\tau :K\rightarrow M$ is an $F-$homo, then $\tau(K)=K$.
  3. If $F\subseteq L\subseteq K\subseteq N$ are fields and if $\sigma:L\rightarrow N$ is an $F-$ home, then $\sigma (L)\subseteq K$, and there is a $\tau \in Gal(K/F)$ with $\tau \mid_L=\sigma$.
  4. For any irreducible $f(x)\in F[x]$, if $f$ has a root in $K$, then $f$ splits over $K$.

But I just don't know how to use the above results. I am not familiar with these, so I hope someone could provide an answer with details. Thank you very much!

$\endgroup$
  • $\begingroup$ Suppose you have a polynomial in $F[x]$ with a root in $K$. $\endgroup$ – Yunus Syed May 4 '17 at 3:59
3
$\begingroup$

Take the characteristic of our fields to be $p$.

Let $\alpha\in K$. As $K/L$ is normal, then $f(\alpha)=0$ where $f$ is monic with has coefficients in $L$, and $f$ splits into linear factors in $K$. Then $f(X)=X^m +a_1X^{m-1}+\cdots+a_m$. As $L/F$ is purely inseparable, then for each $i$, $a_i^{p^{m_i}}\in K$ for some $m_i$. Let $m$ be the maximum of the $m_i$ and consider $g=f^{p^m}$. Prove that $g$ has coefficients in $F$, $g(\alpha)=0$ and $g$ splits into linear factors in $K$.

$\endgroup$
  • $\begingroup$ thank you very much!!! I think what you mean is $K$ replaced by $F$ in: $a_i^{p^{m_i}}\in K$ for some $m_i$. Let $m$ be the maximum of the $m_i$ and consider $g=f^{p^m}$. Prove that $g$ has coefficients in $K$ $\endgroup$ – 王李远 May 4 '17 at 4:44
3
$\begingroup$

I would highly recommend to take another characterisation of a normal field extension, namely the 2. point on your list. The result immediately follows from $\operatorname{Hom}_F(K,\overline K) = \operatorname{Hom}_L(K,\overline K)$, because this equality tells you that normality of $K/F$ and $K/L$ are the same.

The reason for this equality is very easy: Let $\sigma$ fix $F$. If $x \in L$, then $\sigma$ fixes $x^{p^e}$ for some $e$, i.e. $\sigma(x)^{p^e}=x^{p^e}$. By the injectivity of the Frobenius morphism, we get $\sigma(x)=x$, i.e. $\sigma$ also fixes $L$.


In general I would say that the characterisation 2. is way more convenient for theoretical purposes (i.e. building up the theory, proving lemmas/propositions...), while the characterisation 4. is of course the one for practical purposes.

$\endgroup$
  • $\begingroup$ Thank you for your clearer, more advanced idea, it's really helpful for me!! $\endgroup$ – 王李远 May 4 '17 at 8:51
  • $\begingroup$ I also feel that condition 2. is more convenient, easier to understand. I just don't know what 3. says. Does that useful in some circumstance? $\endgroup$ – 王李远 May 4 '17 at 8:58

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.