tenemos que formula_56 es un homomorfismo suprayectivo (de anillos), que diremos que se trata del supramorfismo canónico.