形式三角矩阵半环的自同构与反自同构
2021-12-06张源野谭宜家
张源野, 谭宜家
福州大学 数学与计算机科学学院,福州 350108
半环理论是代数理论研究的一个重要内容,应用很广泛[1-4].半环上的自同构和反自同构是半环理论中的最基本的研究内容之一.对于自同构,文献[5]证明了交换环上严格上三角矩阵代数的自同构可以表示成一个对角自同构、一个中心自同构和一个内自同构的乘积;文献[6-11]研究了矩阵环和矩阵代数的导子和自同构.文献[12]探讨了形式三角矩阵环的导子和自同构.文献[13]研究了形式三角矩阵环的反自同构.
本文在上述基础上进一步研究形式三角矩阵半环的自同构和反自同构,所得结果拓广了文献[12-13]的重要结论.
定义1[1]一个半环是一个代数系统(R,+,·),其中(R,+)是一个带有恒等元0的交换幺半群,(R,·)是一个带有恒等元1R的幺半群,乘法对加法满足左右分配律.同时,对于任意a∈R,0a=a0=0.0≠1R,元素0,1R分别称为半环R的零元和单位元.
设R是一个半环,如果对于任意a,b∈R,由a+b=0可推出a=b=0,则称R为零和自由半环[1]或反环[14-15].设a∈R,如果果a2=a,则称a为一个幂等元.显然0,1都是幂等元,称为平凡幂等元.
设(R,+,0)是一个交换幺半群,a∈R,如果存在b∈R,使得a+b=0,则称a为一个可反元,此时b称为a的一个反元.不难验证,如果元素a有一个反元,那么这个反元是唯一的,a的反元记为-a.设a,b∈R,且b是可反元,我们定义a-b=a+(-b).不难验证,对于半环R中的任意元a,b,如果b是可反元,那么a(-b)=-ab,(-b)a=-ba.显然,一个半环R是一个环当且仅当R的每一个元都是可反元;R是零和自由半环当且仅当R中只有零元是可反元.
半环是相当丰富的.例如,每一个带有单位元的环是一个半环;每一个布尔代数、每一个有界分配格都是半环,并且是零和自由的;整数环Z(有理数域Q,实数域R)的正锥Z0(Q0,R0)是一个零和自由半环;Max-Plus代数(R∪{-∞},max,+)是一个零和自由半环.
(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.
类似地,可定义半环S的右S-半模.一个交换幺半群(M,+)如果既是左R-半模又是右S-半模,并且∀a∈R,m∈M,b∈S,均有(am)b=a(mb),则称M为(R,S)-双半模.
注1如果φ是半环R到S的一个同构映射(或反同构映射),那么φ(0)=0,φ(1R)=1S.
定义6设R,S是两个半环,M是(R,S)-双半模,则集合
在通常的矩阵加法和乘法下构成一个半环,称之为形式三角矩阵半环.
注2在定义6中,当R,S是环时,半环Tri(R,M,S)就是形式三角矩阵环[16].
(1)
证充分性 通过直接验证可得φ是半环Tri(R,M,S)的一个自同构.
必要性 设φ是半环Tri(R,M,S)的任一自同构.对于任意X,Y∈Tri(R,M,S),设
则有
再设
那么,由
φ(X+Y)=φ(X)+φ(Y)φ(XY)=φ(X)φ(Y)
得
(2)
(3)
下面分3步来完成必要性的证明.
步骤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
由于半环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)式,得
这与φ是半环Tri(R,M,S)的自同构相矛盾.
因此φ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
设f12(1R,0,0)=m0,则m0是M中的可反元,并且f12(0,0,1S)=-m0.
步骤2证明分别存在半环R,S的自同构φR,φS,使得对于任意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无关,φ22(r,m,s)与r,m无关.
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′)
对于任意r,r′∈R,当r≠r′时,有
即
那么φR(r)≠φR(r′),所以φR是单射.
步骤3证明存在(R,S)-双半模M的一个(φR,φS)-半线性自同构f,使得对于任意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的一个(φR,φS)-半线性自同构.
用φ作用于等式
得
f(m+m′)=f(m)+f(m′)
再用φ作用于等式
得
f(rms)=φR(r)f(m)φS(s)
对于任意m,m′∈M,当m≠m′时,有
即
由此可得
φR(r)=0φS(s)=0f(m)=m′
所以f是满射,从而f为(R,S)-双半模M的一个(φR,φR)-半线性自同构.
综上所述,必要性得证.
注3在定理1中,当R,S是两个环,M为(R,S)-双模时,可得文献[12]的定理2.
(9)
证类似于定理1,从略.
注4在定理2中,当R=S是环,M为(R,S)-双模时,可得文献[13]的定理.
定义7设M是一个半模.如果∀m,m′∈M,由m+m′=0可推出m=m′=0,则称M为零和自由半模.
由定义7知,一个半模M是零和自由的当且仅当M只有零元是可反元.
由定理1和定理2得:
定理3设R,S是两个半环,并且所有幂等元是平凡的,M为非零的(R,S)-双半模,且是零和自由的,φ是形式三角矩阵半环Tri(R,M,S)到自身的一个映射.那么
(10)
(11)