论文部分内容阅读
本文主要给出了GV-半群、GV-逆半群、左群的nil-扩张的半格、右群的nil-扩张的半格及矩形群的nil-扩张的半格的半直积的刻画,这些结果都是在不含单位元的情况下得到的.本文讨论了这些半群的半直积的封闭性.与含幺半群的情况不同的是,我们是通过半群S和T的子半群Te(={te|t∈T})来刻画.
具体内容如下:第一章给出引言和预备知识.
第二章给出了GV-半群及GV-逆半群的半直积.主要结论如下:定理2.1.2设S,T为半群,α:S→End(T),s()α(s)是给定的半群同态映射,则半直积S×αT是GV-半群的充要条件是1)对任意的e∈E(S),S和Te均是GV-半群,其中Te={te|t∈T};2)对任意的s∈S,t∈T,存在m∈Z+,使sm∈Reg(S),且t[s(m)]∈(t[s(m)])s1smTt[s(m)],其中s1∈V(sm);3)对任意的s∈Reg(S),t∈T,若t∈ts1sTs1st;其中s1∈V(s),则()t1∈T,使t=(tst)s-1ts-11tst.
定理2.2.2设S,T为半群,α:S→End(T),s)α(s)是给定的半群同态映射,则半直积S×αT是GV-逆半群的充要条件是1)对任意的e∈E(S),S和Te均是GV-逆半群,其中Te={te|t∈T};2)对任意的e∈E(S),t∈T,若tet=t,则te=t;3)对任意的s∈S,t∈T,存在m∈Z+,使sm∈Reg(S),且t[s(m)]∈(t[s(m)])s1smTt[s(m)],其中s1∈V(sm);4)对任意的s∈Reg(S),t∈T,若t∈ts1sTs1st,其中s1∈V(s),则()t1∈T,使t=(tst)s-1ts-11tst;5)对任意的e,f∈E(S),u,v∈T,若ueu=u,vfv=v,则存在n∈Z+,使(ufv)[(ef)(n)]=(veu)[(fe)(n)].
第三章给出了左群及右群的nil-扩张的半格的半直积.主要结论如下:定理3.1.2设S,T为半群,α:S→End(T),s()α(s)是给定的半群同态映射,则半直积S×αT是左群的nil-扩张的半格的充要条件是1)对任意的e∈E(S),S和Te均是左群的nil-扩张的半格,其中Te={te|t∈T};2)对任意的e∈E(S),t∈T,若tet=t,则te=t;3)对任意的s∈S,t∈T,存在m∈Z+,使sm∈Reg(S),且t[s(m)]∈Reg(T)∩(t[s(m)])s1smTt[s(m)],其中s1∈V(sm);4)对任意的s∈Reg(S),t∈T,若t∈ts1sTs1st,其中s1∈V(s),则()t1∈T,使tt1t=t,且(t1t)s=(tt1)s-1s=tt1;5)对任意的e,f∈E(S);u,v∈T,若ueu=u;vfv=v,则存在n∈Z+,使(ufeveu)[(efe)(n)]=(ufv)[(ef)(n)].
定理3.2.2设S,T为半群,α:S→End(T),s()α(s)是给定的半群同态映射,则半直积S×αT是右群的nil-扩张的半格的充要条件是1)对任意的e∈E(S),S和Te均是右群的nil-扩张的半格,其中Te={te|t∈T};2)对任意的s∈S,t∈T,存在m∈Z+,使sm∈Reg(S),且t[s(m)]∈(t[s(m)])s1smTt[s(m)],其中s1∈V(sm);3)对任意的s∈Reg(S),t∈T,若t∈ts1sTs1st,其中s1∈V(s),则()t1∈T,使t=(tst)s-1ts-11tst;4)对任意的e,f∈E(S),u,v∈T,若ueu=u,vfv=v,则存在n∈Z+,使(ufeveu)[(efe)(n)]=(veu)[(fe)(n)].
第四章给出了矩形群的nil-扩张的半格的半直积.主要结论如下:定理4.1.2设S,T为半群,α:S→End(T),s()α(s)是给定的半群同态映射,则半直积S×αT是矩形群的nil-扩张的半格的充要条件是1)对任意的e∈E(S),S和Te均是矩形群的nil-扩张的半格,其中Te={te|t∈T};2)对任意的s∈S,t∈T,存在m∈Z+,使sm∈Reg(S),且t[s(m)]∈(t[s(m)])s1smTt[s(m)],其中s1∈V(sm);3)对任意的s∈Reg(S),t∈T,若t∈ts1sTs1st,其中s1∈V(s),则()t1∈T,使t=(tst)s-1ts-11tst;4)对任意的e,f∈E(S),u,v∈T,若ueu=u,vfv=v,则存在n∈Z+,使(ufv)[(ef)(n)]=(ufv)[(ef)(n+1)].
这些结果使得对某些半群的半直积的研究不再局限于含有单位元的半群范围内,因而使半直积作为研究半群的工具具有更广泛的应用性.