三级三角矩阵环的若干性质.pdfVIP

维普资讯 2004年 9月 浙 江 教 育 学 院 学 报 September2004 第 5期 JOURNALOFZHEJ~NG EDUCATION INSTITUTE No．5 三级三角矩阵环的若干性质 史美华 (浙江教育学院 理工学院，浙江 杭州 310012) 摘 要 ：文章给出了三级三角矩 阵环 r的定义 ，通过建立一个等价函子 F，证明 了三角矩阵代数 r上的有限生成模范畴 modF与r 是等价的范畴 、利用伴随同构定 ～ 理 ，得到 了与r 同构的范畴r 、 关键词：三级三角矩阵环；等价函子；范畴 中图分类号：0153．3，0154 文献标识码：A 文章编号：1671—6574(2004)05—0O06—07 1 引 言 设 T，U是任意两个环， 是U—T双模 ，记 A = ()={(二：)，t∈，m∈，u∈) 定义其加法和运算乘法分别为 1+ t2 ， 。+0)； (2) (二。。)+( )=t ． (三。三)()=(m。。m )． c3 则 A对上面定义的运算作成环，称为二级三角矩阵环．文 [1]对 A一模作 了详细讨论．文 [2]给 出了三级三角矩阵环的定义，本文的目的是讨论三级三角矩阵环 厂，并且通过建立一个等价函 子 F，证明了三级三角矩阵代数上的有限生成模范畴 modF与范畴厂 等价，给出了与 厂 同 构的范畴厂 ．本文中的R是指交换的阿丁环 ，所有的环均指含幺环，所有的模均指 幺模 ，在没 有特别说明的情况下，模是指左模 ． 2 主要结果及其证明 设 T，U，V均是环 ，M ， 分别是(U—T)，(V—U)双模，记 收稿 日期：2O04—07—02 基金项 目：浙江 自然科学基金资助项 目(10~28) 作者简介：史美华 (1963一)，女，浙江嘉兴人 ，浙江教育学院理工学院副教授 维普资讯 第 5期 史美华 ：三级三角矩阵环 的若干性质 7 ，= [Ⅳ曼导兰]={[兰ItET,mEM,uEU,dEN~(uM,nEN,uEV)．c4 兰[兰至]+兰[兰]=[三：：0：：蔓]； 5 [兰量]兰[量]=[d。：。t三tt2。d。0。蔓]．c6 r，0 00] ，0『0。：] 维普资讯 8 浙江教育学院学报 2004生 故 r是有限生成的R一模．因此，f是阿丁R一代数． j 若 f是一个阿丁R一代数 ，则 f是有限生成的R一模．于是有环同态 ：R—r，且 删 在r的中心里，考虑 自然合成映射 ：R— 厂— — ， f，：R— r—— ， y：R— r—— ． 则 ， ， 是有限生成的R一模．由于