Image from using the AbstractAlgebra package

Image of a map between rings that illustrates that this map acts like a ring homomorphism for this element.