M.Petrich和N.R.Reilly一个问题的证明

证明了M.Petrich和N.R.Reilly关于完全正则半群上纯整同余的核的一个公开问题,讨论何种情况下纯整同余的核是群带.并给出其同余核上Green关系(H)为同余的一个表示.     

拟完全纯整半群到拟群的半格(矩阵)-矩阵(半格)分解

本文利用半群研究中的同余方法,刻划了拟完全纯整半群的特征和结构。在若干准备之后,分别讨论了拟完全纯整半群上的半格同余和矩阵同余,在此基础上建立了拟完全纯整半群到拟群的所谓半格(矩阵)-矩阵(半格)分解,且给出了在纯整半群上的完整的推论,最后,还就拟群的特征和结构作了专门的讨论。     

加法幂等元满足置换等式的纯整半环上的同余

广义逆半群上的同余早已开始研究.在这类半群的性质研究基础上,本文主要给出了加法幂等元满足置换等式的纯整半环上的同余刻画,并且给出了这类半环的同态像的一个结构定理.     

幺半群左正则纯整半直积上的同余

研究了幺半群半直积上的同余，给出了幺半群半直积的所谓同余分解定理，并特别讨论了幺半群左正则纯整半直积及其子类上的同余．     

正则纯整群带的算子半群和同余网

正则半群Ｓ的同余格（Ｓ）上的算子Ｋ，ｋ，Ｔ和ｔ定义如下：对于ρ∈Ｓ，ρＫ和ρｋ（ρＴ和ρｔ）分别是与ρ有相同核（迹）的最大和最小同余．我们确定了所有正则纯整群带的同余格上由Ｋ，ｋ，Ｔ和ｔ生成的算子半群．并确定了正则纯整群带上任意同余的同余网．     

左富足半群上的同余（英文）

本文研究了一类特殊的左富足半群,即左GC-lpp-半群上的R^*-同余.我们利用类似正则半群上同余的核迹方法分别刻画了这类半群上具有相同核和迹的最大和最小同余.同时,我们也得到了左GC-lpp-半群上的幂等元R*-同余的一些性质,并建立了这种同余的结构.     

π－纯整半群的局部化及应用

本文证明π－纯整半群在其幂等元带上的局部化存在且同构于其极大群同态象，由此，得出对应的最小群同余．     

亚纯正半群上的同余

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

正则半群上的矩形群同余

文[1]中PetrichM定义了同余的核与迹，用它们描述了逆半群上的同余，Gomes在文[2]中定义了同余的核与超迹并描述了正则半群上的R-幂单(R-unipo-tent)同余，本文利用同余的核与超迹描述正则半群上的另一类重要同余，即矩形群同余．     

幂等余 Quantale

讨论了幂等余Quantale与左纯元、子余Quantale的一些相关性质,发现幂等余Quantale的左纯元构成的集合是对应的子余Quantale;每个幂等余Quantale都可有一个核映射与子余Quantale保持对应关系;并且幂等余Quantale与核映射,左右纯元,Frame等都有一定关系.     

Congruences on regular semigroups

The kernel of a congruence on a regular semigroup S may be characterized as a set of subsets of S which satisfy the Teissier-Vagner-Preston conditions. A simple construction of the unique congruence associated with such a set is obtained. A more useful characterization of the kernel of a congruence on an orthodox semigroup (a regular semigroup whose idempotents form a subsemigroup) is provided, and the minimal group congruence on an orthodox semigroup is determined.     

右逆半群上的偏序关系

It is well known that there exists the smallest inverse semigroup congruence on an orthodox semigroup. We denote by Y the smallest inverse semigroup congruence on an orthodox semigroup. Let S be a fight inverse semigroup. We construct partial orders on S by some kind of its subsemigroups and uncover that partial orders on S have close contact with partial orders on S/Y.     

Orthodox Congruences on An Eventually Regular Semigroup

It is shown that each regular congruence on an eventually regular semigroup is uniquely determined by its kernel and hyper-trace. Furthermore, the orthodox congruences (resp., the regular congruences ) on an eventually regular (resp., orthodox) semigroup S are described by means of certain congruence pair (ξ, K), where ξ is a certain normal congruence on the subsemigroup 〈E(S)〉 generated by E(S) and K is a certain normal subsemigroup of S.     

The generalization of two basic results for orthodox semigroups

A characterization of orthodox transversals is given and the maximum idempotent-separating congruence concerned with quasi-ideal orthodox transversals is explored. The well-known results about orthodox semigroups are generalized and enriched.     

П正则半群的幂等元同余类

本文分别给出П正则半群的幂等元同余类和Пｏｒｔｈｏｄｏｘ半群［１］的幂等元同余类的П正则性刻画．其次，证明П逆半群或完全П正则半群Ｓ的幂等元同余类是Ｓ的П正则子半群．最后讨论ｏｒｔｈｏｄｏｘ半群的幂等元同合类的正则性．     

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

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

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

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

Characterizations of Certain Congruences on Orthodox Semigroups

In this paper, we intrnduce the notation pmin,pmin p^min and p^min, by which we describe the trace classes and the kernel classes of general congruence p on orthodox semigronps.Then we have given and proved some equivalent characterizations of special congruences by mean of kernels and traces. On the basis of above-mentioned congruences, we further investigate theirrelations. Some results shout congruences on iverse semigroups are generalized to orthodox semigroups.     

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

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