2021/10/15 by André Carvalho, Carvalho, André
Computer Science · Mathematics · #FOS: Mathematics #Geometric and Algebraic Topology #Group Theory (math.GR) #Mathematical Dynamics and Fractals #semigroups and automata theory
paper · pdf · doi:10.48550/arxiv.2110.08309
openalex publication_date 2021/10/15 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
We propose two geometric versions of the bounded reduction property and find conditions for them to coincide. In particular, for the natural automatic structure on a hyperbolic group, the two notions are equivalent. We study endomorphisms with L-quasiconvex image and prove that those with finite kernel satisfy a synchronous version of the bounded reduction property. Finally, we use these techniques to prove L-quasiconvexity of the equalizer of two endomorphisms under certain (strict) conditions.