Sea formula_130 la inclusión canónica formula_131 que es un homomorfismos de anillos.