×

Embedding theorems for non-positively curved polygons of finite groups. (English) Zbl 0892.20026

A polygon of groups has groups associated to its vertices, its edges, and to its face. There is an inclusion of the face group into each edge group and an inclusion of each edge group into its associated vertex groups. It is assumed that at each vertex the two edge groups intersect only in the face group. The fundamental group of the polygon of groups is defined to be the free product of the vertex groups amalgamated along the edge groups.
A concept of angle between the two edge groups at a vertex has been defined by Gersten and Stallings. If the resulting angles belong to a Euclidean or hyperbolic polygon, then the polygon of groups is called nonpositively curved. Gersten and Stallings proved that for a nonpositively curved polygon of groups, the vertex groups embed in the amalgamated free product.
K. S. Brown proved that Thompson’s infinite simple group is the fundamental group of a polygon of groups, and hence such groups need not be residually finite. That example, however, has positive curvature. In the paper under review, the authors show that there is a nonpositively curved triangle of finite groups whose fundamental group is not residually finite.
To construct their examples, they prove two imbedding theorems that are of independent interest. The first states that if \(X\) is a complete squared complex, i. e. a 2-complex whose universal cover is isomorphic to the product of two trees, then for each prime \(p\) there is a right-angled square of finite \(p\)-groups \(R_p(X)\) such that \(\pi_1(X)\) imbeds into \(\pi_1(R_p(X))\). The second states that if \(R\) is a square of finite groups with all vertex angles \(\leq{\pi\over 2}\), then \(\pi_1(R)\) can be imbedded in the fundamental group of a nonpositively curved triangle of finite groups. Since there exist complete squared complexes with nonresidually finite fundamental groups, applying the two imbedding theorems yields the desired examples.

MSC:

20F65 Geometric group theory
57M07 Topological methods in group theory
20E06 Free products of groups, free products with amalgamation, Higman-Neumann-Neumann extensions, and generalizations
20E26 Residual properties and generalizations; residually finite groups
57M20 Two-dimensional complexes (manifolds) (MSC2010)
20E07 Subgroup theorems; subgroup growth
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Allenby, R. B.J. T.; Tang, C. Y., On the residual finiteness of certain polygonal products, Canad. Math. Bull., 32, 11-17 (1989) · Zbl 0675.20019
[2] M.R. Bridson and A. Haefliger, Metric spaces of non-positive curvature, to appear.; M.R. Bridson and A. Haefliger, Metric spaces of non-positive curvature, to appear. · Zbl 0988.53001
[3] Brown, K. S., (Baumslag, G.; Miller, C. F., The Geometry of Finitely Presented Infinite Simple Groups (1992), Springer: Springer Princeton), 121-136 · Zbl 0753.20007
[4] Brown, R., Topology: A Geometric Account of General Topology, Homotopy Types and the Fundamental Groupoid (1988), Ellis Horwood: Ellis Horwood Berlin · Zbl 0655.55001
[5] W. Floyd and W. Parry, The growth of non-positively curved triangles of groups, preprint.; W. Floyd and W. Parry, The growth of non-positively curved triangles of groups, preprint. · Zbl 0888.20020
[6] Gromov, M., (Gersten, S. M., Hyperbolic Groups, Essays in Group Theory, Vol. 8 (1987), Springer: Springer Chichester), MSRI Publications
[7] Haefliger, A., (Ghys; Haefliger; Verjofsky, Complexes of Groups and Orbihedra (1991), World Scientific: World Scientific New York), 504-540 · Zbl 0858.57013
[8] Kim, G., On polygonal products of finitely generated abelian groups, Bull. Austral. Math. Soc., 45, 453-462 (1992) · Zbl 0749.20008
[9] Lyndon, R. C.; Schupp, P. E., Combinatorial Group Theory (1977), Springer: Springer Singapore · Zbl 0368.20023
[10] Magnus, W.; Karrass, A.; Solitar, D., Combinatorial Group Theory (1965), Dover Books: Dover Books Berlin
[11] Meier, J., Endomorphisms of discrete groups acting chamber transitively on affine buildings, Internat. J. Algebra Comput., 3, 357-364 (1993) · Zbl 0793.20024
[12] Meier, J., Hopfnicity of negatively curved polygonal amalgams of finite groups, J. Pure Appl. Algebra, 94, 331-340 (1994) · Zbl 0812.20011
[13] Neumann, B. H.; Neumann, H., A contribution to the embedding theory of group amalgams, (Proc. LMS, 3 (1953)), 243-256 · Zbl 0050.25403
[14] Ronan, M. A., (Lectures on buildings, Perspectives in Math., Vol. 7 (1989), Academic Press: Academic Press New York) · Zbl 0694.51001
[15] Sims, C. C., Computation with Finitely Presented Groups (1994), Cambridge Univ. Press: Cambridge Univ. Press New York · Zbl 0828.20001
[16] Stallings, J., (Ghys; Haefliger; Verjofsky, Non-positively Curved Triangles of Groups (1991), World Scientific: World Scientific Cambridge), 491-503
[17] Tits, J., (London Math. Soc. Lecture Notes, Vol. 121 (1986), Cambridge Univ. Press: Cambridge Univ. Press Singapore), (Proceedings of Groups — St. Andrews 1985)
[18] D.T. Wise, A non-positively curved 2-complex with no finite covers, preprint.; D.T. Wise, A non-positively curved 2-complex with no finite covers, preprint.
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.