Ring homomorphism

From Maths
Jump to: navigation, search
Stub grade: A
This page is a stub
This page is a stub, so it contains little or minimal information and is on a to-do list for being expanded.The message provided is:
Flesh out, link to categorical concepts

Definition

Let [ilmath](R,+,\cdot)[/ilmath] and [ilmath](S,\oplus,\odot)[/ilmath] be rings and let [ilmath]f:R\rightarrow S[/ilmath] be a map. [ilmath]f[/ilmath] is a ring homomorphism (or just homomorphism, or morphism, if the context is clear) if[1]:

  1. [ilmath]\forall a,b\in R[f(a+b)=f(a)\oplus f(b)][/ilmath] and
  2. [ilmath]\forall a,b\in R[f(a\cdot b)=f(a)\odot f(b)][/ilmath]

As a consequence (see immediate properties below) we have:

  • [ilmath]f(0_R)=0_S[/ilmath]
  • [ilmath]\forall a\in R[f(-a)=-f(a)][/ilmath]

TODO: The case where [ilmath]R[/ilmath] has unity (is a u-ring), must [ilmath]S[/ilmath] then be too? We should have [ilmath]f(1_R)=1_S[/ilmath] so I guess if [ilmath]R[/ilmath] is a u-ring then [ilmath]S[/ilmath] must be too!


See also

References

  1. Fundamentals of Abstract Algebra - Neal H. McCoy