王守峰 陳輝

DOI：10.16783/j.cnki.nwnuz.2024.01.002

收稿日期：20230205;修改稿收到日期：20230510

基金項(xiàng)目：國(guó)家自然科學(xué)基金資助項(xiàng)目（12271442）

作者簡(jiǎn)介：王守峰（1979—），男，山東濟(jì)南人，教授，博士.主要研究方向?yàn)榘肴豪碚摷捌鋺?yīng)用.

Email：wsf1004@163.com

摘要：給出了保持等價(jià)關(guān)系的變換半群上的格林關(guān)系L，R，H和格林*-關(guān)系L*，R*，H*相容的充要條件，刻畫了這類半群的左（右， 完全）正則性，得到了這類半群的全體冪等元（正則元， 富足元）構(gòu)成子半群的等價(jià)描述.

關(guān)鍵詞：變換半群；格林*-關(guān)系；正則性；富足元;冪等元

中圖分類號(hào)：O 152.7??? 文獻(xiàn)標(biāo)志碼：A??? 文章編號(hào)：1001-988Ⅹ（2024）01-0005-06

Some results on transformation semigroups

that preserve an equivalence

WANG Shou-feng，CHEN Hui

（School of Mathematics，Yunnan Normal University，Kunming? 650500，Yunnan，China）

Abstract：For transformation semigroups that preserve an equivalence，sufficient and necessary conditions are given，

in which the Green relations L，R，H and Green *-relations L*，R*，H* are compatible.The left（right， completely） regularity are characterized，and equivalent descriptions are obtained that idempotent（regular， abundant） elements form a subsemigroup.

Key words：transformation semigroup;Green *-relation;regularity;abundant element;idempotent

0? 引言

設(shè)X是非空集，T（X）是X上的全體變換半群，E是X上的等價(jià)關(guān)系，則對(duì)x，y∈X，

TE（X）={α∈T（X）：（x，y）∈E（xα，yα）∈E}

形成T（X）的子半群.該半群是裴惠生教授［1］首次引入的，自此，這類半群成為變換半群研究的熱點(diǎn)，得到了國(guó)內(nèi)外學(xué)者的廣泛關(guān)注.文獻(xiàn)［2，3］討論了TE（X）上的格林關(guān)系，文獻(xiàn)［4］討論了TE（X）上的格林*-關(guān)系，文獻(xiàn)［5，6］討論了TE（X）上的單位正則元，文獻(xiàn)［7，8］討論了TE（X）上的自然偏序.

本文在上述研究的基礎(chǔ)上刻畫半群TE（X）上格林關(guān)系和格林*-關(guān)系的相容性、 相等性，以及半群TE（X）的左正則性、右正則性和完全正則性，同時(shí)給出其冪等元、正則元和富足元構(gòu)成子半群的充要條件.

1? 預(yù)備知識(shí)

對(duì)任意α∈T（X）及YX，記

Xα={xα：x∈X}，

Kerα={（x，y）∈X×X：xα=yα}，

Yα-1={x∈X：xα∈Y}.

設(shè)S是一個(gè)半群，S1表示在S上添加一個(gè)單位元后得到的半群.當(dāng)S中有單位元時(shí)，S1表示S本身.根據(jù)文獻(xiàn)［9］，半群S上的格林關(guān)系L和R定義如下：

L={（a，b）∈S×S：x，y∈S1，使得a=xb，b=ya}，

R={（a，b）∈S×S：x，y∈S1，使得a=bx，b=ay}.

記H=L∩R，則H也是S上的格林關(guān)系.

引理1［9］? 設(shè)α，β∈T（X），則

（1）（α，β）∈L當(dāng)且僅當(dāng)Xα=Xβ；

（2）（α，β）∈R當(dāng)且僅當(dāng)Kerα=Kerβ；

（3）（α，β）∈H當(dāng)且僅當(dāng)Xα=Xβ，Kerα=Kerβ.

設(shè)X/E是X的E-類構(gòu)成的集合.對(duì)任意的α∈TE（X），記

E（α）={Aα-1：A∈X/E，Aα-1≠}.

引理2［2］? 設(shè)α，β∈TE（X），則

（1）（α，β）∈L當(dāng)且僅當(dāng)Xα=Xβ，且對(duì)任意A∈X/E，存在B，C∈X/E，使得AαBβ；

（2）（α，β）∈R當(dāng)且僅當(dāng)Kerα=Kerβ，E（α）=E（β）；

（3）（α，β）∈H當(dāng)且僅當(dāng)Xα=Xβ，Kerα=Kerβ，E（α）=E（β），且對(duì)任意A∈X/E，都存在B，C∈X/E，使得AαBβ，AβCα.

引理3［2］? 設(shè)α∈TE（X），則α正則當(dāng)且僅當(dāng)對(duì)任意A∈X/E，存在B∈X/E，使得A∩XαBα.

記

εX={（x，x）：x∈X}，

ωX={（x，y）：x，y∈X}.

引理4［2］? 半群TE（X）正則當(dāng)且僅當(dāng)E=εX或E=ωX.此時(shí)，TE（X）=T（X）.

設(shè)S是半群，則S上的格林*-關(guān)系L*和R*定義如下：

L*={（a，b）∈S×S：x，y∈S1，

ax=aybx=by}，

R*={（a，b）∈S×S：x，y∈S1，

xa=yaxb=yb}.

顯然，L*和R*是半群S上的等價(jià)關(guān)系，L*右相容，R*左相容.記H*=L*∩R*.稱S中的元素a是右（左）富足元，若包含a的L*-類（R*-類）具有冪等元.既是左富足元又是右富足元的元素稱為富足元.進(jìn)一步，若S的每個(gè)元素都是左富足元（右富足元， 富足元），則稱S左富足（右富足，富足）.容易驗(yàn)證，正則元是富足元，且在正則半群S上，有

L=L*， R=R*， H=H*.

一般情況下，有

LL*， RR*， HH*.

引理5［4］? 設(shè)α，β∈TE（X），則

（1）（α，β）∈L*當(dāng)且僅當(dāng)Xα=Xβ；

（2）（α，β）∈R*當(dāng)且僅當(dāng)Kerα=Kerβ；

（3）（α，β）∈H*當(dāng)且僅當(dāng)Xα=Xβ，Kerα=Kerβ.

對(duì)任意α∈TE（X），記X上包含E和Kerα的最小的等價(jià)關(guān)系為Eα.

引理6［4］? 對(duì)半群TE（X）及α∈TE（X），下列結(jié)論成立：

（1）TE（X）的每個(gè)L*-類都包含冪等元，從而TE（X）是右富足半群；

（2）α是富足元當(dāng)且僅當(dāng)：對(duì)于每一個(gè)Eα-類F，都存在A∈X/E，使得對(duì)任意包含在F中的Kerα-類K都有A∩K≠；

（3）TE（X）富足當(dāng)且僅當(dāng)每個(gè)E-類至多含2個(gè)元素或至多有一個(gè)非單點(diǎn)集E-類.

2? 主要結(jié)果

本節(jié)首先給出半群TE（X）上格林關(guān)系和格林*-關(guān)系相容的充要條件，然后刻畫半群TE（X）的左正則性、右正則性和完全正則性，最后給出冪等元、正則元和富足元構(gòu)成子半群的等價(jià)刻畫.

命題1? 對(duì)半群TE（X），下列結(jié)論等價(jià)：

（1）L左相容；

（2）H左相容；

（3）X=1；

（4）L*左相容；

（5）H*左相容.

證明? （1）（2）.由H=L∩R且R總是左相容關(guān)系知此時(shí)H左相容.

（2）（3）和（5）（3）.假設(shè)（3）不成立，則X≥2.若E=εX，則由引理4知TE（X）=T（X）.取a，b∈X并定義α，β，γ∈T（X）如下：

xα=a， x=a，b， x≠a;

xβ=b， x=a，a， x≠a;

xγ=a， x∈X.

則Xα=Xβ且Kerα=Kerβ，于是由引理1知：在T（X）中有（α，β）∈HH*.然而Xγα={a}≠=Xγβ，從而由引理1知，在T（X）中有（γα，γβ）H.由于T（X）正則，故H=H*.這說(shuō)明H和H*兩者都不左相容.

若E≠εX，則存在A∈X/E使得A≥2.取a，b∈A，并且定義α，β，γ∈T（X） 如下：

xα=a， x=a，b， x≠a;

xβ=b， x=a，a， x≠a;

xγ=a， x∈X.

則α，β，γ∈TE（X），Xα=Xβ，Kerα=Kerβ，E（α）={X}=E（β），且對(duì)任意B∈X/E，有BαAβ，BβAα.

由引理2知（α，β）∈HH*.然而Xγα={a}≠=Xγβ，因此由引理5知（γα，γβ）H*，這說(shuō)明H和H*兩者都不左相容.

（4）（5）.由H*=L*∩R*且R*總是左相容關(guān)系知此時(shí)H*左相容.

（3）（4）和（3）（1）.顯然.? 】

命題2? 對(duì)半群TE（X），下列結(jié)論等價(jià)：

（1）R右相容；

（2）H右相容；

（3）X≤2；

（4）R*右相容；

（5）H*右相容.

證明? （1）（2）.由H=L∩R且L總是右相容關(guān)系知，此時(shí)H右相容.

（2）（3）和（5）（3）.假設(shè)（3）不成立，則X≥3.若E=εX或E=ωX，則據(jù)引理4可知TE（X）=T（X）.取a，b，c∈X并定義α，β，γ∈T（X）如下：

xα=b， x=a，c， x=b，a， x=c，x， x≠a，b，c;

xβ=a， x=a，c， x=bb， x=c，x， x≠a，b，c;

xγ=c， x=b，a， x≠b.

則Xα=Xβ，Kerα=Kerβ.由引理1知，在T（X）中（α，β）∈HH*.然而

xαγ=c， x=a，a， x≠a;

xβγ=c， x=c，a， x≠c.

注意到

（b，c）∈Ker（αγ）， （b，c）Ker（βγ），

所以Kerαγ≠Kerβγ.由引理1知在T（X）中有（αγ，βγ）H.由于T（X）正則，故H=H*.這說(shuō)明H和H*都不右相容.

若E≠εX且E≠ωX，則存在兩個(gè)不同的E-類A，B使得A≥2.取a1，a2∈A，b∈B，定義α，β，γ∈T（X）如下：

xα=a2， x=a1，a1， x∈A＼{a1}，b， xA;

xβ=a1， x=a1，a2， x∈A＼{a1}，b， xA;

xγ=x， x∈A，a2， xA.

則α，β，γ∈TE（X）.易證

Xα=Xβ， Kerα=Kerβ，

E（α）={A，X＼A}=E（β），

且對(duì)任意C∈X/E，有CαCβ，CβCα.由引理2知（α，β）∈HH* ，然而

a2αγ=a1γ=a1≠a2=bγ=bαγ，

a2βγ=a2γ=a2=bγ=bβγ，

這表明Kerαγ≠Kerβγ.由引理5知（αγ，βγ）H*.這說(shuō)明H和H*不右相容.

（4）（5）.由H*=L*∩R*且L*總是右相容關(guān)系知此時(shí)H*右相容.

（3）（4）和（3）（1）.若X=1，則結(jié)論成立.下設(shè)X=2，此時(shí)有E=εX或E=ωX，因此TE（X）=T（X）.由T（X）正則知R=R*.設(shè)X={a，b}，并記

α=abaa， β=abbb，

γ=abab， δ=abba，

則Kerα=Kerβ，Kerγ=Kerδ.由引理1知T（X）的R-類有{α，β}和{γ，δ}.由事實(shí)

αα=α， βα=α， αβ=β， ββ=β，

αγ=α， βγ=β， αδ=β， βδ=α，

γα=α， δα=α， γβ=β， δβ=β，

γγ=γ， δγ=δ， γδ=δ， δδ=γ

可知R和R*都相容.? 】

命題3? 在TX（X）中，L=L*當(dāng)且僅當(dāng)E=εX或E=ωX.

證明? 若L=L*，則由引理6（1）知，每個(gè)L*-類都包含冪等元，從而每個(gè)L-類都包含冪等元，故TE（X）正則.由引理4知E=εX或E=ωX.反之，若E=εX或E=ωX，則由引理4知TE（X）正則，從而L=L*.? 】

命題4? 在TE（X）中，R=R*當(dāng)且僅當(dāng)E=εX或E=ωX.

證明? 若E=εX或E=ωX，則由引理4知TE（X）正則，從而R=R*.反之，若R=R*，E≠εX且E≠ωX，則存在兩個(gè)不同的E-類A，B，使得A≥2.取a1，a2∈A，b∈B，定義α，β∈T（X）如下：

xα=a1， x∈A，b， x∈X＼A;

xβ=a2， x∈A，a1， x∈X＼A.

易證α，β∈TE（X）且Kerα=Kerβ，由引理5（2）知（α，β）∈R*.但由

E（α）={A，X＼A}和E（β）={X）知E（α）≠E（β）.由引理2得（α，β）R.這是一個(gè)矛盾.? 】

命題5? 在TE（X）中，H=H*當(dāng)且僅當(dāng)下列條件之一成立：

（1）E=εX；

（2）E=ωX；

（3）X恰含有2個(gè)E-類且每個(gè)E-類中至多含有兩個(gè)元素.

證明? 先證必要性.設(shè)H=H*，若條件（1）～（3）不成立，則有以下兩種情況：

（i）X/E=2且存在某個(gè)E-類A使得A≥3.設(shè)X/E={A，B}并取a1，a2，a3∈A，b∈B，定義α，β∈T（X）如下：

xα=a2， x=a1，a3， x∈A＼{a1}，a1， x∈B;

xβ=a3， x=a1，a1， x∈A＼{a1}，a2， x∈B.

則α，β∈TE（X）且Xα=Xβ，Kerα=Kerβ.由引理5（3）知（α，β）∈H*.又因?yàn)?/p>

Aα={a2，a3}， Aβ={a3，a1}， Bβ={a2}，

故不存在C∈X/E使得AαCβ.從而由引理2知（α，β）H.這說(shuō)明H≠H*.矛盾.

（ii）X/E≥3且存在某個(gè)E-類A，使得A≥2.取B，C∈X/E，a1，a2∈A，b∈B，c∈C，定義α，β∈T（X）如下：

xα=a1， x∈A，a2， x∈B，b， x∈X＼（A∪B）;

xβ=b， x∈A，a1， x∈B，a2， x∈X＼（A∪B）.

則α，β∈TE（X）且Xα=Xβ，Kerα=Kerβ.由引理5知（α，β）∈H*.但

E（α）={A∪B，X＼（A∪B）}≠

{A，X＼A}=E（β）.

由引理2知（α，β）H.矛盾.

再證充分性.若條件（1）或（2）成立，則由引理4知TE（X）正則，從而H=H*.若條件（3）成立，則可設(shè)X/E={A，B}，其中A，B≤2.由于HH*，故只需證明H*H.任取α，β∈TE（X）.設(shè)（α，β）∈H*，則由引理5知Xα=Xβ，Kerα=Kerβ.由于X/E={A，B}，故E（α）={X}或E（α）={A，B）.

（i）E（α）={X}.此時(shí)，存在C∈X/E使得Cα-1=X.故Xβ=XαC，于是X=Cβ-1，從而E（β）={X}=E（α）.設(shè)D∈X/E.若Dα=1，不妨記Dα={u}，則u∈Xα=Xβ，從而存在x∈X使得xβ=u.設(shè)x∈M，M∈X/E，則Dα={u}Mβ.若Dα=2，則由D≤2知D=2.記D={a1，a2}和a1α=u1，a2α=u2，其中u1≠u2.又Kerα=Kerβ，故a1β≠a2β.注意到

Dβ={a1β，a2β}Xβ=Xα

CXαDα={u1，u2}

及C至多有兩個(gè)元素這一事實(shí)可知Dα=Dβ.

（ii）E{α）={A，B}.設(shè)

A=Pα-1，B=Qα-1，P，Q∈X/E，P≠Q(mào)，

則AαP，BαQ.由

Aα∪Bα=Xα=Xβ=Aβ∪Bβ

知AβP，BβQ或AβQ，BβP.

這表明E（β）={P，Q}={A，B}=E（α）.

由Aα=Xα∩P=Xβ∩P=（Aβ∪Bβ）∩P

知，Aα等于Aβ或Bβ.類似可知Bα也等于Aβ或Bβ.

上述討論證明了Xα=Xβ，Kerα=Kerβ，E（α）=E（β），且對(duì)任意U∈X/E，都有V∈X/E使得UαVβ.對(duì)偶可證，對(duì)任意U∈X/E，都有V∈X/E使得UβVα.由引理2知（α，β）∈H.這就證明了H=H*.? 】

稱半群S左正則（右正則， 完全正則），若對(duì)任意a∈S，有aLa2（aRa2，aHa2）.

由文獻(xiàn)［9］定理4.4.3可得下列結(jié)果：設(shè)S是正則半群，則S左正則當(dāng)且僅當(dāng)S右正則當(dāng)且僅當(dāng)S完全正則.

命題6? 對(duì)半群TE（X），下列結(jié)論等價(jià)：

（1）TE（X）左正則；

（2）TE（X）右正則；

（3）TE（X）完全正則；

（4）X≤2.

證明? （1）（4）， （2）（4）， （3）（4）.設(shè)X≥3.若E=εX或E=ωX，則由引理4可知TE（X）=T（X）.取a，b，c∈X并定義α∈T（X）如下：

xα=b， x=a，c， x≠a，

則Xα={b，c}，但是Xα2={c}，于是Xα≠Xα2.由引理1知（α，α2）L，故TE（X）不是左正則.又因?yàn)椋╝，b）Kerα，而（a，b）∈Kerα2，這表明Kerα≠Kerα2.由引理1知（α，α2）R且（α，α2）H.這說(shuō)明TE（X）既不右正則也不完全正則.

設(shè)E≠εX且E≠ωX.此時(shí)存在兩個(gè)不同的E-類A，B使得A≥2.取a1，a2∈A，b∈B，并定義α∈T（X）如下：

xα=a1， x∈A，a2， xA，

則α∈TE（X）且Xα={a1，a2}，但是Xα2={a1}，于是Xα≠Xα2.由引理2知（α，α2）L，這說(shuō)明TE（X）不是左正則.又因?yàn)椋╝2，b）Kerα，而（a2，b）∈Kerα2，這表明Kerα≠Kerα2.由引理2知（α，α2）R且（α，α2）H.故TE（X）既不右正則也不完全正則.

（4）（1），（2）和（3）.若X=1，則（1）～（3）顯然成立.若X=2，則E=εX或E=ωX.由引理4知TE（X）=T（X）.設(shè)X={a，b}且α∈TE（X）.設(shè)Xα≠Xα2，則由Xα2XαX={a，b}知Xα2=1且Xα={a，b}.于是存在x，y∈X使得xα=a，yα=b，從而Xα2={a，b}，矛盾.這說(shuō)明Xα=Xα2.故由引理1知（α，α2）∈L，即TE（X）左正則.據(jù)事實(shí)T（X）正則知TE（X）右正則且完全正則.? 】

最后給出TE（X）中冪等元、正則元和富足元形成子半群的充分必要條件.

命題7? TE（X）中冪等元形成子半群當(dāng)且僅當(dāng)X≤2.

證明? 若X=1，則TE（X）中冪等元顯然形成子半群.若X=2，則E=εX或E=ωX，由引理4知TE（X）=T（X）.設(shè)X={a，b}并記

α=abaa，

β=abbb，

γ=abab，

δ=abba，

則T（X）={α，β，γ，δ}且其冪等元集為E（T（X））={α，β，γ}.易證E（T（X））形成子半群.

設(shè)X≥3.若E=εX或E=ωX，則由引理4知TE（X）=T（X）.取a，b，c∈X并定義e，f∈T（X）如下：

xe=a， x=a，b， x≠a;

xf=b， x=b，c， x≠b.

則e2=e，f2=f.由a（ef）2=cef=b≠c=aef知ef≠（ef）2.若E≠εX且E≠ωX，則存在兩個(gè)不同的E-類A，B使得A≥2.取a1，a2∈A，b∈B，定義e，f∈T（X）如下：

xe=a2， x∈A，b， xA;

xf=a2， x=a2，a1， x∈X＼{a2}.

則e，f∈TE（X）且e2=e，f2=f.于是由b（ef）2=a1ef=a2≠a1=bef知ef≠（ef）2.? 】

命題8? TE（X）的正則元形成子半群當(dāng)且僅當(dāng)E=εX或E=ωX.

證明? 若E=εX或E=ωX，則由引理4知，TE（X）中所有元素均正則.此時(shí)，TE（X）的正則元集顯然形成子半群.若E≠εX且E≠ωX，則存在兩個(gè)不同的E-類A，B使得A≥2.取a1，a2∈A，b∈B，并定義α，β∈T（X）如下：

xα=a1， x∈A，x， x∈X＼A;

xβ=a1， x=a1，a2， x∈（A＼{a1}）∪B，x， x∈X＼（A∪B）.

則α，β∈TE（X）且

xαβ=a1， x∈A，a2， x∈B，x， x∈X＼（A∪B）.

注意到A∩Xα={a1}=Aα，A∩Xβ={a1，a2}=Aβ，則由引理3知α，β正則.因?yàn)锳∩Xαβ={a1，a2}，故對(duì)任意C∈X/E，A∩Xαβ不包含在Cαβ中.再由引理3知αβ不是正則元.? 】

命題9? TE（X）的富足元集形成子半群當(dāng)且僅當(dāng)每個(gè)E-類至多含2個(gè)元素或至多有一個(gè)非單點(diǎn)集E-類.

證明? 若所給條件成立，則由引理6（3）知，TE（X）中每一個(gè)元素均富足，此時(shí)TE（X）中的富足元當(dāng)然形成子半群.若所給條件均不成立，則存在兩個(gè)E-類A，B使得A≥3，B≥2.取a1，a2，a3∈A，b1，b2∈B，并定義α，β∈T（X）如下：

xα=a1， x=a1，a2， x∈A＼{a1}，x， x∈X＼A;

xβ=a2， x=b1，a3， x∈B＼{b1}，x， x∈X＼B.

容易看出α，β∈TE（X）且α2=α，β2=β.于是α，β都正則，從而α，β都是富足元.然而，由于

xαβ=a1， x=a1，a2， x∈（A＼{a1}）∪{b1}，a3， x∈B＼{b1}，x， x∈X＼（A∪B），

故αβ∈TE（X）且所有Eαβ-類是C和F=A∪B，其中C∈（X/E）＼{A，B}.另外，F(xiàn)恰含3個(gè)Kerα-類：K1={a1}，K2=（A＼{a1}）∪{b1}，K3=B＼{b1}.容易驗(yàn)證，對(duì)任意的D∈X/E，都存在某個(gè)Ki，使得D∩Ki=.由引理6（2）知αβ不是富足元.這說(shuō)明TE（X）的富足元集不能形成子半群.? 】

參考文獻(xiàn)：

［1］? PEI Hui-sheng.Equivalences，α-semigroups and α-congruences［J］.Semigroup Forum，1994，49（1）：49.

［2］? PEI Hui-sheng.Regularity and Greens relations for semigroups of transformations that preserve an equivalence［J］.Commun Algebra，2005，33（1）：109.

［3］? PEI Hui-sheng，DENG Wei-na.A note on Greens relations in the semigroups［J］.Semigroup Forum，2009，79（1）：210.

［4］? PEI Hui-sheng，ZHOU Hui-juan.Abundant semigroups of transformations preserving an equivalence relation［J］.Algebra Colloq，2011，18（1）：77.

［5］? SARKAR M，SINGH S N.On unit-regular elements in various monoids of transformations［J］.2021，arXiv：2102.10282v2.

［6］? SARKAR M，SINGH S N.Regular，unit-regular and idempotent elements of semigroups of transformations that preserve a partition［J］.Semigroup Forum，2022，104（1）：148.

［7］? SUN Lei.Compatibility on naturally ordered transformation semigroups preserving an equivalence［J］.Semigroup Forum，2019，98（1）：75.

［8］? SUN Lei，PEI Hui-sheng，CHENG Zheng-xing.Naturally ordered transformation semigroups preserving an equivalence［J］.Bull Aust Math Soc，2008，78（1）：117.

［9］? CLIFFORD A H，PRESTON G B.The Algebraic Theory of Semigroups.Volume I［M］.Mathematical Surveys and Monographs，vol 7.Providence RI：American Mathematical Society，1961.

（責(zé)任編輯? 馬宇鴻）