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(L/K)$ equals the degree $[L:K]$:
 * $|\Aut(L/K)| = [L:K]$