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