Lemma 10.158.5. Let $K/k$ be an extension of fields. If $K$ is formally smooth over $k$, then $K$ is a separable extension of $k$.

Proof. Assume $K$ is formally smooth over $k$. By Lemma 10.138.9 we see that $K \otimes _ k \Omega _{k/\mathbf{Z}} \to \Omega _{K/\mathbf{Z}}$ is injective. Hence $K$ is separable over $k$ by Lemma 10.158.4. $\square$

There are also:

• 2 comment(s) on Section 10.158: Formal smoothness of fields

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).