The Development of the Theory of Automatic Groups

DOI10.1007/978-3-030-97560-9_14MaRDI QIDQ5055450zbMATH OpenOpenAlexFDO

Authors Sarah Rees

Publication date 13 December 2022

Published in In the Tradition of Thurston II (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2205.14911

zbMATH Keywords

3-manifold groupconjugacy problemCoxeter groupmapping class groupword problemArtin grouphyperbolic groupfinite state automatoncombingdecision problemautomatic group

Mathematics Subject Classification ID

Braid groups; Artin groups (20F36) Reflection and Coxeter groups (group-theoretic aspects) (20F55) Geometric group theory (20F65) Hyperbolic groups and nonpositively curved groups (20F67) Group actions on manifolds and cell complexes in low dimensions (57M60) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Turing machines and related notions (03D10) Classical models of computation (Turing machines, etc.) (68Q04)

Recommendations

• scientific article; zbMATH DE number 53661
• Automatic groups: A guided tour
• Groups defined by automata
• scientific article; zbMATH DE number 4102495
• Small cancellation theory and automatic groups. II

Cites work

• scientific article; zbMATH DE number 4016792 (Why is no real title available?)
• scientific article; zbMATH DE number 4010764 (Why is no real title available?)
• scientific article; zbMATH DE number 3664335 (Why is no real title available?)
• scientific article; zbMATH DE number 47598 (Why is no real title available?)
• scientific article; zbMATH DE number 53661 (Why is no real title available?)
• scientific article; zbMATH DE number 194089 (Why is no real title available?)
• scientific article; zbMATH DE number 1014124 (Why is no real title available?)
• scientific article; zbMATH DE number 1385418 (Why is no real title available?)
• scientific article; zbMATH DE number 849252 (Why is no real title available?)
• scientific article; zbMATH DE number 848084 (Why is no real title available?)
• A finiteness property and an automatic structure for Coxeter groups
• Algorithms and geometry for graph products of groups
• An Alternative Proof That the Fibonacci Group F(2, 9) is Infinite
• Artin groups and infinite Coxeter groups
• Artin groups of extra-large type are biautomatic
• Artin groups of finite type are biautomatic
• Automatic groups and amalgams
• Automatic groups: A guided tour
• Buildings with isolated subspaces and relatively hyperbolic Coxeter groups.
• COMPUTATION IN WORD-HYPERBOLIC GROUPS
• COMPUTATIONAL PROBLEMS IN HYPERBOLIC GROUPS
• CONJUGACY OF FINITE SUBSETS IN HYPERBOLIC GROUPS
• Central quotients of biautomatic groups
• Combinatorial group theory.
• Combings of groups and the grammar of reparameterization.
• Coxeter Groups act on CAT(0) cube complexes
• Formal language theory and the geometry of 3-manifolds
• Graph groups are biautomatic
• Groupes de Garside
• Groups, languages and automata
• Hadamard spaces with isolated flats. (With an appendix written jointly with Mohamad Hindawi).
• Helly meets Garside and Artin
• Indexed Grammars—An Extension of Context-Free Grammars
• Large-type Artin groups are systolic
• Mapping class groups are automatic
• Polycyclic, metabelian or soluble of type \((\mathrm{FP})_\infty\) groups with Boolean algebra of rational sets and biautomatic soluble groups are virtually abelian
• Problems on automorphism groups of nonpositively curved polyhedral complexes and their lattices
• Quasigeodesics outside horoballs
• Reflection triangles in Coxeter groups and biautomaticity
• Relatively hyperbolic groups.
• Relatively hyperbolic groups: intrinsic geometry, algebraic properties, and algorithmic problems
• Semihyperbolic Groups
• Shortlex automaticity and geodesic regularity in Artin groups.
• Simplicial nonpositive curvature
• Small cancellation theory and automatic groups
• Small cancellation theory and automatic groups. II
• Sol geometry groups are not asynchronously automatic
• Strongly geodesically automatic groups are hyperbolic
• THE LINEARITY OF THE CONJUGACY PROBLEM IN WORD-HYPERBOLIC GROUPS
• The Dehn function of \(\text{SL}(n;\mathbb Z)\).
• The combinatorial structure of cocompact discrete hyperbolic groups
• The conjugacy problem in hyperbolic groups for finite lists of group elements.
• The geometry of cube complexes and the complexity of their fundamental groups
• The isomorphism problem for all hyperbolic groups.
• The isomorphism problem for hyperbolic groups. I
• The use of Knuth-Bendix methods to solve the word problem in automatic groups
• The word problem for Artin groups of FC type
• Three dimensional manifolds, Kleinian groups and hyperbolic geometry
• Three-generator Artin groups of large type are biautomatic

Cited in

(3)

• scientific article; zbMATH DE number 53661 (Why is no real title available?)
• Entropy stability and Milnor-Thurston invariants for Bowen-Series-like maps
• The development of the theory of automatic groups

Describes a project that uses

Uses Software

• kbmag
• Magma
• GAP

This page was built for publication: The Development of the Theory of Automatic Groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5055450)