逆幺半群表示的重写代数
群论
2019-05-01 v1
摘要
我们描述了一种使用群胚的形式体系，用于研究逆幺半群表示的重写，该形式体系基于幺半群表示的 Squier 复形构造。我们引入了伪正则群胚类，其一个实例现在作为我们版本的 Squier 复形的基本群胚而出现。另一个关键要素是从自由逆幺半群出发的表示映射分解为一个幂等纯映射与一个幂等分离映射的复合。然后，将一个表示的关联系模定义为该幂等分离映射的阿贝尔化核。接着我们利用幂等分离映射的性质导出关联系模的一个自由表示。其核——恒等元模——的构造使用了关于伪正则群胚的进一步事实。
引用
@article{arxiv.1904.13135,
title = {The algebra of rewriting for presentations of inverse monoids},
author = {N. D. Gilbert and E. A. McDougall},
journal= {arXiv preprint arXiv:1904.13135},
year = {2019}
}
备注
22 pages