Computing Centralisers In [Finitely Generated Free]-By-Cyclic Groups

ANDRÉ CARVALHO
DOI: https://doi.org/10.1017/s0004972724000443
2024-06-05
Bulletin of the Australian Mathematical Society
Abstract:We prove that centralisers of elements in [finitely generated free]-by-cyclic groups are computable. As a corollary, given two conjugate elements in a [finitely generated free]-by-cyclic group, the set of conjugators can be computed and the conjugacy problem with context-free constraints is decidable. We pose several problems arising naturally from this work.
mathematics
What problem does this paper attempt to address?