Galois extension

algebraic field extension where the automorphism group fixes precisely the base field