Strongly geodesically automatic groups are hyperbolic (Q1899736)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Strongly geodesically automatic groups are hyperbolic |
scientific article |
Statements
Strongly geodesically automatic groups are hyperbolic (English)
0 references
18 March 1996
0 references
Due to the existence of a recursive structure on the set of all geodesics of a cocompact discrete group of hyperbolic isometries proved by \textit{J. Cannon} [Geom. Dedicata 16, 123-148 (1984; Zbl 0606.57003)] any hyperbolic group [in the sense of \textit{M. Gromov}, see Publ., Math. Sci. Res. Inst. 8, 75-263 (1987; Zbl 0634.20015)] is strongly geodesically automatic [see also \textit{D. Epstein} a.o., Word processing in groups (1992; Zbl 0764.20017)]. The main result of the paper is that the converse is also true: If a group is strongly geodesically automatic then it is hyperbolic. The proof of this fact is based on the author's observation that triangles in a graph are thin if bigons are thin. This also gives an alternative definition of hyperbolic groups, namely that a group is hyperbolic in the sense of Gromov if for some \(\delta>0\) bigons in its Cayley graph are \(\delta\)-thin.
0 references
recursive structures
0 references
geodesics
0 references
cocompact discrete groups of hyperbolic isometries
0 references
strongly geodesically automatic groups
0 references
hyperbolic groups
0 references
Cayley graphs
0 references