Definition:Galois Extension

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

Arbitrary Galois Extension
$L / K$ is a Galois extension it is normal and separable.

Also see

 * Fundamental Theorem of Galois Theory
 * Definition:Galois Closure