关于内射半模的Hom函子刻划.pdfVIP

第32卷第4期 江西师范大学学报( 自然科学版) V0 1．32 No．4 2008年8月 JOURNAL OF J l ANGⅪNORMAL I 小 ⅡVERSⅡf Y( NATURAL SC正NCE) Aug ．2008 关 于 内 射 半 模 的 Ho 函 子 刻 划 肖贤 民， 黄福生， 曾慧平 ( 江西师范大学数学与信息科学学院，江西南昌33 ∞22) 摘要：该文主要研究内射半模 的性质，得到了一些较好的结论，如E是左尼 内射半模当且仅当H伽函子 保持真正合列． 关键词：内射半模；正合列；真正合列 中图分类号：o 153 ．3 文献标识码：A 1预备知识 半模 的基础结构是可换 幺半群，且它 的 “系数 ”部分是半环 ，因此在性质上与环上模有着本质的区别 ．给 出半模同态 口：M一Ⅳ，Ker 口=O是 口为单同态的必要条件而不是充分条件，口( 肘) =Ⅳ是 口为满态的充分 但不必要条件．所以半模 的研究 比模 的研究要 困难得多．也正因为如此 ，迄今为止，关于投射半模，内射半模 的研究并未获得实质性的进展⋯ ．本文通过正合列与真正合列的概念来刻画内射半模与Ho 函子保持真正 合列 的关系 ，使得 内射半模的性质更加丰富 ． 在本文中，记R为带单位元1的半环．除特别声明外，文中所指半模肘均为左球半模且所有同态均为左 尽 同态 ．其中半环与半模的定义 同文献[ 1] 中的定义一致 ．下面给出一些本文要用到的相关概念和结论． 定义1 设a ：A一 口是半模 同态，记Ker 口= {口∈A I 口( o) =0}， 口( A) = { 口( 口) I 口∈A} ，I 口= {6 ∈B I 6+ 口( 口) =口( 口’) ，j 口，口’∈A}．若I 口：口( A) ，则称a是乒正则的；若对 口，口’∈A满足 口( 口)= 口( 口’) ，必存在矗，矗’ ∈Ker 口使得0．+I | }=口’+后’，则称口是后 ．正则的．若口既是i ．正则 的，又是后．正 则的，则称 口是正则的． 定义2[ 2] 若序列( 1) ：A』■Bj ‘c 满足Ke印=I 口，则称( 1) 是正合列[ 3] ；若Ke 币= 口(A) ，则称( 1) ． o 是真正合列 ．显然 ，序列( 1) 是真正合列当且仅 当它是正合 的且 口是扣正则的．形如O—一A二I 曰j ‘C—一0的 真正合列称为短真正合列 ． 引理 1 左犀半模E是内射半模当且仅当对任意给定的左辱半模肼及子半模Ⅳ， q 2 任意J7 、r 到E上的同态可开拓为肘到E上的同态；即层是内射半模当且仅当对任何左 ＼J r 犀半模单 同态9 ：Ⅳ一肘，Ho ( 妒，E) ：Ho R( 肘，E) 一Ho R( Ⅳ，E) 是左Ⅳ- 满同态( 其 一 ＼ 中Ⅳ为非负整数所成半环) ． _l f ：}L一 庙—卫—≥∥ 引理2 设厂 ：肘一Ⅳ是犀半模同态，若g ：肘一肘’是肛正则满 同态且满足 八．1 日 Ker ( g) c Ker ( ，) ，则存在唯一的半模同态．I l ：M7一J I v使得，=螬． {＼ o 引理3[ 4】 设尺是半环且肘’二■肘j ▲胪是左尼半模同态列，若存在左犀半 。 模交换 图使得其 中的非水平 同态列都是真正合 的，则该同态列是真正合列 ．见 图1． 图l 交换图 定义3 若Ⅳ≤ ∥且定义同余 』D为唧 ’当且仅当存在n ，厅’∈J