Let 𝐺 be a finitely generated group. We show that for any finite symmetric generating set 𝐴, the language consisting of all geodesics in Cay(𝐺, 𝐴) with the contracting property is a regular language. An immediate consequence is that the existence of an infinite contracting geodesic in a Cayley graph of a finitely generated group implies the existence of a contracting element. In particular, torsion groups cannot contain an infinite contracting geodesic. As an application, this implies that any finitely generated group containing an infinite contracting geodesic must be either virtually ℤ or acylindrically hyperbolic.
Let G be a finitely generated group. We show that for any generating set A, the language consisting of all geodesics in Cay(G, A) with a contracting property is a regular language. Also, for a group G acting properly and cocompactly on a CAT(0) space X, we show that for any generating set A, the language consisting of all geodesics in Cay(G, A) with a D-contracting quasi geodesic image in X is a regular language.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.