algebraically normal

A separable algebraic extension E of F for which every irreducible polynomial in F which has a single root in E has all its roots in E is said to be Galoisian. Galoisian extensions are also called algebraically normal.

algebraic extension | Galois extension field | irreducible polynomial | separable extension