Normal field extension
Normal field extension: A field extension is termed normal if the fixed field under the automorphism group of the extension, is precisely the base field.
Primary subject wiki entry: Galois:Normal extension
Also located at: Planetmath:NormalExtension, Wikipedia:Normal extension, Mathworld:NormalExtension