Definition:Field Automorphism
From ProofWiki
Definition
Let $\left({F, +, \circ}\right)$ be a field.
Let $\phi: F \to F$ be a (field) homomorphism from $F$ to itself.
Then $\phi$ is a field endomorphism.
