幺半群等价

讨论了幺半群等价.给出了幺半群等价的一些性质,证明了两个重要的格同构.得到:如果幺半群R和S等价,F是从左R-范畴到左D-系范畴的范畴等价,M是一个左R-系,p是R的一个同余,则有M的子系格L(M)和F(N)的子系格L(F(M))格同构,只的同余格C(R)和S的同余格C(S)格同构,幺半群R/p和S/ψ(p)等价,其中ψ是R的同余格C(R)和S的同余格C(S)的格同构.     

关于PMS-代数的同余格的一点注记

分别给出了Stone代数和PMS-代数中主同余关系的其它一些特征.特别地,证明了PMS-代数(S;∨,∧,*,,0,1)的同余格与所含MS-代数(S;∨,∧,,0,1)的同余格是一致的.     

完备格上存在补映射或正统补映射的几个充要条件

设L是一个格,C:L→L是一个映射,且满足条件:(1)?a,b∈L,a≤b?C(b)≤C(a);(2)?a∈L,C(C(a))=a则称C是L上的一个补映射。若C还满足(3):?a,b∈L,a∧b=0?a≤C(b),则称C为L上的正统补映射。无疑地,在有补映射的格上推广一股拓扑学的理论是方便的。本文证明了完备格上存在补映射的几个定理,最后证明     

P—正则半群的强P—同余格

证明映射ctr:ρ|→ctrρ为格∧p（S）到格∑（P）上的完全格同态，且由ctr诱导的∧p(S)上的同余θ的每一个同余类为∧p(S)的完全模子格。给出同余θ的若干等价刻划。     

Quantic格中的素元及相关问题研究

讨论了Quantic格与Quantale以及Quantic格与分配格的关系.证明了左侧Quantic格构成交换Quantale的充要条件是对任意的a、b、c∈Q,a→(b→c)=b→(a→c).给出Quantic格中素元与S-素元的概念,讨论了它们的一系列性质,得到Quantic格中素元的等价刻画,证明了S-素元在满足一定条件的映射f下的像是f(S)-素元.     

关于完全链格与完全格的讨论

<正> 1、问题的提出文[2]中讨论递归程序的不动点语义时,指出函数空间[(D~+)~n→D~+]关于Scott偏序“”是一个链半格,由此根据Kleen定理推断出连续泛函不动点的存在性。这里的链格与通常定义的完全格有何关系?设偏序集(L,≤),对任意的x,y∈L,都存在它的最大下界glb(x,y)和最小上界lub(x,y),则称L为格,对于CL,如对于任意x,y∈C,或有x≤y或有y≤x,称C为链。如果对格L中的任意链C,在L中都存在它的最小上界lub(c)和最大下界glb(c),则称L为完全链格。     

Quantic格上的同态定理

研究了Quantic格的内部运算,证明了Quantic格中的二元运算&满足结合律的充分必要条件是对任意的a、b、c∈ Q,均有a&b→c=a→(b→c).讨论了商Quantic格与核映射之间的关系,证明了Quantic格上的同态定理:设f:P→Q是满的Quantic格同态,则存在P上的核映射j,使得Pj(～=)Q.     

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

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

一类E- 酉正则半群的TK - 算子半群

正则半群S的同余格C (S)上的算子K、k、T 和t定义如下,对于ρS,ρK和ρk(ρT和ρt)分别是与ρ有相同核(迹)的最大和最小同余. 对于同态像是E-酉的E-酉正则半群S,先确定了4个算子Γ={K,k,T,t}在同余格C (S)上满足的关系Σ,给出了商半群Γ /Σ*,然后确定了这类半群的TK-算子半群是Γ /Σ*的同态像.     

一般半群上的群的半格同余

文章给出了半群S上的半格同余类Sa上的群同余PNa的并Г=∪a∈γ PNa成为S上的群的半格同余的充分必要条件为∪a∈γ（Na)u是S的半正规子半群。     

半Smooth格

该文引入半Smooth格和半Smooth代数格的概念,讨论它们的一些基本性质及与半连续格的关系,证明了完备格L是半Smooth格和半连续格当且仅当L是完全分配格.     

完备格中的超因子

给出了超因子元的概念,然后讨论了完备格中超因子的性质,得到了一个超因子元是连续并既约元的一些等价条件.运用超因子刻画了有补模格的部分结构,并得到了一个完备格L是Boole格的充要条件是格L是下连续的分配格,且任意非零元只有零超因子.     

提升模格的一些性质

引入了提升模格的概念，并证明了它的一些基本质。     

关于群的子群格

讨论了群的子群格对原来群的刻划问题，在Ｂｉｒｋｈｏｆｆ的研究基础上，给出了子群格是链的充要条件，同时也得到关于子群格的一些性质。     

广义连续格的结构

以上（下）子格为工具建立广义连续格的诸结构定理,它们奠定这些格的完全链表现的基础。     

具有正则图的有限格的一些注记

研究了一类具有正则图的有限格,称之为正则图格.证明了一个有限格是分配的正则图格当且仅当它是布尔格,同时找出了所有1阶和2阶的正则图格.特别地,证明了8-元素布尔格是最小的3阶正则图格.     

BCl-代数的理想格

本文证明了BCI一代数的闭理想格是它的理想格的完备的模子格     

模糊幂格的同态与同余关系

研究了在格的同态、同余关系上分别诱导的模糊幂格的同态、同余关系,获得了它们的若干相关性质,以及模糊幂格同态与模糊幂格同余关系的对应关系。     

剩余格

剩余格是具备了一定条件的1 -广群 ,为了研究其结构 ,给出了剩余格的2个特征性质即剩余格中的每个元均为负的 ;一个抽象格L,当“∧”被取为运算时是剩余的 ,当且仅当L的对偶是一个布劳威尔逻辑.在这种情形下 ,剩余运算“∶”被特殊化为蕴涵运算“→”.