摘要：設(shè) Sn，Tn，Pn 和 Pn ＼Tn 分別是Xn={1，2，...，n}上的對(duì)稱群、全變換半群、部分變換半群和嚴(yán)格部分變換半群.對(duì)0≤ r ≤ n，令 SP （n， r）=Sp r）={α P T α） r ，則sp（n r）是部分變換半群 Pn 的雙邊理想.對(duì)0≤ r ≤ n-1，考慮半群的極大子半群 PS（n，r）=P（n，r）∪Sn .進(jìn)一步，獲得了半群 PS（n，r）的極大子半群和極大正則子半群是一致的.

關(guān)鍵詞：部分變換半群；正則半群；理想；極大子半群；極大正則子半群

中圖分類號(hào)：O152.7"" 文獻(xiàn)標(biāo)識(shí)碼：A"" 文章編號(hào)：1009-3583（2024）-0078-03

The Maximal Subsemigroups of Semigroup PS（n，r）

YANG Ping-ping， ZHANG Liang-song， LUOs Yong-gui*

（School of Mathematics Science， Guizhou Normal University， Guiyang 550025， China）

Abstract： Let Sn，Tn，Pn and Pn ＼Tn be symmetric group， full transformation semigroup， partial transformation semigroup and the strictly par- tial trans formation semigroup on Xn={1，2，...，n} respectively. For 0≤ r ≤ n， put Sp n r）=α P T α） r} ， Sp（n r are the two- sided ideals of Pn . For 0≤ r n-1， the maximal （regular） subsemigroups of the semigroup PS（n，r）=P（n，r）∪Sn has been considered in this paper. In addition， this paper proved that the maximal subsemigroups and the maximal regular subsemigroups of are consistent.

keywords： partial transformation semigroup; regular semigroup; ideal; the maximal subsemigroup; the maximal regular subsemigroup

設(shè) S 是半群 A 是 S 的非空子集且a， e e S.若 e2= e 則稱 e 為半群 S 的冪等元，半群 S 中所有冪等元之集記為 E（S）.類似 A 中所有的冪等元之集記為 E（A）若存在 b∈S 使得 a=aba 則稱 a 是半群 S 的正則元， A 中所有正則元之集記為 Reg（S）.如果 Reg（S）=S 則稱半 S 是正則半群， 若存在 b∈S 使得 a=aba， b=bab， 則稱 b 是a 的逆元，a 的所有元之集記為V（A）.易見(jiàn)， 冪等元是正則元但正則元不是冪等元.設(shè)A PS（n，r）是（正則）半群 PS（n，r）的（正則）子半群，若 A 滿足：對(duì) a ∈ PS（n，r）＼A 意有〈A∪{a}〉=PS（n，r）則稱A 是半群 PS（n，r）的極大子半群.

設(shè)自然數(shù)n ≥2，xn ={1，2，3， ， n -1，并賦予自然數(shù)的大小序，Sn，Tn 和 Pn 分別是xn ={1.2，，3， ， n -1， n}上的對(duì)稱群，全變換半群和部分變換半群.對(duì)0≤ r ≤ n，令sp n ）= pn Tn im（α） r ，易見(jiàn)SP（n.r）是部分變換半群Pn 的子半群且對(duì)任意的α esp（n，r），B， Y ∈ pn都有 im（Bay） r ，即∈ Sp（n r），因而 SP（n，r）是部分變換半群Pn 的雙邊理想.記 SPn=Pn ＼Sn，稱SPn 為Xn 上的奇異部分變換半群.顯然SPn=P（n，n-1）.對(duì)0≤ r n-1，令 PS（n，r）=P（n，r）∪Sn，易證 PS（n，r）是部分變換半群Pn 的子半群.文獻(xiàn)[1]獲得了部分變換半群的理想 PK（n，r）的極大正則子半群；文獻(xiàn)[2]中考慮嚴(yán)格部分變換半群，證明了半群v n r ={α ep T\" m（α r n ≥4，2 r n -2）群是冪等元生成的且秩和冪等元秩都等于（r ＋1）s（n， r＋1）；文獻(xiàn)[3]得到了奇異部分變換半群 SPn 的生成元集及其秩和冪等元秩都為s（n＋1， r＋1）；文獻(xiàn)[4]得到了正則保序壓縮變換半群RWn 的雙邊理想 W（n，r）的極大子半群和極大正則子半群；文獻(xiàn)[5]獲得了有限弱Y-穩(wěn)定變換半群的極大子半群；文獻(xiàn)[6]得到了半群PCSn 的極大子半群的分類；文獻(xiàn)[7]獲得了半群H ＊（n，m）（r）的極大子半群和極大正則子半群；文獻(xiàn)[8]獲得了變換半群 SPCn 極大子半群的分類；文獻(xiàn)[9]得到了變換半群 POPEIn 的極大子半群與極大冪等元生成的極大子半群的完全分類；文獻(xiàn)[10]確定了有限域上固定的子空間 W 是場(chǎng)上的向量空間的有限維子空間的情形下半群F（ V， W）的所有的極大子半群.任意取n，r∈N 且 r ≤ n，設(shè) a ∈Jr，則 a 有如下標(biāo)準(zhǔn)形式：

其中，a1＜a2＜…＜ar .顯然存在 S （Sr 表示{1，2，...， r}上的對(duì)稱群），使得 A1 ≥ A2 ≥ Ar gt;1.記part（α）=（ A A2… A ），稱part（α）為 a 的劃分.注意，記是Xn 上的恒等變換.在 Jr 上引入關(guān)系～：α～即存在 ∈Sn，使得 a= .易驗(yàn)證～是 Jr 上的等價(jià)關(guān)系.本文未定義的術(shù)語(yǔ)及符號(hào)參見(jiàn)文獻(xiàn)[11， 12].

1主要結(jié)果及證明

在文[11， 12]的基礎(chǔ)上繼續(xù)考慮半群SP（n，r）的極大子半群和極大正則子半群，獲得如下主要結(jié)果.

定理1 設(shè)0≤ r ≤ n-2，則半群 SP（n，r）的極大子半群有且僅有以下兩類：

（i）ps（nr，）＼[α] α e Jr ；（ii）Sp n， r）u G，其中 G 是 Sn 的極大子群.

引理1[3]設(shè)0≤ r ≤ n-3，則Jr Jr＋ Jr+I .

引理2[3]設(shè)0≤ r ≤ n-2，則sp n， r）= E（J， ）.

注意到Jo ={}，由引理1及引理2可得如下推論.

推論1設(shè)0≤ r ≤ n-2，則ps（n，r）= Sp n r）usn

引理3設(shè)α ， β e Jr，則α～β當(dāng)且僅當(dāng)part（α）= part（β）.

引理4[11] 設(shè)a ， β P ，則 im（ap）{ im（a）

引理5 設(shè) I 是部分變換半群 SPn， r 的非空子集，則 I 是部分變換半群 SP（n，r）的理想當(dāng)且僅當(dāng)r E {0，1，2……n 使得I = Sp（n，r）.

證明：若存在r e {0，1，2……n}使得I = Sp（n， r）.對(duì)任意的α e I，對(duì)任意的β∈ spn ，由引理4可知 im（6ar）≤{ im β） ， im （a ） im （y）≤ im （a）≤r，即 eI=SP（n r），由此可見(jiàn)I=SP（n，r）是PS（n，r）的理想.

反之，設(shè) I 是部分變換半群 SP（n， r）的理想，記r =max{ im（α）：α I}，則In U Js ）= ，即

若 r=n，那么In sn ，則存在αeIns 使得α n =εx， e In sn.對(duì)任意α e Ps（n ，r），α=εX α∈ I且α=aexn ∈ I，則PS（n，r） g I .由 I 是部分變換半群PS（n，r）的非空子集PS（n，r） I 可知，易見(jiàn) I=PS（n，r）.

若r = n-1，則In s =且In J 1 .由InJ 1可知存在α eIJ 1. 對(duì)任意的β e Jn 1，由格林 J 關(guān)系的定義可知，存在∈ spn r ，使得= am.再由 I 是部分變換半群 SP n， r 的理想可知 ∈ I ，即Jn i g I且 Jn 1 I，則存在∈ J 1，不妨

若0≤ r ≤n-2，則I Jr ≠ ， 即存在α∈ InJr .對(duì)任意的β e Ja = Jr，由格林 J 關(guān)系的定義可知，存在 ∈ PS（n， r），使得β=α.由 I 是部分變換半群 PS（n，r）的理想可知β I，即Jα= Jr g I，由引理2可知SP（n r = U Js = E J ）. 綜上可知 I=SP（n，r）.

引理6設(shè) S 是正則半群，則I 是半群 S 的理想，則 I 是半群 S 的正則子半群.

命題1設(shè) 0≤ r ≤ n-1，則ps（n r）=sp（n r）usn 是部分變換半群 Pn 的正則子半群.類似引理5的證明可得如下命題.

命題2 設(shè) I 是半群 PS（n，r）的非空子集，則 I 是半群PS（n，r）的理想當(dāng)且僅當(dāng)存在s 0 1，2 r -1， r 使得 I=SP（n，s）或 I=PS（n，r）.

引理7 設(shè)0≤ r n-1，S 是 PS（n，r）的子半群，若 Sn S 且對(duì)任意的α e Jr，sn[α]，則S=PS（n，r）.

引理8設(shè)0≤ r ≤n-1，則N =ps（n， r）N[α]（α e J， ）是 P n， r 的極大子半群.

證明.第一步證明 N 是半群 PS（n，r）的子半群.

注意到Jr =αUJ α且PS（n r α= sn USP n r -） U Jr [α]），顯然存在Y Spn [α. 任意取 Sp r α]，若 [α ， 則 Jr且～a.于是存在a， μ e S ，使得= ∈ Jr .由 ∈ Jr 可得 ker（）=ker（），從而part（）=part ），顯然～a.由引理3可得，part（）=part（α）.于是pat ）= part（）=part ）=part（a），從而由引理3可得～a，與6eps（n r）＼[α]矛盾.因此，Ps（nr，）N[α]是 Pn， r 的子半群.

第二步證明 N 是半群 PS（n，r）的極大子半群.

假設(shè)N 是PS（n，r）的子半群且[PS（n r）α] T，則S， = T且Tn α ， 由引理7可得 S=PS（n，r）.因此，PS（n，r）＼[a]是 PS（n，r）的極大子半群.

引理9設(shè)0≤ r ≤ n-1且 G 是 Sn 群的極大子群，則M=SP（nr）UG是 PS（n，r）的極大子半群.

證明.第一步證明 M 是半群 SPn，r 的子半群.

對(duì)任意的α， β e M，若α， β e G，則aβeG；若α， β esp（n， r），則β e Sp（n r）；若αeG，β esp（n， r），則∈ Jβ Sp（n， r）；若α esp（n r），β e G，則$∈ Ja SP（n r），即 M 是 PS（n，r）的子半群.

第二步證明 M 是半群 PS（n，r）的極大子半群.

若存在半群PS （n， r）的子半群 T 使得M=SP（nr） UG T PS（n， r）.

如果T=M=SP（n r）UG，對(duì)任意的yeps（n， r） T，則Y ∈ sn G .由 G 是群 Sn 的極大子群可知 GU{Y = S ，易見(jiàn)，對(duì)任意的Y PS（n r） T有 TU{Y = PS（n，r），即M=SP（n， r）UG是半群 PS（n，r）的極大子半群.

若M=SP（n， r）UG g T PS（n， r），則Tn sn G） ， 一定存在r e Tn sn ＼G）.再由 G 是 Sn 群的極大子群可知 GU{}=S ，即S T.注意到 SP（n，r） T，可得 PS（n，r） T.結(jié)合 T PS（n，r）可知 T=Pn，r 矛盾.綜上可得，M=SP（n，r） T 是PS（n，r）∪G 的極大子半群.

定理1的證明. 由引理8可知N =PS（nr，） [α]（α e Jr 是 SPn， r 的極大子半群；再由引理9可知 M =SP（n r）UG是SPn，r 的極大子半群.反之，設(shè)S 是 SPn， r 的極大子半群，則sn n s （否則，S S = 必有S SP（n， r） PS（n， r）U X PS（nr，）.結(jié)合極大子半群的定義可知S 不是半群PS（n，r）的極大子半群與 S 是半群 PS （n， r）的極大子半群矛盾. 易見(jiàn) S， ns ）.（i）若S， g S，則由引理7及S 的極大性可得，存在α e Jr ，使得sn[α= ，于是S S U （SP（n，r）＼[α）= PS（n，r） [α]= N ，從而由 S 的極大性可得 S = N =ps（n r） [α].（ii）若sn ns c sn，令 G = sn n s，則 G 是 Sn 半群的子半群.假設(shè)存在 Sn 的子半群 G*，使得G C G＊.令S＊= SP（n， r）UG ，則 S*是 PS（n，r）的子半群且 SCS*，于是由 S 的極大性可得 S*=PS（n，r），從而 G*=Sn .因此，G 是群 Sn 的極大子半群.注意到S SP（n r）UG = M C PS（n r）. 再由引理9及 S 的極大性可得S = M =SP（n，r）UG.

參考文獻(xiàn)：

[1]You T J. Maximal regular subsemigroups of certain semig- roups of transformations [J]. Semigroup Forum，2002，64（3）：391-396.

[2]楊秀良.嚴(yán)格部分變換半群的冪等元秩[J].數(shù)學(xué)研究與評(píng)論， 2000（3）：441-446.

[3]Garba G U. Idempotents in partial transformation semig- roups [J].Proceedings of the Royal Society of Edinburgh， 1990， 116（3）：359-366.

[4]羅永貴.半群 W（n，r）的極大（正則）子半群[J].山東大學(xué)學(xué)報(bào)（理學(xué)版）， 2017，52（10）：7-11.

[5]金久林，騰文，祝富洋， 等.有限弱 Y-穩(wěn)定變換半群的極大子半群[J].山東大學(xué)學(xué)報(bào)（理學(xué)版）， 2020，55（10）：55-62.

[6]李亞雷，徐波，戴先勝.半群PCSn 的極大子半群[J].數(shù)學(xué)的實(shí)踐與認(rèn)識(shí)，2019，49（10）：303-307.

[7]袁月，趙平.半群H*（n，m）（r）的極大子半群與極大正則子半群[J].山東大學(xué)學(xué)報(bào)（理學(xué)版），2020，55（12）：19-24.

[8]田應(yīng)信.半群 SPCn 的極大子半群[J].科學(xué)技術(shù)創(chuàng)新，2021（8）：102-104.

[9] Li D B， Zhang W T， Luo Y F. On the monoid of all injective orientation-preserving and extensive partial transformations[J]. Communications in Algebra， 2022，50（1）：275-286.

[10]Sommanee W. Embedding Theorems and Maximal Subsem- igroups of Some Linear Transformation Semigroups with Re- stricted Range[J]. Ukrainian Mathematical Journal，2022，73（12）：1985-1996.

[11]HOWIE J M. Fundamentals of Semigroup Theory [M]. Ox- ford： Oxford University Press， 1995.

[12]GANYUSHKIN O， MAZORCHUKV. Classical Finite Tran sformation Semigroups [M]. London： Springer-Verlag， 2009.

（責(zé)任編輯：羅東升）