双生成元平凡群的平衡表示与 Andrews-Curtis 猜想
群论
2007-05-23 v1 符号计算
摘要
Andrews-Curtis 猜想断言，每一个平凡群的平衡表示都可以通过一系列初等等价 Nielsen 变换和共轭化简为标准表示。本文描述了所有由两个生成元生成且关系字总长度 ≤ 12 的平凡群平衡表示。我们证明了所有这些表示均满足 Andrews-Curtis 猜想。
引用
@article{arxiv.math/0304305,
title = {Balanced presentations of the trivial group on two generators and the Andrews-Curtis conjecture},
author = {Alexei D. Miasnikov and Alexei G. Myasnikov},
journal= {arXiv preprint arXiv:math/0304305},
year = {2007}
}
备注
7 pages, no figures