关于同态的一条定理

本文对(?)乙合同之间“≥”关系的规定同于〔(?)〕,格乙的合同全体按“≥”关系构成的格中最大元,即乙的任二元都成合同的合同,这个最走元为ī,中也有最小,即任一合同类只含乙中一个元的合同,这个置小元记做ō,并且在乙按合同θ的合同的格乙/θ中把乙的元α所属的格同类记为α β,并把α→α θ称为乙/θ上的自然同态。     

一种构造格蕴涵代数的方法

格蕴涵代数是一种重要的逻辑代数,可以分别刻画真值的可比较性和不可比较性,从而形象地描述人类的思维活动。因此,构造新的格蕴涵代数对人工智能的研究具有重要意义。提出了格蕴涵同态像的概念,证明了格蕴涵同态像是格蕴涵代数;并通过已有的格蕴涵同态映射,得到构造格蕴涵代数的新方法。     

Fuzzy格上的亚序同态及性质

讨论Ｆｕｚｚｙ格上的序同态Ｆ－同态之关系，给出了亚序同态的概念，研究了几种同态的互相转化及共有关性质。     

一类格同态算子的刻画

对Rn到Rm上的格同态算子进行矩阵刻画:每行至多有一个元素不为零且不为零的元素为正,并将此结论推广到经典Banach格c0,lp(1≤p<∞)到l∞(c或c0)的格同态算子的情况,并讨论了具有Schauder基的阿基米德Banach格上的格同态算子的矩阵特征。对于Rn按字典顺序作成的非阿基米德空间的情形指出上述了刻画及相应的结果不成立。     

L—fuzzy拓扑群之间的L—fuzzy同态

在Ｌ－ｆｕｚｚｙ拓扑群之间引入了Ｌ－ｆｕｚｚｙ同态及Ｌ－ｆｕｚｚｙ开同态等概念，刻画了它们的基本特征，证明了Ｌ－ｆｕｚｚｙ同态是“Ｌ－ｇｏｏｄ ｅｘｔｅｎｓｉｏｎ”，揭示了它与分明拓扑群的同态之间的关系。     

半格的局部化与张量积

本文给出格局部化中一个张量积表示公式，并给出张量积与同态半格的关系。     

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

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

关于算子格的主带的闭性质

证明了由格同态生成的主带在算子范数下是闭的,并对一般算子生成的主带之闭性进行讨论,得到一些等价条件和充分条件.     

格半群的表示和S-格

将序半群在偏序集上的作用推广到格半群在格上的作用,提出了S-格的定义并讨论了S-格同态和S-格同余的性质,得到了格半群的表示定理.     

格的同态与合同

本文对于格的合同之间的“≥”关系规定为[1]中的对偶。设有两个格L，L’，L'为L的同态像，且以H与H'分别表示L与L’的合同的全体按“≥”关系构成的备格，我们证明了存在θ∈H，使[θ](即备格H的元θ的上闭包)与H'同构。本文中的定理给出了此结果的一个应用。     

格序半群的格序同余与格序同态

本文给出格序半群Ｓ的格序同余生成定理，讨论了格序同余和格序同态的一些性质，并且将格序群同态基本定理推广到格序半群上。     

广义连续格的同态

引进和研究了广义连续格的下同态和上同态,建立了广义代数格紧元素之间的映射扩充为下同态的充要条件。     

关于单广义序同态与子分子格

本文依据分子格的直积分解讨论了单广义序同态的结构性质,在此基础上定义了子分子格并给出了分子格范畴中子对象的构造;证明了一般集论和 Fuzzy 集论中子幂集格正是子分子格的特例。     

论拓扑一般Boole格的同态的可逆性

本文评述了“拓扑空间概论”一书中的一点疏忽.讨论了拓扑序集同态可逆性定义及与其相关的一些基本定理.     

关于偏序集到方体的嵌入的一个注记

我们通过一个反例说明下述问题的解答是否定的,假若Z-完备偏序集P可用保任意存在交与Z-并映射嵌入到某方体之中,则P是否为Z-拟连续的?     

LF商环的同态

引入了ＬＦ商环的概念,研究了ＬＦ商环同态的性质,得到了一系列同态定理,这些结论类似于经曲的环论结果．     

一种泛多项式偏序上的格

引入了泛多项式,给出了泛多项式的一种偏序结构,证明了一截段上〔０,ｐ〕的泛多项式构成一个格,而且当ｐ是线性时是一个分配格。最后给出了非模格,非分配的模格,非线性的的分配格的例子。     

量子自动机的格同态

给出了量子自动机的格上同态、子格、理想、同构嵌入的定义,并且研究了量子自动机的格上同态、子格、理想的性质,同时讨论了量子自动机的格上子格、理想与同态之间的关系,得出了量子自动机的格的一些性质.