#conjugacy problem #group theory #abstract algebra #decision problem #element equivalence #xax⁻¹=b