formula_174 Se puede verificar que formula_56 es un homomorfismo inyectivo de anillos con identidad.