Finite Galois extension

A finite extension $L/K$ is Galois when it has $[L:K]$ automorphisms fixing $K$.