Abstract
To solve problems of Magnus and Stallings stated in the 1960s, we construct a balanced presentation of the trivial group such that no defining relator of this presentation could be replaced by a free generator and the group, given by the altered presentation, would still be trivial. Some other related problems on balanced presentations of the trivial group are discussed.
Similar content being viewed by others
References
Akbulut, S., Kirby, R.: A potential smooth counterexample in dimension 4 to the Poincaré conjecture, the Schoenflies conjecture, and the Andrews–Curtis conjecture. Topology 24, 375–390 (1985)
Andrews, J.J., Curtis, M.L.: Free groups and handlebodies. Proc. Am. Math. Soc. 16, 192–195 (1965)
Andrews, J.J., Curtis, M.L.: Extended Nielsen operations in free groups. Am. Math. Mon. 73, 21–28 (1966)
Burns, R.G., Macedonska, O.: Balanced presentations of the trivial group. Bull. Lond. Math. Soc. 25, 513–526 (1993)
Fenn, R., Rourke, C.: Klyachko’s methods and the solution of equations over torsion-free groups. Enseign. Math., II. Sér. 42, 49–74 (1996)
Gerstenhaber, M., Rothaus, O.S.: The solution of sets of equations in groups. Proc. Natl. Acad. Sci. USA 48, 1531–1533 (1962)
Hog-Angeloni, C., Metzler, W.: Geometric aspects of two-dimensional complexes. Lond. Math. Soc. Lect. Note Ser. 197, 1–35 (1993)
Hog-Angeloni, C., Metzler, W.: The Andrews–Curtis conjecture and its generalizations. Lond. Math. Soc. Lect. Note Ser. 197, 365–380 (1993)
Howie, J.: On pairs of 2-complexes and systems of equations over groups. J. Reine Angew. Math. 22, 475–485 (1983)
Howie, J.: Some remarks on a problem of J.H.C. Whitehead. Topology 324, 165–174 (1981)
Ivanov, S.V.: On aspherical presentations of groups. Electron. Res. Announc. Am. Math. Soc. 4, 109–114 (1998)
Ivanov, S.V.: The free Burnside groups of sufficiently large exponents. Int. J. Algebra Comput. 4, 1–308 (1994)
Klyachko, A.A.: A funny property of a sphere and equations over groups. Commun. Algebra 21, 2555–2575 (1993)
Kargapolov, M.I., Merzliakov, Yu.I. (eds.): Kourovka Notebook: Unsolved problems in group theory, 1st edn. Novosibirsk: Math. Institute SO AN USSR 1965
Lustig, M.: Nielsen equivalence and simple-homotopy type. Proc. Lond. Math. Soc. 62, 537–562 (1991)
Lyndon, R.C., Schupp, P.E.: Combinatorial group theory. Springer 1977
Lyndon, R.C., Schützenberger, M.P.: The equation a M=b N c P in a free group. Mich. Math. J. 9, 289–298 (1962)
Magnus, W., Karras, J., Solitar, D.: Combinatorial group theory. Interscience Publ. 1966
Metzler, W.: Die Unterscheidung von Homotopietyp und einfachem Homotopietyp und bei zweidimensionalen Komplexen. J. Reine Angew. Math. 403, 201–219 (1990)
Myasnikov, A.D., Myasnikov, A.G., Shpilrain, V.: On the Andrews–Curtis equivalence. Contemp. Math. 296, 183–198 (2002)
Rapaport, E.S.: Groups of order 1, some properties of presentations. Acta Math. 121, 127–150 (1968)
Ol’shanskii, A.Yu.: Varieties in which finite groups are abelian. Mat. Sb. 126, 59–82 (1985)
Ol’shanskii, A.Yu.: Geometry of defining relations in groups. Moscow: Nauka 1989; English translation: Math. Appl., Sov. Ser., vol. 70. Kluwer Acad. Publ. 1991
Whitehead, J.H.C.: On adding relations to homotopy groups. Ann. Math. 42, 409–428 (1941)
Wright, P.: Group presentations and formal deformations. Trans. Am. Math. Soc. 208, 161–169 (1975)
Author information
Authors and Affiliations
Corresponding author
Additional information
Mathematics Subject Classification (2000)
20F05, 20F06, 57M20
Rights and permissions
About this article
Cite this article
Ivanov, S. On balanced presentations of the trivial group. Invent. math. 165, 525–549 (2006). https://doi.org/10.1007/s00222-005-0497-1
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00222-005-0497-1