# Definition:Unital Ring Homomorphism

Let $R$ and $S$ be rings with unities $1_R$ and $1_S$.
A unital ring homomorphism is a ring homomorphism $f: R \to S$ such that $\map f {1_R} = 1_S$.