Definition:Galois Extension/Finite/Definition 2

Definition

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

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

Also see

• Equivalence of Definitions of Finite Galois Extension

• Results about finite Galois extensions can be found here.

Sources

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