Definition:Galois Extension/Finite/Definition 3

Definition
Let $L / K$ be a finite field extension

$L / K$ is a Galois extension the order of the automorphism group $\Aut \left({L / K}\right)$ equals the degree $\left[{L : K}\right]$:
 * $\left\vert{\Aut \left({L / K}\right)}\right\vert = \left[{L : K}\right]$