A rng homomorphism is a morphism in ,
that is to say a structure-preserving map between rngs. #m/def/ring
Let be rngs and let .
Then is a homomorphism iff for any
that is to say is a homomorphism of both the additive group and the multiplicative monoid.
For unital rings, see Ring homomorphism.