矩阵范畴与环上矩阵的分解.pdf

湖南师范大学 自然科学学报 V0l23No．1 ActaCS iNatUnivNorm Hunan Mar2∞0 t3-~／7 ． 矩阵范畴与环上矩阵的分解 卷鬻 ／ 第 目 (湖南师范大学理学院数学系 ，中国 长沙 410081) 摘 要 ：利用范畴工具 ，给出了主理想整环 、局部环等环上矩阵的一类分解形式 美键词 ：矩阵范畴 ；主理想整环 ；局部环 中图分垂萼■5两．芎— 丽 西_ —-文章编号：1000—2537(2000)010013-05 CategoriesofMatricesandDecom[msitionsofMa tricesover娜 CHEN Ⅱ 蜘 (DepartmentofMathematicsofScienceCollege，HunanNormalUniversity，0】an a410081，China) Abst~act： Inthispaper，wegivedecompositionsofmatricesove1 峰 byvirtueofmatrixca tegories Keywords：matrixcategory；principalidealdoma in；local ring 环上矩阵的分船理论是环上线性代数 中的一个重要内容 ．本文从范畴论出发 ，利用矩阵构 造范畴 ，给出了这类范畴与同态范畴之间的等价关系 ，进而得到了主理想整环等环上矩阵的一 类分船形式 ． 设 R为带单位元 1的结合环 ，M (R)为 R上m ×n阶矩阵集合 ，PE蛆 (R)称为左 可逆矩阵，如果存在 QE (R)使得 O尸= ‘，其 中 ，n为n×n阶单位矩阵，类似地 ．PE (R)称为右可逆矩阵，如果存在 QE (R)使得 尸Q= ，m． 我们知道 ，Hom (R ， ) ()，因此矩阵集合和模同态集合之间存在集合上同构 关系 ，从而在很多场合能够用模同态来取代矩阵进行研究，但其缺点是未考虑矩阵的运算 ．本 文进一步发展该思想．把矩阵建立成范畴，从而使我们能够很方便地考察矩阵的运算，进而把 矩阵的运算转化为模 同态的复合 ，最后作为一个应用，我们利用环上模同态的分解来研究环上 矩阵的分解 ，进而给出了主理想整环等局部环上矩阵的一类分船形式 ． 收稿 日期 ：1999-10-13 基 金项 目：国家 自然科学基金资助项 目 作者简介：陈焕1~(1963一)，男，江苏兴化人 ，湖南师范大学教授 ，主要研究代数 K理论及其应用 14 湖南师范大学 自然科学学报 第 23卷 首先 ，我们建立两类新范畴 ． 设 为所有 自然数组成的集合 ，对任何 ，m ∈M，mot(n，m)为所有 R上m ×n矩阵组 成的集合 ，对任意 A ∈inor (n，m)， ∈mor( s)，定义其复合运算为矩阵乘法 ，即BoA = ． 取恒等态射 为m Xm阶单位矩阵 容易验证 (吖，inor，o)构成一个范畴 ，我们记为 盟 (R)设 ，为所有有限生成 自由右