序半群的Quantale完备化

首先定义了集合上的闭包算子,研究了闭包算子的若干性质;其次给出了序半群的Quantale完备化,证明了序半群的Quantale完备化在同构意义下完全由序半群上的拓扑闭包决定;最后给出了序半群Quantale完备化的一个应用.     

序半群的定向完备化

首先引入了序半群定向完备化的概念;其次证明了序半群的序理想之集和理想之集都是连续定向完备序半群,进而序半群的序理想之集和负序半群的理想之集是它们的定向完备化;最后得到了序半群范畴的几个满子范畴的反射子范畴。     

Z-Quantale及其范畴性质

本文把集系统的概念应用到Quantale理论中,作为Quantale的一般化,引入了Z-quantale的概念,研究了Z-quantale及其范畴的若干性质.主要结果有:证明了Z-quantale范畴是序半群范畴的反射子范畴,凝聚Z-quantale范畴是Z-quantale范畴的余反射子范畴.讨论了Z-quantale范畴中的投射对象,证明了Z-quantale A是E-投射的当且仅当它是稳定Z-连续的.     

可除Quantale的一些范畴性质

证明了GL-幺半群范畴是可除单位Quantale范畴的满反射子范畴,并且可除单位Quantale范畴是可除Quantale范畴的满反射子范畴。进而可知,GL-幺半群范畴是可除Quantale范畴的满反射子范畴。     

Quantale中的素理想及弱素理想

本文把Quantale中的序结构与代数运算＆结合在一起给出了Quantale中素理想和弱素理想的概念。讨论了它们之间的关系，得到了Quantale中理想是(弱)素理想的充要条件。证明了与序半群中的一些经典结论相一致的命题。     

Quantale中理想的扩张

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

Quantale中的素根定理

在Quantale中引入了m系的概念,利用m系讨论了Quantale中素理想和半素理想之间的关系.在此基础上证明了当Q是可换Quantale时,Id(Q)是空间式Quantale当且仅当Q中的任一理想都是半素理想.最后把环和序半群中的素根定理推广到Quantak中,得到了Quantale中的素根定理.     

Quantale范畴的代数性

本文讨论了Quantale的范畴性质,给出了余等子和自由Quantale的结构,证明了Quantale范畴是代数范畴．     

模糊子Quantale模范畴及其性质

给出了Quantale中模糊子Quantale模范畴的定义,研究了其性质,得出模糊子Quantale模范畴是完备的等重要结论。     

对合Quantale范畴的极限

构造出了对合Quantale范畴的极限结构，得到对合Quantale范畴是连通的、点化的、完备的范畴，并给出了若干特殊的极限结构。     

偏序半群的C-左理想

本文引入了偏序半群中Ｃ 左理想的概念，讨论了Ｃ 左理想的一些基本性质，定义了左基的概念并利用它给出了最大Ｃ 左理想存在的必要和充分条件．作为应用，本文还讨论了每个真左理想均为Ｃ 左理想和无Ｃ 左理想这两类半群的结构特征．本文的结果在一般半群中也成立     

On the homomorphisms of power-set <Emphasis Type="Italic">Q</Emphasis>-algebras

We continue the study of homomorphisms between power-set Q-algebras. First, by means of decomposed ul-Q-relations between ordered semigroups we give a general characterization for the homomorphisms between power-set Q-algebras. Also, we consider a new category OSGRP whose objects are ordered semigroups and whose morphisms are decomposed ul-Q-relations, and discuss the relationship between the category OSGRP and the category Q-Alg of Q-algebras.     

自然序Dubreil-Jacotin富足半群

本文考虑Ｄｕｂｒｅｉｌ－Ｊａｃｏｔｉｎ富足半群,给出若干特征后,建立了自然序Ｄｕｂｒｅｉｌ－Ｊａｃｏｔｉｎ富足半群的结构,作为应用,给出了具有正则性条件的自然序Ｄｕｂｒｅｉｋｌ－Ｊａｃｏｔｉｎ富足半群的结构,并将结果推广到具有最大幂等元的自然序的偏序富足半群上。     

Algebras of Ehresmann semigroups and categories

E-Ehresmann semigroups are a commonly studied generalization of inverse semigroups. They are closely related to Ehresmann categories in the same way that inverse semigroups are related to inductive groupoids. We prove that under some finiteness condition, the semigroup algebra of an E-Ehresmann semigroup is isomorphic to the category algebra of the corresponding Ehresmann category. This generalizes a result of Steinberg who proved this isomorphism for inverse semigroups and inductive groupoids and a result of Guo and Chen who proved it for ample semigroups. We also characterize E-Ehresmann semigroups whose corresponding Ehresmann category is an EI-category and give some natural examples.     

Intuitionistic fuzzy semiprime ideals in ordered semigroups

We give characterizations of different classes of ordered semigroups by using intuitionistic fuzzy ideals. We prove that an ordered semigroup is regular if and only if every intuitionistic fuzzy left (respectively, right) ideal of S is idempotent. We also prove that an ordered semigroup S is intraregular if and only if every intuitionistic fuzzy two-sided ideal of S is idempotent. We give further characterizations of regular and intra-regular ordered semigroups in terms of intuitionistic fuzzy left (respectively, right) ideals. In conclusion of this paper we prove that an ordered semigroup S is left weakly regular if and only if every intuitionistic fuzzy left ideal of S is idempotent.     

D-semigroups and constellations

In a result generalising the Ehresmann–Schein–Nambooripad Theorem relating inverse semigroups to inductive groupoids, Lawson has shown that Ehresmann semigroups correspond to certain types of ordered (small) categories he calls Ehresmann categories. An important special case of this is the correspondence between two-sided restriction semigroups and what Lawson calls inductive categories. Gould and Hollings obtained a one-sided version of this last result, by establishing a similar correspondence between left restriction semigroups and certain ordered partial algebras they call inductive constellations (a general constellation is a one-sided generalisation of a category). We put this one-sided correspondence into a rather broader setting, at its most general involving left congruence D-semigroups (which need not satisfy any semiadequacy condition) and what we call co-restriction constellations, a finitely axiomatized class of partial algebras. There are ordered and unordered versions of our results. Two special cases have particular interest. One is that the class of left Ehresmann semigroups (the natural one-sided versions of Lawson’s Ehresmann semigroups) corresponds to the class of co-restriction constellations satisfying a suitable semiadequacy condition. The other is that the class of ordered left Ehresmann semigroups (which generalise left restriction semigroups and for which semigroups of binary relations equipped with domain operation and the inclusion order are important examples) corresponds to a class of ordered constellations defined by a straightforward weakening of the inductive constellation axioms.     

关于交换序半群的一个注记

给出了正则交换序半群的与素理想结构有关的若干性质，还给出了为有限个主理想的并的交换序半群类中的诺特性，阿基米德性，正则性以及有限生成性之间的一些关系。     

Wreath products of ordered semigroups

In this part of the paper we give necessary and sufficient conditions for ordered wreath products of ordered semigroups by ordered acts to be inverse. In addition for Cartesian ordered wreath products we give conditions under which passing to inverses is isotone or antitone.