Definition:Galois Extension
From ProofWiki
Definition
A finite degree field extension $L/K$ is a Galois extension if it is normal and separable.
A finite degree field extension $L/K$ is a Galois extension if it is normal and separable.