Definition talk:Field Automorphism

Either in this definition or in that of Definition:Field Homomorphism, it has to be required that $1$ is sent to $1$. Otherwise, the resulting morphism may be trivial (everything is sent to $0$) and this not an automorphism. --barto (talk) 15:42, 28 January 2017 (EST)


 * Good call --prime mover (talk) 16:16, 28 January 2017 (EST)


 * This is what happens when deviating from the convention that ring morphisms preserve $1$. Many theorem and definition statements become tricky... --barto (talk) 16:35, 28 January 2017 (EST)


 * The definitions as presented are the definitions that are found in whatever source works happen to be at hand to whatever author creates the page in the first place. --prime mover (talk) 17:01, 28 January 2017 (EST)


 * Okay. I don't want to discourage you to continue writing :) There's just some imperfections here and there, but bit-by-bit, we're getting there. --barto (talk) 17:40, 28 January 2017 (EST)