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

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:

- $K/F$ is separable.
- $E/K$ is purely inseparable.