Balanced presentations of the trivial group on two generators and the Andrews-Curtis conjecture

The Andrews-Curtis conjecture states that every balanced presentation of the trivial group can be reduced to the standard one by a sequence of the elementary Nielsen transformations and conjugations. In this paper we describe all balanced presentations of the trivial group on two generators and with the total length of relators <= 12. We show that all these presentations satisfy the Andrews-Curtis conjecture.

[1]  Michael O. Rabin,et al.  Recursive Unsolvability of Group Theoretic Problems , 1958 .

[2]  Alexei G. Myasnikov,et al.  Open problems in combinatorial group theory , 2005 .

[3]  Wolfgang Metzler,et al.  Two-dimensional homotopy and combinatorial group theory , 1993 .

[4]  S. Akbulut,et al.  A potential smooth counterexample in dimension 4 to the Poincare conjecture, the Schoenflies conjecture, and the Andrews-Curtis conjecture , 1985 .

[5]  Robert G. Burns,et al.  Balanced Presentations of the Trivial Group , 1993, Bulletin of the London Mathematical Society.

[6]  J. Whitehead,et al.  On Equivalent Sets of Elements in a Free Group , 1936 .

[7]  Dorothea Heiss-Czedik,et al.  An Introduction to Genetic Algorithms. , 1997, Artificial Life.

[8]  George Havas,et al.  Implementation and Analysis of the Todd-Coxeter Algorithm , 1973 .

[9]  J. J. Andrews,et al.  Free groups and handlebodies , 1965 .

[10]  Charles C. Sims,et al.  Computation with finitely presented groups , 1994, Encyclopedia of mathematics and its applications.

[11]  Alexei D. Miasnikov,et al.  Genetic Algorithms and the Andrews-Curtis Conjecture , 1999, Int. J. Algebra Comput..

[12]  John H. Holland,et al.  Adaptation in Natural and Artificial Systems: An Introductory Analysis with Applications to Biology, Control, and Artificial Intelligence , 1992 .

[13]  J. A. Todd,et al.  A practical method for enumerating cosets of a finite abstract group , 1936 .

[14]  D. L. Johnson,et al.  Topics in the Theory of Group Presentations: Frontmatter , 1980 .