完全正群展示
群论
2007-05-23 v1
摘要
我们引入正群展示的一个组合性质，称为完全性，给出识别完全展示的有效判据，以及补全不完全展示的迭代方法。我们展示如何从一个完全展示直接读出关联幺半群与群的若干性质：对幺半群为可消去性或公倍元的存在性，对群为等周不等式。特别地，我们得到识别幺半群嵌入分式群的新判据。适用于本方法的典型展示包括 Artin 群与 Heisenberg 群的标准展示。
引用
@article{arxiv.math/0111275,
title = {Complete positive group presentations},
author = {Patrick Dehornoy},
journal= {arXiv preprint arXiv:math/0111275},
year = {2007}
}