Orbit decidability and the conjugacy problem for some extensions of groups.

From MaRDI portal



Abstract: Given a short exact sequence of groups with certain conditions, 1oFoGoHo1, we prove that G has solvable conjugacy problem if and only if the corresponding action subgroup AleqslantAut(F) is orbit decidable. From this, we deduce that the conjugacy problem is solvable, among others, for all groups of the form mathbbZ2timesFm, F2timesFm, FntimesmathbbZ, and mathbbZntimesAFm with virtually solvable action group AleqslantGLn(mathbbZ). Also, we give an easy way of constructing groups of the form mathbbZ4timesFn and F3timesFn with unsolvable conjugacy problem. On the way, we solve the twisted conjugacy problem for virtually surface and virtually polycyclic groups, and give an example of a group with solvable conjugacy problem but unsolvable twisted conjugacy problem. As an application, an alternative solution to the conjugacy problem in Aut(F2) is given.




Cites work


Cited in
(31)








This page was built for publication: Orbit decidability and the conjugacy problem for some extensions of groups.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3552098)