Monoid generalizations of the Richard Thompson groups

J. C. Birget

Jean-Camille Birget update to 2016-01-27

https://arxiv.org/abs/0704.0189
The groups G_{k,1} of Richard Thompson and Graham Higman can be generalizedin a natural way to monoids, that we call M_{k,1}, and to inverse monoids,called Inv_{k,1}; this is done by simply generalizing bijections to partialfunctions or partial injective functions. The monoids M_{k,1} have connectionswith circuit complexity (studied in another paper). Here we prove that M_{k,1}and Inv_{k,1} are congruence-simple for all k. Their Green relations J and Dare characterized: M_{k,1} and Inv_{k,1} are J-0-simple, and they have k-1non-zero D-classes. They are submonoids of the multiplicative part of the Cuntzalgebra O_k. They are finitely generated, and their word problem over anyfinite generating set is in P. Their word problem is coNP-complete over certaininfinite generating sets. Changes in this version: Section 4 has been thoroughly revised, and errorshave been corrected; however, the main results of Section 4 do not change.Sections 1, 2, and 3 are unchanged, except for the proof of Theorem 2.3, whichwas incomplete; a complete proof was published in the Appendix of reference[6], and is also given here.

journal: J. of Pure and Applied Algebra, 213(2) (Feb. 2009) 264-278

category: math.GR

Richard Thompson 群的幺半群推广

J. C. Birget

Jean-Camille Birget update to 2016-01-27

https://arxiv.org/abs/0704.0189
理查德·汤普森 (Richard Thompson) 和格雷厄姆·希格曼 (Graham Higman) 的群 G_{k,1} 可以自然地推广到幺半群,我们称之为 M_{k,1},以及逆幺半群,称为 Inv_{k,1};这是通过简单地将双射推广到部分函数或部分单射函数来完成的。幺半群 M_{k,1} 与电路复杂度有联系(在另一篇论文中研究过)。这里我们证明 M_{k,1} 和 Inv_{k,1} 对所有 k 都是同余简单的。它们的绿色关系 J 和 Dare 的特点是:M_{k,1} 和 Inv_{k,1} 是 J-0-简单的,并且它们有 k-1 个非零 D-类。它们是 Cuntzalgebra O_k 的乘法部分的次幺半群。它们是有限生成的,它们在任意有限生成集上的单词问题在 P 中。它们的单词问题在某些无限生成集上是 coNP-complete。本版本变化:第4节已彻底修改,错误已更正;但是,第4节的主要结果没有变化。第1、2、3节不变,除了定理2.3的证明不完整;完整的证明发表在参考文献[6]的附录中,这里也给出了。

期刊参考: J. of Pure and Applied Algebra, 213(2) (Feb. 2009) 264-278

category: math.GR