#group theory #conjugacy relation #equivalence relation #abstract algebra #algebraic structure #decision problem #conjugate elements