#conjugacy problem #group linkage #equivalence class #abstract algebra #word problem #dehn's problems #algebraic decision problem