Definition:Separable Closure
Jump to navigation
Jump to search
Definition
Let $K$ be a field.
A separable closure of $K$ is a separably closed algebraic field extension of $F$.
It may be defined as the relative separable closure of $F$ in its algebraic closure.