• 
    

    
    

      99热精品在线国产_美女午夜性视频免费_国产精品国产高清国产av_av欧美777_自拍偷自拍亚洲精品老妇_亚洲熟女精品中文字幕_www日本黄色视频网_国产精品野战在线观看

      ?

      半群CIn 的秩

      2021-01-03 10:04:40羅永貴
      關(guān)鍵詞:保序子集貴陽(yáng)

      呂 會(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í),有

      猜你喜歡
      保序子集貴陽(yáng)
      由一道有關(guān)集合的子集個(gè)數(shù)題引發(fā)的思考
      拓?fù)淇臻g中緊致子集的性質(zhì)研究
      半群的主因子的秩
      關(guān)于奇數(shù)階二元子集的分離序列
      鏈完備偏序集上廣義向量均衡問(wèn)題解映射的保序性
      找朋友
      貴陽(yáng)分店
      藝術(shù)品(2019年4期)2019-05-30 04:45:40
      尋味貴州——貴陽(yáng)
      半群PODn的反保序平方冪等元
      每一次愛(ài)情都只是愛(ài)情的子集
      都市麗人(2015年4期)2015-03-20 13:33:22
      宣汉县| 景泰县| 湛江市| 饶阳县| 芦山县| 镇远县| 北流市| 濮阳县| 天峻县| 稷山县| 堆龙德庆县| 华坪县| 洛宁县| 襄汾县| 彰化县| 荣成市| 克东县| 错那县| 绥芬河市| 靖远县| 黄陵县| 亳州市| 德州市| 巩留县| 舟山市| 那曲县| 加查县| 松原市| 海阳市| 盐津县| 桦南县| 开化县| 弥渡县| 禄劝| 安图县| 临海市| 五常市| 平湖市| 宣城市| 沂源县| 金寨县|