Assume the field extension $L:K$ is Galois (i.e. finite, normal and separable), with $M$ an intermediate field.
- Show that $L:M$ and $M:K$ are finite separable field extensions.
Attempt: Both $M:K$ and $L:M$ are algebraic ($M:K$ since $M \subset L$, so every $\alpha \in M$ is algebraic over $K$ and $L:M$ since any $\alpha \in L$ is algebraic over $K$, so also over $M$).
Then $M:K$ is separable again since $M \subset L$ (every element of $L$ so in particular every element of $M$ is separable over $K$).
For $L:M$, take any $\alpha \in L$, then min$_M(\alpha)$ divides min$_K(\alpha)$ in $M[X]$. Since min$_K(\alpha)$ has no multiple zeros in a splitting field, neither does min$_M(\alpha)$, i.e. $\alpha$ is separable over $M$.
I'm not quite about the proof for finite, would it involve the Tower Law?
- Show that $L:M$ is a normal extension.
I'm a bit stuck here, any help for this one?