Stallings graphs for quasi-convex subgroups - Archive ouverte HAL Access content directly
Journal Articles Journal of Algebra Year : 2017

Stallings graphs for quasi-convex subgroups

Abstract

We show that one can define and effectively compute Stallings graphs for quasi-convex subgroups of automatic groups (e.g. hyperbolic groups or right-angled Artin groups). These Stallings graphs are finite labeled graphs, which are canonically associated with the corresponding subgroups. We show that this notion of Stallings graphs allows a unified approach to many algorithmic problems: some which had already been solved like the generalized membership problem or the computation of a quasi-convexity constant (Kapovich, 1996); and others such as the computation of intersections, the conjugacy or the almost malnormality problems. Our results extend earlier algorithmic results for the more restricted class of virtually free groups. We also extend our construction to relatively quasi-convex subgroups of relatively hyperbolic groups, under certain additional conditions.
Fichier principal
Vignette du fichier
2017-05-19 arXiv.pdf (972.43 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-02133838 , version 1 (20-05-2019)

Identifiers

Cite

Olga Kharlampovich, Alexei Miasnikov, Pascal Weil. Stallings graphs for quasi-convex subgroups. Journal of Algebra, 2017, 488, pp.442-483. ⟨10.1016/j.jalgebra.2017.05.037⟩. ⟨hal-02133838⟩

Collections

CNRS ANR
29 View
156 Download

Altmetric

Share

Gmail Facebook X LinkedIn More