Definition:Galois Extension/Finite/Definition 2

Definition

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

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

Also see

• Equivalence of Definitions of Finite Galois Extension

Sources

• 2002: Serge Lang: Algebra (Revised 3rd ed.) Chapter $VI$: Galois Theory: $\S1$: Galois Extensions