关于半群簇的几个判定问题

本文证明了，对于一个半群等式公理的有限集Ｅ定义的半群簇［Ｅ］，以下几个问题是可判定的：（１）是否每个Ｓ∈［Ｅ］都是正则的；（２）是否每个Ｓ∈［Ｅ］都是单的；（３）是否每个Ｓ∈［Ｅ］都是群；（４）是否每个Ｓ∈［Ｅ］都是一致周期的；（５）［Ｅ］是否平凡。     

保序部分变换半群上的同余

设n为大于1的正整数,令POn表示长为n的链[n]上所有保序部分变换在复合运算下而成的半群,得到半群POn的每个同余都为Rees同余.     

积分算子半群的逼近与表示

研究积分算子半群的Yosida逼近,证明了积分算子半群可以表示为一簇一致连续算子半群积分的极限,获得了积分算子半群的一个表示公式.     

On的局部极大J-平凡子半带

本文刻划出On的每个局部极大J-平凡子半带,并证明了它们都是富足的.     

广义正则半群 广义逆半群

推广正则半群，逆半群为广义正则半群，广义逆半群，并得到相应的结果。     

Hilbert空间中均衡问题与渐近非扩张半群的迭代算法的强收敛性

针对均衡问题和渐近非扩张算子半群的公共元问题,提出一个新的迭代算法,在合适的条件下,证明了由此迭代算法生成的序列的强收敛性定理.     

半狄氏型的符号光滑测度扰动

假设(Xt,Px)是与L2(E;m)上的半狄氏型((e),D((e)))相联系的右过程.μ为符号光滑测度,Aμt为μ对应的连续可加泛函.定义广义Feynman-Kac半群Pμtf(x)∶=Ex[e-tf(Xt)].设(e)μ(f,g)=(e)f,g)+(f,g)μ,(V)f,g∈D((e)μ)=D((e))∩L2(E,|μ|),我们得到以下两个命题等价:①((e)μ,D((e)μ))是下半有界的;②对任意的t＞0,存在一个常数α0≥0使得||Pμt|2≤eα0t.如果①和②中有一个成立,则(Pμt)t≥0是L2(E;m)上强连续的半群.     

关于双参数C半群的一些结果

给出了双参数C半群的一些性质,研究了双参数C半群的收敛性问题,借助单参数C半群与双参数C半群之间的关系,在一定条件下,将单参数C半群序列的收敛性推广到了双参数C半群上.     

正则H-半群中的L*左次半群

讨沦了正则H-半群中的L*左次半群和L*直左次半群的一些性质,给出了L*左次半群成为L*直左次半群的一般条件.     

带可消幺半群断面富足半群的分解

介绍了带可消幺半群断面富足半群s的结构,给出了带可消幺半群断面富足半群上的一类矩形同余,证明了s是可消半群的矩形带.作为特例讨论了矩形群的可消幺半群断面及ξ类.