Identidades Polinomiais em Álgebras de Grupo e a Conjectura de Hartley