Definición
Una función f: G → H entre grupos que preserva la operación de grupo: para todos a,b en G, f(ab) = f(a)f(b); los homomorfismos envían la identidad a la identidad y los inversos a inversos, y sus núcleos e imágenes son invariantes centrales.