n元真值函数构成的双格半群

证明了n元真值函数集L关于运算V及其对偶运算^、序结构≤作为一个布尔代数是一个F格半群：f∨g(x)=f(x)∨g(x)，f∧g(x)=f(x)∧g(x)，f≤g当且仅当f(x)≤g(x)(任意f，g∈L，任意x∈|0，1|^n)，并且确定了其分子结构．指出含n个变元的合式公式集关于合式公式等值关系←→所构成的商结构L／←→与L同构，从而说明命题逻辑的基本框架实际上是一个特殊的双格半群，即F格半群．     

半群PTn(A;θ)的正则性及格林关系

设集合Xn={1,2,…,n}并赋予自然序,PTn是集合Xn上所有部分变换构成的半群.设A?Xn非空,令PTn(A)={a ∈PTn∶ima?A}.在半群PTn(A)上规定运算(。):f(。)g=fθg,则在运算(。)下,PTn(A)构成一个新的半群,称为它的变种半群.利用正则元及格林关系的定义,讨论了半群PTn(A)...     

TE(X)的变种半群TE(X;θ)的若干性质

设X是一个非空集合，E是X上的等价关系，TE(X)={f∈JX2↓A(a，b)∈E，(f(a)，f(b))∈E)．对于半群S中的一个取定元素θ∈S，重新定义S上的运算。为f。g=fθg，其中等式右边表示原来的运算，S关于这个新的运算所成的半群称为S的变种半群．本文讨论了TE(X；θ)的Green关系和Symons同余之间的联系．     

半群PO_n中理想的非群元秩和相关秩

设POn是有限链[n]上的保序部分奇异变换半群.对任意的r(2≤r≤n-1),考虑半群M(n,r)={α∈POn:|Imα|≤r}的非群元秩和非幂等元秩.证明了M(n,r)是由秩为r的元素生成的.确定了当0≤l≤r时,半群M(n,r)关于其理想M(n,l)的相关秩.     

半群Q(k)的极大正则子半带

设T(X)和O(X)分别是X上的全变换半群和保序全变换半群,Y是X的非空子集,令F(X,Y)={α∈T(X):Xα?Yα?Y},OF(X,Y)=O(X)∩F(X,Y).当Y=n≥4时,对任意的2≤k≤n-2,考虑半群Q(k)={α∈OF(X,Y):Im(α)≤k}的极大正则子半带的结构,利用Miller-Clifford定理,证明了半群Q(k)的极大正则子半带有且仅有两类:A(α)=Q(k-1)∪(J(k)\L_α),α∈J(k);B(β)=Q(k-1)∪(J(k)\R_β),β∈N(k).     

半群POP_n的理想的极大正则子半群

设Xn={1,2,…,n},并赋予自然序.POPn是Xn上的方向保序部分变换半群.对任意2≤r≤n-1,研究了半群POP(n,r)={α∈POPn:|im(α)|≤r}的极大正则子半群的结构,并利用Miller-Clifford定理,证明了半群POP(n,r)的极大正则子半群有且仅有一类,即Mα=POP(n,r-1)∪(Jr\Rα),α∈Jr,Jr={α∈POPn:|im(α)|=r},Rα表示α所在R-类.     

广义循环布尔矩阵三明治半群的正则元

设B={0,1}是二元布尔代数,Cn(r)是B上所有n阶r—循环矩阵组成之集,Gn=∪n-1r=0Cn(r),则Gn对二元布尔矩阵的乘法构成一个半群,称它为广义循环布尔矩阵半群.对于半群Gn中任一个固定的非零c—循环矩阵C,在Gn中定义一个新的运算“”如下:A,B∈Gn,AB=ACB.则(Gn,)也构成一个半群,称(Gn,)为(带有三明治矩阵C)的广义循环布尔矩阵三明治半群,并记为Gn(C).本研究刻画了半群Gn(C)中的所有正则元,并且给出求Gn(C)中每一个正则元的所有g-逆的一个方法.     

局部群的三个等价条件

Nambooripad在[1]中给出≤的定义，Mark V,Lawson在[2]中给出了≤e的定义，并且证明了一个正则半群是局部纯正半群，当且仅当≤=≤e。本文证明了，在一个正则半群S上，以下四条等价：（1）S是局部群；（2）≤e==(≤e关系等于相等关系）；（3）≤==(≤关系等于相等关系）；（4）关于A↓x,y∈S,Hx≤Hy→xHy。     

有限全变换半群变种具有某种性质的极大子半群

设X是一个非空有限集合,且X=n,TX是X上的全变换半群.取a∈TX,在TX上定义运算*a:对任意的x,y∈TX,有x*ay=xay.易见TX对运算*a构成一个半群,称为有限全变换半群的变种,记作T_X~a.考虑T_X~a及其最大正则子半群Reg(T_X~a),给出T_X~a的极大子半群及Reg(T_X~a)的极大正则子半群的结构与完全分类.     

有限保E-序部分变换半群的变种半群上的格林关系

设X是一个有限全序集,E是集合X上的等价关系.令PEOPx={α∈Px:(A)x,y∈domα,(x,y)∈E且x≤y(=>)(xα,yα)∈E且xα≤yα},取定θ∈PEOPx,在PEOPx上定义一个运算"o",其中α°β=αθβ,得到一个新的半群称为保E-序部分变换半群的变种半群,记为PEOPx(θ).本文主要刻划...     

正则单半群的一个充要条件

将逆半群为单半群的一个充要条件推广到正则半群,它把正则半群的单性转化为幂等元之间的偏序和GreenD关系,揭示了GreenD关系与理想概念之间的内在联系.最后给出了一个应用,并用一个例子说明正则性条件不可少.     

Ehresmann型wrpp半群

众所周知,纯正群并是正则半群类中的一类重要半群,本文定义Ehresmann型wrpp半群,它是纯正群并在wrpp半群类中的推广,给出了此类半群的若干刻划。     

周期半群环的单位元

研究了幂等元集为带的周期半群环的单位元的存在性，给出了充要条件。     

毕竟纯整超wrpp半群

定义了毕竟纯整超wrpp半群,它是纯整超wrpp半群的推广,并给出了此类半群的若干刻画。     

纯整超rpp半群的同构

本文给出了纯整超rpp半群同构的充分必要条件。     

半群的融和

证明了两个纯整半群的融和，在融和核是绝对闭子半群时，可嵌入到一个纯整半群中去，同时证明了Ｃｌｉｆｆｏｒｄ半群的融和亦是可嵌入到Ｃｌｉｆｆｏｒｄ半群中去，从而部分解决了Ｔ．ＥＨａｌｌ在［１］中提出的一个ｏｐｅｎ问题。     

Ⅱ可逆半群的等价刻划

本文给出П可逆半群及两类特殊的П可逆半群的等价刻划.     

自然偏序和局部拟适当半群(英文)

定义了富足半群上一个自然偏序 e≤,给出研究了自然偏序 e≤的性质,证明了:富足半群S是幂等元连通的局部拟适当半群当且仅当e=≤≤,丰富和推广了Lawson的局部半群的相关结果.     

竞赛图的零因子半群

讨论了竞赛图的零因子半群.一个半群S的零因子图是一个有向图Γ(S),其顶点是S中非零的零因子,S中两个不同的元x,y有一条有向边x→y当且仅当xy=0.该文证明了如果S是一个没有非零幂零元的有限半群且图Γ(S)的顶点数大于1,那么图Γ(S)不是一个竞赛图.另外对于任意的正整数n,该文完全决定了顶点数为n蹬任一个竞赛图的所有零因子半群.