半群PO（X，Y，θ）的格林關(guān)系及正則元

羅永貴，瞿云云

（貴州師范大學(xué)數(shù)學(xué)與計算機(jī)科學(xué)學(xué)院，貴州貴陽550001）

半群PO（X，Y，θ）的格林關(guān)系及正則元

羅永貴，瞿云云

（貴州師范大學(xué)數(shù)學(xué)與計算機(jī)科學(xué)學(xué)院，貴州貴陽550001）

摘要：設(shè)X和Y是有限非空集合，PO（X，Y）表示從X到Y(jié)的所有部分保序映射構(gòu)成的集合.取定θ∈PO（Y，X），在PO（X，Y）上定義運(yùn)算?，如：α?β＝αθβ，則（PO（X，Y），?）是一個半群，稱為有限部分保序夾心半群，記為PO（X，Y，θ）.半群PO（X，Y，θ）的格林關(guān)系及其正則元被刻劃了.

關(guān)鍵詞：保序；夾心半群；部分映射；格林關(guān)系；正則元

設(shè)S是一個半群，a，b∈S，如果a和b所生成的主左理想相等，即S1a＝S1b，則稱a和b在一個L等價關(guān)系中，記為aLb.如果a和b所生成的主右理想相等，即aS1＝bS1，則稱a和b在一個R等價關(guān)系中，記為aRb.如果a和b所生成的主理想相等，即S1aS1＝S1bS1，則稱a和b在一個J等價關(guān)系中，記為aJb.令H＝L∩R，D＝L∨R，則H和D也是半群S上的等價關(guān)系.這5個關(guān)系統(tǒng)稱為半群S上的格林關(guān)系，它們對半群的代數(shù)結(jié)構(gòu)起著非常重要的作用.在半群代數(shù)理論中［14］，有限半群上都有D＝L?R＝R?L和D＝J.對于格林關(guān)系及其正則元的研究目前已有許多結(jié)果［1-13］.

設(shè)S是一個半群，a∈S.如果存在b∈S使得aba＝a，稱a是正則元.如果a2＝a，稱a是冪等元.顯然，冪等元是正則元.

設(shè)X和Y是同型的非空全序集，P（X，Y）表示從X到Y(jié)的所有部分映射構(gòu)成的集合.若α∈P（X，Y）且對任意的x1，x2∈X，x1＜x2有x1α＜x2α，則稱α是一個從X到Y(jié)的部分保序映射.用PO（X，Y）表示從X到Y(jié)的所有部分保序映射構(gòu)成的集合.取定θ∈PO（Y，X），在PO（X，Y）上定義運(yùn)算?如下：α?β＝αθβ，則（PO（X，Y），?）是一個半群，稱為部分保序夾心半群，記為PO（X，Y，θ）.特別地φ∈PO（X，Y，θ）.在不引起混淆的情況下，可以把α?β，記為αβ.當(dāng)X，Y是有限集且｜X｜≥1，｜y｜≥1時，稱PO（X，Y，θ）為有限部分保序夾心半群.用εX表示X上的恒等變換，顯然PO（X，X，εX）＝POX.設(shè)A，B是同型的非空全序集，記

如果?x∈A?x＜min B，?y∈B?y＞max A，則稱A＜B.因此，對任意的把α的上述形式稱為α的標(biāo)準(zhǔn)表示.

對于半群S上的格林關(guān)系“L”，“R”，“H”，“D”，“J”而言.S中的任意一個元素a與它本身總有這5個等價關(guān)系，即aLa，aRa，aHa，aDa，aJa是恒成立的.因此，在本文的討論中要求X和Y是有限集且｜X｜≥2，｜Y｜≥2，｜imθ｜≥2.當(dāng)討論半群PO（X，Y，θ）中2個元素α，β是否具有這5個等價關(guān)系時，總是假設(shè)α≠β.用符號R（PO（X，Y，θ））表示PO（X，Y，θ）的所有正則元構(gòu)成的集合，用符號E（PO（X，Y，θ））表示PO（X，Y，θ）的所有冪等元構(gòu)成的集合.特別地φ∈E（PO（X，Y，θ））?R（PO（X，Y，θ））.用Lα，Rα，Hα，Dα，Jα分別表示α所在的L-類，R-類，H-類，D-類，J-類.

1 有限部分保序夾心半群PO（X，Y，θ）的格林關(guān)系及其正則元

在這里討論有限部分保序夾心半群PO（X，Y，θ）的格林關(guān)系“L”，“R”，“H”，“D”，“J”的充要條件，同時給出了L非平凡和R非平凡的充要條件及其正則元和冪等元的等價條件.

定理1 設(shè)α，β∈PO（X，Y，θ），α≠β，則αLβ?imα＝imθα＝imθβ＝imβ.

證明 必要性：若αLβ??ξ，η∈PO（X，Y，θ）?α＝ξ?β＝ξθβ，β＝η?α＝ηθα?imα?imθβ?imβ，imβ?imθα?imα?imα＝imθα＝imθβ＝imβ.

充分性：若imα＝imθα＝imθβ＝imβ，不妨設(shè)

令

其中，bi∈ai(θα)-1，ci∈ai(θβ)-1，i＝1，2，…，r.

易見，ξ，η∈PO（X，Y，θ）且ξθα＝ξ?α＝β，ξθβ＝ξ?β＝α，即αLβ.

定理2 設(shè)α，β∈PO（X，Y，θ），α≠β，則αRβ?kerα＝kerαθ＝kerβθ＝kerβ.

證明 必要性：若αRβ??ξ，η∈PO（X，Y，θ）?α＝β?ξ＝βθξ，β＝α?η＝αθη.由（x，y）∈kerα?xα＝y(tǒng)α?xαθ＝y(tǒng)αθ?xαθξ＝y(tǒng)αθξ（即xβ＝y(tǒng)β），即kerα?kerαθ?kerβ.再由（x，y）∈kerβ?xβ＝y(tǒng)β?xβθ＝y(tǒng)βθ?xαθη＝y(tǒng)αθη（即xα＝y(tǒng)α），即kerβ?kerβθ?kerα.因此kerα＝kerαθ＝kerβθ＝kerβ.

充分性：若kerα＝kerαθ＝kerβθ＝kerβ，不妨設(shè)

則

令

易見，ξ，η∈PO（X，Y，θ）且βθξ＝β?ξ＝α，αθη＝α?η＝β，即αRβ.

定理3 設(shè)α，β∈P（X，Y，θ），則αHβ?α＝β.

證明 由定理1，定理2，H＝L∩R及其α，β的標(biāo)準(zhǔn)表示可知該定理成立.

定理4 設(shè)α∈PO（X，Y，θ）＼{}φ，則

1）｜Lα｜≥2?imα＝imθα；2）｜Rα｜≥2?θ｜imα是單射；

證明 1）必要性：若｜Lα｜≥2??β∈PO（X，Y，θ），α≠β?αLβ.由定理1可知imα＝imθα＝imθβ＝imβ，即imα＝imθα.

充分性：若imα＝imθα?xí)r，

易見，α≠β且imα＝imθα＝imθβ＝imβ.再由定理1可知αLβ，即｜Lα｜≥2.

如果存在某個｜Ai｜≥2(1≤i≤r)，不失一般性，可設(shè)｜A1｜≥2，令

如果｜Ai｜＝1(i＝1，2，…，r)，不失一般性，可設(shè)x∈X且max A1＜x＜min A2，令

易見，α≠β.再由定理1可知αLβ，即｜Lα｜≥2.

2）必要性：若｜Rα｜≥2??β∈PO（X，Y，θ），α≠β?αRβ.由定理2可知kerα＝kerαθ＝kerβθ＝ker β，即kerα＝kerαθ，顯然有θ｜imα是單射.

充分性：若θ｜imα是單射時，

易見，α≠β且kerα＝kerαθ＝kerβθ＝kerβ.再由定理2可知αRβ，即｜Rα｜≥2.

定理5 設(shè)α∈PO（X，Y，θ）＼{}φ，則α∈R（P（X，Y，θ））?imα＝imθα，θ｜imα是單射?｜Lα｜≥2且｜Rα｜≥2.

證明 若α∈R（PO（X，Y，θ））??β∈PO（X，Y，θ）?α＝α?β?α＝αθβθα?imα?imθα，注意到imθαimα.于是imα＝imθα.?aα，bα∈imα，若 ( aα)θ＝ (bα)θ，則aα＝aαθβθα＝ ( aαθ)βθα＝(bα θ)βθα＝bαθβθα＝bα，即θ｜imα是單射.

令

易見，β∈PO（X，Y，θ）且αθβθα＝α?β?α＝α，即α∈R（PO（X，Y，θ））.再由定理4可知imα＝imθα，θ｜imα是單射?｜Lα｜≥2且｜Rα｜≥2.

定理6 設(shè)α∈PO（X，Y，θ）＼{}φ，則

α∈E（PO（X，Y，θ））?θα｜imα＝εimα??z∈imα?zθ∈zα-1.

證明 若α∈E（PO（X，Y，θ））?α?α＝αθα＝α，?b＝aα∈imα?bθα＝aαθα＝aα＝b?θα｜imα＝εimα.

反之，若θα｜imα＝εimα?α＝αθα＝α?α，從而α∈E（PO（X，Y，θ））.進(jìn)一步可以驗(yàn)證α∈E（PO（X，Y，θ））??z∈imα?zθ∈zα-1.

定理7 設(shè)α，β∈PO（X，Y，θ），α≠β，則αDβ當(dāng)且僅當(dāng)下列條件之一成立：

當(dāng)ξ＝α，ξ≠β時，有αRβ.由定理2可知kerα＝kerαθ＝kerβθ＝kerβ.若imα＝imθα?xí)r，結(jié)論1）成立.若imα?imθα?xí)r，結(jié)論2）成立.

當(dāng)ξ≠α，ξ＝β時，有αLβ.由定理1可知imα＝imθα＝imθβ＝imβ.

若kerα＝kerαθ時，結(jié)論1）成立.

充分性：2），3）的結(jié)論是平凡的.若α，β∈PO（X，Y，θ）且滿足（1）的條件，不妨設(shè)

imα＝imθα＝imθβ＝imβ，kerα＝kerαθ＝kerβθ＝kerβ且ξ≠α，ξ≠β，

再由定理1，2可知αLξRβ，即αDβ.

引理1［7］在周期半群上D＝J.特別地，有限半群是周期半群，在任意有限半群上都有D＝J.

命題1 有限部分保序夾心半群PO（X，Y，θ）上有D＝J.

證明 由X，Y的有限性可知PO（X，Y，θ）是有限的，再由引理1可知在半群PO（X，Y，θ）上有D＝J.

2 半群RPO（X，Y，θ）的格林關(guān)系

這里主要討論有限部分保序夾心半群PO（X，Y，θ）的所有正則元R（PO（X，Y，θ））構(gòu)成了PO（X，Y，θ）的子半群.進(jìn)而對其格林關(guān)系進(jìn)行了研究.

定理8 R（PO（X，Y，θ））作成PO（X，Y，θ）的正則子半群.記為RPO（X，Y，θ）.

定理9 設(shè)α，β∈RPO（X，Y，θ），α≠β，則αLβ?imα＝imβ.

證明 必要性：由定理1.1的必要性的證明及其定理5可知必要性的證明是平凡.

充分性：若α，β∈RPO（X，Y，θ），α≠β且imα＝imβ.由定理5可知imα＝imθα＝imθβ＝imβ.進(jìn)一步可以證明定理1的充分性證明中構(gòu)造的ξ，η滿足：ξ，η∈RPO（X，Y，θ），αLβ.

定理10 設(shè)α，β∈RPO（X，Y，θ），α≠β，則αRβ?kerα＝kerβ.

證明 必要性：由定理2的必要性的證明及其定理5可知必要性的證明是平凡.

充分性：若α，β∈RPO（X，Y，θ），α≠β且kerα＝kerβ.由定理5可知

kerα＝kerαθ＝kerβθ＝kerβ.進(jìn)一步可以證明定理2的充分性證明中構(gòu)造的ξ，η滿足：ξ，η∈RPO（X，Y，θ），即αRβ.

定理11 設(shè)α，β∈RPO（X，Y，θ），則αHβ?α＝β.

證明 由定理9，10及其H＝L∩R和α的記法可知該定理成立.

證明 必要性：由定理1.7的必要性的證明及其定理5可知必要性的證明是平凡.

命題2 在半群RPO（X，Y，θ）上有D＝J.

證明 由X，Y的有限性可知PO（X，Y，θ）是有限的，再由定理8可知RPO（X，Y，θ）是PO（X，Y，θ）的子半群，于是RPO（X，Y，θ）是有限的，注意到引理1可知，在半群RPO（X，Y，θ）上有D＝J.

參考文獻(xiàn)：

［1］梁國喜，羅永貴，游泰杰.有限部分夾心半群P（X，Y，θ）的格林關(guān)系及其正則元［J］.貴州師范大學(xué)學(xué)報：教育科學(xué)版，2011，52（6）：3-5.

［2］裴惠生，崔紅村，金勇.夾心半群T（X，Y；θ）上的最小真同余［J］.數(shù)學(xué)進(jìn)展，2004，33（3）：284-290.

［3］裴惠生，崔紅村，金勇.夾心半群P（X，Y，θ）上α-同余［J］.數(shù)學(xué)學(xué)報，2004，47（2）：371-384.

［4］裴惠生，孫壘，崔紅村，等.TE（X）的變種半群TE（X，θ）的若干性［J］.信陽師范學(xué)院學(xué)報，2004，17（2）：129-133.

［5］GREEN JA.On the structure of semigroups［J］.Ann.Math，1951，54：136-172.

［6］MAGILL JR K D，SUBBIAH S.Green′s relations for regular elments of sandwich semigroups，（I）general results［J］.Proc London Math Soc，1975，30（3）：194-210.

［7］MAGILL JR K D，SUBBIAH S.Green′s relations for regular elments of sandwich semigroups，（Ⅱ）semigroups of continuous function［J］.Austral Math Soc，1978，25（A）：45-65.

［8］MAGILL JR K D，MISRA PR.Homomorp hisims of sandwich semigroups and sandwich near rings［J］.Semigroup Forum，1993，47：168-181.

［9］MAGILL JR K D，MISRA PR，TEWARIU B.Symons′congruence on sandwich semigroups［J］.Czech Math J，1983，108（33）：221-236.

［10］PEI Hui-sheng.α-congruences on variants of S（X），（I）general results［J］.Joumal of Xinyang Teachers College，1996，9（2）：109-115.

［11］PEI Hui-sheng.α-congruences on variants of S（X），（Ⅱ）α-congruences［J］.Joumal of Xingyang Teachers College，1996，9（3）：217-225.

［12］PEI Hui-sheng，SUN Lei.Green′s relations for the variants of transformtion semigroups preserving an equivalence relation［J］.Communications in.Algebra，2007，35（6）：1971-1986.

［13］SCHEIN B M.Research problems［J］.Semingroup Forum，1970，1：91-92.

［14］HOWIE JM.Fundamentals of semigroup theory［M］.Oxford：Oxford univerify press，1995.

［15］王守峰.半群成群的幾個充要條件［J］.云南師范大學(xué)學(xué)報：自然科學(xué)版，2012，32（6）：39-41.

（責(zé)任編輯 梁志茂）

中圖分類號：O152.7

文獻(xiàn)標(biāo)志碼：A

文章編號：1672-8513（2014）06-0434-05

收稿日期：2014-04-16.

基金項(xiàng)目：貴州省科學(xué)技術(shù)基金（黔LKS（2011）15；LKS（2012）2273）.

作者簡介：羅永貴（1985-），男，碩士，講師.主要研究方向：半群代數(shù)理論.

Green′s relations and regularity for the semigroup PO（X，Y，θ）

LUO Yong-gui，QU Yun-yun
（Department of Mathematics and Computer Science，Guizhou Normal University，Guiyang 550001，China）

Abstract：Let X and Y be nonempty finite set.Let PO（X，Y）be all partial order-preserving mapping from X into Y and letθ∈PO（Y，X）.The operation?is defined byα?β＝αθβ，for allα，β∈PO（X，Y）.Then（PO（X，Y），?）is a semigroup and call order-preserving sandwich semigroups of all finite partial mapping from X into Y and so denote PO（X，Y，θ）.The Green′s relations and regularity for the semigroup PO（X，Y，θ）are characterized.

Keywords：order-preserving；sandwich semigroups；partial mapping；Green′s relations；regular element