Given a finitely generated group, the algorithmic problem of deciding whether two words in the generators represent the same element