Definition. normal extension [2201]
Definition. normal extension [2201]
An algebraic extension $K / F$ is normal if for every $\alpha \in K$, its minimal polynomial $m_{\alpha, F}(x) \in F[x]$ splits completely in $K$.
An algebraic extension $K / F$ is normal if for every $\alpha \in K$, its minimal polynomial $m_{\alpha, F}(x) \in F[x]$ splits completely in $K$.