双循环半群上的同余

双循环半群在逆半群的研究中起着重要的作用,对此类半群上的同余关系进行了探讨,从而得到一些重要的结论.     

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

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

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

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

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

对具有Q-逆断面的正则半群S的基于子半群I,L为构件的结构,引入了I,L上的同余的相容条件及用I和L上同余作成的同余对的概念,给出了S上的相应的同余刻划.用给出同余刻划方法描述了逆半群同余、群同余和幂等分离同余.     

一种刻画具有Q - 逆断面的正则半群上同余的方法

对具有Q-逆断面的正则半群S的基于子半群R、L为构件的结构,引入了R、L上的同余的相容条件及用R和L上同余作成的同余对的概念,给出了S上的相应的同余刻画.用所给出的同余刻画方法,描述了逆半群同余、群同余和幂等分离同余.     

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

研究了具有Q-逆断面的正则半群上的同余格Con(S)上的等价关系W和Q,它们都是Con(S)上的完全同余,这些完全同余的每一个类是区间,给出了每一个类的极大、极小同余的表示.     

GV-半群上的GV-逆半群同余

讨论了GV-半群S=（Y；Sa）上的GV-逆半群同余与Sa上的π-群同余的关系，并把讨论结果应用到完全正则半群上．     

E-逆半群上的一类特殊同余

利用正则半群上的酉群带同余的刻画,讨论了E-逆半群S上的同余ρ是一个酉群带同余当且仅当它是S上的一个群同余和一个带同余的交.     

非含幺逆半群的半格的同余对

首先通过一族非含幺逆地群Sα的同余对刻画了其半格的同余对,然后由逆半群Sα的半格的同余对刻画了各逆半群Sα的同余对.     

增序变换半群上的某些同余

给出了增序变换半群上的链同余和半格同余的定义,利用同余的性质,得出了增序变换半群上任意同余与链同余并取的等式,并得出了该半群的任意子半群上的最小半格同余.     

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

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

半格同余的扩张

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

正则半群上的强同余

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

序半群的正则同余类的注记

什么样的子集可以作为一个 序半群的正则同余的同余类仍是一个公开问题。Ｋｅｈａｙｏｐｕｌｕ和Ｔｓｉｎｇｅｌｉｓ给出了什么样的子集可以作为序半群的某修正在则半各同余的同余类。继他们之后,本证明了序半群Ｓ的半群结构上的理想Ｃ是Ｓ是正则同余类的充分必要条件为Ｃ是凸集。     

GV-逆半群S的子半群〈E（S）〉

半群S的幂等元集E（S）生成的子半群（E（S））在半群同余的刻画中占有极其重要的地位。当S为GV-逆半群时,利用归纳法,证明了,对于任意t∈（E（S））都有,r（T）∈E（S）,〈E（S）〉为S的π-正则子半群,因此也是GV-逆半群。     

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上的同余是正则同余的条件。     

半群上的L-模糊同余

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