Transactions of the American Mathematical Society

Author(s): Ilya Kapovich
Journal: Trans. Amer. Math. Soc. 354 (2002), 335-362.
MSC (2000): Primary 20F65
Posted: June 27, 2001
Retrieve article in: PDF DVI PostScript
This article is available free of charge

We prove that fully residually free groups have the Howson property, that is the intersection of any two finitely generated subgroups in such a group is again finitely generated. We also establish some commensurability properties for finitely generated fully residually free groups which are similar to those of free groups. Finally we prove that for a finitely generated fully residually free group the membership problem is solvable with respect to any finitely generated subgroup.

1.: J.Alonso, T.Brady, D.Cooper, V.Ferlini, M.Lustig, M.Mihalik, M.Shapiro and H.Short. Notes on word hyperbolic groups. In: Group theory from a geometrical viewpoint. Proceedings of the workshop held in Trieste, É. Ghys, A. Haefliger and A. Verjovsky (editors). World Scientific Publishing Co., 1991 MR 93g:57001
2.: H. Bass, Covering theory for graphs of groups, J. Pure Appl. Algebra 89 (1993), no. 1-2, 3-47 MR 94j:20028
3.: B. Baumslag, Intersections of finitely generated subgroups in free products, J. London Math. Soc. 41 (1966), 673-679 MR 33:7396
4.: G. Baumslag, On free ${\mathcal D}$ -groups, Comm. Pure Appl. Math. 18 (1965), 25-30 MR 31:2323
5.: G. Baumslag, Some aspects of groups with unique roots, Acta Math. 104 (1960), 217-303 MR 23:A191
6.: V. N. Bezverkhnii, Solvability of the inclusion problem in a class of HNN-groups, (Russian), in ``Algorithmic problems of the theory of groups and semigroups'', 20-62, Tul'sk. Gos. Ped. Inst., Tula, 1981 MR 84h:20020
7.: V. N. Bezverkhnii, Solution of the occurrence problem in some classes of groups with one defining relation, (Russian), in `` Algorithmic problems in the theory of groups and semigroups'', 3-21, 126, Tul'sk. Gos. Ped. Inst., Tula, 1986 MR 89e:20065
8.: V. N. Bezverkhnii, Solution of the occurrence problem in a class of groups. I. (Russian), in ``Problems in group theory and homological algebra'' , 40-53, Matematika, Yaroslav. Gos. Univ., Yaroslavl', 1990 MR 93c:20059
9.: V. N. Bezverkhnii, Solution of the occurrence problem in a certain class of groups. II. (Russian), in ``Problems in group theory and homological algebra'', 122-142, Yaroslav. Gos. Univ., Yaroslavl', 1991 MR 94a:20054
10.: R. G. Burns, On the finitely generated subgroups of an amalgamated product of two groups, Trans. Amer. Math. Soc. 169 (1972), 293-306 MR 51:8260
11.: R. G. Burns, Finitely generated subgroups of HNN groups, Canad. J. Math. 25 (1973), 1103-1112 MR 48:8642
12.: M. Bestvina and M. Feighn, The combination theorem for negatively curved groups, J. Diff. Geom. 35 (1992), 85-101 MR 93d:53053
13.: G. Baumslag, S. Gersten, M. Shapiro and H. Short, Automatic groups and amalgams, J. Pure and Appl. Algebra 76 (1991), no. 3, 229-316 MR 93a:20048
14.: D. Cohen, Subgroups of HNN groups, J. Austral. Math. Soc. 17 (1974), 394-405 MR 56:8702
15.: D. Cohen, Finitely generated subgroups of amalgamated free products and HNN groups, J. Austral. Math. Soc. Ser. A 22 (1976), no. 3, 274-281 MR 55:12821
16.: D. Cohen, Combinatorial group theory: a topological approach, London Mathematical Society Student Texts, 14; Cambridge University Press, Cambridge, 1989 MR 91d:20001
17.: M. Coornaert, T. Delzant, and A. Papadopoulos, Géométrie et théorie des groupes. Les groupes hyperboliques de Gromov. Lecture Notes in Mathematics, 1441; Springer-Verlag, Berlin, 1990 MR 92f:57003
18.: D. Epstein, J. Cannon, D. Holt, S. Levy, M. Paterson, W. Thurston, Word Processing in Groups, Jones and Bartlett, Boston, 1992 MR 93i:20036
19.: B. Fine, A. Gaglione, A. Myasnikov, G. Rosenberger, and D. Spellman, A classification of fully residually free groups of rank three or less, J. Algebra 200 (1998), no. 2, 571-605 MR 99b:20053
20.: A. Gaglione, A. Myasnikov, V. Remeslennikov, and D. Spellman, Formal power series representations of free exponential groups, Comm. Algebra 25 (1997), no. 2, 631-648 MR 98g:20045
21.: A. Gaglione and D. Spellman, Even more model theory of free groups, in ``Infinite groups and group rings (Tuscaloosa, AL, 1992)'', 37-40, World Sci. Publishing, River Edge, NJ, 1993 MR 96k:20046
22.: S. Gersten and H. Short, Rational subgroups of biautomatic groups, Ann. Math. (2) 134 (1991), no. 1, 125-158 MR 92g:20092
23.: R. Gitik, On the combination theorem for negatively curved groups, Internat. J. Algebra Comput. 6 (1996), no. 6, 751-760 MR 98b:20058b; errata MR 98b:20058c
24.: R. Gitik, On quasiconvex subgroups of negatively curved groups, J. Pure Appl. Algebra 119 (1997), no. 2, 155-169 MR 98h:20057
25.: M. Gromov, Hyperbolic Groups, in Essays in Group Theory (G.M.Gersten, editor), MSRI Publ. 8, 1987, 75-263 MR 89e:20070
26.: E. Ghys and P. de la Harpe (editors), Sur les groupes hyperboliques d'aprés Mikhael Gromov, Birkhäuser, Progress in Mathematics series, vol. 83, 1990. MR 92f:53050
27.: D. Gildenhuys, O. Kharlampovich, and A. Myasnikov, CSA-groups and separated free constructions, Bull. Austral. Math. Soc. 52 (1995), no. 1, 63-84 MR 96h:20053
28.: R. Gitik, M. Mitra, E. Rips, M. Sageev, Widths of subgroups, Trans. Amer. Math. Soc. 350 (1998), no. 1, 321-329 MR 98e:20048
29.: S. G Ivanov, The membership problem for a free product of groups with an amalgamated subgroup, Sibirsk. Matem. Zhurnal. 16 (1975), no. 6, 1155-1171 MR 54:7639
30.: I. Kapovich, Detecting quasiconvexity: algorithmic aspects, in ``Geometric and computational perspectives on infinite groups (Minneapolis, MN and New Brunswick, NJ, 1994)'', 91-99, DIMACS Ser. Discrete Math. Theoret. Comput. Sci., 25, Amer. Math. Soc., Providence, RI, 1996 MR 97e:20051
31.: I. Kapovich, Amalgamated products and the Howson property, Canad. Math. Bull. 40 (1997), no. 3, 330-340 MR 98i:20022
32.: I. Kapovich, Quasiconvexity and amalgams, Internat. J. Algebra Comput. 7 (1997), no. 6, 771-811 MR 98k:20057
33.: I. Kapovich, A non-quasiconvexity embedding theorem for word-hyperbolic groups, Math. Proc. Cambridge Phil. Soc. 127 (1999), no. 3, 461-486 MR 2000i:20070
34.: O. Kharlampovich, E. Lioutikova and A. Myasnikov, Equations in the -completion of a torsion-free hyperbolic group, Trans. Amer. Math. Soc. 351 (1999), no. 7, 2961-2978 MR 99j:20039b
35.: O. Kharlampovich and A. Myasnikov, Hyperbolic groups and free constructions, Trans. Amer. Math. Soc. 350 (1998), no. 2, 571-613 MR 98d:20041
36.: O. Kharlampovich and A. Myasnikov, Tarski's problem about the elementary theory of free groups has a positive solution, Electron. Res. Announc. Amer. Math. Soc. 4 (1998), 101-108 MR 99k:20051
37.: O. Kharlampovich and A. Myasnikov, Irreducible affine varieties over a free group, I. Irreducibility of quadratic equations and Nullstellensatz, J. Algebra 200 (1998), no. 2, 472-516 MR 2000b:20032a
38.: O. Kharlampovich and A. Myasnikov, Irreducible affine varieties over a free group, II. Systems in triangular quasi-quadratic form and description of residually free groups, J. Algebra 200 (1998), no. 2, 517-570 MR 2000b:20032b
39.: O. Kharlampovich and A. Myasnikov, Description of fully residually free groups and irreducible affine varieties over a free group, Summer School in Group Theory in Banff, 1996, 71-80, CRM Proc. Lecture Notes, 17, Amer. Math. Soc., Providence, RI, 1999 MR 99j:20032
40.: O. Kharlampovich and A. Myasnikov, Implicit function theorem over free groups, preprint, McGill University, 1999; http://www.math.mcgill.ca/olga/publications.html
41.: O. Kharlampovich and A. Myasnikov, Equations over fully residually free groups, preprint, McGill University, 1999; http://www.math.mcgill.ca/olga/publications.html
42.: O. Kharlampovich and A. Myasnikov, Elementary theory of free nonabelian groups, preprint, McGill University, 1999; http://www.math.mcgill.ca/olga/publications.html
43.: I. Kapovich, and H. Short, Greenberg's theorem for quasiconvex subgroups of word hyperbolic groups, Canad. J. Math. 48 (1996), no. 6, 1224-1244 MR 98g:20060
44.: A. Karrass and D. Solitar, The subgroups of a free product of two groups with an amalgamated subgroup, Trans. Amer. Math. Soc. 150 (1970), 227-255
45.: I. Kapovich and R.Weidmann, On the structure of two-generated word-hyperbolic groups, Math. Z. 231 (1999), no. 4, 783-801 MR 2000f:20068
46.: I. Kapovich and D. Wise, The equivalence of some residual properties of word-hyperbolic groups, J. Algebra 223 (2000), no. 2, 562-583 CMP 2000:07
47.: R. Lyndon, Groups with parametric exponents, Trans. Amer. Math. Soc. 96 (1960), 518-533 MR 27:1487
48.: R. Lyndon and P. Schupp.
Combinatorial Group Theory.
Springer-Verlag, New York, 1977. MR 58:28182
49.: K. A. Mihailova, The occurrence problem for free products of groups. (Russian), Matem. Sbornik 75 (1968), no. 117, 199-210 MR 36:5231
50.: C. F. Miller III, Decision problems in algebraic classes of groups (a survey), in `` Word problems: decision problems and the Burnside problem in group theory (Conf., Univ. California, Irvine, Calif. 1969; dedicated to Hanna Neumann)'', pp. 507-523. Studies in Logic and the Foundations of Math., Vol. 71, North-Holland, Amsterdam, 1973 MR 53:3121
51.: A.Myasnikov, Subgroups of free exponential groups, City College of CUNY, preprint, 1999
52.: W. Magnus, A. Karrass and D. Solitar, Combinatorial group theory: Presentations of groups in terms of generators and relations, Interscience Publishers [John Wiley and Sons, Inc.], New York-London-Sydney, 1966 MR 23:A1696
53.: A. Myasnikov and V. Remeslennikov, Degree groups, I. Foundations of the theory and tensor completions. (Russian), Sibirsk. Mat. Zh. 35 (1994), no. 5, 1106-1118 MR 95m:20047
54.: A. Myasnikov and V. Remeslennikov, Exponential groups, II. Extensions of centralizers and tensor completion of CSA-groups, Internat. J. Algebra Comput. 6 (1996), no. 6, 687-711 MR 97j:20039
55.: M. Mihalik and W. Towle, Quasiconvex subgroups of negatively curved groups, J. Pure Appl. Algebra 95 (1994), no. 3, 297-301 MR 95h:20045
56.: J. McCammond and D. Wise, Coherence, local quasiconvexity and the perimeter of 2-complexes, preprint, 1998
57.: A. Yu. Olshanskii, On residualing homomorphisms and -subgroups of hyperbolic groups, Intern. J. Alg. Comp. 3 (1993), no. 4, 365-409 MR 94i:20069
58.: V. Remeslennikov, $\exists$ -free groups and groups with length function, Second International Conference on Algebra (Barnaul, 1991), 369-376, Contemp. Math., 184, Amer. Math. Soc., Providence, RI, 1995 MR 96d:20020
59.: Z. Sela, Diophantine geometry over groups I: Makanin-Razborov diagrams, Hebrew University, preprint; http://www.ma.huji.ac.il/~zlil/
60.: Z. Sela, Diophantine geometry over groups II: Completions, closures and formal solutions, Hebrew University, preprint; http://www.ma.huji.ac.il/~zlil/
61.: Z. Sela, Diophantine geometry over groups III: Rigid and solid solutions, Hebrew University, preprint; http://www.ma.huji.ac.il/~zlil/
62.: Z. Sela, Diophantine geometry over groups IV: An iterative procedure for validation of a sentence, Hebrew University, preprint, http://www.ma.huji.ac.il/~zlil/
63.: Z. Sela, Diophantine geometry over groups V: Quantifier elimination, Hebrew University, preprint; http://www.ma.huji.ac.il/~zlil/
64.: Z. Sela, Diophantine geometry over groups VI: The elementary theory of a free group, Hebrew University, preprint; http://www.ma.huji.ac.il/~zlil/
65.: J.-P. Serre, Trees. Springer-Verlag, Berlin-New York, 1980 MR 82c:20083
66.: H. Short, Quasiconvexity and a theorem of Howson's, in ``Group theory from a geometrical viewpoint (Trieste, 1990)'', 168-176, World Sci. Publishing, River Edge, NJ, 1991 MR 93d:20071
67.: E. Swenson, Quasi-convex groups of isometries of negatively curved spaces, Topol. Appl. 110 (2001), no. 1, 119-129 CMP 2001:07

Retrieve articles in Transactions of the American Mathematical Society with MSC (2000): 20F65

			Journals Home Search Author Info Subscribe Tech Support Help
ISSN 1088-6850(e) ISSN 0002-9947(p)

Previous issue \| Table of contents \| Next issue Articles in press \| Recently posted articles \| Most recent issue \| All issues Previous Article \| Next Article


	Comments: webmaster@ams.org © Copyright 2008, American Mathematical Society Privacy Statement		Search the AMS