论文部分内容阅读
设X^＊是由字母表生成的自由幺半群，{B1，B2）是X的任意2-划分，C=B2∪B1X^N，N≥1，文^[1-2]证明了幺半群C^＊是自由幺半群X^＊的极大自由幺子半群．本文证明了：对N≥1，C=B2∪B1（X^N／B1^N）∪B1^N＋1X，则幺半群C^＊也是自由幺半群X^＊的极大自由幺子半群．