Let and be Rings and let
We say that is a ring homomorphism if:

  • is a Homomorphism for groups and
  • for any
  • i.e. preserves multiplicative identity