word problem for groups
Sign in to savegiven a finitely generated group, the algorithmic problem of deciding whether two words in the generators represent the same element
given a finitely generated group, the algorithmic problem of deciding whether two words in the generators represent the same element