I am using a text right now for abstract algebra ("A Concrete Introduction to Abstract Algebra" by Lindsay Childs) that seems to use a non-standard defn of ring homomorphism. I want to see if others agree and if the difference is a significant one or not.
Let (R,+,$*$) and (R',+',$*'$) be rings and f:R->R'. The standard defn for f to be a ring homomorphism (given in Birkhoff and McLane, Dummit and Foote, and Herstein) is that f preserves addition and mutliplication in the two rings. Childs, however also requires that f satisfy a third condition: if R and R' have multiplicative identity elts 1 and 1', resp, then f(1)=1'.
To me this seems like a non-trivial distinction b/c some mappings that would be considered as homomorphisms under the standard defn would not be a homomorphism under the definition given by Childs. Intuitively, to me this seems non-trivial b/c there are some slippery things that happens when f doesn't map 1 to 1' (i.e. f(1') is the unit in the subring f(R), but not necessarily a unit in R', not to mention the fact that the map of the multiplicative inverse of a unit is the multiplicative inverse of the map of that element, again in f(R), etc)
Not having much experience in abstract algebra, this naturally leads me to wonder if this is a difference which isn't really important and I should just ignore, so I was wondering what others (much more experienced and intelligent than myself) thought.
Thank-you, Matt