Hom的子结构与正则性.pdf

第26卷第 1期 大 学 数 学 V0I．26，№．1 2010年 2月 COLIEGE MATHEM ATICS Feb．2010 Hom 的子结构与正则 贲延付 。， 杜先能 ， 邢健健 (1．安徽大学 数学与计算科学学 院，安徽 合肥 230039； 2．武警合肥指挥学院 训练部 ，安徽 合肥 230031) [摘 要]将环的正则性推广到两个模之间的同态Hom上，研究了Hom 的一些子结构与正则性，部分 回答了F．Kasch在文E33中提出的两个问题． [关键词]Hom；Tot(A，M)；Reg(A，M)；模同态；子结构；正则性 [中图分类号]O154．1 [文献标识码]A [文章编号]1672—1454(2010)01—0074—05 1 引 言 Kasch在文[1]一E33中研究了Horn(两个模之间的同态集合)的一些子结构与正则性 ，这些研究刻 画了Hom的性质与结构．我们知道对任意一个右 模M ，有 Horn(R，M)兰M，因此 Hom结构是模的 结构的推广 ；另一方面，Hom(M，M)一End(M)，所 以Hom结构又是模的 自同态结构 的延伸 ，故对 Hom 的结构与性质的研究具有重要意义．本文继续了Kasch在文E1]一[3]中的研究工作 ，给出了Hom 的结构与性质的一些更深刻的刻画，并部分地回答了Kasch在文[3]中提出的两个问题． 本文假设 R是一个具有单位元的结合环 ，A，M 是R上的右模 ，并有如下记号 ：H：：：Hom(A，M)， G—Hom(M,A)，S—End(M)，丁=End(A)；B≤ A表示B是A 的本质子模 ，N≤)M‘表示N 是M 的 小子模 ，B≤0A表示B是A 的直和项；Rad(S)表示环S的根，Rad(M)表示模 M 的根． f 一 1 显然，H是s—T双模，G是T—s双模，HG：l{ feIf∈H，g∈G}是S的双边理想， 有限 J f 一 1 GH=1{ g厂{fEH，g∈G)是丁的双边理想．易得如下引理． 有限 J 引理 1．1 HG—S∞ j厂∈H ，厂可裂㈢ 3g∈G，g可裂㈢GH—T． 2 Hom 的子结构 定义 2．1[3 △ (A，M)一ffEHJKer厂≤ A}， (A，M)一{fEHIImf~。M)， Rad(A，M)={_厂∈Hl ≤Rad(S)}一 {fEH1G厂≤Rad(丁)}， Tot(A，M)={厂∈Hl 不含有非零幂等元}一{fEHlGf不含有非零幂等元)． 对于Rad(A，M)与 Tot(A，M)定义的等价性可以见参考文献 [1]．容易验证△ (A，M)， (A，M)， Rad(A，M)与 Tot(A，M)都是 H 的s—T双子模． Kasch在文[3]中给出了／k(A，M)， (A，M)，Rad(A，M)与 Tot(A，M)的相互关系，本文给出了一 个证明． 定理 2．2口 △ (A，M)， (A，M)，Rad(A，M)都包含于 Tot(A，M)中． [收稿 日期]2007—06—18 [基金项 目]安徽大学研究生创新计划项 目 第 1期 贵延付 ，等：Hom 的子结构与正则性 75 证 首先证△ (A，M) Tot(A，M)． 对VfE△ (A，M)，若有 g∈G，使 (g，)一gf∈T，则 Im (g_厂)nKer(g-厂)一0．又 因为 Kerr ≤Ker(gf)，Kerfs A，所以Ker(gf)≤ A，故 Im(g厂)一0，g-厂一0．因此 中不含有非零幂等元 ，即 有 厂∈Tot(A，M)．故△ (A，M) Tot(A，M)． 同理可证 (A