Units map to units

A unital ring homomorphism sends invertible elements to invertible elements.
Units map to units

Units map to units: Let φ:RS\varphi:R\to S be a unital ring homomorphism. If uRu\in R is a unit, then φ(u)S\varphi(u)\in S is a unit and

φ(u1)=φ(u)1. \varphi(u^{-1})=\varphi(u)^{-1}.

Equivalently, φ\varphi restricts to a group homomorphism R×S×R^\times\to S^\times on unit groups.

For , any induces a homomorphism of the by sending each to its image. In particular, any identifies the unit groups of the two rings.