Definition:Galois Extension/Finite

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

Also see

 * Equivalence of Definitions of Finite Galois Extension