正在进行安全检测...
时间:2023-11-15 07:48:41 下载该word文档
2010年3月 安徽大学学报(自然科学版) March 2Ol0 第34卷第2期 Journal of Anhui University(Natural Science Edition) Vo1.34 No.2 交换QF环上的有限生成模 张丽霞 ,杜先能 ,王拥兵 (1.安徽大学数学科学学院,安徽合肥230039;2.安庆师范学院数学与计算科学学院,安徽安庆246133) 摘要:给出了QF环上模的一些特征,刻画了交换QF环上的有限生成模,得出了交换QF环上的 有限生成模的相关性质,并进一步讨论了交换QF环上的有限生成模对直和以及取直和项,上述性质仍 然保持. 关键词:有限生成模;QF环;投射模;内射模;Gorenstein投射模 中图分类号:O153 文献标识码:A 文章编号:1000—2162(2010)02—0015—04 Finitely generated modules on commutative QF rings ZHANG Li—xia ,DU Xian.neng。 ,WANG Yong—bing (1.School of Mathematical Sciences,Anhui University,Hefei 230039,China; 2.School of Mathematics and Computational Science,Anqing Teachers College,Anqing 246133,China) Abstract:Many characterizations of modules on Quasi—Frobenius(OF)tings were given in the article. We characterized the finitely generated modules on commutative QV rings and got some properties.Moreover, we discussed that for finitely generated modules on commutative QF tings,the above properties were still kept ofr direct sum and direct summand. Key words:finitely generated modules;QF rings;projective modules;injeetive modules;Gorenstein injective modules 环 称为Quasi—Frobenius环(简称QF环),若R是Noetherian的且自内射(i.e.R是一个内射R一模) 的.Nakayama于1939年引入了QF环的概念.QF环上的任意一个有限生成模都是自反模.文[1—3]证 明了有限生成模的投射性.该论文中引进了QF环上的模的一些特征,并且在QF环上对有限生成模进 行刻画.对于交换QF环R上的有限生成模 ,如果 满足: (i)pd(M)<。。; (ii)End( )是一个投射 一模. 则 是投射R一模、Gorenstein投射 一模、内射R一模、Gorenstein内射R一模. 进一步,作者得出了一些相关推论. 1定义及引理 首先给出文中用到的一些定义和符号. 收稿日期:2009—08—19 基金项目:教育部博士点基金资助项目(200803570003) 作者简介:张丽霞(1984一),女,安徽桐城人,安徽大学硕士研究生; 杜先能(通讯作者),安徽大学教授,博士生导 师,E—mail:xndu@ahu.edu.cn. .引文格式:张丽霞,杜先能,王拥兵.交换QF环上的有限生成模[J].安徽大学学报:自然科学版,2010,34(2):15—18.
安徽大学学报(自然科学版) 第34卷 定义1一个左(右)R一模肘称为Gorenstein内射的,如果存在一个所有项都是内射左(右)R一 模的正合列…一E 一 一 一E 一…,使得M=ker(E。一E ),且对任意的内射左(右)R一模E, 该正合列在函子Hom(E,一)的作用下仍是正合的.对偶地,可定义Gorenstein投射模.众所周知,任意 一个投射模都是Gorenstein投射的. 定义2设E、E 为内射尺一模,同态-厂:E一 为 一模同态,如果对于任意 一模同态g:E 一 , 都存在^:E 一E,使得g=fh,则称同态f:E— 为模 的内射预盖. 环 是左(右)Noetherian的当且仅当每一个左(右) 一模有一个内射预盖.因此,若 是左 Noetherian环,则对于任意左 一模 ,可以得到如下复形 …_E Eo__+M-_+0, 其中 Eo ,E1 ker(E0 ),…,E _ker(E E ),… 为内射预盖,则称上述复形为R一模 的内射预解式. 定义3设M∈mod R, M:M— ,对任意 ∈M和自然赋值同态f∈M ,定义 ( )(/)= ).若 肘是单同态,则 是无挠模;若 肘是同构的,则 是自反模.