Definition talk:Field Automorphism

From ProofWiki
Jump to navigation Jump to search

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)