Mathematische Annalen

, Volume 331, Issue 1, pp 1–19 | Cite as

Genericity, the Arzhantseva-Ol’shanskii method and the isomorphism problem for one-relator groups

  • Ilya KapovichEmail author
  • Paul Schupp


We show that the isomorphism problem is solvable in at most exponential time for a class of one-relator groups which is exponentially generic in the sense of Ol’shanskii. This is obtained by applying the Arzhantseva-Ol’shanskii graph minimization method to prove the general result that for fixed integers m≥2 and n≥1 there is an exponentially generic class of non-free m-generator n-relator groups with the property that there is only one Nielsen equivalence class of m-tuples which generate a non-free subgroup. In particular, every m-generated subgroup in such a generic group G is either free or is equal to G itself and such groups are thus co-Hopfian. These results are obtained by elementary methods without using the deep results of Sela about co-Hopficity and the isomorphism problem for torsion-free hyperbolic groups.


Equivalence Class General Result Generic Class Generic Group Minimization Method 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Arzhantseva, G.: On groups in which subgroups with a fixed number of generators are free, (Russian) Fundam. Prikl. mat. 3 (3), 675–683 (1997)zbMATHGoogle Scholar
  2. 2.
    Arzhantseva, G.: Generic properties of finitely presented groups and Howson’s theorem. Comm. Algebra 26 (11), 3783–3792 (1998)zbMATHGoogle Scholar
  3. 3.
    Arzhantseva, G.: A property of subgroups of infinite index in a free group. Proc. Amer. Math. Soc. 128 (11), 3205–3210 (2000)CrossRefzbMATHGoogle Scholar
  4. 4.
    Arzhantseva, G.: A dichotomy for finitely generated subgroups of word-hyperbolic groups, preprint, University of Geneve, 2001;
  5. 5.
    Arzhantseva, G., Ol’shanskii, A.: Genericity of the class of groups in which subgroups with a lesser number of generators are free, (Russian). Mat. Zametki 59 (4), 489–496 (1996)zbMATHGoogle Scholar
  6. 6.
    Brinkmann, P.: Perimeter and coherence according to McCammond and Wise. Groups—Korea ‘98 (Pusan), de Gruyter, Berlin, 2000, pp. 81–90Google Scholar
  7. 7.
    Brunner, A.: A group with an infinite number of Nielsen inequivalent one-relator presentations. J. Algebra 42 (1), 81–84 (1976)zbMATHGoogle Scholar
  8. 8.
    Bumagin, I.: On Small Cancellation k-Generated Groups with (k -1)-Generated Subgroups All Free. Intern J. Alg. Comp. 11(5), 507–524 (2001)CrossRefzbMATHGoogle Scholar
  9. 9.
    Champetier, C.: Petite simplification dans les groupes hyperboliques. Ann. Fac. Sci. Toulouse math. (6) 3 (2), 161–221 (1994)Google Scholar
  10. 10.
    Champetier, C.: Propriétés statistiques des groupes de présentation finie. Adv. Math. 116, 197–262 (1995)CrossRefMathSciNetzbMATHGoogle Scholar
  11. 11.
    Champetier, C.: The space of finitely generated groups. Topology 39, 657–680 (2000)CrossRefMathSciNetzbMATHGoogle Scholar
  12. 12.
    Cherix, P.-A., Valette, A.: On spectra of simple random walks on one-relator groups. With an appendix by Paul Jolissaint. Pacific J. Math. 175, 417–438 (1996)zbMATHGoogle Scholar
  13. 13.
    Cherix, P.-A., Schaeffer, G.: An asymptotic Freiheitssatz for finitely generated groups. Enseign. Math. (2) 44, 9–22 (1998)Google Scholar
  14. 14.
    Collins, D.: Presentations of the amalgamated free product of two infinite cycles. Math. Ann. 237 (3), 233–241 (1978)zbMATHGoogle Scholar
  15. 15.
    Delzant, T.: Sous-groupes a deux generateurs des groups hyperboliques. In: “Group theory from a geometric viewpoint”, Proc. ICTP. Trieste, World Scientific, Singapore, 1991, pp. 177–192Google Scholar
  16. 16.
    Epstein, D., Cannon, J., Holt, D., Levy, S., Paterson, M., Thurston, W.: Word Processing in Groups. Jones and Bartlett, Boston, 1992Google Scholar
  17. 17.
    Fine, B., Röhl, F., Rosenberger, G.: On HNN-groups whose three-generator subgroups are free. Infinite groups and group rings (Tuscaloosa, AL, 1992), Ser. Algebra, 1, World Sci. Publishing, River Edge, NJ, 1993, pp. 13–36Google Scholar
  18. 18.
    Fine, B., Rosenberger, G., Stille, M.: Nielsen transformations and applications: a survey. Groups—Korea ‘94 (Pusan), de Gruyter, Berlin, 1995, pp. 69–105Google Scholar
  19. 19.
    Gromov, M.: Hyperbolic Groups. In: “Essays in Group Theory (G.M.Gersten, editor)”. MSRI publ. 8, 75–263 (1987)Google Scholar
  20. 20.
    Gromov, M.: Random walks in random groups. Geom. Funct. Analysis 13 (1), 73–146 (2003)zbMATHGoogle Scholar
  21. 21.
    Ghys, E., de la Harpe, P. (eds.): Sur les groupes hyperboliques d’aprés Mikhael Gromov. Birkhäuser, Progress in Mathematics series, vol. 83, (1990)Google Scholar
  22. 22.
    Hill, P., Pride, S., Vella, A.: Subgroups of small cancellation groups. J. Reine Angew. Math. 349, 24–54 (1984)MathSciNetzbMATHGoogle Scholar
  23. 23.
    Ivanov, S.V., Schupp, P.E.: On the hyperbolicity of small cancellation groups and one-relator groups. Trans. Amer. Math. Soc. 350 (5), 1851–1894 (1998)CrossRefzbMATHGoogle Scholar
  24. 24.
    Kapovich, I., Myasnikov, A.: Stallings foldings and the subgroup structure of free groups. J. Algebra 248 (2), 608–668 (2002)CrossRefzbMATHGoogle Scholar
  25. 25.
    Kapovich, I., Myasnikov, A., Schupp, P., Shpilrain, V.: Generic-case complexity, decision problems in group theory and random walks. J. Algebra 264 (2), 665–694 (2003)CrossRefzbMATHGoogle Scholar
  26. 26.
    Kapovich, I., Myasnikov, A., Schupp, P., Shpilrain, V.: Average-case complexity and decision problems in group theory. Advances in Mathematics (to appear)Google Scholar
  27. 27.
    Kapovich, I., Schupp, P.: Bounded rank subgroups of Coxeter groups, Artin groups and One-relator groups with torsion. Proceedings of the London Math. Soc. 88 (1), 89–113 (2004)CrossRefzbMATHGoogle Scholar
  28. 28.
    Kapovich, I., Schupp, P., Shpilrain, V.: Generic properties of Whitehead’s Algorithm, stabilizers in Aut(Fk) and one-relator groups. Preprint, 2003,
  29. 29.
    Kapovich, I., Wise, D.: On the failure of the co-Hopf property for subgroups of word-hyperbolic groups. Israel J. Math. 122, 125–147 (2001)MathSciNetzbMATHGoogle Scholar
  30. 30.
    Kapovich, I., Weidmann, R.: Nielsen methods and groups acting on hyperbolic spaces. Geom. Dedicata 98 (1), 95–121 (2003)CrossRefzbMATHGoogle Scholar
  31. 31.
    Kapovich, I., Weidmann, R.: Freely indecomposable groups acting on hyperbolic spaces. Intern. J. Algebra Comput. 14 (2), 115–172 (2004)CrossRefGoogle Scholar
  32. 32.
    Karrass, A., Magnus, W., Solitar, D.: Elements of finite order in groups with a single defining relation. Comm. Pure Appl. Math. 13, 57–66 (1960)Google Scholar
  33. 33.
    Magnus, W.: Uber freie Faktorgruppen und freie Untergruppen gegebener Gruppen. Monatsch. Math. Phys. 47, 307–313 (1939)zbMATHGoogle Scholar
  34. 34.
    Magnus, W., Karrass, A., Solitar, D.: Combinatorial Group Theory. Wiley, New York, 1966Google Scholar
  35. 35.
    Lyndon, R., Schupp, P.: Combinatorial Group Theory, Springer-Verlag, 1977. Reprinted in the “Classics in mathematics” series, 2000Google Scholar
  36. 36.
    McCammond, J., Wise, D.: Coherence, local quasiconvexity and the perimeter of 2-complexes. PreprintGoogle Scholar
  37. 37.
    McCool, J., Pietrowski, A.: On free products with amalgamation of two infinite cyclic groups. J. Algebra 18, 377–383 (1971)zbMATHGoogle Scholar
  38. 38.
    Ollivier, Y.: Critical densities for random quotients of hyperbolic groups. C. R. Math. Acad. Sci. Paris 336 (5), 391–394 (2003)zbMATHGoogle Scholar
  39. 39.
    Ol’shanskii, A.Yu.: Almost every group is hyperbolic. Internat. J. Algebra Comput. 2, 1–17 (1992)MathSciNetGoogle Scholar
  40. 40.
    Papasoglu, P.: An algorithm detecting hyperbolicity. Geometric and computational perspectives on infinite groups (Minneapolis and New Brunswick, NJ, 1994), 193–200, DIMACS Ser. Discrete Math. Theoret. Comput. Sci., 25, Amer. Math. Soc., Providence, RI, 1996Google Scholar
  41. 41.
    Pride, S.: On the Hopficity and related properties of small cancellation groups. J. London Math. Soc. (2) 14 (2), 269–276 (1976)Google Scholar
  42. 42.
    Pride, S.: The two-generator subgroups of one-relator groups with torsion. Trans. Amer. Math. Soc. 234 (2), 483–496 (1977)zbMATHGoogle Scholar
  43. 43.
    Pride, S.: The isomorphism problem for two-generator one-relator groups with torsion is solvable. Trans. Amer. Math. Soc. 227, 109–139 (1977)zbMATHGoogle Scholar
  44. 44.
    Pride, S.: Small cancellation conditions satisfied by one-relator groups. Math. Z. 184 (2), 283–286 (1983)zbMATHGoogle Scholar
  45. 45.
    Rosenberger, G.: On one-relator groups that are free products of two free groups with cyclic amalgamation. Groups—St. Andrews 1981 (St. Andrews, 1981), pp. 328–344, London Math. Soc. Lecture Note Ser., 71, Cambridge Univ. Press, Cambridge-New York, 1982Google Scholar
  46. 46.
    Rosenberger, G.: The isomorphism problem for cyclically pinched one-relator groups. J. Pure Appl. Algebra 95 (1), 75–86 (1994)CrossRefzbMATHGoogle Scholar
  47. 47.
    Schupp, P.E.: Coxeter Groups, 2-Completion, Perimeter Reduction and Subgroup Separability. Geom. Dedicata 96, 179–198 (2003)CrossRefMathSciNetGoogle Scholar
  48. 48.
    Sela, Z.: The isomorphism problem for hyperbolic groups. I. Ann. of Math. (2) 141 (2), 217–283 (1995)Google Scholar
  49. 49.
    Stallings, J.R.: Topology of finite graphs. Invent. Math. 71 (3), 551–565 (1983)zbMATHGoogle Scholar
  50. 50.
    Vershik, A.: Dynamic theory of growth in groups: entropy, boundaries, examples. Uspekhi Mat. Nauk 55 (4(334)), 59–128 (2000)zbMATHGoogle Scholar
  51. 51.
    White, M.: Injectivity radius and fundamental groups of hyperbolic 3-manifolds. Comm. Anal. Geom. 10 (2), 377–395 (2002)zbMATHGoogle Scholar
  52. 52.
    Whitehead, J.H.C.: On equivalent sets of elements in free groups. Ann. Math. 37, 782–800 (1936)zbMATHGoogle Scholar
  53. 53.
    Wise, D.: The residual finiteness of negatively curved polygons of finite groups. Invent. Math. 149 (3), 579–617 (2002)CrossRefzbMATHGoogle Scholar
  54. 54.
    Zieschang, H.: Generators of the free product with amalgamation of two infinite cyclic groups. Math. Ann. 227 (3), 195–221 (1977)zbMATHGoogle Scholar
  55. 55.
    Zuk, A.: On property (T) for discrete groups. Rigidity and Dynamics in Geometry (M. Burger and A. Iozzi, editors), 469–482, Springer, 2002Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  1. 1.Department of MathematicsUniversity of Illinois at Urbana-ChampaignUrbanaUSA

Personalised recommendations