具有逆断面的正交半群.docxVIP

具有逆断面的正交半群 0 基本正则半群中的逆同构 1982年，blyth和mcfadan在s中提出了正半群的逆截面的概念。s是正半群，s的反子半群s称为s的反截面。当s中的每个源x在s中有唯一的逆元x时，它会被认为是s=（x）.在提出逆截面的概念后，人们开始研究具有逆截面的正半群的性质和结构，并取得了许多良好的结果。1989年，sait给出了抗逆截面的一般官僚主义半群的复杂结构方程（见[2]、属性2.5），但在某些情况下，寻找满足一定逻辑条件的结构分配是困难的。对于这些重要的子类，我们希望给出相对清晰的代际结构原则。在本文中，我们将利用伪半群和伪半群的逆截面来构建具有伪半段的纯半群。 下列3个结论后面经常用到,我们将不加说明地引用. 设S是具有逆断面S°的正则半群,则 (1.1)xLy?x°x=y°y,xRy°?xx°=yy°. (1.2)集合IS={e∈S|e=ee°}和ΛS={f∈S|f=f°f}分别是S的具有公共逆断面E°=E(S°)的左和右正则子带. (1.3)S是纯正的当且仅当对于任意的x,y∈S,(xy)°=y°x°. 在中,我们给出了具有逆断面的基础正则半群和基础纯正半群的结构定理.本节后面的部分,我们引入中的相关事实和结论,为下一节构造具有逆断面的纯正半群作准备. 设S是具有逆断面S°的正则半群.由S的幂等元生成的正则子半群〈E(S)〉记为C.记E°=E(S°).对于任意的e∈E(S),记?e?=〈E(eCe)〉.对于任意的a∈S,用V(a)表示a的所有逆元的集合,并定义λa∈PS(S上的部分变换半群)如下: λa:?aa°?→?a°a?,x|→a°xa. 对于任意的a,b∈S,λa和λb在PS中的合成记为λaλb. 命题1 设S是具有逆断面S°的正则半群. (1)对于任意的a∈S,设e=aa°,f=a°a.那么λa是一个同构,满足(eE°)λa=E°f.它的逆同构是λ?1aa-1:?f?→?e?,y|→aya°. (2)对于任意的a,b∈S,定义λa。λb=λaλ?1ff-1λfgλ?1gg-1λb,其中f=a°a,g=bb°,则λa。λb=λab是从?ab(ab)°?到?(ab)°ab?的同构. 设C是由自身的幂等元生成的正则半群,C°是C的逆断面.记E°=E(C°),I=IC,Λ=ΛC.定义U={(e,f)∈I×Λ:?e???f?}.设(e,f)∈U,令Te,f是由满足条件(eE°)α=E°f的所有同构α:?e?→?f?组成的集合.设 TC,C°=∪eUfTe,f.ΤC,C°=∪eUfΤe,f. 对于任意的α∈Te,f,β∈Tg,h,定义α和β的乘积为α。β=αλ?1ff-1λfgλ?1gg-1β. 命题2 (1)对于任意的α∈Te,f,β∈Tg,h,其中e,g∈I,f,h∈Λ,则α。β∈Tj,k,其中j=(fg(fg)°f)α-1∈I,k=(g(fg)°fg)β∈A.特别地,若C=B是带,则j=(fgf)α-1,k=(gfg)β; (2)如果x∈?e?,那么ex°=ex°e∈?e?,(ex°)α=(xα)°f且(xα)°=(ex°)αf°.如果z∈?f?,那么z°f=fz°f∈?f?,(z°f)α-1=e(zα-1)°且(zα-1)°=e°(z°f)α-1; (3)TC,C°是具有逆断面T°C,C°={α°∈Te°,f°|e°,f°∈E°}的基础正则半群.特别地,若C=B是具有半格断面B°的带,则TB,B°是具有逆断面T°B,B°={α°∈Te°,f°|e°,f°∈B°}的基础纯正半群; (4)对于任意的α∈Ta,f,α在T°C,C°中的惟一逆元为α°=λfα-1λe∈Tf°,e°; (5)E(TC,C°)={λt:t∈E(C)}; (6)设α∈Te,f,β∈Tg,h,则αLTC,C°β?f=h,αRTC,C°β?e=g. 命题3 设S是具有逆断面S°的正则半群,C=〈E(S)〉,C°=C∩S°,则对于任意的a∈S,有λa∈TC,C°,并且λ°a=λa°. 1 为“gfg”,有以下三种驱动 设K是逆半群,K上任意一个元a的逆元a-1记为a°.B是具有半格断面B°=E(K)的带,则TB,B°是具有逆断面T°B,B°的基础纯正半群.记I=IB,Λ=ΛB. 对于任意的a∈K,设?a是I∪Λ上的一个变换,对于任意的l∈I∪Λ,l?a=a*l*a°.满足下列条件: (1)对于任意的a∈K,l∈I∪Λ,x°∈B°,有a*x°*a°=ax°a°,x°*l*x°=x°lx°; (2)对于任意的a,b∈K,l∈I∪Λ,有a*(b*l*b°)*a°=(ab)*l*(ab)°. 令TB,B°*K={(α,a)∈TB,B°×K|α∈Te,f,e°=aa°,f°=a°a,?l∈I∪Λ,(f°lf°)α°=a*l*a°}.定义