Problema d'equivalència d'enunciats sobre grups