设BA是自由带,在自由带BA上定义了约简字,利用归纳法给出了自由带D类的一种编排方法....

幂等元半环S的加法半群上的Green关系是半环S的同余，然而S的乘法半群上的Green关系未必是S上的同余．Pastijin证明了：是S上的同余的幂......

本文主要分为两大部分,第一部分给出了自由带的Grobner-Shirshov基.第二部分用禁止子半群刻画带簇的一个真子簇[X4X2X1X3＝X4X2X1X3X......