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.