- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
加法半群为完全正则半群的半环上Green关系.pdf
第29卷 第2期 高 师 理 科 学 刊 V01.29 No.2
2009正 3月 JournalofScienceofTeachers CollegeandUniversity Mar. 20O9
文章编号:1007—9831(2009)02—0042—03
加法半群为完全正则半群的
半环上 Green关系
胡静,刘伟
(西北大学 数学系,陕西 西安 710127)
+ +
摘要:给出了加法半群为完全正则半群的半环上的Green关系 ,D是半环同余的等价刻划.
关键词:半环;完全正则半群 ;Green关系
中图分类号:0152.7 文献标识码:A
1 引言及预备知识
Green关系在半群的结构中起着重要的作用,因此对于Green关系的研究是一项很有意义的工作.文献
1『1详细阐述了半群上的Green关系,而半环的加法半群与乘法半群上都有各自的Green关系.本文将给出
加法半群为完全正则半群的半环上的Green关系L,D是半环同余的等价刻划.
定义 12【J设(,+)为半群,对于任意口∈S,若存在 ∈S,使得口=口+ +a和n+ = +口,则S称
为完全正则半群.
用c尺表示正则半群簇类,由文献3【】命题4.1.1知: 是群并半群,即每一个 类是 的一个子群.
用以。表示 中的单位元;用E(S)表示 的幂等元集合.
定义 设 是非空集合,若 是具有2个二元运算 “+”和 “·”的(2,2)型代数,且满足条件
(1)(,+)和(,)·是半群;
(2)对于任意口,b,c∈S,有 +b)c=ac+bc,c(a+易)=ca+cb.
则 (,+,.)称为半环.
用c尺表示加法半群为完全正则半群的半环类,设 是加法半群为完全正则半群的半环,用L,D表
示 的加法半群上的GreenL,D一关系.
2 主要结果及证明
为了给出半环上的Green关系L,D的刻划,介绍几个引理.
引理 1I5.若S∈CR,则对于任意口,b∈S,有a~b=ab。=(ab)。.
引理2【∞ 若S∈CR,则下列命题成立:
(1)aLb等价于a=以+b。,b=b+a。(a,b∈);
(2)aRb等价于n=b。+a,b=日。+b(a,b∈S)
引理3 若S=(y;S)∈CR,a∈S ,b∈S ,a∈Sa,其中 ≤ ,则下列命题成立:
收稿日期 :2008—10-25
作者简介:胡静 (1983一),女,陕西榆林人,在读硕士研究生,从事代数学研究.E—mail:hujing一521@163.corn
第2期 胡静:加法半群为完全正则半群的半环上Green关系 43
(1)a。=(口+b+以)。;
(2)aL(b+口),aR(a+b);
(3)a=a+(易+口)0=(以+易)0+a.
引理4 若S∈CR,则下列命题等价:
(1)aDb
(2)a=a+(b+以)。,b=(b+日)。+b;
(3)a=(a+6)。+a,b=b+(a+6)。;
(4)a=a+(b+以)。,b:b+(a+易)。;
(5)a=(a+6)。+a,b=(+日)。+b.
证明 因为aDb,即存在 ∈Y,使得a,b∈S ,由引理 l及引理3得a=a+(b+口)。=(a+6)。+a,
类似地有b=b+(a+6)。=(b+口)。+b,从而有 (1)==(2),(1)==(3),(1)==(4)及 (1) (5).
下面证明 (2)==(1).因为a=a+(b+口)。,b=(b+以)。+b,显然有a=a+b。,a=b。+a,由引理
2,得aLb,aRb,即aDb.
类似地证明 (3)==(2),(4)==(2)及 (5)==(2).
文档评论(0)