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