Un homomorfismo de anillos unitarios es una aplicación formula_11 entre los anillos unitarios formula_12 y formula_13 tal que verifica que es homomorfismo de anillos (esto es, si formula_14 entonces formula_15 y formula_16) y que la imagen del elemento unidad es el elemento unidad (es decir, formula_17).