Definition. Galois extension [22010]An algebraic field extension is called Galois if it is both separable and normal.