# Definition:Galois Extension/Finite/Definition 2

Let $L/K$ be a finite field extension.
$L/K$ is a Galois extension if and only if it is normal and separable.