La primera condición nos dice que formula_8 es en particular un homomorfismo de grupos entre los grupos abelianos formula_9 y formula_10.