半群CIn 的秩

呂 會(huì)， 羅永貴， 趙 平*

（1.貴州師范大學(xué) 數(shù)學(xué)科學(xué)學(xué)院，貴州 貴陽(yáng)550025； 2.貴陽(yáng)市清華中學(xué)，貴州 貴陽(yáng)550025）

設(shè)［n］=｛1，2，3，…，n-1，n｝（n≥3）并賦予自然數(shù)的大小序.PTn是［n］上的部分變換半群，令POn=｛α∈PTn：x，y∈dom（α），x≤y?xα≤yα｝，稱POn為保序部分變換半群.In是［n］上的一一變換半群，稱POIn=POn∩In為保序部分一一變換半群，記SPOIn=POIn＼Sn，稱SPOIn為保序嚴(yán)格部分一一變換半群. Sn是［n］上的對(duì)稱群，記S In=In＼Sn，則S In是In的子半群，稱S In為奇異一一變換半群.對(duì)任意的α∈S In，ker（α）=｛（x，y）∈［n］×［n］：xα=yα｝和im（α）分別表示α的核和像集.設(shè)S是有限變換半群，A是S的子集，則〈A〉表示半群S的由A生成的子半群.若半群S的子集A滿足〈A〉=S，則稱〈A〉為S的生成集.

通常，一個(gè)有限半群S的秩定義為

變換半群秩的相關(guān)研究一直以來(lái)都是半群理論研究中的熱點(diǎn)之一［1-8］.文獻(xiàn)［1］研究了［n］上的奇異一一變換半群的SPn的秩和冪零秩為n+1.文獻(xiàn)［2］證明了一一變換半群的理想I（n，r）=｛α∈In：|im（α）|≤r｝的秩為Cnr+1.文獻(xiàn)［3］研究了半群Tn=Sn∪Singn的生成元和秩.文獻(xiàn)［4］研究了一些部分變換半群的最小相關(guān)生成集，并證明了半群A（n，r）=An∪Tn，PA（n，r）=An∪PTn（An是［n］上的正交群，PT（n，r）=｛α∈PIn：|im（α）|≤r｝，1≤r≤n，PTn是Xn上的部分變換半群）的相關(guān)秩.

設(shè)

則Cn=〈g〉為g生成的循環(huán)群.記CIn=Cn∪S In.本文在文獻(xiàn)［1 - 8］的基礎(chǔ)上繼續(xù)考慮新半群CIn=Cn∪S In的秩，證明了如下主要結(jié)果.

定理設(shè)n為自然數(shù)，則

本文未定義的術(shù)語(yǔ)及符號(hào)參考文獻(xiàn)［9 -10］.

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

為了方便起見(jiàn)，用符號(hào)

表示半群CIn中滿足以下條件的元素α：

xα=?，x∈［n］＼（a1∪a2∪…∪ak）.在CIn上引入如下二元關(guān)系，對(duì)任意α，β∈CIn有：α R◇β當(dāng)且僅當(dāng)ker（α）=ker（β），αL◇β當(dāng)且僅當(dāng)im（α）=im（β），α J◇β 當(dāng)且僅當(dāng)|im（α）| =|im（β）|.令H◇= L◇∩R◇，易見(jiàn)，R◇、L◇、J◇與H◇都是半群CIn上的等價(jià)關(guān)系，H J◇=L◇∩R◇，對(duì)任意的α∈CIn，記

用Xn（n-1）表示自然序集［n］（n≥3）的所有n-1 元子集，則Xn（n-1）中共有n個(gè)元素.

記Xn（n-1）=｛Z1，Z2，…，Zn-1，Zn｝.為了方便，假設(shè)：

2 定理的證明

為了完成定理的證明，先給出若干引理與推論.文中凡是整數(shù)（Z）的加法運(yùn)算，均是在模n的剩余類(lèi)環(huán)中進(jìn)行的，例如n+i=i.

引理1對(duì)n≥3，有

引理2對(duì)任意的α，β∈CIn，若（α，β），（α，αβ）∈J◇，則（α，αβ）∈R◇且（αβ，β）∈L◇.

證明若（α，β），（α，αβ）∈J◇，則

再由im（αβ）?im（β），ker（α）?ker（αβ）與［n］的有限性知，im（αβ）=im（β），ker（α）=ker（αβ），即（α，αβ）∈R◇，（αβ，β）∈L◇.

引理3設(shè)n≥3，S In=〈s1，s2，…，sn-1，＾sn，s0〉.

證明首先由文獻(xiàn)［2］可知，2≤r≤m-1，3≤m≤n-1，有Jr◇?Jr+1◇·Jr+1◇.

然后

時(shí)，其中：

1）i1≠0，sp≠0 時(shí)，j1與tq可能等于0，可能不等于0，其中若j1=0 時(shí)，t1≠0，若tq=0 時(shí)，jq≠0，共4 種情形；

2）i1≠0，sp=0，ip≠0 時(shí)，j1與tq可能等于0，可能不等于0，其中若j1=0 時(shí)，t1≠0，若tq=0 時(shí)，jq≠0，共4 種情形；

3）i1=0，s1≠0，sp≠0，時(shí)，j1與tq可能等于0，可能不等于0，其中若j1=0 時(shí)，t1≠0，若tq=0 時(shí)，jq≠0，共4 種情形；

4）i1=0，s1≠0，sp=0，ip≠0，時(shí)，j1與tq可能等于0，可能不等于0，其中若j1=0 時(shí)，t1≠0，若tq=0時(shí)，jq≠0，共4 種情形.

先考慮其中1 種情形，若

易驗(yàn)證其他情形和以上一樣.

易知n＞3 時(shí)，有στ≠τσ成立，則

推論2當(dāng)1≤n≤3 時(shí)，rank（CIn）=2.

定理的證明由引理3 與引理5 可知，當(dāng)n≥3時(shí)，rank（CIn）≤3.再由推論2 知，當(dāng)1≤n≤3 時(shí)，rank（CIn）=2.由引理7 知，當(dāng)n＞3，rank（CIn）≥3.因此，結(jié)合推論1 與引理5，當(dāng)n為自然數(shù)時(shí)，有