软代数（Fuzzy格）的中理想及同余关系

本文主要研究软代数（Ｆｕｚｚｙ格）的内部构造．本文首次引入了反映软代数（Ｆｕｚｚｙ格）基本特性的所谓理想（Ｍ－理想）的概念．证明了任一软代数的全体中理想组成一分配格．其次讨论了软代数（Ｆｕｚｚｙ格）的同余关系，证明了全体同余关系组成一具有０，１元素的完备分配格和Ｂｒｏｕｗｅｒ格．给出了极大同余关系的存在性，讨论了软代数中“理想”跟“同余”的关系．证明了每个理想及每个元素、每个中理想都以一种确定的方式定义一同余关系．文中有趣地发现跟一般格论显著不同，在软代数（Ｆｕｚｚｙ格）里，一个理想产生的同余关系在自然映射之下，其核一般不再等于原来的理想．文中给出了使之等于原理想的充分必要条件．从而为探索同余理想（即与核相等的理想），开避了道路．本文在我们软代数讨论班上散发之后，已有四、五名学者在此基础上写出了新的论文．     

Quantale的若干新的性质

讨论Quantale的若干性质，给出Prequantale构成Quantale的两个充要条件，论证在严格双侧Quantale上逆序对合对应的惟一性并给出了Quantale是分配格的一个条件。     

对合Quantale代数上的同余关系

引入对合Q-代数及其上的核映射、同余关系等概念,得到了对合Q-代数上的同余关系与核映射是一一对应的,研究了对合Q-代数同余与对合Q-代数同态之间的关系,最后给出了对合Q-代数乘积上的同余关系的一个重要性质。     

正则半群上的矩形群同余

文[1]中PetrichM定义了同余的核与迹，用它们描述了逆半群上的同余，Gomes在文[2]中定义了同余的核与超迹并描述了正则半群上的R-幂单(R-unipo-tent)同余，本文利用同余的核与超迹描述正则半群上的另一类重要同余，即矩形群同余．     

Z-Quantale的进一步结果

引入交Z-quantale的概念,证明了交Z-quantale的所有Z-闭子集构成的集合在包含序下是Frame.讨论了交Z-quantale上的核映射、商、同余三者之间的关系,还证明了Quantale范畴是Z-quantale范畴的反射子范畴.     

Fuzzy子格与Fuzzy同态

每个代数结构一般都可引入相应的Ｆｕｚｚｙ子结构，为了进一步研究Ｆｕｚｚｙ子和以及Ｆｕｚｚｙ同态的各种性质，本文引入了亚格的概念，并建立了Ｆｕｚｚｙ子格与亚格的对应关系（定理１．７）；给出了Ｆｕｚｚｙ同态（同构）的分解定理（定理２．５和推论２．７）；最后讨论了同余关系商格的Ｆｕｚｚｙ子格问题，证明了在自然映射下，任一保序映射可以引导出商格中应的Ｆｕｚｚｙ子格，并由此引出了φ－Ｆｕｚｚｙ商子格的概念。     

Fuzzy格的中心核中理想与同余关系

本文通过提出软代数中心核概念，讨论了软代数中理想与同余关系的联系，证明了软代数的每个中理想，都存在相应的同余关系，使其中心核恰为该中理想；每个中理想都是某个满同态的中心核；并通过中心核，构造出了相应的最小与最大同余关系．     

软代数的理想和同余关系

本文刻划了使软代数Ｆ的任意二元ａ，ｂ在一个同余类的最小同余关系（定理１），Ｆ的理想可以成为某个同余关系的核的充分必要条件（定理２），以Ｆ的同余理想Ｉ为核的最小和最大的同余关系（定理３）．     

正则纯整群带的算子半群和同余网

正则半群Ｓ的同余格（Ｓ）上的算子Ｋ，ｋ，Ｔ和ｔ定义如下：对于ρ∈Ｓ，ρＫ和ρｋ（ρＴ和ρｔ）分别是与ρ有相同核（迹）的最大和最小同余．我们确定了所有正则纯整群带的同余格上由Ｋ，ｋ，Ｔ和ｔ生成的算子半群．并确定了正则纯整群带上任意同余的同余网．     

弱P-反演半群上的强P-同余

本文利用核-迹方法，研究了弱P-反演半群上的强P-同余．给出了强P-同余对和强P-同余关系之间的结构定理．     

Prequantale上最大空间式Frame商

Prequantale quotient is defined in terms of prequantic nucleus, some equivalent propositions of which is obtained. Also, prequantale quotient is proved to coincide with the quotient object in PQuant up to isomorphism. At last, the concrete structure of the largest spatial frame quotient in TPQuant is given.     

双边Prequantale中的Frame核映射

In this paper, a Frame nucleus and prime elements in a Prequantale are defined. The concrete structure of a Frame prequantic quotient is considered, and the relation between the half-prime element and the Frame nucleus in a two-side Prequantale are obtained.     

交换半群的强半格

本文刻划交换半群的强半格上的最小半格同余，并证明由此得到的商半群为对应的每个交换半群的商半群的强半格。     

单纯Quantale及其Quantale商

讨论Quantale上的同余与Quantale商之间的关系，研究单纯Quantale的性质，给出一类Quantale是单纯Quantale的等价刻画。最后从Quantale商的角度对单纯Quantale进行了研究，得到单纯Quantale的若干特征定理。     

效应代数中的模糊滤子

在效应代数中引入模糊滤子和模糊理想的概念,讨论了它们的性质;引入并研究了强模糊滤子;在全序效应代数中提出了一个模糊同余关系并证明了这样生成的同余类是一个全序格效应代数.     

格的Fuzy同余理想

文［１］提出了格的Ｆｕｚｚｙ理想、Ｆｕｚｙ同余关系等概念并对其性质进行了探讨本文在此基础上提出了格的Ｆｕｚｚｙ同余理想的概念并分别讨论了格、Ｆｕｚｚｙ商格及格直积的Ｆｕｚｚｙ同余理想，得到了一些初步结果     

布尔代数上的Fuzzy同余关系

引入了布尔代数上的Fuzzy同余关系的概念，讨论了布尔代数上的Fuzzy同余关系与布尔代数的Fuzzy理想之间的关系，给出了商布尔代数的同构定理。     

Remarks on annihilators preserving congruence relations

In this note we shall give some results on annihilators preserving congruence relations, or AP-congruences, in bounded distributive lattices. We shall give some new characterizations, and a topological interpretation of the notion of annihilator preserving congruences introduced in [JANOWITZ, M. F.: Annihilator preserving congruence relations of lattices, Algebra Universalis 5 (1975), 391–394]. As an application of these results, we shall prove that the quotient of a quasicomplemented lattice by means of a AP-congruence is a quasicomplemented lattice. Similarly, we will prove that the quotient of a normal latttice by means of a AP-congruence is also a normal lattice.     

Quantale中理想的扩张

讨论理想Quantale的性质,给出了当Q是可换Quantale时,Q中理想都是半素理想的一个条件.引入了理想的扩张的概念,证明了与序半群中的一些经典结论相一致的命题.通过理想的扩张构造了一个Quantale上的同余,得到了当原理想是素理想时,这个同余所确定的Quantale商是Frame且找到了它的具体结构.     

Quantum frame范畴

给出有关quantum frame的一些基本概念,证明quantum frame关于同余关系的商集为quantum frame,讨论quantum frame的若干范畴性质。