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