Abstract
We survey results about computational complexity of the word problem in groups, Dehn functions of groups and related problems.
Article PDF
Similar content being viewed by others
References
Adian, S.I.: The Burnside problem and identities in groups. Ergebnisse der Mathematik und ihrer Grenzgebiete [Results in Mathematics and Related Areas], vol. 95. Springer, Berlin-New York (1979)
Adian S.I.: Random walks on free periodic groups. Izv. Akad. Nauk SSSR, Ser. Mat. 46, 1139–1149 (1982)
Allcock D.: An isoperimetric inequality for the Heisenberg groups. Geom. Funct. Anal. 8(2), 219–233 (1998)
Alonso J.M., Bridson M.R.: Semihyperbolic groups. Proc. Lond. Math. Soc. (3) 70(1), 56–114 (1995)
Ambrosio L., Kirchheim B.: Currents in metric spaces. Acta Math. 185(1), 1–80 (2000)
Ambrosio L., Kirchheim B.: Rectifiable sets in metric and Banach spaces. Math. Ann. 318(3), 527–555 (2000)
Arzhantseva G.N. On groups in which subgroups with a fixed number of generators are free. Fundam. Prikl. Mat. 3(3), 675–683 (in Russian)
Arzhantseva G.N.: Generic properties of finitely presented groups and Howson’s theorem. Commun. Algebra 26(11), 3783–3792 (1998)
Arzhantseva G.N.: A property of subgroups of infinite index in a free group. Proc. Am. Math. Soc. 128(11), 3205–3210 (2000)
Arzhantseva, G.N., Delzant, T.: Examples of random groups. Preprint (2008)
Arzhantseva, G.N., Olshanskii, Yu, A.: Generality of the class of groups in which subgroups with a lesser number of generators are free. Mat. Zametki 59(4), 489–496, 638 (1996); translation in Math. Notes 59(3–4), 350–355 (1996)
Banach S., Tarski A.: Sur la décomposition de ensembles de points an parties respectivement congruentes. Fund. Math. 6, 244–277 (1924)
Bass H.: The degree of polynomial growth of finitely generated nilpotent groups. Proc. Lond. Math. Soc. (3) 25, 603–614 (1972)
Baumslag G.: A non-cyclic one-relator group all of whose finite quotients are cyclic. J. Austral. Math. Soc. 10, 497–498 (1969)
Baumslag G., Miller C.F. III, Short H.: Isoperimetric inequalities and the homology of groups. Invent. Math. 113(3), 531–560 (1993)
Belk, J., Matucci, F.: Conjugacy in Thompson’s groups. Preprint. arXiv:0708.4250 (2007)
Bestvina M., Feighn M.: A combination theorem for negatively curved groups. J. Differ. Geom. 35(1), 85–101 (1992)
Bestvina, M., Feighn, M.: Addendum and correction to: “A combination theorem for negatively curved groups” [J. Differ. Geom. 35(1), 85–101 (1992)]. J. Differ. Geom. 43(4), 783–788 (1996)
Bestvina M., Feighn M., Handel M.: The Tits alternative for Out(F n ). I. Dynamics of exponentially-growing automorphisms. Ann. Math. (2) 151(2), 517–623 (2000)
Birget J.-C.: Functions on groups and computational complexity. Int. J. Algebra Comput. 14(4), 409–429 (2004)
Birget J.-C.: Circuits, the groups of Richard Thompson, and coNP-completeness. Int. J. Algebra Comput. 16(1), 35–90 (2006)
Birget J.-C., Olshanskii A.Y., Rips E., Sapir M.V.: Isoperimetric functions of groups and computational complexity of the word problem. Ann. Math. (2) 156(2), 467–518 (2002)
Bogopolski O., Martino A., Maslakova O., Ventura E.: Free-by-cyclic groups have solvable conjugacy problem. Bull. Lond. Math. Soc 38, 787–794 (2006)
Boone, W.W., Cannonito, F.B., Lyndon, R.C. (eds.): Word problems. Decision problems and the Burnside problem in group theory. An outgrowth of the Conference on Decision Problems in Group Theory. University of California at Irvine, California, September 1965. Dedicated to the memory of Hanna Neumann (1914–1971). Studies in Logic and the Foundations of Mathematics, vol. 71. North-Holland, Amsterdam-London (1973)
Borisov A., Sapir M.: Polynomial maps over finite fields and residual finiteness of mapping tori of group endomorphisms. Invent. Math. 160(2), 341–356 (2005)
Borisov A., Sapir M.: Polynomial maps over p-adics and residual properties of mapping tori of group endomorphisms. Int. Math. Res. Not. 16, 3002–3015 (2009)
Borwein J.M., Borwein P.B.: On the complexity of familiar functions and numbers. SIAM Rev. 30(4), 589–601 (1988)
Bowditch, B.H.: Notes on Gromov’s Hyperbolicity Criterion for Path-Metric Spaces. Group Theory from a Geometrical Viewpoint (Trieste, 1990), pp. 64–167. World Scientific, River Edge (1991)
Bowditch B.H.: A short proof that a sub-quadratic isoperimetric inequality implies a linear one. Mich. J. Math. 42, 103–107 (1995)
Brady N., Bridson M.R.: There is only one gap in the isoperimetric spectrum. Geom. Funct. Anal. 10(5), 1053–1070 (2000)
Brady N., Bridson M.R., Forester M., Shankar K.: Snowflake groups, Perron-Frobenius eigenvalues and isoperimetric spectra. Geom. Topol. 13(1), 141–187 (2009)
Breuillard E., Gelander T.: A topological Tits alternative. Ann. Math. (2) 166(2), 427–474 (2007)
Bridson M.R.: Fractional isoperimetric inequalities and subgroup distortion. J. Am. Math. Soc. 12(4), 1103–1118 (1999)
Bridson, M.R.: On the subgroups of semihyperbolic groups. Essays on Geometry and Related Topics, vols. 1, 2, pp. 85–111. Monogr. Enseign. Math., vol. 38. Enseignement Math., Geneva (2001)
Bridson, M.R.: The geometry of the word problem. Invitations to Geometry and Topology, pp. 29–91. Oxf. Grad. Texts Math., vol. 7. Oxford University Press, Oxford (2002)
Bridson, M.R., Groves, D.: The quadratic isoperimetric inequality for mapping tori of free group automorphisms. Mem. Am. Math. Soc. 203, no. (955) (2010)
Bridson M.R., Häfliger A.: Metric Spaces of Non-positive Curvature. Springer, Berlin (1999)
Bridson M.R., Pittet Ch.: Isoperimetric inequalities for the fundamental groups of torus bundles over the circle. Geom. Dedicata 49(2), 203–219 (1994)
Bridson M.R., Riley T.R.: Free and fragmenting filling length. J. Algebra 307(1), 171–190 (2007)
Brink B., Howlett R.: A finiteness property and an automatic structure for Coxeter groups. Math. Ann. 296(1), 179–190 (1993)
Brown K.S.: Trees, valuations, and the Bieri-Neumann-Strebel invariant. Invent. Math. 90(3), 479–504 (1987)
Brown K.S.: Buildings. Springer, New York (1990)
Burago, Y.D., Zalgaller, V.A.: Geometric inequalities. Translated from the Russian by A.B. Sosinskii (Grundlehren der Mathematischen Wissenschaften) [Fundamental Principles of Mathematical Sciences], vol. 285. Springer Series in Soviet Mathematics. Springer, Berlin (1988). ISBN:3-540-13615-0
Burger M., Mozes S.: Lattices in product of trees. Inst. Hautes tudes Sci. Publ. Math. 92, 151–194 (2000)
Burger M., Mozes S.: Groups acting on trees: from local to global structure. Inst. Hautes tudes Sci. Publ. Math. 92, 113–150 (2000)
Cannon J.W., Floyd W.J., Parry W.R.: Introductory notes on Richard Thompson’s groups. Enseign. Math. (2) 42(3–4), 215–256 (1996)
Champetier, C.: Propriétés de génériques des groupes de type fini. thése de doctorat, Université de Lyon, décembre 1991
Champetier C.: Propriétés statistiques des groupes de présentation finie. Adv. Math. 116(2), 197–262 (1995)
Charney R.: An introduction to right-angled Artin groups. Geom. Dedicata 125, 141–158 (2007)
Chiswell, I.: A course in formal languages, automata and groups. Universitext. Springer, London (2009)
Clapham C.R.J.: An embedding theorem for finitely generated groups. Proc. Lond. Math. Soc. (3) 17, 419–430 (1967)
Cohen D.E.: Isodiametric and isoperimetric inequalities for group presentations. Int. J. Algebra Comput. 1(3), 315–320 (1991)
Cohen D.E., Madlener K., Otto F.: Separating the intrinsic complexity and the derivational complexity of the word problem for finitely presented groups. Math. Logic Quart. 39(2), 143–157 (1993)
Cohen J.M.: Cogrowth and amenability of discrete groups. J. Funct. Anal. 48(3), 301–309 (1982)
Collins D.J., Miller C.F. III: The conjugacy problem and subgroups of finite index. Proc. Lond. Math. Soc. (3) 34(3), 535–556 (1977)
Comerford L.P. Jr, Edmunds C.C.: Quadratic equations over free groups and free products. J. Algebra 68(2), 276–297 (1981)
Comfort, W.W., Negrepontis, S.: The theory of ultrafilters. Die Grundlehren der mathematischen Wissenschaften, Band 211. Springer, New York (1974)
Conner, G.: Isoperimetric functions for central extensions. In: Charney, R., Davis, M., Shapiro, M. (eds.) Geometric Group Theory. Ohio State University, Math. Res. Inst. Publ., vol. 3, pp. 73–77. de Gruyter (1995)
Cornulier, Y., Tessera, R.: Metabelian groups with quadratic Dehn function and Baumslag-Solitar groups. Preprint. arXiv: 1003.0148 (2010)
Coulon, R.: Outer automorphisms of free Burnside groups. Preprint. arXiv:1008.4495
Cranston M., Hsu P., March P.: Smoothness of the convex hull of planar Brownian motion. Ann. Probab. 17(1), 144–150 (1989)
Dahmani F.: Existential questions in (relatively) hyperbolic groups. Isr. J. Math. 173, 91–124 (2009)
Dahmani F., Groves D.: The isomorphism problem for toral relatively hyperbolic groups. Publ. Math. Inst. Hautes Études Sci. 107, 211–290 (2008)
Dahmani F., Guirardel V.: Foliations for solving equations in groups: free, virtually free, and hyperbolic groups. J. Topol. 3(2), 343–404 (2010)
Dahmani, F., Guirardel, V.: The isomorphism problem for all hyperbolic groups. Preprint. arXiv:1002.2590 (2010)
Day M.M.: Amenable semigroups. Ill. J. Math. 1, 509–544 (1957)
Delzant T.: Sous-groupes distingués et quotients des groupes hyperboliques. (French) [Distinguished subgroups and quotients of hyperbolic groups]. Duke Math. J. 83(3), 661–682 (1996)
Delzant T., Gromov M.: Courbure mésoscopique et théorie de la toute petite simplification. J. Topol. 1(4), 804–836 (2008)
Diekert, V., Robson, J.M.: Quadratic word equations. In: Jewels Are Forever, pp. 314–326. Springer, Berlin (1999)
Diekert V., Gutierrez C., Hagenah C.: The existential theory of equations with rational constraints in free groups is PSPACE-complete. Inf. Comput. 202(2), 105–140 (2005)
Dison W., Elder M., Riley T., Young R.: The Dehn function of Stallings’ group. Geom. Funct. Anal. 19(2), 406–422 (2009)
Druţu C.: Quasi-isometry invariants and asymptotic cones. Int. J. Algebra Comput. 12(1–2), 99–135 (2002)
Druţu C.: Filling in solvable groups and in lattices in semisimple groups. Topology 43(5), 983–1033 (2004)
Druţu C., Sapir M.: Tree-graded spaces and asymptotic cones of groups. With an appendix by Denis Osin and Mark Sapir. Topology 44(5), 959–1058 (2005)
Dunwoody, M.J.: An inaccessible group. In: Geometric Group Theory, vol. 1 (Sussex, 1991), pp. 75–78. London Math. Soc. Lecture Note Ser., vol. 181. Cambridge University Press, Cambridge (1993)
Dunwoody M.J.: The accessibility of finitely presented groups. Invent. Math. 81, 449–457 (1985)
Dyubina A., Polterovich I.: Explicit constructions of universal R..trees and asymptotic geometry of hyperbolic spaces. Bull. Lond. Math. Soc. 33, 727–734 (2001)
Epstein, D.B.A., Cannon, J.W., Holt, D.F., Levy, S.V.F., Paterson, M.S., Thurston, W.P.: Word Processing in Groups. Jones and Bartlett, Boston (1992)
Fagin, R.: Generalized first-order spectra and polynomial-time recognizable sets. In: Complexity of Computation. SIAM-AMS Proceedings, vol. 7, pp. 43–73 (1974)
Fagin R.: Finite model theory—a personal perspective. Theor. Comput. Sci. 116, 3–31 (1993)
Feighn M., Handel M.: Mapping tori of free group automorphisms are coherent. Ann. Math. (2) 149, 1061–1077 (1999)
Formanek, E.: Matrix techniques in polycyclic groups. Thesis, Rice University (1970)
Garey M.R., Johnson D.S.: Computers and Intractability. A Guide to the Theory of NP-Completeness. A Series of Books in the Mathematical Sciences. Freeman, New York (1979)
Gersten, S.M.: Isodiametric and isoperimetric inequalities in group extensions. University of Utah. Preprint (1991)
Gersten S.M.: The double exponential theorem for isodiametric and isoperimetric functions. Int. J. Algebra Comput. 1(3), 321–327 (1991)
Gersten, S.M.: Dehn functions and l1-norms of finite presentations. In: Baumslag, G., Miller, C. (eds.) Algorithms and Classification in Combinatorial Group Theory (Berkeley, CA, 1989). Math. Sci. Res. Inst. Publ., vol. 23, pp. 195–224. Springer (1992)
Gersten, S.M.: Isoperimetric and isodiametric functions of finite presentations. In: Niblo, G., Roller, M. (eds.) Geometric Group Theory, I. London Math. Soc. Lecture Notes, vol. 181, pp. 79–96. Cambridge University Press (1993)
Gersten, S.M.: Thompson’s group F is not combable. Preprint
Gersten S.M., Holt D.F., Riley T.R.: Isoperimetric inequalities for nilpotent groups. Geom. Funct. Anal. 13(4), 795–814 (2003)
Gersten S.M., Riley T.R.: The gallery length filling function and a geometric inequality for filling length. Proc. Lond. Math. Soc. 92(3), 601–623 (2006)
Gilman, R.H.: Formal languages and their application to combinatorial group theory. In: Groups, Languages, Algorithms. Contemp. Math., vol. 378, pp. 1–36. Amer. Math. Soc., Providence (2005)
Gitik, R.: On the combination theorem for negatively curved groups’. Int. J. Algebra Comput. 6, 751–760 (1996). Corrected reprint, Int. J. Algebra Comput. 7, 267–276 (1997); Errata, Int. J. Algebra Comput. 7, 265 (1997)
Gorjaga A.V., Kirkinskii A.S.: The decidability of the conjugacy problem cannot be transferred to finite extensions of groups. Algebra i Logika 14(4), 393–406 (1975)
Grigorchuk, R.I., Kurchanov, P.F.: On quadratic equations in free groups. In: Proceedings of the International Conference on Algebra, Part 1 (Novosibirsk, 1989). Contemp. Math., vol. 131, pp. 159–171. Amer. Math. Soc., Providence (1989)
Grigorchuk R.I., Lysënok I.G.: A description of solutions of quadratic equations in hyperbolic groups. Int. J. Algebra Comput. 2(3), 237–274 (1992)
Gromov M.: Groups of polynomial growth and expanding maps. Inst. Hautes Etudes Sci. Publ. Math. 53, 53–73 (1981)
Gromov M.: Filling Riemannian manifolds. J. Differ. Geom. 18, 1–147 (1983)
Gromov, M.: Hyperbolic groups. Essays in Group Theory, pp. 75–263. Math. Sci. Res. Inst. Publ., vol. 8. Springer, New York (1987)
Gromov, M.: Asymptotic invariants of infinite groups. In: Niblo, G.A., Roller, M.A. (eds.) Geometric Group Theory, vol. 2. London Math. Soc. Lecture Notes Ser., vol. 182, pp. 1–295 (1993)
Gromov, M.: Carnot-Carathéodory spaces seen from within. Sub-Riemannian Geometry, pp. 79–323. Progr. Math., vol. 144. Birkhäuser, Basel (1996)
Gromov, M.: Mesoscopic curvature and hyperbolicity. Global Differential Geometry: The Mathematical Legacy of Alfred Gray (Bilbao, 2000), pp. 58–69. Contemp. Math., vol. 288. Amer. Math. Soc., Providence (2001)
Gromov M.: Random walk in random groups. Geom. Funct. Anal. 13(1), 73–146 (2003)
Gromov, M.: Metric structures for Riemannian and non-Riemannian spaces. Modern Birkhäuser Classics. Birkhäuser, Boston. English edition, (2007). Based on the 1981 French original, With appendices by M. Katz, P. Pansu and S. Semmes, Translated from the French by Sean Michael Bates
Groves J., Hermiller S.: Isoperimetric inequalities for soluble groups. Geom. Dedicata 88, 239–254 (2001)
Grunewald, F.J.: Solution of the conjugacy problem in certain arithmetic groups. Word Problems, II (Conf. on Decision Problems in Algebra, Oxford, 1976), pp. 101–139. Stud. Logic Foundations Math., vol. 95. North-Holland, Amsterdam-New York (1980)
Grunewald F., Segal D.: Some general algorithms. 1. Arithmetic groups. Ann. Math. 112, 531–583 (1980)
Grunewald F., Segal D.: Some general algorithms. 2. Nilpotent groups. Ann. Math. 112(3), 585–617 (1980)
Guba V.S.: Conditions under which 2-generated subgroups in small cancelation groups are free. Izv. Vyssh. Uchebn. Zaved. Mat. 7, 12–19 (1986)
Guba V.S.: Polynomial upper bounds for the Dehn function of R. Thompson’s group F. J. Group Theory 1, 203–211 (1998)
Guba, V.S.: Polynomial isoperimetric inequalities for Richard Thompson’s groups F, T, and V. In: Birget, J.-C., et al. (eds.) Algorithmic Problems in Groups and Semigroups, pp. 91–120. Birkhäuser, Boston-Basel-Berlin (2000)
Guba V.S.: The Dehn function of Richard Thompson’s group F is quadratic. Invent. Math. 163(2), 313–342 (2006)
Guba V.S., Sapir M.V.: The Dehn function and a regular set of normal forms for R. Thompson’s group F. J. Austral. Math. Soc. (Ser. A) 62, 315–328 (1997)
Guba, V.S., Sapir, M.V.: Diagram groups. Mem. Amer. Math. Soc., vol. 130, no. 620 (1997)
Guba V.S., Sapir M.V.: On Dehn functions of free products of groups. Proc. Am. Math. Soc. 127(7), 1885–1891 (1999)
Guivarc’h Y.: Groupes de Lie à croissance polynomiale. C. R. Acad. Sci. Paris Sér. A-B 271, A237–A239 (1970)
Hall, M. Jr.: The Theory of Groups. The Macmillan Co., New York (1959)
Hamenstädt, U.: Geometry of the mapping class group II: a biautomatic structure. Preprint. arXiv:0912.0137 (2009)
Hausdorff, F.: Grunzüge der Mengenlehre. Leipzig (1914)
Hempel J.: 3-Manifolds. Princeton University Press and University of Tokyo Press, Princeton, New Jersey (1976)
Hidber C.: Isoperimetric functions of finitely generated nilpotent groups. J. Pure Appl. Algebra 144(3), 229–242 (1999)
Higman, G.: Finitely presented infinite simple groups. In: Notes on Pure Mathematics, vol. 8. The Australian National University, Canberra (1974)
Higman G.: Subgroups of finitely presented groups. Proc. R. Soc. Lond. Ser. A 262, 455–475 (1961)
Holt D.F.: Word-hyperbolic groups have real-time word problem. Int. J. Algebra Comput. 10(2), 221–227 (2000)
Holt D.F., Rees S.: Solving the word problem in real time. J. Lond. Math. Soc. (2) 63(3), 623–639 (2001)
Hopcroft J.E., Ullman J.D.: Introduction to Automata Theory, Languages, and Computation. Addition-Wesley, Reading (1979)
Hrushovski, E.: Stable group theory and approximate subgroups. Preprint. arXiv:0909.2190 (2009)
Immerman N.: Relational queries computable in polynomial time. Inf. Control 68, 76–98 (1986)
Ivanov S.V.: The free Burnside groups of sufficiently large exponents. Int. J. Algebra Comput. 4(1–2), 1–308 (1994)
Ivanov S.V.: Recognizing the 3-sphere. Ill. J. Math. 45(4), 1073–1117 (2001)
Ivanov S.V., Olshanskii A.Y.: Hyperbolic groups and their quotients of bounded exponents. Trans. Am. Math. Soc. 348(6), 2091–2138 (1996)
Jaco W.: Heegaard splitting and splitting homomorphisms. Trans. Am. Math. Soc. 144, 365–379 (1969)
Jones N.D., Selman A.L.: Turing machines and the spectra of first-order formulas with equality. J. Symb. Logic 28, 139–150 (1974)
Kapovich I., Schupp P.: On group-theoretic models of randomness and genericity. Groups Geom. Dyn. 2(3), 383–404 (2008)
Kapovich I., Schupp P., Shpilrain V.: Generic properties of Whitehead’s algorithm and isomorphism rigidity of random one-relator groups. Pac. J. Math. 223(1), 113–140 (2006)
Kharlampovich O., Lysënok I.G., Myasnikov A.G., Touikan N.W.: The solvability problem for quadratic equations over free groups is NP-complete. Theory Comput. Syst. 47(1), 250–258 (2010)
Kharlampovich O., Myasnikov A.: Hyperbolic groups and free constructions. Trans. Am. Math. Soc. 350(2), 571–613 (1998)
Kharlampovich O., Sapir M.: Algorithmic problems in varieties. Int. J. Algebra Comput. 5(4–5), 379–602 (1995)
Kourovka Notebook.: Unsolved Problems in Group Theory, 5th edn. Novosibirsk (1976)
Krajíček J.: Bounded Arithmetic, Propositional Logic, and Complexity Theory. Cambridge University Press, Cambridge (1995)
Kramer L., Shelah S., Tent K., Thomas S.: Asymptotic cones of finitely presented groups. Adv. Math. 193(1), 142–173 (2005)
Knuth D.E.: The Art of Computer Programming, vol. 2, 2nd edn. Addison-Wesley, Reading (1981)
Leuzinger E.: On polyhedral retracts and compactifications of locally symmetric spaces. Differ. Geom. Appl. 20(3), 293–318 (2004)
Lohrey M., Sénizergues G.: Rational subsets in HNN-extensions and amalgamated products. Int. J. Algebra Comput. 18(1), 111–163 (2008)
Lubotzky, A.: Discrete Groups, Expanding Graphs and Invariant Measures. With an appendix by Jonathan D. Rogawski. Reprint of the 1994 edition. Modern Birkhäuser Classics. Birkhauser Verlag, Basel (2010)
Lubotzky A., Mozes S., Raghunathan M.S.: Cyclic subgroups of exponential growth and metrics on discrete groups. C. R. Acad. Sci. Paris Ser. I Math. 317(8), 735–740 (1993)
Lück, W., Osin, D.: Approximating the first L2-betti number of residually finite groups. Preprint. arXiv:1011.4739 (2010)
Lyndon R.C., Schupp P.E.: Combinatorial Group Theory. Springer, Berlin (1977)
Lysënok, I.G.: Decision problems and quadratic equations in hyperbolic groups. Thesis, Moscow State University (1989, in Russian)
Lysënok, I.G.: Some algorithmic properties of hyperbolic groups. Izv. Akad. Nauk SSSR Ser. Mat. 53(4), 814–832, 912 (1989); translation in Math. USSR-Izv. 35(1), 145–163 (1990)
Madlener K., Otto F.: Pseudo-natural algorithms for the word problem for finitely presented monoids and groups. J. Symb. Comput. 1, 383–418 (1989)
Makanin, G.: Decidability of universal and positive theories of a free group, (English translation) Mathematics of the USSR-Izvestiya 25, 75–88 (1985); original: Izvestiya Akademii Nauk SSSR, Seriya Matematicheskaya 48, 735–749 (1984)
Makanin G.: Decidability of the universal and positive theories of a free group. Izv. Akad. Nauk SSSR Ser. Mat. 48, 735–749 (1984)
Mal’cev A.I.: Two remarks about nilpotent groups. Mat. Sb. 37(3), 567–572 (1955)
Mal’cev A.I.: Algorithms and Recursive Functions. Nauka, Moscow (1965)
McKenzie, R., Thompson, R.J.: An elementary construction of unsolvable word problems in group theory. Word problems: decision problems and the Burnside problem in group theory (Conf., Univ. California, Irvine, Calif. 1969; dedicated to Hanna Neumann). Studies in Logic and the Foundations of Math., vol. 71, pp. 457–478. North-Holland, Amsterdam (1973)
McKinsey J.C.C.: The decision problem for some classes of sentences without quantifiers. J. Symb. Logic 8(3), 61–76 (1943)
Manin, Y.: Computable and Uncomputable. Sovetskoye Radio, Moscow (1980, in Russian)
Matiyasevich, Y.V.: Hilbert’s Tenth Problem. Translated from the 1993 Russian original by the author. With a foreword by Martin Davis. Foundations of Computing Series. MIT Press, Cambridge (1993)
Mayer J., Nikiel J., Oversteegen L.: Universal spaces for R-trees. Trans. AMS 334(1), 411–432 (1992)
Mikhajlovskii, K., Olshanskii, A.Y.: Some constructions relating to hyperbolic groups. In: Geometry and Cohomology in Group Theory (Durham, 1994), pp. 263–290. London Math. Soc. Lecture Note Ser., vol. 252. Cambridge University Press, Cambridge (1998)
Miller, C.F. III: On group-theoretic decision problems and their classification. Annals of Mathematics Studies, vol. 68. Princeton University Press, Princeton; University of Tokyo Press, Tokyo (1971)
Miller, C.F. III: Decision problems for groups—survey and reflections. In: Algorithms and Classification in Combinatorial Group Theory (Berkeley, CA, 1989), pp. 1–59. Math. Sci. Res. Inst. Publ., vol. 23. Springer, New York (1992)
Miller C.F. III, Schupp P.E.: The geometry of Higman-Neumann-Neumann extensions. Collection of articles dedicated to Wilhelm Magnus. Commun. Pure Appl. Math. 26, 787–802 (1973)
Milnor J.W.: Growth of finitely generated solvable groups. J. Differ. Geom. 2, 447–449 (1968)
Mosher L.: Mapping class groups are automatic. Ann. Math. 142, 303–384 (1995)
Muller D.E., Schupp P.E.: Groups, the theory of ends, and context-free languages. J. Comput. Syst. Sci. 26(3), 295–310 (1983)
Myasnikov, A.G., Ushakov, A., Won, D.W.: Power Circuits, Exponential Algebra, and Time Complexity. Preprint. arXiv:1006.2570 (2010)
Myasnikov, A.G., Shpilrain, V., Ushakov, A.: Group-based cryptography. In: Advanced Courses in Mathematics. CRM Barcelona. Birkhäuser Verlag, Basel (2008)
Nikiel, J.: Topologies on Pseudo-Trees and Applications. Memoirs AMS, No. 416 (1989)
Noskov G.A.: Conjugacy problem in metabelian groups. Mat. Zametki 31, 495–507 (1982)
Novikov, P.S., Adian, S.I.: On infinite periodic groups, I, II, III, Math. USSR Izvestiya 32, 212–244, 251–524, 709–731 (1968)
Ollivier, Y.: A January 2005 invitation to random groups. Ensaios Matemáticos [Mathematical Surveys], 10. Sociedade Brasileira de Matemática, Rio de Janeiro, 2005. ii+100 pp. ISBN: 85-85818-30-1. http://www.yann-ollivier.org/rech/publs/rgupdates.pdf
Olshanskii A.Yu.: On the question of the existence of an invariant mean on a group. Uspekhi Mat. Nauk. 35, 199–200 (1980)
Olshanskii A.Yu.: Diagrams of homomorphisms of surface groups. Sib. Mat. Z. 30(6), 150–171 (1989)
Olshanskii A.Yu.: The Geometry of Defining Relations in Groups. Kluwer, Dordrecht (1991)
Olshanskii A.Yu.: Hyperbolicity of groups with subquadratic isoperimetric inequalities. Int. J. Algebra Comput. 1, 282–290 (1991)
Olshanskii A.Yu.: Almost every group is hyperbolic. Int. J. Algebra Comput. 2(1), 1–17 (1992)
Olshanskii A.Yu.: Periodic quotient groups of hyperbolic groups. Math. USSR Sbornik 72(2), 519–541 (1992)
Olshanskii A.Yu.: On residualing homomorphisms and G–subgroups of hyperbolic groups. Int. J. Algebra Comput. 3(4), 365–409 (1993)
Olshanskii, A.Yu.: SQ-universality of hyperbolic groups. Mat. Sb. 186(8), 119–132 (1995, in Russian); translation in Sb. Math. 186(8), 1199–1211 (1995)
Olshanskii, A.Yu.: On the complexity of computations in groups. Soros Educ. J. 3, 118–123 (2000). http://www.pereplet.ru/nauka/Soros/pdf/0003_118.pdf
Olshanskii, A.Yu.: Groups with quadratic-non-recursive Dehn function (with an appendix by A. Yu. Olshanskii and M. V. Sapir). Preprint (2010)
Olshanskii, A.Yu.: Space functions of groups. Preprint. arXiv:1009.3580 (2010)
Olshanskii A., Osin D., Sapir M.: Lacunary hyperbolic groups (with appendix by M. Kapovich and B. Kleiner). Geom. Topol. 13, 2051–2140 (2009)
Olshanskii A.Yu., Sapir M.V.: Quadratic isometric functions of the Heisenberg groups. A combinatorial proof. J. Math. Sci. 93(6), 921–927 (1999)
Olshanskii, A.Yu., Sapir, M.V.: Embeddings of relatively free groups into finitely presented groups. In: Combinatorial and Computational Algebra (Hong Kong, 1999), pp. 23–47. Contemp. Math., vol. 264. Amer. Math. Soc., Providence (2000)
Olshanskii A.Yu., Sapir M.V.: Length and area functions on groups and quasi-isometric Higman embeddings. Int. J. Algebra Comput. 11(2), 137–170 (2001)
Olshanskii A.Yu., Sapir M.V.: Non-amenable finitely presented torsion-by-cyclic groups. Publ. Math. Inst. Hautes Études Sci. 96, 43–169 (2003)
Olshanskii, A.Yu., Sapir, M.V.: The conjugacy problem and Higman embeddings. Mem. Amer. Math. Soc., vol. 170, no. 804 (2004)
Olshanskii A.Yu., Sapir M.V.: Subgroups of finitely presented groups with solvable conjugacy problem. Int. J. Algebra Comput. 15(5–6), 1075–1084 (2005)
Olshanskii A.Yu., Sapir M.V.: Groups with small Dehn functions and bipartite chord diagrams. Geom. Funct. Anal. 16(6), 1324–1376 (2006)
Olshanskii, A.Yu., Sapir, M.V.: Groups with non-simply connected asymptotic cones. In: Topological and Asymptotic Aspects of Group Theory, pp. 203–208. Contemp. Math., vol. 394. Amer. Math. Soc., Providence (2006)
Olshanskii A.Yu., Sapir M.V.: A finitely presented group with two non-homeomorphic asymptotic cones. Int. J. Algebra Comput. 17(2), 421–426 (2007)
Pansu P.: Métriques de Carnot-Carathéodory quasiisométries des espaces symétriques de rang un. Ann. Math. 129, 1–60 (1989)
Papasoglu, P.: An algorithm detecting hyperbolicity. In: Geometric and Computational Perspectives on Infinite Groups (Minneapolis, MN and New Brunswick, NJ, 1994), pp. 193–200. DIMACS Ser. Discrete Math. Theoret. Comput. Sci., vol. 25. Amer. Math. Soc., Providence (1996)
Papasoglu P.: On the asymptotic cone of groups satisfying a quadratic isoperimetric inequality. J. Differ. Geom. 44(4), 789–806 (1997)
Perelman, G.: The entropy formula for the Ricci flow and its geometric applications. arXiv:math.DG/0211159. November 2002
Perelman, G.: Ricci flow with surgery on three-manifolds. arXiv:math.DG/0303109. March 2003
Pittet, Ch.: Isoperimetric inequalities for homogeneous nilpotent groups. In: Charney, R., Davis, M., Shapiro, M. (eds.) Geometric Group Theory III. Ohio State University, Math. Res. Inst. Publ., pp. 159–164. de Gruyter (1995)
Platonov, A.N.: Isoperimetric function of the Baumslag-Gersten group. Vestnik Moskov. Univ. Ser. I Mat. Mekh., pp. 12–17 (2004)
Razborov A.: On systems of equations in a free group. Math. USSR-Izv. 25, 115–162 (1985)
Razborov, A.: On systems of equations in a free group. PhD Thesis, Steklov Mathematical Institute, Moscow (1987)
Riley T.R.: Higher connectedness of asymptotic cones. Topology 42, 1289–1352 (2003)
Rips E., Sela Z.: Cyclic splittings of finitely presented groups and the canonical JSJ decomposition. Ann. Math. (2) 146(1), 53–109 (1997)
Rips E., Sela Z.: Canonical representatives and equations in hyperbolic groups. Invent. Math. 120, 489–512 (1998)
Roman’kov V.A.: Unsolvability of the problem of endomorphic reducibility in free nilpotent groups and in free rings. Algebra i Logika 16(4), 457–471 (1977)
Rotman, J.J.: An Introduction to the Theory of Groups, 4th edn. Graduate Texts in Mathematics, vol. 148. Springer, New York (1995)
Sapir, M.V.: Algorithmic and asymptotic properties of groups. International Congress of Mathematicians, vol. II, pp. 223–244. Eur. Math. Soc., Zürich (2006)
Sapir, M.V.: Residual properties of 1-relator groups. Preprint. arXiv:1001.2829 (2010)
Sapir M.V., Birget J.-C., Rips E.: Isoperimetric and isodiametric functions of groups. Ann. Math. (2) 156(2), 345–466 (2002)
Sapir M.V., Kozáková I.S.: Almost all 1-related groups with at least 3 generators are residually finite. J. Eur. Math. Soc. 13(2), 331–343 (2011)
Sarkisyan R.A.: The conjugacy problem for collections of integral matrices. Mat. Zametki 25(6), 811–824 (1979)
Sazonov V.: A logical approach to the problem P = NP. Lect. Notes Comput. Sci. 88, 562–575 (1980)
Sazonov V.: Polynomial computability and recursivity in finite domains. Electronische Informationverarbeitung und Kybernetik 16, 319–323 (1980)
Schulz, K.: Makanin’s algorithm for word equations: two improvements and a generalization. In: Word Equations and Related Topics (Tübingen, 1990), pp. 85–150. Lecture Notes in Comput. Sci., vol. 572. Springer, Berlin (1992)
Shalom, Y., Tao, T.: A finitary version of Gromov’s polynomial growth theorem. Preprint. arXiv:0910.4148 (2009)
Sela Z.: The isomorphism problem for hyperbolic groups I. Ann. Math. (2) 141, 217–283 (1995)
Serre J.-P.: Trees. Spinger, Berlin-New York (1980)
Shpilrain, V.: Search and witness problems in group theory. Preprint. arXiv:1010.0382 (2010)
Sisto, A.: Separable and tree-like asymptotic cones of groups. Preprint. arXiv:1010.1199 (2010)
Slobodskoii A.M.: Undecidability of the universal theory of finite groups. Algebra i Logika 20(2), 207–230 (1981)
Soare R.I.: Recursively Enumerable Sets and Degrees. Springer, New York (1987)
Specht W.: Zur Theorie der messbaren Gruppen. Math. Z. 74, 325–366 (1960)
Stallings J.R.: A finitely presented group whose 3-dimensional integral homology is not finitely generated. Am. J. Math. 85, 541–543 (1963)
Stallings J.R.: How not to prove the Poincaré conjecture, topology seminar Wisconsin, 1965. Ann. Math. Stud. 60, 83–88 (1966)
Švarc A.S.: A volume invariant of coverings. Dokl. Akad. Nauk SSSR (N.S.) 105, 32–34 (1955)
Thurston W.P.: Conway’s tiling groups. Am. Math. Mon. 97(8), 757–773 (1990)
Thomas S., Velickovic B.: Asymptotic cones of finitely generated groups. Bull. Lond. Math. Soc. 32(2), 203–208 (2000)
van den Dries L., Wilkie A.J.: On Gromov’s theorem concerning groups of polynomial growth and elementary logic. J. Algebra 89, 349–374 (1984)
Vardi, M.Y.: The complexity of relational query languages. In: Proc. 14th ACM Symp. on Theory of Computing, pp. 137–146 (1982)
Valiev, M.K.: On polynomial reducibility of the word problem under embedding of recursively presented groups in finitely presented groups. In: Mathematical Foundations of Computer Science, pp. 432–438. Lecture Notes in Comput. Sci., vol. 32. Springer, Berlin (1975)
Vollmer, H.: Introduction to circuit complexity. A uniform approach. In: Texts in Theoretical Computer Science. An EATCS Series. Springer, Berlin (1999)
von Neumann J.: Zur allgemeinen Theorie des Masses. Fund. Math. 13, 73–116 (1929)
Wenger S.: Gromov hyperbolic spaces and the sharp isoperimetric constant. Invent. Math. 171(1), 227–255 (2008)
Wenger, S.: Nilpotent groups without exactly polynomial Dehn function. Preprint. arXiv:1004.2907 (2010)
Whitney H.: Geometric Integration Theory. Princeton University Press, Princeton (1957)
Young, R.: Filling inequalities and the geometry of nilpotent groups. Ph.D. thesis, The University of Chicago, 83 pp (2007). ISBN:978-0549-02077-6
Young, R.: Filling inequalities for nilpotent groups. Preprint. arXiv:0608174 (2006)
Young, R.: The Dehn function of \({{\rm SL}(n;{\mathbb{Z}})}\) . Preprint. arXiv:0912.2697 (2009)
Acknowledgments
I am grateful to Efim Zelmanov who inspired me to write this survey. Several people contributed with suggestions, comments and even pieces of text. I am especially grateful to Martin Bridson, François Dahmani, Daniel Groves, Victor Guba, Sergei Ivanov, Bruce Kleiner, Igor Lysënok, Alexander Olshanskii, Denis Osin, Tim Riley, Stefan Wenger and Robert Young.
Open Access
This article is distributed under the terms of the Creative Commons Attribution Noncommercial License which permits any noncommercial use, distribution, and reproduction in any medium, provided the original author(s) and source are credited.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by E. Zelmanov.
The research was supported in part by NSF grant DMS-0700811.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Sapir, M. Asymptotic invariants, complexity of groups and related problems. Bull. Math. Sci. 1, 277–364 (2011). https://doi.org/10.1007/s13373-011-0008-1
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s13373-011-0008-1