Inventiones mathematicae

, Volume 120, Issue 1, pp 259–287

Automatic structures, rational growth, and geometrically finite hyperbolic groups

  • Walter D. Neumann
  • Michael Shapiro

DOI: 10.1007/BF01241129

Cite this article as:
Neumann, W.D. & Shapiro, M. Invent Math (1995) 120: 259. doi:10.1007/BF01241129


We show that the set\(S\mathfrak{A}(G)\) of equivalence classes of synchronously automatic structures on a geometrically finite hyperbolic groupG is dense in the product of the sets\(S\mathfrak{A}(P)\) over all maximal parabolic subgroupsP. The set\(BS\mathfrak{A}(G)\) of equivalence classes of biautomatic structures onG is isomorphic to the product of the sets\(BS\mathfrak{A}(P)\) over the cusps (conjugacy classes of maximal parabolic subgroups) ofG. Each maximal parabolicP is a virtually abelian group, so\(S\mathfrak{A}(P)\) and\(BS\mathfrak{A}(P)\) were computed in [NS1].

We show that any geometrically finite hyperbolic group has a generating set for which the full language of geodesics forG is regular. Moreover, the growth function ofG with respect to this generating set is rational. We also determine which automatic structures on such a group are equivalent to geodesic ones. Not all are, though all biautomatic structures are.

Copyright information

© Springer-Verlag 1995

Authors and Affiliations

  • Walter D. Neumann
    • 1
  • Michael Shapiro
    • 1
  1. 1.Department of MathematicsThe University of MelbourneParkvilleAustralia