具有Q-正则*-断面的正则半群上的*-同余格

文中给出了一个具有正则*-断面正则半群的例子,该半群同时存在非平凡*-同余和非平凡的非*-同余;证明了正则*-断面上的每个*-同余都能扩张成整个半群上的*-同余;刻划了*-同余和*-同余格;定义了*-同余格上的两个完全同余T*FS和T*S*;研究了*-同余格上的完全同余T*S*, T*, T*l, Tr, U*和V*, 给出了这些同余的类中的极值同余(除U*, V*外).     

强ρ-正则半群上的最小正则*-半群同余

主要研究了强P-正则半群S(P)上的最小正则*-半群同余.利用S(P)的正则*-断面S°得到S(P)上最小正则*-半群同余的简单形式γP·由于S(P)/γp同构于S°,实质上S°是S(P)的最大正则*-半群同态象,且S(P)的正则*-断面不唯一,但从同意义上看正则*-断面唯一.     

强P-正则半群上的最小正则＊-半群同余

主要研究了强P-正则半群S（P）上的最小正则＊-半群同余.利用S（P）的正则＊-断面S°得到S（P）上最小正则＊-半群同余的简单形式γP.由于S（P）/γP同构于S°,实质上S°是S（P）的最大正则＊-半群同态象,且S（P）的正则＊-断面不唯一,但从同意义上看正则＊-断面唯一.     

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

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

具有正则*-断面的正则半群的结构

设S是一个正则半群,如果存在一个S的子半群S~*及上的一元运算*满足条件：(1)(?)x∈S,x~*∈S~*∩V(x)；(2)(?)x∈S~*,(x~*)~*=x；(3)(?)x,y∈S,(x~*y)~*=y~*x~(**),(xy~*)~*=y~(xx)x~*则称S~*是S的一个正则*_-断面．本文刻画了具有正则*_-断面的正则半群的结构。     

具有Q-正则*-断面的正则半群的自然偏序

刻画了具有Q-正则*-断面的正则半群的自然偏序,并得到.该类半群上自然偏序满足(纫)-优化(劣化),ρ-优化(劣化)的条件.     

正则*-断面的一个分类(英文)

本文从(2,1)-代数簇的角度对具有正则*-断面的正则半群进行研究,给出了该簇及其若干子簇的一些刻画.事实上,本文给出了正则*-断面的一个分类.     

E-理想拟正则半群

本文定义了一类拟正则半群,所谓E-理想拟正则半群;给出了它以及它的两类特殊情形(E-左正则性拟正则半群,E-半格性拟正则半群)的特征;建立了它们的结构定理,并作为推论获得了左正则带的结构以及带的已知结构(文献[1],Petrich,1967)。     

具有某种断面的半群的研究进展

本文综述了几类具有特殊断面的半群的近期研究结果。在介绍逆半群和正则半群的一般结构之后，概述了具有逆断面的正则半群的结构和同余格的研究成果。总结了作为逆断面的推广的可裂断面，纯正断面，正则^*－断面和恰当断面。提出了可以进一步研究的重要的问题。     

正则半群的一个定理到拟正则半群的推广

1973年,T.E.Hall 证明了:“若正则半群 S 的每个(?)-类最多只含 m(一固定正整数)个(?)-类,则对 S 的任元 a,a~m 在 S 的子群中.”本文将该定理推广到拟正则半群上,即证明了:“若拟正则半群 S 的每个正则(?)-类最多只含m(一固定正整数)个(?)-类,则对 S 的任元 a,a~(mn)在 S 的子群中,其中 n 为 a~m的正则指数.”     

具有拟理想恰当断面的富足半群

利用格林*-关系刻画R和L并给出与它们相关的一些性质.利用R和L,得到恰当断面是拟理想的几个等价条件.最后,用两个结构构件R和L给出具有拟理想恰当断面的富足半群的一个结构定理.它比陈建飞在2000年给出的要简单.     

On Weak Regular ^＊-semigroups

In this paper, a special kind of partial algebras called projective partial groupoids is defined.It is proved that the inverse image of all projections of a fundamental weak regular ^*-semigroup under the homomorphism induced by the maximum idempotent-separating congruence of a weak regular ^*-semigroup has a projective partial groupoid structure. Moreover, a weak regular ^*-product which connects a fundamental weak regular ^*-semigroup with corresponding projective partial groupoid is defined and characterized. It is finally proved that every weak regular ^*-product is in fact a weak regular ^*-semigroup and any weak regular ^*-semigroup is constructed in this way.     

Naturally ordered regular semigroups with an inverse monoid transversal

The notion of an inverse transversal of a regular semigroup is well-known. Here we investigate naturally ordered regular semigroups that have an inverse transversal. Such semigroups are necessarily locally inverse and the inverse transversal is a quasi-ideal. After considering various general properties that relate the imposed order to the natural order, we highlight the situation in which the inverse transversal is a monoid. The regularity of Green’s relations is also characterised. Finally, we determine the structure of a naturally ordered regular semigroup with an inverse monoid transversal.     

具有弱中间幂等元的正则半群

本文在正则半群上引入弱中间幂等元和拟中间幂等元,着重探讨了这两类幂等元的性质特征.构造了若干具有弱(拟)中间幂等元的正则半群,确定了弱中间幂等元和拟中间幂等元之间的关系,给出了弱中间幂等元和拟中间幂等元各自的等价判定,利用拟中间幂等元刻画了纯正半群.最后,得到了构造具有拟中间幂等元的正则半群的一般途径,并在此基础上进一步给出了判定正则半群是否具有乘逆断面的方法.     

Congruences on *-Regular Semigroups

In this paper we study the congruences of *-regular semigroups, involution semigroups in which every element is p-related to a projection (an idempotent fixed by the involution). The class of *-regular semigroups was introduced by Drazin in 1979, as the involutorial counterpart of regular semigroups. In the standard approach to *-regular semigroup congruences, one ,starts with idempotents, i.e. with traces and kernels in the underlying regular semigroup, builds congruences of that semigroup, and filters those congruences which preserve the involution. Our approach, however, is more evenhanded with respect to the fundamental operations of *-regular semigroups. We show that idempotents can be replaced by projections when one passes from regular to *-regular semigroup congruences. Following the trace-kernel balanced view of Pastijn and Petrich, we prove that an appropriate equivalence on the set of projections (the *-trace) and the set of all elements equivalent to projections (the *-kernel) fully suffice to reconstruct an (involution-preserving) congruence of a *-regular semigroup. Also, we obtain some conclusions about the lattice of congruences of a *-regular semigroup. This revised version was published online in June 2006 with corrections to the Cover Date.