Polynomial time conjugacy in wreath products and free solvable groups

Abstract

Abstract We prove that the complexity of the conjugacy problems for wreath products and for free solvable groups is decidable in polynomial time. For the wreath product AwrB, we must assume the decidability in polynomial time of the conjugacy problems for A and B and of the power problem in B. Using this result and properties of the Magnus embedding, we show that the conjugacy and conjugacy search problems in free solvable groups are computable in polynomial time.