Observemos que un homomorfismo de anillos es un homomorfismo tanto de los grupos aditivos