Si formula_16 y formula_17 son anillos unitarios (cuyos elementos unidades son respectivamente formula_18 y formula_19), entonces la aplicación formula_20 se dirá que es un homomorfismo de anillos unitarios si es un homomorfismo de anillos y además se cumple que formula_21.