Proposition 10.158.9. Let $K/k$ be a field extension. If the characteristic of $k$ is zero then

1. $K$ is separable over $k$,

2. $K$ is geometrically reduced over $k$,

3. $K$ is formally smooth over $k$,

4. $H_1(L_{K/k}) = 0$, and

5. the map $K \otimes _ k \Omega _{k/\mathbf{Z}} \to \Omega _{K/\mathbf{Z}}$ is injective.

If the characteristic of $k$ is $p > 0$, then the following are equivalent:

1. $K$ is separable over $k$,

2. the ring $K \otimes _ k k^{1/p}$ is reduced,

3. $K$ is geometrically reduced over $k$,

4. the map $K \otimes _ k \Omega _{k/\mathbf{F}_ p} \to \Omega _{K/\mathbf{F}_ p}$ is injective,

5. $H_1(L_{K/k}) = 0$, and

6. $K$ is formally smooth over $k$.

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).