Abstract: We prove that the set of limit groups is recursive, answering a question of Delzant. One ingredient of the proof is the observation that a finitely presented group with local retractions (a la Long and Reid) is coherent and, furthermore, there exists an algorithm that computes presentations for finitely generated subgroups. The other main ingredient is the ability to algorithmically calculate centralizers in relatively hyperbolic groups. Applications include the existence of recognition algorithms for limit groups and free groups.
Recommendations
Cites work
- scientific article; zbMATH DE number 1784827 (Why is no real title available?)
- A COMBINATION THEOREM FOR RELATIVELY HYPERBOLIC GROUPS
- Combination of convergence groups.
- Detecting free splittings in relatively hyperbolic groups
- Existential questions in (relatively) hyperbolic groups.
- Finding relative hyperbolic structures
- On the algorithmic construction of classifying spaces and the isomorphism problem for biautomatic groups.
- The isomorphism problem for finitely generated fully residually free groups.
Cited in
(15)- Homomorphisms to acylindrically hyperbolic groups. I: Equationally Noetherian groups and families
- Detecting geometric splittings in finitely presented groups
- Equations in acylindrically hyperbolic groups and verbal closedness
- The subgroup identification problem for finitely presented groups.
- Computing equations for residually free groups.
- Limits of dihedral groups.
- Effective coherence of groups discriminated by a locally quasi-convex hyperbolic group
- On isomorphisms to a free group and beyond
- Solutions to Bestvina \& Feighn's exercises on limit groups.
- Limit groups over coherent right-angled Artin groups
- scientific article; zbMATH DE number 5272192 (Why is no real title available?)
- ACTIONS, LENGTH FUNCTIONS, AND NON-ARCHIMEDEAN WORDS
- The structure of limit groups over hyperbolic groups
- Uniform negative immersions and the coherence of one-relator groups
- On the difficulty of presenting finitely presentable groups.
This page was built for publication: Enumerating limit groups.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q838396)