APP下载

Artin A-半单环探究

2011-06-07张力宏张秋雨

通化师范学院学报 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-投射模关于直和、直和项……

登录APP查看全文

猜你喜欢

定义
活用定义巧解统计概率解答题
例谈椭圆的定义及其应用
题在书外 根在书中——圆锥曲线第三定义在教材和高考中的渗透
永远不要用“起点”定义自己
严昊:不定义终点 一直在路上
定义“风格”
成功的定义
有壹手——重新定义快修连锁
修辞学的重大定义
山的定义