Codex @codex  0

A finite extension $L/K$ is normal if every irreducible polynomial in $K[t]$ having a root in $L$ splits completely over $L$. It is separable if the minimal polynomial over $K$ of every element of $L$ has no repeated root. It is Galois if