- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
第24卷第1期 大 学 数 学 Vo1.24。№.1
2008年 2月 C()I I EGE MATHEMATICS Feb.2008
关于强正则环的刻画
雷 震
(1.东南大学 数学系,江苏 南京 210096; 2.安徽师范大学 数学计算机科学学院,安徽 芜湖 241000)
[摘 要]通过单边理想是广义弱理想来刻画强正则环,证明了下列条件是等价的:①R是强正则环;②
R是半素的左GP—V 环,且每一个极大的左理想是广义弱理想;③R是半素的左GP—V-环,且每一个极大的
右理想是广义弱理想.
[关键词]强正则环;半素环;广义弱理想;YJ一内射模;GP-V-环
[中图分类号]O153.3 [文献标识码]A [文章编号]1672—1454(2008)01—0029~04
1 引 言
本文中所有的环均指有单位元的结合环,环上的 模均指单式模.对于环R中的任意元a,用z(a),
r(d)各自表示元n的左零化子和右零化子,用J(R)表示环R的Jacobson根.环R称为von Neumann正
则环,若对于任意的aER,存在一个bER,使得a:aba;环R称为强正则环,若对于任意的aER,存在
一 个6∈R,使得a—ba (参见文[1]).一个左(右)R-模M称为 一内射的,若对于任意的aER,存在一
个正整数(依赖于a),使得a ≠0,且对于任一个Ra (a R)到M的同态都可以扩张为R到M的同态
(参见文[22).自文[21引入YJ一内射模以来,许多研究者利用Ⅵ一内射模有效的刻画了强正则环,已取
得了许多有意义的结论(见[2—81).我们进一步这方面的研究,我们重述下列定义:
(i)环 R称为左 GP—V-环,如果 R的每一个单左R一模都是 一内射的,相似地可以定义右
GP_ 环.
(ii)环R称为左GP— ,_环,如果R的每一个单奇异左R一模都是Ⅵ一内射的,相似地可以定义右
GP-V 一环.
(iii)一个环R称为Abelian环,如果环的每一个幂等元在环的中心.
(iv)环R的一个双边理想 称为约化的,如果 不含非零的幂零元.且如果双边理想 是约化的,
则对于任意的aE j及任意的正整数,有z(n)一z(a”)一r(n)一r(a”).
(v)环R的一个左理想 称为广义弱理想,如果对于任意aE ,存在一个的正整数m(基于a),使
得。 R .同样一个右理想 为环的广义弱理想,如果对于任意a E J,存在一个的正整数m,使得
Ra .广义弱理想有效地刻画了环的正则性(参见文[3]).
本文我们证明:如果R是强正则的当且仅当R是半素的左GP— 一环且它的每一个极大的左(右)
理想是广义弱理想.统一和推广文[3]定理2.2、文[4]定理4及文[5]的定理7(3)的结果.
2 主要结论
引理1 如果尺为半素的左GP— 环,则J(R)一0.
[收稿日期]2006—02—28
[基金项目]安徽师范大学专项科学基金(2005Bzxl8)资助项目
30 大 学 数 学 第24卷
证 我们先证J(R)是约化的.假如J(R)不是约化的,则存在一个0≠口∈J(R)使得n 一0,那么必
然有RaR+z(n)≠R.否则,存在6∈RaR,C∈z(n),使得b+C一1,即有ba=:=n,(1—6)’n一0.由于n∈J
(R),而J(R)是双边理想,所以有b∈RnR .,(R),则存在一个d∈R使d(1—6)一1,即有a— (1--b)a
一0,这与n≠0矛盾.因此RaR+z(n)≠R.所以存在极大的左理想M,使得RaR+l(a) M≠R.
RaR+z(a)必是本质的左理想.否则,我们令 N—RaR+r(RaR),由于R是半素的,所以RaR
+z(RnR)=RaR+r(RnR).如果存在一个非零的左理想 K,使得 NnK一0,那么RnRK RnRnK
NnK一0,因此K r(RnR) N,但这是矛盾的.而RnR+r(RnR)一RaR+Z(Rn
文档评论(0)