Small cancellation theory and automatic groups
Let G be a group with generating set X, and let \(\Gamma\) be the Cayley graph of G with respect to X. We can regard \(\Gamma\) as a metric space by giving each edge unit length. We can then consider imposing conditions on this metric space. The most well-known example of this is the hyperbolicity condition imposed by \textit{M. Gromov} [in: Essays in Group Theory, Publ., Math. Sci. Res. Inst. 8, 75-263 (1987; Zbl 0634.20015)]. Another condition is the automaticity condition. This requires a constant \(k>0\) and a path in the Cayley graph for each \(g\in G\) (starting at 1 and ending at g) such that paths which end a distance 1 apart stay within a distance k of each other, and such that the words defined by the paths constitute a regular language in the free monoid on \(X\cup X^{-1}\). As the authors show, hyperbolic groups are automatic. The main aim of this wide-ranging paper is to show that if G is given by a finite presentation satisfying the small cancellation conditions C(p), T(q) \(((p,q)=(6,3),(4,4),(3,6))\), and if all pieces have length 1 and no relator is a proper power, then G is automatic. In addition, the authors give some new examples of groups satisfying the C(3), T(6) conditions (for other examples see \textit{M. El-Mosalamy} and \textit{S. J. Pride} [Math. Proc. Camb. Philos. Soc. 102, 443-451 (1987; Zbl 0654.20032)]; \textit{M. Edjvet} and \textit{J. Howie} [Proc. Lond. Math. Soc., III. Ser. 57, 301-328 (1988; Zbl 0627.20020)]; \textit{J. Howie} [Forum Math. 1, 251-272 (1989; Zbl 0676.20018)]). These examples are groups of isometries of certain Bruhat-Tits buildings. The groups are of cohomological dimension 2 (being torsion-free small cancellation groups), and neither they nor their subgroups of finite index can act on a tree without fixing a point (this follows from the fact that the groups have Kazhdan's property T). (For other examples of finitely presented groups of cohomological dimension 2 with no non-trivial action on a tree, see \textit{S. J. Pride} [J. Pure Appl. Algebra 29, 167-168 (1983; Zbl 0513.20019)].) In an appendix to the paper the authors give a proof of the ``if part of the following characterization of hyperbolic groups due to Gromov: A group is hyperbolic if and only if it is finitely presented and satisfies a linear isoperimetric inequality.
- Small cancellation theory and automatic groups. II
- Generalized small cancellation presentations for automatic groups.
- Géométrie et théorie des groupes. Les groupes hyperboliques de Gromov. (Geometry and group theory. The hyperbolic groups of Gromov)
- TWO AUTOMATIC SPANNING TREES IN SMALL CANCELLATION GROUP PRESENTATIONS
- Cubulating small cancellation groups.
- Automatic groups and amalgams
- Cohomologie d'immeubles et de groupes S-arithmétiques
- scientific article; zbMATH DE number 4031953 (Why is no real title available?)
- scientific article; zbMATH DE number 4049875 (Why is no real title available?)
- scientific article; zbMATH DE number 3759178 (Why is no real title available?)
- scientific article; zbMATH DE number 45383 (Why is no real title available?)
- scientific article; zbMATH DE number 3574107 (Why is no real title available?)
- scientific article; zbMATH DE number 3598578 (Why is no real title available?)
- scientific article; zbMATH DE number 3311755 (Why is no real title available?)
- On Dehn's algorithm
- OnT(6)-groups
- Reductive groups over a local field
- Some finitely presented groups of cohomological dimension two with property (FA)
- The combinatorial structure of cocompact discrete hyperbolic groups
- The Word and Conjugacy Problems for the Knot Group of any Tame, Prime, Alternating Knot
- Thick metric spaces, relative hyperbolicity, and quasi-isometric rigidity.
- Automatic groups and amalgams
- A finiteness property and an automatic structure for Coxeter groups
- Quadratic divergence of geodesics in CAT(0) spaces
- Isoperimetric inequalities for the fundamental groups of torus bundles over the circle
- Graph groups are biautomatic
- Polygonal complexes and combinatorial group theory
- Automatic structures on \(\text{Aut}(F_ 2)\)
- Geodesic automation and growth functions for Artin groups of finite type
- A non-Hopfian almost convex group.
- Three-generator Artin groups of large type are biautomatic
- Growth of certain non-positively curved cube groups
- Automatic semigroups
- Crystal monoids \& crystal bases: rewriting systems and biautomatic structures for plactic monoids of types \(A_{n}\), \(B_{n}\), \(C_{n}\), \(D_{n}\), and \(G_{2}\)
- Nonpositively curved 2-complexes with isolated flats.
- Cubulating small cancellation groups.
- Complexes of nonpositive curvature for extensions of \(F_ 2\) by \(\mathbb{Z}\)
- Hyperbolic buildings, affine buildings, and automatic groups
- Artin groups of extra-large type are biautomatic
- Distinguished subgroups and quotients of hyperbolic groups
- Central extensions of word hyperbolic groups satisfy a quadratic isoperimetric inequality
- Complexes of non-positive curvature and automorphisms of the 4-punctured sphere
- \(C(6)\) groups do not contain \(F_2\times F_2\).
- Tadpole labelled oriented graph groups and cyclically presented groups.
- Geodesic edge paths in nonpositively curved complexes
- Graphs of some CAT(0) complexes
- Combing Euclidean buildings.
- Helly meets Garside and Artin
- Automatic continuity for groups whose torsion subgroups are small
- Distance labeling schemes for \(K_4\)-free bridged graphs
- Hyperbolicity of T(6) cyclically presented groups
- Strictly systolic angled complexes and hyperbolicity of one-relator groups
- Topologically trivial closed walks in directed surface graphs
- Polynomial-time proofs that groups are hyperbolic
- Automaticity of one-relator semigroups with length less than or equal to three
- Hadamard spaces with isolated flats. (With an appendix written jointly with Mohamad Hindawi).
- On a small cancellation theorem of Gromov.
- Regular path systems and (bi)automatic groups.
- Asymptotic invariants of finitely generated algebras. A generalization of Gromov's quasi-isometric viewpoint.
- Generalized polygons and star graphs of cyclic presentations of groups
- On the multiple conjugacy problem in group \(F/N_1 \cap N_2\)
- Tilings of the plane, hyperbolic groups and small cancellation conditions
- Triangles, squares and geodesics.
- Star Graphs, Projective Planes and Free Subgroups in Small Cancellation Groups
- On the SQ-universality of groups with special presentations
- The conjugacy problem for groups of alternating prime tame links is polynomial-time
- scientific article; zbMATH DE number 998573 (Why is no real title available?)
- An Isoperimetric Inequality for Artin Groups of Finite Type
- Cubulating rhombus groups.
- A NEW PROOF THAT ALTERNATING LINKS ARE NON-TRIVIAL
- The equation x^py^q=z^r and groups that act freely on Łambda -trees
- Howson property and one-relator groups1
- Small cancellation groups and translation numbers
- Doodle groups
- On the hyperbolicity of small cancellation groups and one-relator groups
- scientific article; zbMATH DE number 1787092 (Why is no real title available?)
- Complexes of groups and geometric small cancelation over graphs of groups
- COMPUTATIONAL PROBLEMS IN HYPERBOLIC GROUPS
- Automatic Groups Associated with Word Orders Other than Shortlex
- Generalized small cancellation presentations for automatic groups.
- EXTENSION OF GROUP PRESENTATIONS AND RELATIVE SMALL CANCELLATION THEORY I
- Finite Gröbner-Shirshov bases for plactic algebras and biautomatic structures for plactic monoids.
- Some examples of groups with no non‐trivial action on a Λ‐tree
- Hyperbolic groups and their quotients of bounded exponents
- Biautomatic structures in systolic Artin groups
- The Development of the Theory of Automatic Groups
- 2-dimensional Coxeter groups are biautomatic
- Generalized small cancellation conditions, non-positive curvature and diagrammatic reducibility
- Topologically trivial closed walks in directed surface graphs
- Generalizations of theorems of Magnus and Greendlinger
- The area theorem for the disc diagram over C(3)-T(6)-group
- Non-Hopfian SQ-universal groups
- The small index property and the cofinality of the automorphism group
- ON BIAUTOMATICITY OF NON-HOMOGENOUS SMALL-CANCELLATION GROUPS
- Locally quasiconvex small-cancellation groups
- Translation numbers in groups with the condition C(4)\&T(4).
- Knapsack problems in groups
- Subgroups, hyperbolicity and cohomological dimension for totally disconnected locally compact groups
- Lattices in product of trees
- Short, Highly Imprimitive Words Yield Hyperbolic One-Relator Groups
- Helly groups
- Coxeter groups are biautomatic
- Small cancellation theory and automatic groups. II
- Hyperbolic groups of Fibonacci type and T(5) cyclically presented groups
- Garside groups are strongly translation discrete.
- The triviality problem for profinite completions
This page was built for publication: Small cancellation theory and automatic groups
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q750615)
