楊浩波
(杭州師范大學(xué) 錢(qián)江學(xué)院,浙江 杭州 310012)
設(shè)S是一個(gè)半群,一個(gè)雙射φ:S→S叫做半群S上的一個(gè)半自同構(gòu)[1],若對(duì)任意的a,b∈S有(aba)φ=(a)φ·(b)φ·(a)φ.關(guān)于半自同構(gòu)的綜述見(jiàn)文[1].特別指出的是,在文[1]中,非空集合X上的對(duì)稱逆半群IX的一個(gè)逆子半群S被稱為覆蓋X,若S包含IX的所有常值冪等元和空變換,并得到下面結(jié)果.
定理1([1],Th.4)設(shè)S為對(duì)稱逆半群IX的覆蓋X的2-傳遞逆子半群,則S的每個(gè)半自同構(gòu)或是自同構(gòu),或是反自同構(gòu).
若令K為IX的所有常值變換和空變換組成的集合,則K為IX的最小理想,且K是一個(gè)特殊Brandt半群(即完全零單逆半群[2]).筆者注意到,IX的2-傳遞逆子半群S包含K.在上述定理的證明中,Sullivan[1]將S的半自同構(gòu)轉(zhuǎn)化到K的半自同構(gòu)來(lái)進(jìn)行([1],Lemma 2).
在該文中筆者將研究一般Brandt半群上的半自同構(gòu).
一個(gè)Brandt半群由下面表示[2-3]:設(shè)G為一個(gè)群,I為一個(gè)非空集,0是一個(gè)不在卡爾集I×G×I里的一個(gè)元素(叫零元).在集合B(G,I)=(I×G×I)∪{0}上定義二元運(yùn)算為:對(duì)(i,g,j),(s,h,t)∈I×G×I,
則B(G,I)是一個(gè)Brandt半群;反之任一個(gè)Brandt半群被如此構(gòu)作.
對(duì)Brandt半群B(G,I),需要下述術(shù)語(yǔ).令
AG={雙射χ:G→G|?a,b∈G,(aba)χ=aχ·(b-1χ)-1·aχ}.
有
引理1(1)AG非空;
證明(1)群G的恒等自同構(gòu)是AG的元素,AG非空.(2)和(3)可直接驗(yàn)證.
另需要
FI={f:I×I→I|映射α:I×I→I×I,(i,j)α=(f(i,j),f(j,i))為雙射}.
FI同樣也非空,這是因?yàn)橥队唉?I×I→I定義為
η(i,j)=i,(?(i,j)∈I×I)
是FI的一個(gè)元素.
文章的主要結(jié)果是:
(i,g,j)φ=(f(i,j),gφij,f(j,i)),
0φ=0.
則φ是B(G,I)的一個(gè)半自同構(gòu);反之,B(G,I)上的任一個(gè)半自同構(gòu)被如此構(gòu)作.
證明現(xiàn)證φ是雙射.由假設(shè)f,φij的定義知,φ是一個(gè)映射.下證φ是一個(gè)滿射.任意取(k,b,l)∈B(G,I),由f的定義,存在i,j∈I使f(i,j)=k,f(j,i)=l.再由φij的定義知,存在a∈G使aφij=b.進(jìn)而(i,a,j)φ=(k,b,l).故φ是一個(gè)滿射.
下證φ是單射.任取(i,a,j),(k,b,l)∈B(G,I),假定(i,a,j)φ=(k,b,l)φ,則有:
(f(i,j),aφij,f(j,i))=(f(k,l),bφkl,f(l,k)),
這表明f(i,j)=f(k,l),f(j,i)=f(l,k),aφij=bφkl,進(jìn)而由f為FI的元知:(i,j)=(k,l),從而aφij=bφij,注意到φij∈AG并知:a=b,故(i,a,j)=(k,b,l),因此φ是單射.
現(xiàn)證:任取(i1,g1,j1),(i2,g2,j2)∈B(G,I)有
[(i1,g1,j1)(i2,g2,j2)(i1,g1,j1)]φ=(i1,g1,j1)φ·(i2,g2,j2)φ·(i1,g1,j1)φ,
(*)
分以下兩種情況來(lái)討論:
情況1(j1,i1)≠(i2,j2).此時(shí)有(i1,g1,j1)(i2,g2,j2)(i1,g1,j1)=0.又由f的定義知,
(f(j1,i1),f(i1,j1))≠(f(i2,j2),f(j2,i2)).從而
[(i1,g1,j1)(i2,g2,j2)(i1,g1,j1)]φ=0φ=0,且
(i1,g1,j1)φ·(i2,g2,j2)φ·(i1,g1,j1)φ=
(f(i1,j1),g1φi1j1,f(j1,i1))(f(i2,j2),g2φi2j2,f(j2,i2))(f(i1,j1),gφi1j1,f(j1,i1))=0,
這表明(*)式成立.
情況2j1=i2且j2=i1.此時(shí)先有
[(i1,g1,j1)(i2,g2,j2)(i1,g1,j1)]φ=(i1,g1g2g1,j1)φ=(f(i1,j1),(g1g2g1)φi1j1,f(j1,i1)),
同時(shí)注意到f(j1,i1)=f(i2,j2),f(j2,i2)=f(i1,j1)有:
(i1,g1,j1)φ·(i2,g2,j2)φ·(i1,g1,j1)φ=
(f(i1,j1),g1φi1j1,f(j1,i1)(f(i2,j2),g2φi2j2,f(j2,i2))(f(i1,j1),g1φi1j1,f(j1,i1))=
f(i1,j1),g1φi1j1g2φj1i1g1φi1j1,f(j1,i1))=(f(i1,j1),(g1g2g1)φi1j1,f(j1,i1)).
故這表明(*)式成立.
綜上所述,映射φ是B(G,I)的一個(gè)半自同構(gòu).
為證定理2的反方面,筆者從下面若干引理來(lái)進(jìn)行.
引理2設(shè)φ是含零半群S的一個(gè)半自同構(gòu),則0φ=0.
證明設(shè)a∈S使aφ=0,則由φ是半自同構(gòu)知:
0φ=(0a0)φ=0φ·aφ·0φ=0φ·0·0φ=0.
引理3設(shè)φ是逆半群S的一個(gè)半自同構(gòu),則對(duì)任意a∈S,(aφ)-1=a-1φ.
證明由aφ=(aa-1a)φ=aφ·(a-1)φ·aφ和a-1φ=(a-1aa-1)φ=a-1φ·(a)φ·a-1φ知(aφ)-1=a-1φ.
在下面引理4至引理6中都假定e是群G的單位元,設(shè)φ是Brandt半群B(G,I)上的任一個(gè)半自同構(gòu).任取(i,g,j)∈B(G,I),并令
(i,g,j)φ=(fg(i,j),gφij,hg(i,j)),
(1)
其中fg(i,j),hg(i,j)∈I;gφij∈G.于是有:
引理4fg(i,j),hg(i,j)與g無(wú)關(guān).
證明由引理2知(i,g,j)φ≠0,進(jìn)一步有:
0≠(i,g,j)φ=[(i,e,j)(j,g,i)(i,e,j)]φ=(i,e,j)φ·(j,g,i)φ·(i,e,j)φ=
(fe(i,j),eφij,he(i,j))(fg(j,i),gφji,hg(j,i))(fe(i,j),eφij,he(i,j))=
(fe(i,j),eφijgφjieφij,he(i,j)).
又由已知有:(i,g,j)φ=(fg(i,j),gφij,hg(i,j)),故有:
fg(i,j)=fe(i,j),hg(i,j)=he(i,j).
這表明fg(i,j),hg(i,j)與g無(wú)關(guān).證完.
由引理4立即知:任取(i,g,j)∈B(G,I),都有:
(i,g,j)φ=(f(i,j),gφij,h(i,j)).
(2)
引理5在式(2)中,任意(i,j)∈I×I,有h(i,j)=f(j,i).
證明任取非零元(i,g,j)∈B(G,I),由φ是半自同構(gòu)知:
0≠(i,g,j)φ=[(i,e,j)(j,g,i)(i,e,j)]φ=(i,e,j)φ(j,g,i)φ(i,e,j)φ=
(f(i,j),eφij,h(i,j))(f(j,i),gφji,h(j,i))(f(i,j),eφij,h(i,j))
故必有h(i,j)=f(j,i).證完.
由引理5立即知:任取(i,g,j)∈B(G,I),有:
(i,g,j)φ=(f(i,j),gφij,f(j,i)).
(3)
下面兩引理研究式(3)中映射f:I×I→I和φij:G→G的性質(zhì).
引理6在式(3)中,有
(a)f:I×I→I為映射.
(b) 對(duì)任意k,l∈I,方程f(i,j)=k,f(j,i)=l有惟一解i,j∈I;
從而f∈FI.
證明明顯(a)成立;下證(b).任意給定k,l∈I,g′∈G,由φ為雙射知,存在i,j∈I,g∈G使(i,g,j)φ=(k,g′,l),進(jìn)而由式(3)有f(i,j)=k,f(j,i)=l.
假設(shè)存在另一組m,n∈I,使得
f(m,n)=k,f(n,m)=l.
則由式(3)有:
(i,e,j)φ=(f(i,j),eφij,f(j,i))=(k,eφij,l),
(n,e,m)φ=(f(n,m),eφnm,f(m,n)=(l,eφnm,k),
由φ是半自同構(gòu)進(jìn)一步有:
0≠(k,eφijeφnmeφij,l)=(k,eφij,l)(l,eφnm,k)(k,eφij,l)=
(i,e,j)φ·(n,e,m)φ·(i,e,j)φ=[(i,e,j)(n,e,m)(i,e,j)]φ.
故由引理2,(i,e,j)(n,e,m)(i,e,j)≠0,從而有m=i,n=j.(b)得證.
引理7在式(3)中,有
(a) 映射φij:G→G為雙射;
(b) 任取a,b∈G,i,j∈I有
從而φij∈AG.
證明先證(a).取定g′∈G,因φ為滿射和(f(i,j),g′,f(j,i))∈B(G,I),故有g(shù)∈G使(i,g,j)φ=(f(i,j),g′,f(j,i)),從而gφij=g′.故φij:G→G為滿射.
下證φij是單射.任取g,h∈G,若gφij=hφij,則有:
(f(i,j),gφij,f(j,i))=(f(i,j),hφij,f(j,i)),
即(i,g,j)φ=(i,h,j)φ,由φ是雙射知:(i,g,j)=(i,h,j),故g=h.因此φij是單射.(a)得證.
現(xiàn)證(b).任取i,j∈I,a,b∈G有
(f(i,j),(aba)φij,f(j,i))=(i,aba,j)φ=[(i,a,j)(j,b,i)(i,a,j)]φ=
(i,a,j)φ(j,b,i)φ(i,a,j)φ=
(f(i,j),aφij,f(j,i))(f(j,i),bφji,f(i,j))(f(i,j),aφij,f(j,i)))=
(f(i,j),aφijbφjiaφij,f(j,i)).
故(aba)φij=aφijbφjiaφij.
任取i,j∈I,a∈G,據(jù)引理3有[(j,a,i)φ]-1=(j,a,i)-1φ,從而
(f(i,j),(aφji)-1,f(j,i))=(f(i,j),a-1φij,f(j,i)),
到此,定理2得證.
[1] Sullivan R P. Semi-automorphisms of transformation semigroups[J]. Czechoslovak Mathematical Journal,1983,33:548-554.
[2] Howie J M. An Introduction to Semigroup Theory[M]. London: Academic Press,1976:1-269.
[3] Lawson M V. Inverse Semigroups The Theory of Partial Symmetries[M]. Singapore: World Scientific,1998.