We prove that for a free product with free factor system , any automorphism preserving , atoroidal (in a sense relative to ) and none of whose power send two different conjugates of subgroups in on conjugates of themselves by the same element, gives rise to a semidirect product that is relatively hyperbolic with respect to suspensions of groups in . We recover a theorem of Gautero-Lustig and Ghosh that, if is a free group, an automorphism of , and is its family of polynomially growing subgroups, then the semidirect product by is relatively hyperbolic with respect to the suspensions of these subgroups. We apply the first result to the conjugacy problem for certain automorphisms (atoroidal and toral) of free products of abelian groups.

生成讲解博客的中文版本

生成AI智能校验的中文版本