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

Artin A-半單環探究

2011-06-07 08:05:40張力宏張秋雨
通化師范學院學報 2011年12期
關鍵詞:定義

田 巖,張力宏,張秋雨,劉 巖

(吉林師范大學 博達學院,吉林 四平 136000)

1 A-內射模及其性質

圖1 A-內射模圖象 圖2 A-內射模的交換圖

易見,內射模是A-內射模.另外由定義1,可得

命題1 左R-模M是A-內射模當且僅當對正合列

0→C→B→A→0,

有正合列

0→HomR(A,M)→HomR(B,M)→HomR(C,M)→0,

其中B是Artin模.

命題2 左R-模M是A-內射模當且僅當有交換圖2,其中R是Artin環,I是R的任意左理想.

證明 “?”顯然.

“?”考慮圖3,其中B是Artin模,C是B的子模,令Ω={(C',β')|其中C?C'?B,β'是α在C'上的擴張},由于Artin模關于子模封閉,所以Ω非空,定義(C',β')<(C'',β'')?C'?C''?B,且β''是β'在C''上的擴張,則Ω是偏序集且滿足Zorn's引理,從而有極大者(C0,β0).

若C0=B,則結論成立.假設C0≠B,則有

0≠x∈BC0.令I={r∈R|rx∈C0},

則I是R的左理想.定義h:I→M,r→β0(rx),則由已知,有同態映射h':R→M,是h在R上的擴張.

令C1=C0+Rx?B,則C0?C1,定義

β1:C1→M,a0+rx→β0(a0)+rh(1),

其中a0∈C0,1∈R是單位元.如果

a0+rx=a'0+r'x,a'0∈C0,r'∈R,

有(r-r')x=a'0-a0∈C0,得

r-r'∈I,β0((r-r')x)=β0(a'0-a0)=

h(r-r0)=h(r-r0)=(r-r0)h'(1),

從而

β0(a'0)+r0h'(1)=β0(a0)+rh'(1),

說明β1是良定義的模同態映射,且β0(a0)=β1(a0),得(C1,β1)∈Ω,且(C0,β0)<(C1,β1),這與(C0,β0)的取法矛盾,所以C0=B,由定義1知M是A-內射模.

圖3 A-內射模圖象

命題3 A-內射模關于直積,直和項封閉.

證明 設{Mi|i∈Ω}是左R-模,A是任意左R-模,由[1]中定理2.6,有

HomR(A,∏Mi)?∏HomR(A,Mi)

設0→C→B→A→0是任意左R-模短正合列,有交換圖4.

圖4 正合列交換圖

其中B是Artin模,頂行,底行正合,α,β,γ同構.反復應用命題1,可證得A-內射模關于直積,直和項封閉.

2 A-投射模及其性質

定義2 設M是左R-模,若對任何正合列

其中B是Artin模,任何模同態α:M→A,有β:M→B,使α=πβ,則稱M為A-投射模.(圖5).

圖5 A-投射模圖象

易見,投射模是A-投射模.由定義2,易得

命題4 左R-模M是A-投射模當且僅當對正合列

其中B是Artin模,有正合列

0→HomR(M,C)→HomR(M,B)→HomR(M,A)→0.

命題5 A-投射模關于直和、直和項封閉.

證明 設{Mi|i∈Ω}是左R-模簇,N是任意左R-模,則由[1]中定理2.4,有

設0→A→B→C→0是任意左R-模短正合列,有交換圖6.

圖6 正合列的交換圖

其中B是Artin模,頂行,底行正合,α,β,γ同構.反復應用命題4可知,對每個i∈Ω,Mi是A-投射模?底行是短正合列?頂行是短正合列?ЦMi是A-投射模.可證得A-投射模關于直和、直和項封閉.

3 A-半單環

定理1 對于環R,以下命題等價:

i)每個左R-模是A-投射模;

ⅱ)每個左R-模是A-內射模;

ⅲ)A-內射模關于子模封閉;

ⅳ)A-投射模關于商模封閉;

ⅴ)每個Artin模的子模是其直和項;

ⅵ)每個Artin模都是半單模;

ⅶ)對于每個Artin模A,有Soc(M)=M;

ⅷ)對于每個Artin模A,有J(A)=0.

證明 ⅰ)?ⅱ)考察圖7,其中B是Artin模,由已知A是A-投射模,所以底行可裂,從而有β是α的擴張.

ⅱ)?ⅰ)考察圖8,E是Artin模,由已知B是A-內射模,所以底行可裂,存在λ:A→E,使1E=λπ.存在β=λ?,其中β:M→E,因為πβ=πλα,所以α=πβ,圖形可交換,故M是A-投射模.

圖7 模擴張圖象

圖8 A-投射模的交換圖

圖9 正合列可裂的交換圖

ⅱ)?ⅲ) 顯然成立.

ⅲ)?ⅱ) 設M是左R-模,E(M)是M的內射包,當然是A-內射模,由已知,M是A-內射模.

ⅰ)?ⅳ) 顯然成立.

ⅳ)?ⅰ) 設M是左R-模,則有正合列P→M→0,其中P是投射模,當然是A-投射模,由已知M是A-投射模.

ⅰ)?ⅴ) 設左R-模正合列0→C→B→A→0,其中B是Artin模,

由已知A是A-投射模,所以正合列可裂,得C是B的直和項.

ⅴ)?ⅰ) 考察圖9,其中B是Artin模,由已知,底行可裂,所以有λ:A→B,使πλ=1A,令β=λα,則πβ=πλα=α,得i)成立.

ⅴ)?ⅵ) 設M是Artin模,若M的每個子模都是其直和項,由[2]中命題2,4知M是半單模.

ⅵ)?ⅴ) 設M是Artin模,若M是半單模,再由[2]中命題2.4,M的每個子模都是其直和項.

ⅵ)?ⅶ) 若M是Artin半單模,則M=M1⊕M2⊕M3⊕…Mn,Mi是M的極小子模,再由Soc(M)的定義,有Soc(M)=M.

ⅶ)?ⅵ) 設M是Artin模,且Soc(M)=M,由[3]中推論9.1.3,Soc(M)是M的最大的半單子模,所以M是半單模.

ⅵ)?ⅷ) 由[4]中命題10.15顯然.

定義3 稱滿足以上等價條件的環R為A-半單環.

顯然,半單環是A-半單環.

參考文獻:

[1]J.Rotman.An Introduction To Homological Algebra[M].London:Academic Press,1979.

[2]薛伯英.基礎環論[M].長春:吉林大學出版社,1993.

[3]F.Kasch.Modules And Rings[M].London:Academic Press Inc.LTD.1982.

[4]F.W.安德森 K.R.富勒爾.環與模范疇[M].北京:科學出版社,2008.

[5]張力宏,王秀麗.關于Noether N-半單環[J].吉林師范大學學報,2004(2).

[6]班和秀,黃容偉.N-半單環、Noether N-半單環和幾類特殊環[J].南陽師范學院學報,2006(9).

[7]劉紹學.環與代數[M].北京:科學出版社,2001.

猜你喜歡
定義
以愛之名,定義成長
活用定義巧解統計概率解答題
例談橢圓的定義及其應用
題在書外 根在書中——圓錐曲線第三定義在教材和高考中的滲透
永遠不要用“起點”定義自己
海峽姐妹(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
主站蜘蛛池模板: 欧美综合区自拍亚洲综合天堂| 青青操视频免费观看| 亚洲黄色高清| 亚洲一区二区三区在线视频| 亚洲综合天堂网| 日韩色图在线观看| 亚洲伊人久久精品影院| 国产精品视频猛进猛出| 亚洲V日韩V无码一区二区| 国产精品高清国产三级囯产AV| 最新国产成人剧情在线播放 | 91久久国产热精品免费| 日韩精品高清自在线| 天堂亚洲网| 91精品国产91久无码网站| 欧美国产日韩在线观看| 亚洲成人一区二区三区| 国产乱人激情H在线观看| 热久久国产| 中文天堂在线视频| 亚洲精品国产自在现线最新| 久久人搡人人玩人妻精品一| 久久一本日韩精品中文字幕屁孩| 欧美精品亚洲精品日韩专区va| 72种姿势欧美久久久大黄蕉| 99精品高清在线播放| 国产91在线|中文| 奇米影视狠狠精品7777| 国产成人做受免费视频| 久久96热在精品国产高清| 亚洲国产精品一区二区第一页免| 2020国产在线视精品在| 国产乱人伦精品一区二区| 中文字幕天无码久久精品视频免费| 亚洲成年人片| 国产欧美精品一区二区| 蜜桃视频一区| 久久久久国产一区二区| 欧美性色综合网| 高清国产va日韩亚洲免费午夜电影| 日韩最新中文字幕| 精品一区二区三区无码视频无码| A级毛片无码久久精品免费| 97免费在线观看视频| 欧美国产中文| 99久久精品免费看国产免费软件| 精品综合久久久久久97| 在线观看免费国产| 亚洲欧州色色免费AV| 亚洲国产中文欧美在线人成大黄瓜| 成人国产免费| 999精品在线视频| 色国产视频| 国产综合欧美| 真实国产精品vr专区| 免费国产高清视频| 亚洲欧美成人网| 午夜限制老子影院888| 九九精品在线观看| 亚洲欧美日韩中文字幕一区二区三区| 亚洲最大看欧美片网站地址| 一级毛片无毒不卡直接观看| 福利在线不卡| 伊人久久久大香线蕉综合直播| 国产成人狂喷潮在线观看2345| 国产色偷丝袜婷婷无码麻豆制服| 国产乱人乱偷精品视频a人人澡| 国产1区2区在线观看| 欧美劲爆第一页| 看国产毛片| 免费99精品国产自在现线| 精品一区二区无码av| 波多野结衣视频网站| 亚洲精品国产日韩无码AV永久免费网| 欧美日韩专区| 国产成人久久综合一区| 91午夜福利在线观看| 亚洲人免费视频| 麻豆精品在线| 亚洲天堂精品在线观看| 国产超碰在线观看| 国产美女免费|