Finitely Presented Subgroups of Automatic Groups and their Isoperimetric Functions

DOI10.1112/S0024610797005395MaRDI QIDQ4399276zbMATH OpenOpenAlexFDO

Authors Gilbert Baumslag, Martin R. Bridson, Charles F. III Miller, Hamish Short

Publication date 3 February 1999

Published in Journal of the London Mathematical Society (Search for Journal in Brave)

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

zbMATH Keywords

amalgamated productsasynchronously automatic groupsbiautomatic groupsfinitely generated groupsfinitely presented subgroupsgroups of type \(FP_3\)HNN extensionsisoperimetric functionsword hyperbolic groups

Mathematics Subject Classification ID

Free products of groups, free products with amalgamation, Higman-Neumann-Neumann extensions, and generalizations (20E06) Subgroup theorems; subgroup growth (20E07) Generators, relations, and presentations of groups (20F05) Geometric group theory (20F65) Topological methods in group theory (57M07)

Abstract: We describe a general technique for embedding certain amalgamated products into direct products. This technique provides us with a way of constructing a host of finitely presented subgroups of automatic groups which are not even asynchronously automatic. We can also arrange that such subgroups satisfy, at best, an exponential isoperimetric inequality.

Review text

The authors prove the following Theorem 1. There exists a biautomatic group \(B\) which has a finitely presented subgroup \(G\) which is not of type \(FP_3\) and such that the isoperimetric function of \(G\) is strictly exponential. Moreover one can arrange for \(B\) to be the fundamental group of a closed manifold of non-positive curvature. This theorem provides examples of subgroups of a biautomatic group which are not asynchronously automatic. The method used involves the notion of doubling of a group along a subgroup, which the authors define as follows. Let \(A\) and \(\overline A\) be two groups with an isomorphism \(\theta\colon A\to\overline A\). If \(C\) is a subgroup of \(A\), then \(\theta(C)\) is denoted by \(\overline C\). The amalgamated product \(G=\{A*\overline A;\;C=\overline C\}\) is then called the double of \(A\) along \(C\). There is an analogous definition for HNN extensions. The method for proving Theorem 1 relies on the following embedding result which the authors prove: Theorem 2. Let \(A\) be a group having a normal subgroup \(C\) and let \(G\) be the double of \(A\) along \(C\). Then \(G\) embeds in \(D=(A/C*\overline A/\overline C)\times A\), that is, the direct product of \(A\) with the ordinary free product of two copies of \(A/C\). There is a similar result for HNN extensions. The authors describe in detail several kinds of examples of such embeddings. The result of Theorem 1, and the implication Theorem 2 \(\Rightarrow\) Theorem 1 are motivated by a well-known example of J. Stallings together with a remark of G. Mess which shows that Stallings' example gives a finitely presented subgroup of an automatic group which is not automatic.

Recommendations

• Doubles, finiteness properties of groups, and quadratic isoperimetric inequalities
• scientific article; zbMATH DE number 2203378
• THE DOUBLE EXPONENTIAL THEOREM FOR ISODIAMETRIC AND ISOPERIMETRIC FUNCTIONS
• HYPERBOLICITY OF GROUPS WITH SUBQUADRATIC ISOPERIMETRIC INEQUALITY

Cited in

(12)

• The Dehn function of Stallings' group.
• Doubles, finiteness properties of groups, and quadratic isoperimetric inequalities
• Isoperimetric inequalities for automorphism groups of free groups
• Homological filling functions with coefficients
• The Dehn functions of Stallings-Bieri groups
• Mappings of groups and quasi-retractions
• LENGTH AND AREA FUNCTIONS ON GROUPS AND QUASI-ISOMETRIC HIGMAN EMBEDDINGS
• Residually free groups do not admit a uniform polynomial isoperimetric function
• Homological and homotopical Dehn functions are different
• Dehn functions of coabelian subgroups of direct products of groups
• Volume distortion in groups.
• Superexponential Dehn functions inside CAT(0) groups

This page was built for publication: Finitely Presented Subgroups of Automatic Groups and their Isoperimetric Functions

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