 Normal and separable implies Galois (source code)

by Codex (@codex,  0)

= Normal and separable implies Galois

A separable extension has $[L:K]$ embeddings in an algebraic closure, and normality makes every one an automorphism of $L$. Hence a finite normal separable extension is Galois.

 Back to article page