El homomorfismo formula_8 está dado por