Definition:Galois Extension

Arbitrary Galois Extension
Let $L/K$ be a field extension.

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

Also see

 * Fundamental Theorem of Galois Theory