A local ring homomorphism is a ring
homomorphism between local rings such that
. Equivalently, it sends nonunits
of
to nonunits of
and units of
to units of
.
Local ring homomorphisms are the maps induced on stalks by morphisms of locally ringed spaces.