Una función a: G → H entre dos grupos ye un homomorfismo si a equación: a(g • k) = a(g) • a(k) se cumple ta totz os elementos g, k de G, ye decir o resultato ye o mesmo tanto si se fa la operación de grupo debant como si se fa dimpués d'aplicar a función a.