Stone代数的素理想与同余关系

用Ｓｔｏｎｅ代数的素理想集刻划了Ｓｔｏｎｅ代数的每一个同余关系，并证明了Ｃｏｎ（Ｌ）可以嵌入于Ｚ（Ｐ（Ｌ））中。由此证得了Ｓｔｏｎｅ代数的同余扩张性，并给出了Ｓｔｏｎｅ代数的同余理想用素理想集刻划的表达式     

MS-代数的同余核

讨论同余关系θ的唯一性,其中θ是MS-代数L的以理想I为核的同余关系,主要结果有:(1)分别是L的同余核,d1≥d,如果以(d]为核的同余关系是唯一的,则以(d1]为核的同余关系是唯一的.(2)在商代数L/θ中,给出([d]]是同余核的充分必要条件.     

软代数的素理想与同余关系的注记

讨论了非分配软代数F的素理想表示同余关系的问题，指出非分配软代数F的同余关系θ可素理想表示的充要条件是F／θ是软代数，以Con(F)表示F的同余关系格，PCon(F)表示F的全体可由素理想表示的同余关系，证明了按照Con(F)中偏序关系，PCon(F)构成Con(F)的一个子格，并且PCon(F)可嵌入于F的全体素理想集Z（F）的对偶幂集格^↑P（Z（F））中。     

伪补分配格的理想、滤子和同余关系

给出了伪补分配格Ｌ的理想Ｉ可以成为某个同余关系的核的充要条件，刻划了以Ｌ的同余理想Ｉ为核的最小同余关系以及以Ｌ的滤子Ｊ为对偶核的最小同余关系     

MS—代数的同余扩张性

刻划了ＭＳ－代数的素理想生成的同余关系，由此刻划证明了ＭＳ－代数具有同余扩张性。     

格上的模糊理想与模糊同余理想

对Fuzzy理想做了进一步的研究，证明了几个主要的性质，得到了在格的同态映射θ下，Fuzzy理想与其像、逆像之间的关系，并建立了它与Fuzzy同余理想间的关系。     

Fuzzy格中理想的最小同余扩张

刻画了Fuzzy格中理想的最小同余扩张，设I为Fuzzy格F的任一理想，令Tc(I)={x∈F|Ed∈I，使得x∧d’≤d∧d’)，则Tc(I)是F中包含I的最小同余理想．证明了正规Fuzzy格(或Kleene代数)F中，理想E={x∧x’|x∈F}的最小同余扩张是一个W-理想，即存在唯一的同余关系以它为核．     

弱 Stone-代数的同余三元组

目的研究弱Stone-代数同余的表示。方法构造同余三元组,并分析其性质。结果与结论一个弱Stone-代数L的任一个同余φ都可用同余三元组〈θ_1,θ_2,θ_3〉来表示,其中θ_1是布尔代数同余,θ_2,θ_3是格同余,并给出L是同余可换的充分条件。     

正规软代数的素理想刻划

讨论了正规软代数的素理想与同余关系的性质，利用软代数的素理想和同余关系刻划了正规软代数。     

双重Stone代数的素理想与同余性质

对于双重Stone代数L,以P(L)表示L的全体素理想组成的集,Con(L)表示L的同余关系格,XP(L)表示P(L)的幂集格的对偶格。本文用P(L)的子集刻划了双重Stone代数L的每一个同余关系,由此给出了双重Stone代数L关于次直不可约双重Stone代数的次直积表示和双重Stone代数的次直不可约类,并证明了Con(L)可以嵌入到XP(L)中。     

双Stone代数的理想与同余理想

在给出双Stone代数的理想的基础上,给出了双Stone代数的同余理想.     

半群上广义的素同余

讨论了素同余和半素同余．证明了每个半素同余是素同余的交．推广了有关该知识的最新结果．     

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

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

BCK-代数模糊对偶原理

对于有界可换BCK-代数建立了下述对偶原理:一个模糊子集μ是一个模糊理想(质理想,模糊同余),当且仅当它的诱导模糊子集v(定义:v(x)=μ(Nx)x∈X)是一个模糊BCK-滤子(质模糊BCK-滤子,模糊BCK-滤子同余)。     

SM-代数的素理想与同余关系

用SM-代数的素理想集刻划了SM-代数的每一个同余关系.在此基础上得到了次直不 可约SM-代数类的结构.     

双重Ockham代数的同余核

双重Ｏｃｋｈａｍ代数的同余核吴丽云（广东民族学院计算机科学系，广州５１０６３３；作者，女，４１岁，讲师）双重Ｏｃｋｈａｍ代数是一个具有（２，２，１，１，０，０）类型的代数（Ｌ；∧，∨，ｆ，ｇ，１，０），其中（Ｌ；∧，∨，１，０）为有界分配格，（Ｌ；∧...