Definition:Galois Extension/Finite

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