(S)_reg 的完全重写系统与原规范形
群论
2007-05-23 v1
摘要
(.)_reg 构造的引入是为了使任意半群 S 整除一个与其共享若干重要性质（如有限性、子群、扭界、J-序结构）的正则半群 (S)_reg。我们表明 (S)_reg 可由一个相当简单的完全字符串重写系统描述，作为推论，我们获得了 (S)_reg 规范形定理的新证明。该规范形定理的新证明在概念上比先前的证明更为简洁。
引用
@article{arxiv.math/0112229,
title = {A complete rewrite system and normal forms for (S)_reg},
author = {Jean-Camille Birget and Stuart W. Margolis},
journal= {arXiv preprint arXiv:math/0112229},
year = {2007}
}