简介:本文刻划交换半群的强半格上的最小半格同余,并证明由此得到的商半群为对应的每个交换半群的商半群的强半格。
简介:证明了含幺Clifford半群上的Rees矩阵半群S的所有逆断面都是Q-逆断面,S的所有逆断面互相同构并且S的Q-逆断面是它的完全单子半群的Q-逆断面的强半格.
简介:证明了转移函数是l∞的一个子空C1上的正的压缩C0半群,其极小生成元恰好是Markov积分算子半群的生成元在C1中的部分;Markov积分算子半群的生成元稠定的充分必要条件是q-矩阵Q一致有界;同时转移函数是Feller-Reuter-Riley的充要条件是Markov积分算子半群的生成元在c0中的部分产生一个强连续半群.最后,在序Banach空间给出了增加的压缩积分算子半群的生成定理.
简介:本文主要讨论有限特殊Church-RosserThue系统所表现的么半群上Green等价的数量性质.证明每种Green等价类都是正则集合,其个数或1或∞且多项式时间内可计算.同时获得一个关于有限特殊Thue系统描述能力的结论.