999精品在线视频,手机成人午夜在线视频,久久不卡国产精品无码,中日无码在线观看,成人av手机在线观看,日韩精品亚洲一区中文字幕,亚洲av无码人妻,四虎国产在线观看 ?

形式三角矩陣半環的自同構與反自同構

2021-12-06 07:49:38張源野譚宜家
西南大學學報(自然科學版) 2021年12期
關鍵詞:定義

張源野, 譚宜家

福州大學 數學與計算機科學學院,福州 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)

猜你喜歡
定義
以愛之名,定義成長
活用定義巧解統計概率解答題
例談橢圓的定義及其應用
題在書外 根在書中——圓錐曲線第三定義在教材和高考中的滲透
永遠不要用“起點”定義自己
海峽姐妹(2020年9期)2021-01-04 01:35:44
嚴昊:不定義終點 一直在路上
華人時刊(2020年13期)2020-09-25 08:21:32
定義“風格”
成功的定義
山東青年(2016年1期)2016-02-28 14:25:25
有壹手——重新定義快修連鎖
修辭學的重大定義
當代修辭學(2014年3期)2014-01-21 02:30:44
主站蜘蛛池模板: 国产精品第| 青青国产在线| 国产成年女人特黄特色毛片免 | 看看一级毛片| 欧美天堂久久| 99久视频| 精品国产污污免费网站| 99久久精品免费看国产免费软件| 免费人成又黄又爽的视频网站| 97se综合| 内射人妻无套中出无码| 女人18毛片一级毛片在线| 欧美一区二区精品久久久| 久草青青在线视频| 免费毛片网站在线观看| 欧美伦理一区| 国模视频一区二区| 亚洲免费毛片| 久草视频中文| 奇米影视狠狠精品7777| 国产丝袜无码一区二区视频| 国产h视频在线观看视频| 日韩国产高清无码| 国产一区亚洲一区| 99精品视频在线观看免费播放| 丁香婷婷在线视频| 婷婷色婷婷| 国内精自线i品一区202| 国产探花在线视频| 91午夜福利在线观看| 久久亚洲欧美综合| 欧美另类视频一区二区三区| 亚洲欧美激情另类| 这里只有精品在线| 亚洲综合片| 伊人国产无码高清视频| 精品国产www| 久久精品丝袜| 狼友av永久网站免费观看| 精品国产美女福到在线不卡f| 天堂中文在线资源| 粉嫩国产白浆在线观看| 无遮挡一级毛片呦女视频| 91av成人日本不卡三区| 亚洲天堂高清| 久久毛片网| 人人91人人澡人人妻人人爽| 国产欧美日本在线观看| 伊人欧美在线| 99伊人精品| 国产精品密蕾丝视频| 精品人妻系列无码专区久久| 中文字幕日韩久久综合影院| 国产精品第一区| 国模私拍一区二区| 国产一级妓女av网站| 亚洲精品国产综合99| 婷婷六月综合| 国产91成人| 国产国拍精品视频免费看| 久久久久夜色精品波多野结衣| 91po国产在线精品免费观看| 国产在线观看一区精品| 四虎在线观看视频高清无码 | 国产精品成人免费综合| 亚洲无码高清一区二区| 99激情网| 中文字幕久久亚洲一区 | 99精品欧美一区| 丰满的少妇人妻无码区| 国产正在播放| 夜夜操天天摸| 国产99视频精品免费观看9e| www.亚洲国产| 国产成人福利在线| 2021无码专区人妻系列日韩| 国产成人精品一区二区秒拍1o | 激情六月丁香婷婷| 国产精品美女免费视频大全| 免费 国产 无码久久久| 69国产精品视频免费| 尤物在线观看乱码|