# Subextensions of Separable Field Extension are Separable

Jump to navigation
Jump to search

This article needs to be tidied.Please fix formatting and $\LaTeX$ errors and inconsistencies. It may also need to be brought up to our standard house style.To discuss this page in more detail, feel free to use the talk page.When this work has been completed, you may remove this instance of `{{Tidy}}` from the code. |

## Theorem

Let $E/K/F$ be a tower of fields.

Let $E/F$ be separable.

Then $E/K$ and $K/F$ are separable.

## Proof

### Upper extension

We prove that $E/K$ is separable.

Let $\alpha \in E$.

Let $f$ be its minimal polynomial over $F$.

Let $g$ be its minimal polynomial over $K$.

Then $f$ is separable.

Then $f \in K[x]$ and $f(\alpha) = 0$, hence by definition $g$ divides $f$.

By Divisor of Separable Polynomial is Separable, $g$ is separable.

$\Box$

### Lower extension

It follows immediately by definition of a separable extension that $K/F$ is.

$\blacksquare$

## Also see

- Transitivity of Separable Field Extensions, the converse