The definition is as follows. An extension is Galois if it is normal and separable. Equivalently, the extension E/F is Galois if and only if it is algebraic, and the field fixed by the automorphism group Aut(E/F) is precisely the base field F. (See the article Galois group for definitions of some of these terms and some examples.)
A result of Emil Artin allows one to construct Galois extensions as follows. If E is a given field, and G is a finite group of automorphisms of E, then E/F is a Galois extension, where F is the fixed field of G.
An important theorem of Emil Artin states that for a finite extension E/F, each of the following statements is equivalent to the statement that E/F is Galois: