Example 15.115.2. Let $k$ be a perfect field of characteristic $p > 0$. Let $A = k[[x]]$ and $K = k((x))$. Let $B = A[x^{1/p}]$. Any weak solution $K_1/K$ for $A \to B$ is inseparable (and any finite inseparable extension of $K$ is a solution). We omit the proof.

There are also:

• 2 comment(s) on Section 15.115: Eliminating ramification

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