Definition:Galois Extension/Finite

Definition
A finite degree field extension $L/K$ is a Galois extension if it is normal and separable.