Rng

Rng homomorphism

A rng homomorphism is a morphism in Category of rngs, that is to say a structure-preserving map between rngs. ring Let 𝐴,𝐡 be rngs and let 𝑓 :𝐴 →𝐡. Then 𝑓 is a homomorphism iff for any π‘₯,𝑦 ∈𝐴

  1. 𝑓(π‘Ž +𝑏) =𝑓(π‘Ž) +𝑓(𝑏)
  2. 𝑓(π‘Žπ‘) =𝑓(π‘Ž)𝑓(𝑏)

that is to say 𝑓 is a homomorphism of both the additive group and the multiplicative monoid. For unital rings, see Ring homomorphism.


tidy | en | SemBr