En álgebra, un homomorfismo de grupos es una función entre grupos que preserva la operación binaria.