王麗麗

(重慶理工大學(xué) 理學(xué)院， 重慶 400054)

設(shè)(S,+,·)是(2，2)-型代數(shù),其中“+”和“·”是S上的二元運(yùn)算。若S滿足：① (S，+)和(S，·)都是半群；② (S,+,·)滿足等式x(y+z)≈xy+xz和(x+y)z=xz+yz，則稱(S,+,·)是半環(huán)。 如果一個(gè)半環(huán)的加法導(dǎo)出半群是一個(gè)半格,則稱此半環(huán)為加法冪等半環(huán)[1-6]。

設(shè)(S,+,·)是加法冪等半環(huán)，對(duì)任意的a,b∈(S,+,·)，定義關(guān)系a≤b?a+b=b，則此關(guān)系即是其加法半格上的偏序關(guān)系。已知半格的自同態(tài)半環(huán)是一個(gè)加法冪等半環(huán),且每一個(gè)ai半環(huán)都可以嵌入到某一個(gè)半格的自同態(tài)半環(huán)中。近年來,出現(xiàn)了許多關(guān)于加法冪等半環(huán)研究的文獻(xiàn)[7-12]。眾所眾知,所有的加法冪等半環(huán)形成一個(gè)簇,許多的學(xué)者對(duì)加法冪等半環(huán)簇進(jìn)行了研究,并且得到了許多有趣的結(jié)果[2,5,7-11]。同時(shí),一些學(xué)者對(duì)某些加法冪等半環(huán)簇的自由對(duì)象進(jìn)行了刻畫,給出了由某些特定等式所確定的加法冪等半環(huán)簇的自由對(duì)象的模型[6-7,9]。

令S是一個(gè)半群， 用P(S) 和Pf(S)分別表示S的所有子集的集合和所有非空子集的集合，在P(S)上定義運(yùn)算:

A+B=A∪B，AB={ab|a∈A，b∈B}

則P(S) 和Pf(S)在上述運(yùn)算下形成加法冪等半環(huán)。事實(shí)上,若X+表示非空集合X上的一個(gè)自由半群,則Pf(X+)是加法冪等半環(huán)簇中相應(yīng)于映射k：X→Pf(X+)，x→{x}的自由對(duì)象。Zhao等[6]利用半群的閉子半群的概念給出了加法導(dǎo)出是半格的冪等元半環(huán)簇中自由對(duì)象的模型。令S是一個(gè)半群,C是其子半群，稱C是S的一個(gè)閉子半群，當(dāng)且僅當(dāng)對(duì)任意的a,b∈S，s,t∈S1，

sat,sbt∈C?sabt∈C

A+B=[A∪B]，A°B=[AB],

給出下列記號(hào)：[n]表示集合{1,2,…,n}；Sg(2,n,1)表示由(x1x2)n≈x1x2定義的半群簇；Sr(2,n,1)表示由(x1x2)n≈x1x2定義的ai-半環(huán)簇。

本文引入了半群的(2,n,1)-閉子半群的概念,并利用Sg(2,n,1)的自由對(duì)象來構(gòu)造Sr(2,n,1)的自由對(duì)象。 因此,本文的結(jié)果推廣和豐富了文獻(xiàn) [2，5-6，8-9]中的結(jié)果。本文中用到的其他概念和術(shù)語,可參考文獻(xiàn)[1，3-4]。

1 (2,n,1)-閉子集的概念及性質(zhì)

令S是一個(gè)半群，且M是其子集,則稱M為S的(2,n,1)-閉子集,如果：

(?p,q∈S1,ai1,aj2∈S,i,j=1,2,…,n)pai1aj2q∈M?

(?bsl∈{aml|m=1,2,…,n},s∈[n],l=1,2})

pb11b12b21b22…bn1bn2q∈M

令S是一個(gè)半群且A是S的一個(gè)子集，容易驗(yàn)證,S的所有包含A的(2,n,1)-閉子集 (至少,S是一個(gè)包含A的閉子集) 的交集仍然是S的一個(gè)(2,n,1)-閉子集，并且是包含A的S的最小的(2,n,1)-閉子集，稱其為由A生成的S的(2,n,1)-閉子集,記作[A]。如果S是一個(gè)有限子集,則稱[A]是有限生成的。

引理1 令S是一個(gè)半群。且A是其子集，定義A(k)(k≥0)如下:

A(0)=A

A(k+1)={pb11b12b21b22…bn1bn2q|p,q∈S1,ai1

aj2∈S,i,j=1,2,…n,pai1aj2q∈A(k)

bsl∈{aml|m=1,2,…,n},s∈[n]

l=1,2}∪A(k)

則對(duì)任意的A,B∈P(S),

1)A(0)?A(1)?…?A(k)?A(k+1)?…;

2) (?k)A?B?Ak?Bk;

證明

1)是顯然的。

2) 令A(yù)?B。將通過對(duì)k用歸納法來證明A(k)?B(k)。

當(dāng)k=0時(shí)，因?yàn)锳(0)=A和B(0)=B,有A(0)?B(0)；當(dāng)k≥0時(shí)，假設(shè)A(k)?B(k)，將要證明A(k+1)?B(k+1)。令x∈A(k+1)，需考慮下列2種情況:

①x∈A(k)。 因?yàn)锳(k)?B(k),有x∈B(k)，由B(k)?B(k+1)可以推出x∈B(k+1)；

②x=pb11b12b21b22…bn1bn2q,p,q∈S1,ai1,aj2∈S,i,j=1,2,…n,pai1aj2q∈A(k),bsl∈{aml|m=1,2,…,n},s∈[n],l=1,2。因?yàn)锳k?Bk,有

{pai1aj2q|ai1,aj2∈S,i,j=1,2,…,n}?B(k)

因此x=pb11b12b21b22…bn1bn2q∈B(k+1)，從而證明了A(k+1)?B(k+1)。

{pai1aj2q|ai1,aj2∈S,i,j=1,2,…,n}?A(k0)

{pai1aj2q|ai1,aj2∈S,i,j=1,2,…,n}?M

因?yàn)镸是(2,n,1)-閉子集，從而可以推出x=pb11b12b21b22…bn1bn2q∈M，證明完畢。

引理2 令S∈Sg(2,n,1)，則對(duì)任意的k和A,B,C∈P(S)， 有A?B(k)?AC?(BC)(k)和CA?(CB)(k)。

證明由對(duì)偶原理,只需要證明對(duì)任意的k和任意的A,B,C∈P(S)，A?B(k)?AC? (BC)(k)。將通過對(duì)k歸納來證明這個(gè)結(jié)論。

1)k=0， 如果A?B(0),則A?B。進(jìn)一步,有AC?BC，從而推出AC?(BC)0。

2)k≥1， 令A(yù)?B(k)，a∈A,c∈C。 因?yàn)閍∈B(k),只需要考慮下列情況：

①a∈B(k-1)。 由歸納假設(shè)有ac∈(BC)(k-1)，因?yàn)?BC)(k-1)?(BC)k,得到ac∈(BC)(k)；

②a=pb11b12b21b22…bn1bn2q,p,q∈S1,ai1,aj2∈S,i,j=1,2,…n,pbi1bj2q∈A(k),bsl∈{aml|m=1,2,…,n},s∈[n],l=1,2。顯然,{pai1aj2q|ai1,aj2∈S,i,j=1,2,…n}?B(k-1)。

由歸納假設(shè)有

{pai1aj2qc|ai1,aj2∈S,i,j=1,2,…n}?B(k-1)

從而可以得到ac=pb11b12b21b22…bn1bn2qc∈(BC)(k)，因此有ac∈(BC)(k)， 從而有AC?(BC)(k)，證明完畢。

令S是一個(gè)半群。在Pf(S)定義二元關(guān)系ρ如下:

AB∈ρ?[A]=[B]

顯然,ρ是Pf(S)上的一個(gè)等價(jià)關(guān)系，事實(shí)上有：

定理1 令S∈Sg(2,n,1),則ρ是Pf(S)上的一個(gè)同余且Pf(S)/ρ∈Sr(2,n,1)。

證明令A(yù),B,C∈P(S)使得(A,B)∈ρ， 要證明ρ是一個(gè)半環(huán)同余,只要證明(A∪B,B∪C)∈ρ，(AC,BC)∈ρ和(CA,CB)∈ρ。

A∪C?B(k0)∪C?B(k0)∪C(k0)?

(B∪C)(k0)?[B∪C]

從而[A∪C]?[B∪C]。類似地，[B∪C]?[A∪C]， 因此[A∪C]=[B∪C],并且(A∪B,B∪C)∈ρ。

2) (AC,BC)∈ρ。類似于 1) 的證明,對(duì)某個(gè)k0，由引理 2可得(AC)?(BC)(k0)。 因?yàn)?BC)(k0)?[BC],推導(dǎo)出AC?[BC],從而[AC]?[BC]。類似地,[BC]?[AC]，因此[AC]=[BC],從而有(AC,BC)∈ρ。

3) (CA,CB)∈ρ。類似于2)的證明，要證Pf(S)/ρ∈Sr(2,n,1),只需證A1,A2∈Pf(S),((A1A2)n,A1A2)∈ρ,即[(A1A2)n]= [A1A2]。 令bi∈Ai,i=1,2,則

b1b2=(b1b2)n∈(A1A2)n

因此A1A2?(A1A2)n,進(jìn)一步有[A1A2]?[(A1A2)n]。

如果x∈(A1A2)n,則存在

ai1,aj2∈S,i,j=1,2,…，n

ai1aj2∈A1A2,bsl∈{aml|m=1,2,…,n}

s∈[n],l=1,2

使得

x=b11b12b21b22…bn1bn2

因?yàn)閎11b12b21b22…bn1bn2∈(A1A2)(1)?[A1A2],所以

x=b11b12b21b22…bn1bn2∈[A1A2]

因此(A1A2)n?[A1A2]，并且[(A1A2)n]?[A1A2]，得到 [(A1A2)n]=[A1A2]， 證明完畢。

2 滿足(x1x2)n=x1x2的ai-半環(huán)簇的自由對(duì)象

證明將通過對(duì)k的歸納來證明這一結(jié)果。

②a=pb11b12b21b22…bn1bn2q,p,q∈S1,ai1,aj2∈S,i,j=1,2,…n,pai1aj2q∈A(k),

bsl∈{aml|m=1,2,…,n},s∈[n],l=1,2

φ(p)(φ(a11)+φ(a12)+…+

φ(a1n))(φ(a21)+φ(a22)+…

+φ(a2n))φ(q)=φ(p)((φ(a11)+

φ(a12)+…+φ(a1n))(φ(a21)+

φ(a22)+…+φ(a2n)))nφ(q)≥

φ(p)φ(b11)φ(b12)φ(b21)φ(b22)…

φ(bn1)φ(bn2)φ(q)≥

φ(pb11b12b21b22…bn1bn2q)=φ(a)

以上是對(duì)p,q∈S的情況的證明，p?S或q?S的情況可類似證明。證明完畢。

接下來利用Sg(2,n,1)的自由對(duì)象來構(gòu)造Sr(2,n,1)的自由對(duì)象，這一結(jié)果推廣了文獻(xiàn)[6]中的定理 3.5。

證明由定理 1 可知Pf(FX)/ρ是Sr(2,n,1)的一個(gè)半環(huán)， 假設(shè)S∈Sr(2,n,1)且λ：X→S是任意一個(gè)映射。因?yàn)?S,·)∈Sg(2,n,1)且FX是Sg(2,n,1) 的自由對(duì)象,則存在唯一的一個(gè)φ：FX→(S,·)，使得圖1是一個(gè)交換圖,即φ°ι=λ。定義一個(gè)映射ψ：Pf(FX)/ρ:

圖1 交換圖圖2 半環(huán)

首先,對(duì)任意的A,B∈Pf(FX),

因此ψ是Pf(FX)到S上的半環(huán)同態(tài)。

其次,選取任意的x∈X,則

(ψ°κ)(x)=ψ(κ(x))=ψ({ι(x)}ρ)=

ψ(ι(x))=(ψ°ι)(x)=λ(x)

因而ψ°κ=λ。

最后,令θ∶Pf(FX)/ρ→S是一個(gè)半環(huán)同態(tài)且使得θ°κ=λ， 定義一個(gè)映射α∶FX→(S,·):

α(a)=θ({a}ρ)(a∈FX)

容易驗(yàn)證α是一個(gè)半群同態(tài)，并且對(duì)任意的x∈X,

(α°ι)(x)=α(ι(x))=θ({ι(x)}ρ)=

θ(κ(x))=(θ°κ)(x)=λ(x)

因此α°ι=λ，由φ的唯一性,有α=φ。 令A(yù)∈Pf(FX),則

從而有θ=ψ，證明完畢。

[A]+[B]=[A∪B],[A]°[B]=

[AB](A,B∈Pf(S))

φ([A])=Aρ(A∈Pf(FX))

φ([A])=φ([B])?Aρ=Bρ?(A,B)∈ρ?

[A]=[B]

所以φ的定義是良好的且是一個(gè)單設(shè)。

另外,φ顯然是一個(gè)滿設(shè)且對(duì)任意的A,B∈Pf(FX),

φ([A]+[B])=φ([A∪B])=(A∪B)ρ=

Aρ+Bρ=φ([A])+φ([B])

φ([A]°[B])=φ([AB])=(AB)ρ=

(Aρ)(Bρ)=φ([A])φ([B])