Decomposition of Field Extension as Separable Extension followed by Purely Inseparable

From ProofWiki
Jump to navigation Jump to search

Theorem

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:


Proof