呂 會(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].
為了方便起見(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è):
為了完成定理的證明,先給出若干引理與推論.文中凡是整數(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í),有