纯正半群上的强同余(I)

证明了纯正半群上的所有强同余构成该半群同余格的完备子格,刻画了与强同余对应的核-迹同余对-正规迹、正规子半群(称为强同余对)及其相互关系,由此给出纯正半群上任一强同余的结构,并证明强同余格和强同余对的集合之间一一对应.     

关于纯正Γ半群上的强同余

研究了纯正Γ-半群上的强同余以及强同余对.先给出纯正半群上的强同余及强同余对的概念,然后刻画了强同余的性质,由此证明了纯正Γ-半群上的强同余对的集合与强同余的集合之间是一一对应的.     

纯正半群上的强同余Ⅱ

给出了由纯正半群的任一正规迹所决定的完备子格的最大,最小元的结构,讨论了由"求迹"运算确定的强同余格的同余T,证明了每个T-类都是模格.     

关于正则＊-半群的注记

本文证明了,正则＊-半群是纯正半群、存在这样的正则＊-半群S,ρ是它的同余时,S/ρ不是正则＊-半群.     

关于(G)-反演半群上的强(G)-同余格的一个注记

E-反演半群是一类重要的广义正则半群.因此,若干正则半群的经典结果可以推广至E-反演半群.针对一类特殊E-反演半群——(G)-反演半群上的同余展开研究,给出(G)-反演半群上的强(G)-同余的一个新刻画,从而证明了每个(G)-反演半群的强(G)-同余格与某(G)-正则半群的(G)-同余格的一个子格同构.     

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

研究了正则半群上的完全单半群同余,给出了这类同余的若干等价刻画,证明了≤*是任意正则半群上的最小完全单半群同余,(≤∪≤-1)t是任意局部逆半群上的最小完全单半群同余,是任意逆半群上的最小群同余.     

P-正则半群的强P-半格上的强P-同余

借助于"核-迹"方法刻画了P-正则半群的强P-半格上的强P-同余,给出了P-正则半群的强P-半格上的强P-同余对和由强P-同余对决定的强P-同余的结构;并证明了P-正则半群的强P-半格上的强P-同余可以由构成该强P-半格的P-正则半群族上的强P-同余诱导而得到.     

正则半群的Clifford同余

利用同余的核与超迹描述正则半群上的Clifford同余,证明了正则半群的Clifford同余与同余对之向有一一对应的关系。     

正则半群的模糊同余三元组

考虑一般的正则半群上的模糊同余，定义了正则半群的模糊同余三元组的概念，证明了正则半群上的模糊同余由它的模糊同余三元组惟一确定，进而得到正则半群上的模糊同余集和模糊同余三元组集之间存在一一对应关系。     

拟正则^＊-半群的一类子半群

证明了拟正则*-半群S的射影集S*构成其子半群.从幂等元集、投影集和正则*-同余等角度讨论了S与S*之间的关系.     

半格同余的扩张

本文研究了一般半群的任意子半群上半格同余扩张的问题。证明了，如果Ｔ是半群Ｓ的Ｃ－子半群，则Ｔ上的每个半格同余能唯一地扩张成Ｓ上的半格同余，并且Ｔ上所有的半格同余与Ｓ上所有的半格同余之间存在格同构。当Ｓ是正则半群，那么Ｓ的全子半群Ｔ上每个半格同余能唯一地扩张成Ｓ上的半格同余当且仅当Ｔ是Ｓ的Ｃ一子半群。     

半群上的L-模糊同余

本文给出了一个Ｌ模糊关系生成Ｌ－模糊同余及包含在这Ｌ－模糊关系中最大的Ｌ－模糊同余的刻画。进一步证明了一个半群的Ｌ－模糊同余格是一个完备格且给出两个Ｌ－模糊同余并的刻画，特别地，我们得出群的Ｌ－模糊同余格为模格     

弱逆半群上最大幂等元分离同余和群同余

刻画了弱逆半群S上的最大幂等元分离同余和最小群同余,在此基础上,证明了S的群同余格与S的由主元所组成的逆半群I（S）的群同余格完备格同构;进而,证明了I（S）的群同余格是S的同余格的格同态像。     

C-拟正则半群上的可许同余对

令半群S为Clifford半群K的诣零扩张,Q为其Rees商半群S/K。引入S的可许同余对(δ,ω)的概念,其中δ和ω分别为诣零半群Q和Clifford半群K上的同余,证明了S上的任何同余σ都可由S的一个可许同余对唯一表示。另外,关于S上的任何同余σ,用σ_K表示σ在Clifford半群K上的限制,即σ_K=σ|_K,而σ_Q=(σ∨ρ_K)/ρ_K,其中ρ_K为S的理想K诱导的Rees同余,还证明了映射Γ:σ→(σ_Q,σ_k)为从S上的所有同余集合到S的所有可许同余对集合上的保序双射。最后,讨论了S上的同余是正则同余的条件。     

Congruences on ideal nil-extension of completely regular semigroups

Let S be an ideal nil-extension of a completely regular semigroup K by a nil semigroup Q with zero. A concept of admissible congruence pairs (δ,ω) of S is introduced, where δ and ω are a congruence on Q and a congruence on K respectively. It is proved that every congruence on S can be uniquely respresented by an admissible congruence pair (δ,ω) of S. Suppose that ρ K denotes the Rees congruence induced by the ideal K of S. Then it is shown that for any congruence σ on S,a mapping Γ:σ|→(σ Q,σ K) is an order-preserving bijection from the set of all congruences on S onto the set of all admissible congruence pairs of S,where σ K is the restriction of σ to K and σ Q=(σ∨ρ K)/ρ K. Moreover,the lattice of congruences of S is also discussed. As a special case,every congruence on completely Archimedean semigroups S is described by an admissible quarterple of S. The following question is asked: Is the lattice of congruences of the completely Archimedean semigroup a semimodular lattice?     

严格π－正则半群上的fuzzy同余

 π－正则半群S称为严格π－正则的,如果其正则元集为S的理想且为S的完全正则子半群。这里利用半群fuzzy同余的概念,研究了π－正则半群上fuzzy同余的性质。在此基础上, 给出了严格π－正则半群上fuzzy同余的性质和特征, 并给出了严格π－正则半群上群同余的刻画,得到了严格π－正则半群上fuzzy同余为fuzzy群同余的充要条件。     

一类正则半群上的同余

本文讨论具Q-逆断面的正则半群上的同余(格),具体刻划了这类半群上的同余(格),确定了若干特殊的同余。     

一类E-酉正则半群的同余网结构

定义正则半群S的同余格C(S)上的算子半群K,k,T和t,对于P∈S,ρK和ρk(ρT和ρt)分别表示与ρ有相同核(迹)的最大和最小同余.对于同态像是E-酉的E-酉正则半群S,确定了其上任意同余ρ的同余网ρΓ*,并确定了由ρ的同余网ρΓ*生成的同余子格.