国产日韩欧美一区二区三区三州_亚洲少妇熟女av_久久久久亚洲av国产精品_波多野结衣网站一区二区_亚洲欧美色片在线91_国产亚洲精品精品国产优播av_日本一区二区三区波多野结衣 _久久国产av不卡

?

形式三角矩陣半環(huán)的自同構(gòu)與反自同構(gòu)

2021-12-06 07:49張?jiān)匆?/span>譚宜家
關(guān)鍵詞:半環(huán)自同構(gòu)代數(shù)

張?jiān)匆埃?譚宜家

福州大學(xué) 數(shù)學(xué)與計(jì)算機(jī)科學(xué)學(xué)院,福州 350108

半環(huán)理論是代數(shù)理論研究的一個(gè)重要內(nèi)容,應(yīng)用很廣泛[1-4].半環(huán)上的自同構(gòu)和反自同構(gòu)是半環(huán)理論中的最基本的研究?jī)?nèi)容之一.對(duì)于自同構(gòu),文獻(xiàn)[5]證明了交換環(huán)上嚴(yán)格上三角矩陣代數(shù)的自同構(gòu)可以表示成一個(gè)對(duì)角自同構(gòu)、一個(gè)中心自同構(gòu)和一個(gè)內(nèi)自同構(gòu)的乘積;文獻(xiàn)[6-11]研究了矩陣環(huán)和矩陣代數(shù)的導(dǎo)子和自同構(gòu).文獻(xiàn)[12]探討了形式三角矩陣環(huán)的導(dǎo)子和自同構(gòu).文獻(xiàn)[13]研究了形式三角矩陣環(huán)的反自同構(gòu).

本文在上述基礎(chǔ)上進(jìn)一步研究形式三角矩陣半環(huán)的自同構(gòu)和反自同構(gòu),所得結(jié)果拓廣了文獻(xiàn)[12-13]的重要結(jié)論.

定義1[1]一個(gè)半環(huán)是一個(gè)代數(shù)系統(tǒng)(R,+,·),其中(R,+)是一個(gè)帶有恒等元0的交換幺半群,(R,·)是一個(gè)帶有恒等元1R的幺半群,乘法對(duì)加法滿足左右分配律.同時(shí),對(duì)于任意a∈R,0a=a0=0.0≠1R,元素0,1R分別稱為半環(huán)R的零元和單位元.

設(shè)R是一個(gè)半環(huán),如果對(duì)于任意a,b∈R,由a+b=0可推出a=b=0,則稱R為零和自由半環(huán)[1]或反環(huán)[14-15].設(shè)a∈R,如果果a2=a,則稱a為一個(gè)冪等元.顯然0,1都是冪等元,稱為平凡冪等元.

設(shè)(R,+,0)是一個(gè)交換幺半群,a∈R,如果存在b∈R,使得a+b=0,則稱a為一個(gè)可反元,此時(shí)b稱為a的一個(gè)反元.不難驗(yàn)證,如果元素a有一個(gè)反元,那么這個(gè)反元是唯一的,a的反元記為-a.設(shè)a,b∈R,且b是可反元,我們定義a-b=a+(-b).不難驗(yàn)證,對(duì)于半環(huán)R中的任意元a,b,如果b是可反元,那么a(-b)=-ab,(-b)a=-ba.顯然,一個(gè)半環(huán)R是一個(gè)環(huán)當(dāng)且僅當(dāng)R的每一個(gè)元都是可反元;R是零和自由半環(huán)當(dāng)且僅當(dāng)R中只有零元是可反元.

半環(huán)是相當(dāng)豐富的.例如,每一個(gè)帶有單位元的環(huán)是一個(gè)半環(huán);每一個(gè)布爾代數(shù)、每一個(gè)有界分配格都是半環(huán),并且是零和自由的;整數(shù)環(huán)Z(有理數(shù)域Q,實(shí)數(shù)域R)的正錐Z0(Q0,R0)是一個(gè)零和自由半環(huán);Max-Plus代數(shù)(R∪{-∞},max,+)是一個(gè)零和自由半環(huán).

(a)r(m+m′)=rm+rm′;

(b) (r+r′)m=rm+r′m;

(c) (rr′)m=r(r′m);

(d) 1Rm=m;

(e)r0=0=0m.

類似地,可定義半環(huán)S的右S-半模.一個(gè)交換幺半群(M,+)如果既是左R-半模又是右S-半模,并且?a∈R,m∈M,b∈S,均有(am)b=a(mb),則稱M為(R,S)-雙半模.

注1如果φ是半環(huán)R到S的一個(gè)同構(gòu)映射(或反同構(gòu)映射),那么φ(0)=0,φ(1R)=1S.

定義6設(shè)R,S是兩個(gè)半環(huán),M是(R,S)-雙半模,則集合

在通常的矩陣加法和乘法下構(gòu)成一個(gè)半環(huán),稱之為形式三角矩陣半環(huán).

注2在定義6中,當(dāng)R,S是環(huán)時(shí),半環(huán)Tri(R,M,S)就是形式三角矩陣環(huán)[16].

(1)

證充分性 通過(guò)直接驗(yàn)證可得φ是半環(huán)Tri(R,M,S)的一個(gè)自同構(gòu).

必要性 設(shè)φ是半環(huán)Tri(R,M,S)的任一自同構(gòu).對(duì)于任意X,Y∈Tri(R,M,S),設(shè)

則有

再設(shè)

那么,由

φ(X+Y)=φ(X)+φ(Y)φ(XY)=φ(X)φ(Y)

(2)

(3)

下面分3步來(lái)完成必要性的證明.

步驟1證明φ11(1R,0,0)=1R,φ11(0,0,1S)=0,φ22(1R,0,0)=0,φ22(0,0,1S)=1S,f12(1R,0,0)是M中的可反元.

用φ作用于

可得

(4)

所以

φ11(1R,0,0)=φ11(1R,0,0)2φ22(1R,0,0)=φ22(1R,0,0)2

由于半環(huán)R,S的冪等元都是平凡的,所以φ11(1R,0,0)=0或φ11(1R,0,0)=1R,φ22(1R,0,0)=0或φ22(1R,0,0)=1S.

如果φ11(1R,0,0)=0,φ22(1R,0,0)=1S,那么由(4)式,得

(5)

(6)

比較(5)式與(6)式,得

φ22(1R,m,s)=1S

(7)

比較(5)式與(7)式,得

這與φ是半環(huán)Tri(R,M,S)的自同構(gòu)相矛盾.

因此φ11(1R,0,0)=1R.于是

類似可證φ22(0,0,1S)=1S,于是

于是

φ11(0,0,1S)=0φ22(1R,0,0)=0f12(0,0,1S)+f12(1R,0,0)=0

設(shè)f12(1R,0,0)=m0,則m0是M中的可反元,并且f12(0,0,1S)=-m0.

步驟2證明分別存在半環(huán)R,S的自同構(gòu)φR,φS,使得對(duì)于任意r∈R,m∈M,s∈S,均有

φ11(r,m,s)=φR(r)φ22(r,m,s)=φS(s)

φ11(1R,0,0)=1Rφ22(1R,0,0)=0f12(1R,0,0)=m0

可得

所以

φ11(r,0,0)=φ11(r,m,s)φ22(r,0,0)=0

f12(r,0,0)=φ11(r,m,s)m0

類似可證

φ22(0,0,s)=φ22(r,m,s),f12(0,0,s)=-m0φ22(r,m,s),φ11(0,0,s)=0

從φ11(r,0,0)=φ11(r,m,s),φ22(0,0,s)=φ22(r,m,s)看出,φ11(r,m,s)與m,s無(wú)關(guān),φ22(r,m,s)與r,m無(wú)關(guān).

f12(r,0,0)=φR(r)m0f12(0,0,s)=-m0φS(s)

(8)

由(2)式與(3)式,得

φR(r+r′)=φR(r)+φR(r′)φS(s+s′)=φS(s)+φS(s′)

φR(rr′)=φR(r)φR(r′)φS(ss′)=φS(s)φS(s′)

對(duì)于任意r,r′∈R,當(dāng)r≠r′時(shí),有

那么φR(r)≠φR(r′),所以φR是單射.

步驟3證明存在(R,S)-雙半模M的一個(gè)(φR,φS)-半線性自同構(gòu)f,使得對(duì)于任意r∈R,m∈M,s∈S,均有

f12(r,m,s)=φR(r)m0-m0φS(s)+f(m)

由(2)式和(8)式,得

f12(r,m,s)=f12(r,0,0)+f12(0,m,0)+f12(0,0,s)=φR(r)m0-m0φS(s)+f12(0,m,0)

下證f是M的一個(gè)(φR,φS)-半線性自同構(gòu).

用φ作用于等式

f(m+m′)=f(m)+f(m′)

再用φ作用于等式

f(rms)=φR(r)f(m)φS(s)

對(duì)于任意m,m′∈M,當(dāng)m≠m′時(shí),有

由此可得

φR(r)=0φS(s)=0f(m)=m′

所以f是滿射,從而f為(R,S)-雙半模M的一個(gè)(φR,φR)-半線性自同構(gòu).

綜上所述,必要性得證.

注3在定理1中,當(dāng)R,S是兩個(gè)環(huán),M為(R,S)-雙模時(shí),可得文獻(xiàn)[12]的定理2.

(9)

證類似于定理1,從略.

注4在定理2中,當(dāng)R=S是環(huán),M為(R,S)-雙模時(shí),可得文獻(xiàn)[13]的定理.

定義7設(shè)M是一個(gè)半模.如果?m,m′∈M,由m+m′=0可推出m=m′=0,則稱M為零和自由半模.

由定義7知,一個(gè)半模M是零和自由的當(dāng)且僅當(dāng)M只有零元是可反元.

由定理1和定理2得:

定理3設(shè)R,S是兩個(gè)半環(huán),并且所有冪等元是平凡的,M為非零的(R,S)-雙半模,且是零和自由的,φ是形式三角矩陣半環(huán)Tri(R,M,S)到自身的一個(gè)映射.那么

(10)

(11)

猜你喜歡
半環(huán)自同構(gòu)代數(shù)
半環(huán)同態(tài)的若干性質(zhì)
一類無(wú)限?ernikov p-群的自同構(gòu)群
兩個(gè)有趣的無(wú)窮長(zhǎng)代數(shù)不等式鏈
Hopf代數(shù)的二重Ore擴(kuò)張
滿足恒等式的Γ-半環(huán)
什么是代數(shù)幾何
關(guān)于有限Abel p-群的自同構(gòu)群
剩余有限Minimax可解群的4階正則自同構(gòu)
某些完全正則半環(huán)的刻畫
一個(gè)非平凡的Calabi-Yau DG代數(shù)