#conjugacy problem #group theory #key metaphor #element mapping #abstract algebra #isomorphism