Sea formula_22 un homomorfismo de grupos y sea