noether环的几点注记.docVIP

第18卷第3期 1998年8月数学研究与评论JOURNALOFMATHEMATICALRESEARCHANDEXPOSITIONVol.18No.3Aug.1998 Noether环的几点注记Ξ 朱　晓　胜 (河海大学数理系,南京210098) 本文利用特征模给出了Noether环的一些充分必要条件,并由此讨论了摘　要　 Noether环上的内射模与平坦模的一些性质. 特征模,内射模,平坦模,环.关键词　 AMS(1991)16E/CCLO153.3分类号　 关于Noether环已经有一些熟知的结果.而本文试图利用特征模给出Noether环的一些等价条件.同时还讨论了Noether环上内射模,平坦模的一些性质.文中所指环均是有单位元的结合环,模指酉模.()3=HomZ(-,Q/Z),fd(M),id(M)分别表示模M的平坦维数、内射维数. 引理1([3]定理3)　R是Noether环的充分必要条件是每个R的绝对纯模是内射的.引理2([5]推论1.10)　R是左Noether环的充分必要条件是R的每个左Τ02内射模是左内射的. 引理3([4]定理2.1)　设R是一个环,则对所有的R模M,有fd(M)=id(M3). 引理4([4]定理3.1)　对任一矩正合列E:0→E1→E2→E3→0,令E3:表示对应的特征模叙列:0→E3→E2→E1→0.则下列几点是等价的. (1)　E是纯正合的. (2)　E3是可裂正合的. (3)　E3是纯正合的.333 定理5　设R是一个环,则下列几点是等价的. (1)　R是左Noether环. (2)　对每个左R2模M,M是R2内射的充分必要条件是M3是右R2平坦的. (3)　对每个左R模M,M是R2内射的充分必要条件是M (4)　对每一个左R2模M,id(M)=fd(M3). (5)　对每个左R2模M,id(M)=id(M3333是左R2内射的.)=id(M3333)=…. 333(6)　对每个左R2模M,id(M)=fd(M3)=id(M33)=fd(M 3)=….33(7)　对任意的左R2模M和任意的R的左理想I,τM,I:M I→(HomR(I,M))是同R 构的. Ξ1995年3月25日收到 . —451— ? 1995-2005 Tsinghua Tongfang Optical Disc Co., Ltd. All rights reserved. 3(8)　对每一个左R2模M和每一个左理想I,τM,I:M3 I→(HomR(I,M))3是满射,R 并且对每一个右平坦R模T,T33也是平坦的. 33这里,τ,g∈HomR(I,M).M,I(f a)(g)=f(g(a)),q∈I,f∈M 证明　(1)](2) 令M是任一左R2模,I是R的任一左理想.因为R是左Noether环,I是有限表现的.于是有如下的可换图: 0→M3 IR 3τMI↓～→ 3M3 RR3τ～↓M,R0→HomR(I,M)→HomR(R,M)3 　　而此可换图中底行序列是正合的充分必要条件是序列HomR(R,M)→HomR(I,M)→0是正合的. 所以,M是左R2内射的当且仅当M3是右平坦的. (2)](1)　令A是R的任一左绝对纯模,E(A)是A的一个内射包,则正合列 0→A→E(A)→E(A)/A→0 是纯正合的.由引理4,0→(E(A)/A) (E(A)/A)3.由(2),E(A) (2)](3)　显然. (1)](4)　根据[4]定理2.2. (4)](2)　显然.33→E(A)3→A33→0是可分裂的,即E(A)3 A3是右R2平坦的.所以A是右R2平坦的并且A亦是左R2内射的.于是,由引理2,R是左Noether环. (4)](5)　根据引理4和(4),对每一个左R模M,id(M)=id(M33)=id(M3333)=…. (5)](3)　显然. (5)Ζ(6)　显然. (1)](7)　因为R是一个左Noether环,每一个R的左理想I是有限表现的.对任一R的左模M及任一左理想I,[2]引理3.60给出 33τ I→HomR(I,M)M,I:MR3 是同构的. (7)](2)　对R的任一左理想I及任一左R模,有如下的可换图 M3 IRτ3M,I———→(HomR(I,M))3 1 i↓ M3↓(i3)τ3M,R33 RR———→(HomR(R,M)) 这里i:I→R是I到R的单映射. 3333()是单射.这就由(7),τ是同构映射,所以1 i是单射的充分必要条件是iM,I,τM,R —4 52— ? 1995-2005 Tsinghua Tongfang Optical Disc Co., Ltd. All rights reserved. 意味着M3是平坦的当且仅当M是内射的. (1)](