The Ideal Conuclei on Quantales

HAN Sheng-wei,ZHAO Bin

DOI: https://doi.org/10.3969/j.issn.1001-7402.2007.05.011

2007-01-01

Abstract:In this paper, the relationship between the ideal on quantale and the map on quantale is studied.In the meantime, we obtain the equivalent condition that a map is an ideal conucleus.

What problem does this paper attempt to address?

The Quantic Conuclei on Quantales

Shengwei Han,Bin Zhao

DOI: https://doi.org/10.1007/s00012-009-0005-3

2009-01-01

Algebra Universalis

Abstract:In this paper, the main purpose is to investigate some properties of quantic conuclei. Firstly, the concept of an ideal conucleus is introduced and a characterization for a map to be an ideal conucleus is given. Secondly, the relations between quantic nuclei and quantic conuclei are studied on Girard quantale, based on which, the extensions of quantic conuclei (nuclei) to a Girard quantale and the relations between those extensions are discussed. Finally, the concrete structure of quantale without non-trivial quantic conuclei is given and it is proved that the number of subquantales of an infinite quantale is infinite.
The Pre-Nuclei and Pre-Ideal Conuclei Mappings on Quantales

孙鹏娟,赵彬

DOI: https://doi.org/10.15983/j.cnki.jsnu.2011.05.015

2011-01-01

Abstract:The definitions of pre-（resp.left,right） nuclei mappings and pre-（resp.left,right） ideal conuclei mappings on Quantales are introduced,the relative properties of pre-nuclei and pre-ideal conuclei mappings are proved.The relations among pre-nuclei mappings and quantic quotients,pre-ideal conuclei and ideal are constructed,respectively.The extensions of the pre-nuclei and pre-ideal conuclei mappings to unital Quantale and Girard Quantales are given.It is proved that the set of pre-nuclei mappings and the duality of the set of pre-ideal conuclei mappings are sup-lattice isomorphic.
The Ideal Extension in Quantales

汪开云,赵彬

2009-01-01

Abstract:In this paper,the properties of Id(Q) are discussed.A condition that every ideal of a quantale Q is semiprime ideal is given,if the quantale Q is commutative.The concept of ideal extension is introduced.We get that some propositions concerning ordered semigroup still hold for ideal extension in a quantale.A quantic congruence is constructed by the ideal extension.The quantic quotient induced by the congruence is frame and its concrete structure is found,if the original ideal is prime ideal.
Localic nuclei and conuclei on Quantales

LIU Min,ZHAO Bin

DOI: https://doi.org/10.6040/j.issn.1671-9352.0.2012.108

2013-01-01

Abstract:This paper deals with localic nuclei and conuclei on quantales and the unital quantale Q[e].Firstly,it is proved that a localic nucleus on a quantale Q can be uniquely extended to the unital quantale Q[e].Also,it is proved that a two-sided commutative quantale has a largest localic subquantale,which is applied to study the extension of the largest localic quantic conucleus on Q to the unitale quantale Q[e].All the extensions of a largest localic quantic conucleus to the unitale quantale Q[e] are given.And it is proved that Q[e] has a largest localic subquantale if and only if Q is the trivial quantale.
Researches on Pre-Girard Quantale and Its Properties

ZHAO Bin,HAN Sheng-wei

DOI: https://doi.org/10.3969/j.issn.1672-4291.2007.04.001

2007-01-01

Abstract:Some of the properties of pre-Girard quantale and the relation between nuclei and conuclei on pre-Girard quantale are studied,the definition of the ideal conucleus is simplified,some of the properties of ideal conuclei are discussed,and the concrete constructions of ideal conuclei on right-sided and idempotent quantales are given.A sufficient and necessary condition for a pre-Girard quantale to be a Girard quantale is obtained.It is proved that every quantale can be embedding into a pre-Girard quantale,and nuclei and ideal conuclei on pre-Girard quantale are in one-to-one correspondence.
An Ideal Topology Type Convergent Theorem on Scale Effect Algebras

Wu JunDe,Zhou XuanChang,Minhyung Cho

DOI: https://doi.org/10.1007/s11432-007-2009-y

2007-01-01

Abstract:The famous Antosik-Mikusinski convergent theorem on the Abel topological groups has very extensive applications in measure theory, summation theory and other analysis fields. In this paper, we establish the theorem on a class of effect algebras equipped with the ideal topology. This paper shows also that the ideal topology of effect algebras is a useful topology in studying the quantum logic theory.
The ideals and ideal coclosure operators of Quantic lattices

ZHOU Xin,ZHAO Bin

DOI: https://doi.org/10.3969/j.issn.1672-4291.2012.01.002

2012-01-01

Abstract:The concepts of ideal and ideal coclosure operator on a quantic lattice are given.Some properties of them are studied,and the relationship between quantic lattice homomorphisms and ideals is discussed.It is proved that in a quantic lattice,a subset is an ideal if and only if it is the image of an ideal coclosure operator.
Ideals in quantales, II

Amartya Goswami

2023-08-12

Abstract:As a natural extension of the ongoing development of a theory of ideals in commutative quantales with an identity element, this article aims to study into the analysis of certain topological properties exhibited by distinguished classes of ideals. These ideals are equipped with quantale topologies. The primary objectives encompass characterizing quantale spaces exhibiting sobriety, examining several conditions pertaining to quasi-compactness, and demonstrating that quantale spaces comprised of proper ideals adhere to the spectral properties as defined by Hochster. We introduce the notion of a strongly disconnected spaces and show that for a quantale with zero Jacobson radical, strongly disconnected quantale spaces containing all maximal ideals of the quantale imply existence of non-trivial idempotent elements in the quantale. Additionally, a sufficient criterion for establishing the connectedness of a quantale space is presented. Finally, we discuss on continuous maps between quantale spaces.

General Topology
Quantale Algebra and Its Algebraic Ideal

王蕊,赵彬

2010-01-01

Abstract:The definition of Quantale algebra was introduced.A sufficient and necessary condition for unit Quantale to be a Quantale algebra was given.The relationship of ideal and algebraic ideal was discussed.The example of algebraic ideal which was not ideal was found.Finally a sufficient condition for ideal to be a algebraic ideal was given.
Congruence and nucleus of double quantale module

LIANG Shao-Hui,ZHAO Bin

DOI: https://doi.org/10.3969/j.issn.0490-6756.2011.01.003

2011-01-01

Abstract:In this paper the definition of double quantale module is given,some properties of double quantale module are discussed.The author present the concepts of congruence and nucleus of double quantale module,and study some properties of them,and prove that the surjective homomorphisic image of a double quantale module is isomorphic to the image of some double quantale module nucleus.Then a one-to-one correspondence between the set of all double quantale module nuclei on an double quantale module and the set of all the congruence relations on it can be obtained.They are isomorphic complete lattices.
Prequantale Congruence and Its Properties

WANG Shun-qin,ZHAO Bin

DOI: https://doi.org/10.3969/j.issn.1000-0917.2005.06.012

IF: 1.675

2005-01-01

Advances in Mathematics

Abstract:The prequantic congruence is introduced, the relation between a prcquantic quotient and the nucleus is investigated. The conclusion that all quotients, all nuclei and all congruences of a prequantale are isomorphism is obtained. The concrete structure of quotient induced by a congruence is considered. Finally, as an application of congruence, we show the prequantale category has coequalizers.
On ideals in quantales -- I

Amartya Goswami

2023-08-06

Abstract:Taking a ring-theoretic perspective as our motivation, the main aim of this series is to establish a comprehensive theory of ideals in commutative quantales with an identity element. This particular article focuses on an examination of several key properties related to ideals in quantale, including prime, semiprime, radical, primary, irreducible, and strongly irreducible ideals. Furthermore, we investigate the primary decomposition problem for quantale ideals. In conclusion, we present a set of future directions for further exploration, serving as a natural continuation of this article.

Rings and Algebras
Some New Properties of the Quantale

刘智斌,赵彬

DOI: https://doi.org/10.3969/j.issn.1001-7402.2004.01.004

2004-01-01

Abstract:In this paper, some basic properties of quantale are discussed. Two sufficent and necessary conditions that prequantale turn into quantale are obtained. The uniqueness of order-reverse involution on strictly two-sided quantale is proved and the condition that quantale turn into distributive lattice is given.
Nuclei and Conuclei on Residuated Lattices

Sheng-Wei Han,Bin Zhao

DOI: https://doi.org/10.1016/j.fss.2010.12.008

IF: 4.462

2010-01-01

Fuzzy Sets and Systems

Abstract:In this paper, we investigate some properties of nuclei and conuclei on residuated lattices and their concrete structures. By means of nuclei and conuclei we give the respective characterizations for a residuated lattice reducing to a generalized MV-algebra and a generalized BL-algebra. Based on studying regular commutative bounded integral residuated lattices, we introduce the concept of a pseudo-dual quantale and investigate some properties of it, and prove that the set of fuzzy sets of a nonempty set equipped with multiplication and negation operations is a commutative Girard quantale. Finally, we discuss the relationship between quantic nuclei and quantic conuclei on a pseudo-dual quantale, and show that the quantic nuclei and the ideal conuclei on a pseudo-Girard quantale are in one-to-one correspondence.
Conjugacy between polynomial basins

xiaoguang wang

2013-01-01

Abstract: In this article, we study the properties of conjugacies between polynomial basins. For any conjugacy, there is a quasiconformal conjugacy in the same homotopy class minimizing the dilatation. We compute the precise value of the minimal dilatation. The quasiconformal conjugacy minimizing the dilatation is not unique in general. We give a necessary and sufficient condition when the extremal map is unique.
The Homomorphism Theorem on Quantic Lattices

WANG Shun-qin,ZHAO Bin

2009-01-01

Abstract:The interior operations of a quantic lattice Q are discussed and it is proved that a sufficient and necessary condition for the binary operation to be associative is ab→c=a→(b→c) for all a,b,c∈Q.The relations between quotient quantic lattices and nuclei in a quantic lattice are discussed.At last,a homomorphism theorem is given,which says that if f: P→Q is a surjective homomorphism between quantic lattices,then there is a nucleus j in P such that Pj≌Q.
Remark on the Unital Quantale Q[e]

Shengwei Han,Bin Zhao

DOI: https://doi.org/10.1007/s10485-010-9237-9

2010-01-01

Applied Categorical Structures

Abstract: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 , Q[e] is not simple. Also, we give some applications for the unital quantale Q[e] .
Fuzzy ideals in Quantic lattices

ZHOU Xin,ZHAO Bin

DOI: https://doi.org/10.6040/j.issn.1671-9352.0.2013.020

2013-01-01

Abstract:The concepts of fuzzy subquantic lattices,fuzzy ideals and prime fuzzy ideals of a quantic lattice are given.Then the relationships betw een fuzzy ideals and fuzzy subquantic lattices are discussed and the characterizations of fuzzy ideals and prime fuzzy ideals are studied.It is proved that every ideal of a quantic lattice can be regarded as a cutset of a fuzzy ideal.
Quantales and their modules: projective objects, ideals, and congruences

Ciro Russo

DOI: https://doi.org/10.48550/arXiv.1706.00135

2017-06-01

Abstract:In this paper we characterize the projective modules over an arbitrary quantale, and then we apply such a characterization in order to define the K_0 group of a quantale. Then we study congruences of quantales and quantale modules by means of their ideals and of saturated elements w.r.t. a binary relation.

Logic,Rings and Algebras
Semitopological Groups, Semiclosure Semigroups and Quantales

Shengwei Han,Changchun Xia,Bin Zhao

DOI: https://doi.org/10.1016/j.fss.2018.03.015

IF: 4.462

2018-01-01

Fuzzy Sets and Systems

Abstract:As a valued domain, quantales have been applied to the study of enriched category, fuzzy algebra, fuzzy topology and fuzzy domain. One purpose of this paper is to investigate semitopological groups and semiclosure semigroups from the viewpoint of quantales. We first show that a semitopological group is completely determined by the topological ideal conuclei of the power-set quantale over a group. Next, we prove that the concepts of semitopological groups and semiclosure groups are dually equivalent. Another purpose of this paper is to investigate ordered semigroups, conditionally complete quantales and quantales from the viewpoint of semiclosure semigroups. As an important result of semiclosure semigroups, we prove that the category of complete semiclosure semigroups is isomorphic to the category of quantales.

The Ideal Conuclei on Quantales

The Quantic Conuclei on Quantales

The Pre-Nuclei and Pre-Ideal Conuclei Mappings on Quantales

The Ideal Extension in Quantales

Localic nuclei and conuclei on Quantales

Researches on Pre-Girard Quantale and Its Properties

An Ideal Topology Type Convergent Theorem on Scale Effect Algebras

The ideals and ideal coclosure operators of Quantic lattices

Ideals in quantales, II

Quantale Algebra and Its Algebraic Ideal

Congruence and nucleus of double quantale module

Prequantale Congruence and Its Properties

On ideals in quantales -- I

Some New Properties of the Quantale

Nuclei and Conuclei on Residuated Lattices

Conjugacy between polynomial basins

The Homomorphism Theorem on Quantic Lattices

Remark on the Unital Quantale Q[e]

Fuzzy ideals in Quantic lattices

Quantales and their modules: projective objects, ideals, and congruences

Semitopological Groups, Semiclosure Semigroups and Quantales