Orbit decidability and the conjugacy problem for some extensions of groups
Given a short exact sequence of groups with certain conditions, 1 ? F ? G ? H ? 1, we prove that G has solvable conjugacy problem if and only if the corresponding action subgroup A 6 Aut(F) is orbit decidable. From this, we deduce that the conjugacy problem is solvable, among others, for all groups...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
2009.
|
| Subjects: | |
| Online Access: | Get fulltext Get fulltext |
| Summary: | Given a short exact sequence of groups with certain conditions, 1 ? F ? G ? H ? 1, we prove that G has solvable conjugacy problem if and only if the corresponding action subgroup A 6 Aut(F) is orbit decidable. From this, we deduce that the conjugacy problem is solvable, among others, for all groups of the form Z2?Fm, F2?Fm, Fn?Z, and Zn?A Fm with virtually solvable action group A 6 GLn(Z). Also, we give an easy way of constructing groups of the form Z4?Fn and F3?Fn 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. |
|---|