• 
    

    
    

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

      ?

      Clifford半群的正規(guī)子半群格

      2020-11-05 10:31:26田振際
      關(guān)鍵詞:子群共軛正則

      田振際, 趙 梅

      (蘭州理工大學(xué) 理學(xué)院, 甘肅 蘭州 730050)

      1978年P(guān).R.Jones得到了逆半群的全逆子半群格的分解定理,并在此基礎(chǔ)上討論了全逆子半群格是半模格,分配格,半分配格,模格以及鏈的逆半群[1-5].二十一世紀(jì)以來(lái),Tian[6]研究了逆半群與它的全子半群格之間的關(guān)系,得到了逆半群的全子半群格的分解定理,并在此基礎(chǔ)上研究了全子半群格是分配格,模格以及鏈的逆半群的結(jié)構(gòu).相關(guān)結(jié)果見文獻(xiàn)[7].

      本文研究了Clifford半群的正規(guī)子半群格的分解,進(jìn)一步得到Clifford半群的正規(guī)子半群格是分配格(上半分配格,下半分配格)的充分必要條件.

      1 基本概念

      半群S的元素a稱為正則的, 如果存在元素x∈S,使得axa=a.用RegS表示S中所有正則元的集合.半群S稱為正則半群, 若S中的每個(gè)元素都是正則元.半群S的元素c稱為中心元, 如果關(guān)于所有的s∈S, 都有cs=sc.正則半群S稱為Clifford半群, 若S的每個(gè)冪等元為中心元.半群S是Clifford半群的充分必要條件是S是其極大子群Ge(e∈ES)的(強(qiáng))半格.因此在Clifford半群中,J=H.

      格L稱為分配格, 若對(duì)?a,b,c∈L, 有a∧(b∨c)=(a∧b)∨(a∧c).格L稱為上半分配格, 若對(duì)?a,b,c∈L, 有a∨b=a∨c?a∨(b∧c)=a∨b.格L稱為下半分配格, 若對(duì)?a,b,c∈L, 有a∧b=a∧c?a∧(b∨c)=a∧b.格L稱為模格, 如果對(duì)?a,b,c∈L, 有a≤b?b∧(c∨a)=(b∧c)∨a.

      設(shè)S是逆半群, 稱S的逆子半群N是S的全逆子半群, 如果ES?N, 其中ES表示S中所有冪等元的集合.稱N是S的正規(guī)子半群, 若N是S的自共軛的全逆子半群,即ES?N,且對(duì)任意a∈N,以及x∈S,有x-1ax∈N.用SubfiS表示S的所有全逆子半群構(gòu)成的集合.設(shè)A,B是S的子集,用〈A,B〉表示由A,B生成的S的子半群.容易證明,對(duì)于任意的A,B∈SubfiS,A∧B=A∩B,A∨B=〈A,B〉.顯然,如果S是群,則SubfiS=SubgS,其中SubgS表示S的子群格.用SubnS表示S的所有正規(guī)子半群構(gòu)成的集合,容易證明,SubnS是格.顯然,如果S是群,則SubnS=SubngS,其中SubngS表示S的正規(guī)子群格.

      設(shè)S是任意半群,若K是格林關(guān)系L,R,H,D和J的一種,則用Ka表示S的包含a的K類,其中a∈S.S/K表示K類的集合.對(duì)于任意的a∈S,令J(a)=S1aS1.定義Jx≤Jy,如果J(x)?J(y).令I(lǐng)(a)={x∈J(a):Jx

      設(shè)S是逆半群,對(duì)于任意的J∈S/J,令

      N(J)=ES∪{K∈S/J:K

      I(J)=ES∪{K∈S/J:K≤J}

      不難證明N(J),I(J)均為S的正規(guī)子半群,且N(J)

      引理1([5],引理1.2.3) 設(shè)S是任意半群,x∈RegS,且x=x1x2…xn,其中x1,x2,…xn∈S,則存在e1,e2,…en∈ES,使得

      1)x=(e1x1)(e2x2)…(enxn);

      2)eixiDx,eixi是正則的,其中i=1,2,…n.

      引理3([8],定理1) 設(shè)S是逆半群,那么對(duì)于任意的J∈S/J,有

      [N(J),I(J)]?Subn(PF(J))

      本文沒有說(shuō)明的術(shù)語(yǔ)和符號(hào)見文獻(xiàn)[7,9-10].

      2 主要結(jié)論

      命題1設(shè)S是Clifford半群,且A,B是S的正規(guī)子半群,則〈A,B〉是S的正規(guī)子半群.

      證明顯然〈A,B〉是S的全逆子半群,下面只需說(shuō)明〈A,B〉滿足自共軛性.

      設(shè)x∈〈A,B〉,則存在x1,x2,…xn∈A∪B,使得x=x1x2x3…xn,則對(duì)于任意的s∈S,都有

      因?yàn)锳,B是S的正規(guī)子半群,所以s-1xis∈A∪B,也就得到了s-1xs∈〈A,B〉,即〈A,B〉滿足自共軛性.從而證明了〈A,B〉是S的正規(guī)子半群.

      由上述命題可知,若S是Clifford半群,且A,B∈SubnS,那么A∨B=〈A,B〉.

      引理4設(shè)S是Clifford半群,J∈S/J,且A,B∈SubnS,則

      (A∨B)∩J=〈A∩J,B∩J〉∩J

      證明設(shè)x∈(A∨B)∩J,則存在x1,x2,…,xn∈A∪B,使得x=x1x2…xn,其中n∈N+,根據(jù)引理1,則存在e1,e2,…en∈ES,使得x=(e1x1)(e2x2)…(enxn),且對(duì)每個(gè)i,都有eixiDx,因?yàn)閑ixiJx,且ES?A,ES?B,所以eixi∈(A∩J)∪(B∩J),則x∈〈A∩J,B∩J〉∩J,于是有(A∨B)∩J?〈A∩J,B∩J〉∩J.另外(A∨B)∩J?〈A∩J,B∩J〉∩J是顯然的.所以(A∨B)∩J=〈A∩J,B∩J〉∩J.

      引理5設(shè)S是Clifford半群,J∈S/J,則SubnS上的關(guān)系

      γJ:AγJB?A∩J=B∩JA,B∈SubnS

      證明不難證明γJ是一個(gè)等價(jià)關(guān)系.設(shè)A,B,C∈SubnS,并且AγJB,也就是A∩J=B∩J,那么(A∩C)∩J=(B∩C)∩J,即(A∩C)γJ(B∩C).由引理4可得(A∨C)∩J=〈A∩J,C∩J〉∩J=〈B∩J,C∩J〉∩J=(B∨C)∩J,即(A∨C)γJ(B∨C),所以γJ是同余.

      根據(jù)引理2下面的推論是顯然的.

      推論1設(shè)S是Clifford半群,那么SubnS是(SubnS)/γJ(J∈S/J)的子直積.

      引理6設(shè)S是逆半群,那么對(duì)于任意的J∈S/J,有(SubnS)/γJ?Subn(PF(J)).

      證明定義映射:φJ(rèn):(SubnS)/γJ→Subn(PF(J)),使得對(duì)任意的A∈SubnS,AγJ→(A∩J)∪{0}.

      下證映射φJ(rèn)是格同構(gòu).

      1) 單射:A∩J=B∩J?AγJB?AγJ=BγJ.

      2) 滿射: 對(duì)任意的C∈Subn(PF(J)),記

      先證D是S的全逆子半群.任取x,y∈D,若x,y∈C{0},則要么Jxy

      再證D滿足自共軛性.對(duì)于任意的s∈S,e∈ES?D,有s-1es∈ES?D.對(duì)于任意的s∈S,a∈C{0}?D,則要么Js-1as

      3)φJ(rèn)是保序的.

      所以φJ(rèn)是格同構(gòu),故引理得證.

      由推論1和推論2可得定理1.

      定理1設(shè)S是Clifford半群.那么SubnS是Subn(PF(J))(J∈S/J)的子直積.

      由推論2和定理1可得定理2.

      定理2Clifford半群S的正規(guī)子半群格是分配格(上半分配格,下半分配格)的充分必要條件為S的每個(gè)極大子群的正規(guī)子群格是分配格(上半分配格,下半分配格).

      因?yàn)槿旱恼?guī)子群格是模格,所以有定理3.

      定理3Clifford半群的正規(guī)子半群格是模格.

      猜你喜歡
      子群共軛正則
      超聚焦子群是16階初等交換群的塊
      一個(gè)帶重啟步的改進(jìn)PRP型譜共軛梯度法
      一個(gè)改進(jìn)的WYL型三項(xiàng)共軛梯度法
      子群的核平凡或正規(guī)閉包極大的有限p群
      巧用共軛妙解題
      一種自適應(yīng)Dai-Liao共軛梯度法
      剩余有限Minimax可解群的4階正則自同構(gòu)
      類似于VNL環(huán)的環(huán)
      恰有11個(gè)極大子群的有限冪零群
      有限秩的可解群的正則自同構(gòu)
      甘肃省| 穆棱市| 类乌齐县| 林州市| 道孚县| 壶关县| 浑源县| 凌源市| 尉犁县| 铁岭县| 湘西| 达孜县| 栖霞市| 鸡泽县| 宁波市| 美姑县| 前郭尔| 锡林郭勒盟| 永州市| 油尖旺区| 平遥县| 土默特左旗| 新野县| 江安县| 绵阳市| 抚宁县| 灵丘县| 泊头市| 大宁县| 裕民县| 潞西市| 渭南市| 汶上县| 陈巴尔虎旗| 靖宇县| 昌平区| 塔城市| 清镇市| 唐河县| 太仆寺旗| 宜兰县|