Field automorphism (source code)

= Field automorphism
{wiki}

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.