Observemos que sigue, directamente, de la definición de homomorfismo de anillos, que un homomorfismo de anillos es un homomorfismo tanto de los grupos aditivos como de los semigrupos multiplicativos de los anillos.