Ring homomorphism
A ring homomorphism is a morphism in Category of rings,
that is to say a structure-preserving map between rings. ring
Let
Sometimes these are referred to as unital ring homomorphisms.
Properties
- A ring homomorphism
is monic iff it is injective iff - A ring epimorphism need not be surjective
- e.g. inclusion
. If and agree on they agree everywhere.
- e.g. inclusion