Una aplicación formula_127 se llama homomorfismo de grupos (o simplemente homomorfismo) si