In ring theory a ring homomorphism is a map from one ring to another group that preserves the ring operations.
Formally, therefore, a map is a homomorphism if
A unital homomorphism between unital rings (rings with a multiplicative identity element) must also satisfy
The kernel of a homomorphism is the set of all elements of the domain that map to the zero element of the codomain. This subset is an ideal, and every ideal is the kernel of some homomorphism.
An embedding or monomorphism is an injective homomorphism (or, equivalently, one whose kernel consists only of the zero element).
- The zero map is a ring homomorphism.
- The map defined on the ring of integers which maps an integer to its remainder modulo N for some fixed modulus N is a ring homomorphism from Z onto Z/(N).
We say that two rings are isomorphic if there is a bijective homomorphism of one onto the other : the mapping is called an isomorphism. Isomorphic rings have identical structure and are often thought of as just being relabelings of one another.