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

设T(X)是X上的全变换半群且Y是X的子集,令F(X,Y)={α∈T(X)|Xα■Yα■Y}.当|Y|=n≥4,对2≤k≤n-1,研究了半群F(X,Y)的理想Q(F,k)={α∈F(X,Y)||im(α)|≤k},得到了它的极大正则子半带的完全分类.     

半群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).