# Decomposition of Field Extension as Separable Extension followed by Purely Inseparable

Let $E/F$ be an algebraic field extension.
Then the relative separable closure $K=F^{sep}$ in $E$ is the unique intermediate field with the following properties: