Quantale中理想的扩张

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

Quantale上的理想余核

讨论Quantale理想与Quantale上映射之间的关系,同时给出Quantale上一个映射是理想余核的等价条件。     

Remark on the Unital Quantale Q[e]

In this paper, we investigate some properties of the unital quantale Q[e], in terms of the quantic quotients of Q[e] we study the extensions of quantic nuclei of Q to Q[e] and prove that for any non-trivial quantale Q\textbf{Q}, Q[e] is not simple. Also, we give some applications for the unital quantale Q[e].     

单纯Quantale及其Quantale商

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

Quantales的代数余核和子Quantales

在研究代数余核的一些性质的基础上，得到了Quantales的映射构成代数余核的条件；同时证明了由wellinside关系生成的某种集是子Quantale．     

Quantale上的双侧核映射

引入Quantale上双侧核映射的概念,研究双侧核映射的若干性质,证明一个核映射是局部核映射当且仅当它是双侧的、幂等的.     

Quantale中的素根定理

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

模糊集Quantale与Quantale的嵌入

给出模糊集Quantale的定义,在此基础上对Quantale与它对应的模糊集Quantale二者之间的关系进行比较,得到如果一个Quantale是可换的、单位的,则它的模糊集Quantale也是可换的、单位的结论。然后给出Quantale的一种嵌入方式。     

Ordered groups with a conucleus

Our work proposes a new paradigm for the study of various classes of cancellative residuated lattices by viewing these structures as lattice-ordered groups with a suitable operator (a conucleus). One consequence of our approach is the categorical equivalence between the variety of cancellative commutative residuated lattices and the category of abelian lattice-ordered groups endowed with a conucleus whose image generates the underlying group of the lattice-ordered group. In addition, we extend our methods to obtain a categorical equivalence between -algebras and product algebras with a conucleus. Among the other results of the paper, we single out the introduction of a categorical framework for making precise the view that some of the most interesting algebras arising in algebraic logic are related to lattice-ordered groups. More specifically, we show that these algebras are subobjects and quotients of lattice-ordered groups in a “quantale like” category of algebras.     

Girard Couples of Quantales

We introduce the concept of a Girard couple, which consists of two (not necessarily unital) quantales linked by a strong form of duality. The two basic examples of Girard couples arise in the study of endomorphism quantales and of the spectra of operator algebras. We construct, for an arbitrary sup-lattice S, a Girard quantale whose right-sided part is isomorphic to S.     

Étale groupoids and their quantales

We establish close and previously unknown relations between quantales and groupoids. In particular, to each étale groupoid, either localic or topological, there is associated a unital involutive quantale. We obtain a bijective correspondence between localic étale groupoids and their quantales, which are given a rather simple characterization and here are called inverse quantal frames. We show that the category of inverse quantal frames is equivalent to the category of complete and infinitely distributive inverse monoids, and as a consequence we obtain a (non-functorial) correspondence between these and localic étale groupoids that generalizes more classical results concerning inverse semigroups and topological étale groupoids. This generalization is entirely algebraic and it is valid in an arbitrary topos. As a consequence of these results we see that a localic groupoid is étale if and only if its sublocale of units is open and its multiplication map is semiopen, and an analogue of this holds for topological groupoids. In practice we are provided with new tools for constructing localic and topological étale groupoids, as well as inverse semigroups, for instance via presentations of quantales by generators and relations. The characterization of inverse quantal frames is to a large extent based on a new quantale operation, here called a support, whose properties are thoroughly investigated, and which may be of independent interest.     

序半群的Quantale完备化

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

Quantale的若干新的性质

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

Representation Theorems for Quantales

In this paper we prove that any quantale Q is (isomorphic to) a quantale of suitable relations on Q. As a consequence two isomorphism theorems are also shown with suitable sets of functions of Q into Q. These theorems are the mathematical background one needs in order to give natural and complete semantics for (non-commutative) Linear Logic using relations. Mathematics Subject Classification: 06D05, 06D10, 06D20, 03G25.     

Quantale矩阵的广义逆及其正定性

给出Quantale矩阵{1}-广义逆的一种刻划以及存在的条件,给出Quantale矩阵M-P广义逆的定义,讨论Quantale矩阵M-P广义逆的若干性质,得到Quantale矩阵M-P广义逆的具体形式.引入Quantale矩阵正定性的概念,研究交换幂等Quantale上矩阵正定的一些性质,得到交换幂等Quantale上矩阵正定的一些等价刻画.     

Quantale中的模糊滤子

在Quantale中引入模糊滤子的概念,研究了它的一系列性质,得到了若干等价刻画,讨论了Quantale中滤子和模糊滤子之间的相互确定关系,证明了Quantale态射既保模糊滤子又反射模糊滤子。给出了模糊滤子在Quantale态射下的像的具体结构。     

Extensions contained in ideals

We prove a Weyl-von Neumann type absorption theorem for extensions which are not full, and give a condition for constructing infinite repeats contained in an ideal. We also clear up some questions associated with the purely large criterion for full extensions to be absorbing.

     

Imaginary quadratic function fields

In Bautista-Ancona and Diaz-Vargas (2006) [B-D] a characterization and complete listing is given of the imaginary quadratic extensions K of k(x), where k is a finite field, in which the ideal class group has exponent two and the infinite prime of k(x) ramifies. The objective of this work is to give a characterization and list of these kind of extensions but now considering the case in which the infinite prime of k(x) is inert in K. Thus, we get all the imaginary quadratic extensions of k(x), in which the ideal class group has exponent two.     

广义L模糊Quantale

引入了一类广义的L模糊Quantale,即(∈,∈∨q)-L模糊Quantale的定义,研究了其性质,利用它对经典子Quantale进行了等价刻画,证明了它的其中一种特殊情形就是L模糊Quantale。     

对合Quantale同余关系

给出对合Quantale同余的概念,得到了对合Quantale同余的一些性质,讨论了对合Quantale同余与同态之间的关系,最后给出了对合Quantale乘积上的同余关系的结构。