 Field automorphism

A field automorphism is a bijective ring homomorphism from a field to itself. The automorphisms fixing a specified subfield form a Galois group when the extension is Galois.