Conjugacy problem
From Wikipedia, the free encyclopedia
In abstract algebra, the conjugacy problem for a group G is the decision problem of determining, given two words x and y in G, whether or not they represent the same conjugacy class in G.
It is known that the conjugacy problem is undecidable for many classes of groups.