关于Dedekind环的Morita等价性.pdf

维普资讯 南京大学学报数学半年刊 第 17卷 第 2期 JOURNALOFNANJINGUNIVERSITY Vo1．17，No．2 2000年 11月 MATHEMATICALBIQUARTERLY Nov．，2000 弓一276 关于 Dedekind环的Morita等价性 0 ， 殷久梅 ‘ (南京大卓蟊茸 i 210093) 摘要 车文结出了靛下结果 I若 R为娄敷有限的Dedekind环，则 Morita等价于 R的环都丽均 于 R上一十垒矩阵环的充要条件是 为主理想整环 ．特剐地．当R为代数数域 F上的代数整 元环时，我们还碍到了Morita等价亍R 的 都同掏于 上一十圭矩硅环的几十等价刻画 ． 关键词 ： Dedekind ，理想 ， M orita- ～ — ～ ~,{ff,兰苎 堕 ’ 中圉法分类号 O153．3， 0154 主理 本文中的环都是指有单位元的环，模均指酉模 酉模 众所周知，环R与矩 阵环 有许多重要性质相同或相通 ．例如 ．0≠ R… 等价于存 在 O≠N 《R使 ，一N… ；R为裹环等价于 为裹环 ；R为 Artln环 (Noether环)等价于 R… 为Artin环 (Noether)环 ；R为左 (右)本原环等价于 为左 (右)本原环 ；对 Jacobson 根 ．J(R…)= ((尺-j (对 Bear根，Brown—McCoy根 ．Levitzki根等也有类似结果)．此外 与R的整体维数 ， 群 ， 群及 ：群也都相 同 ．事实上，站在范畴论的高度可以证明 壶 (右)R一模范畴 ( )与左 (右 ) 一谟范畴 - (— x-)为等价范畴 ．这里 与 为两个等价范畴 (记为 ≈ )是指有函子 ， 一 与 6 一 ，使FG： ，GF--~-1 (“=”指函子间的 自然同构)，据此 ，Morita给出如下定义 ： 定义 设 R．s为环 ，若 ≈s ，则称 R，s为 Morita等价的，记为 R≈ ．可以证 明 这等价于 一 ，并且显然 “ ”为等价关系，可据此将环分成等价类连行研究 ．现已知 环的Artln性、Noether性、车原性 、单性、素性、半紊性、凝聚性、VonNeumann正则性 、整体 维数等都是 Morita等价下不变的 ．对模而言 ．半单性、有限生成性、Artin性 、Noether性 、 · 国家 自然科学基金 资助项 目． 作者现工作单位为镇江师专数学系 ，镇江 ．2123103． 收稿 日期 ：2OO0一O5一l7． 维普资讯 南京士掌掌报数学生年刊 投 }生、内射性、平坦性 、生成子 (上生成子)性、子模倍、投射维数等电都是Morita等价函子 作用下不变 的性质 ． 由上知 ．对任意的 ≥1。R≈ ¨。，这里 自然要 问：若 S≈尺，是 否有 -≥I．使 S=R¨ (= ”表示 环同构)?现在 已经知道 ．当R为 P，环 (即一切有 限生成投射模都是 自由摸 的 环．见 ])时．答案是肯定的 (见[23)．但有例子说明，一般情况下并非如此，即R—s时．s 可能不同构于尺上的任意矩阵环 ．E5]中已证明了P，性是Morita等价下不变的 ．因此对 一 些常用环类 ，研究上述 问题是否有肯定的答案是一个有意义的问题 ．鉴于Dedekind(整) 环