弱左型B半群的半格分解

2022-02-04李春华方洁莹孟令香徐保根

南昌大学学报（理科版） 2022年6期

李春华，方洁莹，孟令香，徐保根

(华东交通大学理学院，江西南昌 330013)

1 预备知识

接下来将介绍本文所需要的定义及相关结论[1-2，15,17-19]。

一般地，记S是半群，E(S)是半群S中幂等元的集合，S1是半群S并上恒等元1的半群。半群S上格林关系L*关系定义如下：令a,b∈S，(a,b)∈L*，当且仅当a,b在S的某个扩半群上具有L关系。相应的，可以定义R*关系。下面以引理的形式给出广义格林关系L*和R*的等价定义。

引理1.1[1]令S为半群且a,b∈S，则下列各款等价：

(1)aL*b[aR*b]

(2)(∀x,y∈S1)ax=ay⟺bx=by[(∀x,y∈S1)xa=ya⟺xb=yb]。

引理1.2[2]令S是半群且a,b∈S，则下列各款等价：

(2)(∀e∈E(S))a=ae⟺b=be[(∀e∈E(S))a=ea⟺b=eb]。

定义1.2[1]令S是任意半群，则称S为左型B半群，若下列条件成立：

(B1)S中幂等元可交换；

(B2)S中每个R*类都含且仅含唯一的幂等元；

(B3)对任意e,f∈E(S1)，a∈S，(aef)+=(ae)+(af)+；

(B4)对任意a∈S，e∈E(S)，若e≤a+，则存在f∈E(S1)使e=(af)+。

定义1.3[15]令S是任意半群，则称S为弱左型B半群，若下列条件成立：

(WB1)S中幂等元可交换；

(WB3)对任意e,f∈E(S1)，a∈S，(aef)+=(ae)+(af)+；

(WB4)对任意a∈S，e∈E(S)，若e≤a+，则存在f∈E(S1)使e=(af)+;

定义1.4[15]若S是任意半群，则称S为(弱)型B半群，若S既为(弱)左型B半群又为(弱)右型B半群。

显然，左型B半群及弱左型B半群均是一元半群(带有一元运算a→a+的半群)，记作(S+，)。

定义1.5令S是弱左型B半群，有如下定义：

N(S)={a∈S|aR*a+}

称I(S)为S的核。

I(S)={a∈S|aRa+}

称N(S)为S的逆元部分。

SαSβ⊆Sαβ

此时，称S是幂单幺半群的半格，记S=(Y,Sα)。

定义1.7[19]假设幂单幺半群Sα，其中α∈Y，Y是指标集且为半格，并且对任意α,β∈Y，若α≥β，则存在同态Sα→Sβ使得

(1)(∀α∈Y)χα,α=1Sα；

(2)对任意α,β,γ∈Y，

若α≥β≥γ，则

S=∪α∈γSαχα,βχβ,γ=χα,γ

在S上可以定义乘法如下：对任意x∈Sα，y∈Sβ，有

xy=(xχα,αβ)(yχβ,αβ)

易证，若x∈Sα，y∈Sβ，z∈Sγ，则(xy)z=(xχα,αβγ)(yχβ,αβγ)(zχγ,αβγ)=x(yz)。因此，该乘法是结合的。由此可知，S是幂单幺半群的强半格，记作

S=S[Y;Sα;χα,β]

定义1.8[19]若f：X→Y和g:Y→X满足以下条件：

(1)f。g=tY；

(2)g。f:X→X是幂等的；

则称f是g的收缩映射。

引理1.3令S是左半适当半群，则(S+,)是一元半群，且下列结论成立：

(A1)a=a2⟹a=a+；

(A2)a+=(a+)+；

(A3)a+b+=b+a+；

(A4)a=a+a；

(A5)(ab)+=a+(ab)+；

(A6)(ab)+=(ab+)+。

证明由左半适当半群的定义可直接推得。

2 弱左型B半群

引理2.1一元半群(S+,)是弱左型B半群当且仅当条件(A1)-(A6)和条件(B3)、(B4)成立。

证明必要性：显然成立。

(ce)+ca=(ce)+cea=cea=ca

(ce)+cb=(ce)+ceb=ceb=cb

即有一相同得左恒等元。现证ca与cb有相同得左恒等元集。为此，令f∈E(S)，且有kca=ca，则(fca)+=(ca)+。由(A6)有(fca+)+=(ca+)+，注意a+=b+。于是，(fcb+)+=(cb+)+，进而(fcb)+=(cb)+，因此，

fcb=(fcb)+fcb=(fcb)+fc+cb=

(fcb+)(fc)+cb=(fcb+)(fc·1)+cb=

(fcb+·1)+cb=(fcb)+cb=(cb)+cb=cb

证明由引理2.1可直接推得。

定理2.3令S是弱左型B半群，则下列各款成立：

(1)N(s)={a∈S|x,y∈Sa+,xa=ya⟹x=y}是S的最大左型B一元子半群，

(2)I(S)={a∈S|a是正则元}是S最大逆一元子半群。

证明(1)首先，记A={a∈S：x,y∈Sa+,xa=ya⟹x=y}。令a∈N(s)，x,y∈Sa+并且xa=ya。由aR*a+可知xa+=ya+。

已知x,y∈Sa+，故x=xa+=ya+=y。因此，N(S)⊆A。

下证A⊆N(S)。首先令任意a∈A，x,y∈S使得xa=ya，则由(A3)可知xa+a=ya+a，其中xa+,ya+∈Sa+。故xa+=ya+，由引理1.1，aR*a+，即A⊆N(S)。综上，A=N(S)成立。

令a,b∈N(s)，由N(S)的定义可知aR*a+且满足bR*b+，由于R*是左同余，则有abR*ab+，已知S是弱左型B半群，故(ab)+=(ab+)+，即abR*(ab)+，于是ab∈N(S)。故N(S)是S的子半群。由于S上的一元运算限制在N(S)上是保持不变的，故N(S)是S上的一元子半群。根据左型B半群的定义可知N(S)是左型B半群，注意到N(S)的定义可知N(S)是S中最大的左型B一元子半群。