纯正半群上的同余扩张(二)

刻画半群上的同余及其扩张是半群的代数理论中的一个非常重要的课题（参见［1－5］）本文在[6]讨论了带上的同余的正规性和不变性以及在其Hall半群上的扩张的基础上,从同余扩张的角度刻划了完全正则的纯正半群的特征（定理26）,给出了一个纯正半群的带上的所有同余都可以扩张到这个纯正半群的充分必要条件．     

强双单严格纯正半群上同余的刻划

本文利用正则半群同余的概念，找到了任一强双单严格纯正半群Ｓ的一个正规子半群ＮＫ和Ｅ上的一个正规同余ГＰ，证明了Ｓ的任何一同余可由余偶确定，从而给出了Ｓ上任一同余的一个具体刻划。     

半群的子半群上的同余扩张

设ρ是半群Ｓ上的一个同余,如果Ｓ／ρ是矩形带,则称ρ是矩形同余,本文刻画了半群上的最小矩形带同余,设Ｔ是半群Ｓ的子半群,本文给出了Ｔ上每个矩形带同余能扩张成Ｓ上矩形带同余的充分必要条件。     

纯正半群上的强同余及Clifford同余

把Reilly对逆半群的幂等元集合的正规划分的概念推广到纯正半群,用它从另一角度刻画。了纯正半群上强同余的结构.并刻画了具有T关系的两个强同余的联和交的正则核正规系,又讨论了纯正半群上的Clifford同余,给出了最小Clifford同余的刻画.     

半群的模糊同余扩张

本文引入半群的模糊同余扩张的概念,给出了模糊同余扩张的同态性质,同时,本文研究了带有模糊同余扩张性质的半群类,证明了一个半群S有模糊同余扩张性质当且仅当S有同余扩张性质,最后进一步给出 有模糊同余张张性质的半群类的特征。     

纯正半群上若干同余的刻划(英文)

本文在纯正半群上首先引入了关系ρｍｉｎ,ρｍａｘ,ρｍｉｎ和ρｍａｘ,刻划了纯正半群上一般同余的迹类。然后利用核－迹方法给出了纯正半群上几类特殊同余的等价刻划。在此基础上,进一步研究了各类同余间的相互联系,把逆半群上有关同余的若干结果推广到纯正半群上。     

亚纯正半群上的同余

本文讨论了亚纯正半群S上特殊同余间的关系.利用超迹和核给出了S上任一同余与特殊同余的关系及与群同余并的等式.用核正规系刻画了S上的极大幂等分离同余,得到了S/μ同构于E的几个等价条件.     

拟正则半群上的完全正则同余

拟正则半群上的两个完全正则同余相等当且仅当它们的核正规系相同。更进一步地,我们还可建立一个从一个拟正半群上的全体完全正则同余的集合到这个半群的所有完全正则核正规系的集合上的双射。     

模糊半群上的模糊同余及其扩张

给出模糊半群上的模糊同余的概念，并进一步研究它的一些基本代数性质。同时研究带有模糊半群上的模糊同余扩张性质(FCEPF)的半群类，得到一个半群有模糊半群上的模糊同余扩张性质、有模糊同余扩张性质(FCEP)、有同余扩张性质(CEP)三个条件是等价的。     

正则Г—半群上的纯正同余

定义了正Г－半群上的Ｓａｎｄｗｉｃｈ集合及纯正同余对，然后刻划了正则Г－半群上纯正同余。     

半群的子半群上的同余扩张(英)

设ρ是个群S上的一个同余．如果S／ρ是矩形带,则称ρ是矩形带同余。本文刻画了半群上的最小矩形带同余．设T是半群S的子半群,本文给出了T上每个矩形带同余能扩张成S上矩形带同余的充分必要条件。     

序半群的正则同余类

本文的目的是给出一个序半群的子集能成为某个正则同余的同余类的刻面,同时我们可以容易看出[5]中的关于一般半群(没有序关系)的相应的结论仅是本文的结论的应用.     

带正则*-断面的正则半群

本文给出了带正则*-断面的正则半群的若干性质,获得了带拟理想正则*-断面的正则半群的一个构造方法.利用这一构造定理,考虑了这类半群上的同余.     

关于具有$Q$-逆断面的正则半群的同余格

In this paper, a complete congruence on the congruence lattice of regular semigroups with Q-inverse transversals is analysed. The classes of this complete congruence which are intervals are discussed and their least and greatest elements are presented clearly.     

序半群的一类正则同余

设S是有向序半群,本文给出了S上的一类正则同余,称为强序同余的定义及性质.证明了S的强序同余是强正则同余,但反之不成立.同时证明了强序同余格SOC(S)是S的同余格C(S)关于通常集合的交和传递积的V-完备的分配子格.     

正则半群上的广义逆半群同余

利用同余的核与超迹描述正则半群上的广义逆半群同余。     

The Maximum Idempotent-Separating Congruence on Eventually Regular Semigroups

Let S be an eventually regular semigroup and . A weak inverse of a is an element be such that x = xax. Denote by W(a) the set of all weak inverses of a. Define a relation on . Then is the maximum idempotent-separating congruence on S. Analogous characterization of the maximum idempotent-separating congruence on an eventually orthodox semigroup is given. As important consequences, some sufficient conditions for an eventually regular subsemigroup T of S to satisfy are obtained, whence if S is fundamental, then so is T.