δ广义Hopf模.pdfVIP

维普资讯 第26卷 第3期 兰 州 交 通 大 学 学 报 (自然 科 学 版 ) Vo1．26No．3 2007年 6月 JoumalofLanzhouJiaotongUniversity(NaturalSciences) Jun．2007 文章编号：1001—4373(2007)03-0148—03 广义 Hopf模 杨 刚 ， 董 琚 ， 梁 力 (1．兰州交通大学数理与软件工程学院，甘肃兰州 730070；2．兰州工业专科高等学校 基础部，甘肃 兰州 730050) 摘 要：称M是 广义Hopf模 (gH)，如果对于M 的任意满的自同态，，有Kr(，)《 ，广义 Hopf模真包含 广义Hopf模．引入了 广义Hopf模的概念，并给出了 广义Hopf模的一些等价刻画． 关键词：Hopf模；广义Hopf模 中图分类号：O153．3． 文献标识码：A 1986年，V．A．Hiremath引人了Hopf模的概 对于M 的满足商模M／X是奇异的子模X有N+X 念．如果左R一模M 的任意满 自同态 是同构，则称 — M，则必然有 X—M M 的任意小子模和非奇异 M 为Hopf模[1]．此后，Hopf模引起了许多专家学 半单子模都是 小子模．奇异模的a4,子模是通常的 者的重视，关于这方面的研究已有许多重要结论． 小子模． 例如文献 [23中Prop．1_14证明了Noether模是 定义 1 称M 是 广义 Hopf模 (简记为 一 Hopf模，文献[3～5]分别指出Hilbert基型定理对 gH)，如果对于M 的任意满的自同态 ，有Ker() 于模的Hopf性质是满足的，即左R一模M 是 Hopf 《 ． 模当且仅当左REx]一模MIZx]是Hopf模，当且仅当 下面的例子表明 一gH模是广义 Hopf模的真 左R[[]]一模 []]是 Hopf模，当且仅当左 推广． 例 设M一0 K 是可数无穷多个模K 的 R[]／( )一模M[]／(z )是Hopf模．后来z． K．Iiu将这一结论推广到广义幂级数模的情况[6]． 直和，这里K 一K，一1，2，…，是域，令R—K．则 作为Hopf模的推广，A．Ghorbani定义了广义Hopf M 是一个非奇异的半单模，它的任何子模都是 小 模 (简写为gH)[，称左R一模M 是广义 Hopf模， 子模，因此M是 一gH模，但是M不是广义Hopf模． 如果对于M 的任意满 自同态 ，有Ker( 《M 本 证明 定义 ：M — M，( ，2，…， ，0， 文给出了广义 Hopf模的一个推广，即 广义 Hopf … )一 (2，…， ，0，…)，则 是 满 同态 并且 模．同时给出了 广义 Hopf模的一些等价刻画． KPr()一K 00不是M 的小子模． 引理 1[] 设M是模． 在文中，R总表示含有单位元的结合环，模M总 是左R一酉模．K≤M表示K是M 的子模，K 《M 1)对于M 的子模N，K和L，若K≤N，则有 表示 K是M 的小子模．M 中的元素 称为是奇异 a)N 《 当且仅当K 《 且 N／K 《 ／K； 的，如果 在R 中的零化子理想在 中是基本的， b)N+L 《 当且仅当N 《 且L 《 ； 用z( 表示M 中的所有奇异元素的集合．显然 2)如果 K 《 ，：M — N 是 同态，则 z( ≤M 如果Z( 一0，称M是非奇异的．如果 (K)《N．特别地，如果K 《 ≤N，则K 《N； Z( 一M，称M是奇异的．如果Z( ≠M，则称