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.

What problem does this paper attempt to address?

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.
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.
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 Algebras As Lattice-Valued Quantales

Bin Zhao,Supeng Wu,Kaiyun Wang

DOI: https://doi.org/10.1007/s00500-016-2147-5

IF: 3.732

2016-01-01

Soft Computing

Abstract:In this paper, we present an investigation of quantale algebras (Q-algebras for short) as lattice-valued quantales (Q-quantales for short). First, we prove that the set of all fuzzy ideals of a commutative ring with appropriate operations is a [0, 1]-quantale. Furthermore, we discuss some properties of localic nuclei on Q-algebras, and show that the category of Q-algebras with the quantale structures being frames is a full reflective subcategory of the category of Q-algebras. From this result, we can conclude that the category of L-frames is a full reflective subcategory of the category of L-quantales, where L is a frame. Finally, we build and characterize the Q-quantale completions of a Q-ordered semigroup.
Ideal Topology on Effect Algebras

Zhihao Ma,Junde Wu,Shijie Lu

DOI: https://doi.org/10.1023/b:ijtp.0000049030.33542.87

2004-01-01

International Journal of Theoretical Physics

Abstract:The ideals of effect algebras induce a topology on effect algebras. The operations ⊕ and ⊖ of effect algebras are continuous with respect to this topology.
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.
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
Some Further Results on Free Quantale Algebras.

Hongwei Wu,Bin Zhao,Kaiyun Wang

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

IF: 4.462

2019-01-01

Fuzzy Sets and Systems

Abstract:In this paper, we give the concrete form of a free Q -algebra over a quantale, where Q is a unital commutative quantale. On the basis of this result, we can obtain the concrete form of a free Q -algebra over a complete lattice (resp., a poset, a Q -module, a Q -poset).
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.
Algebras with Compatible Quantale-Enriched Structures

Bin Zhao,Min Liu

DOI: https://doi.org/10.1007/s11432-014-5141-5

2014-01-01

Science China Information Sciences

Abstract:Based on quantale-enriched category, we consider algebras with compatible quantale-enriched structures, which can be viewed as fuzzification of ordered algebraic structures. We mainly study groupoids and semigroups with compatible quantale-enriched structures from this viewpoint. Some basic concepts such as ideals, homomorphisms, residuated quantale-enriched groupoids are developed and some examples of them are given. Our approach gives a complement to the approach initiated by Rosenfeld to study fuzzy abstract algebra, and these two approaches are combined in the present paper to study fuzzy aspects of abstract algebra structures.
Some Properties of Girard Quantales

WANG Shun-qin,ZHAO Bin

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

2007-01-01

Abstract:The intrinsic structures of Girard quantales are studied.A series of properties of the new operations ｜→r and ｜→l are investigated.An equivalent characterization of a Girard quantale is given and a necessary and sufficient condition for a D-quantale to be a Girard quantale is found,and some simple properties of valid elements in a Girard quantale are discussed.
Ideals in Bipolar Quantum Linear Algebra

Kittipong Laipaporn,Prathomjit Khachorncharoenkul

DOI: https://doi.org/10.3390/sym16070924

2024-07-19

Symmetry

Abstract:Since bipolar quantum linear algebra (BQLA), under two operations–-addition and multiplication—demonstrates the properties of semirings, and since ideals play an important role in abstract algebra, our results are compelling for the ideals of a semiring. In this article, we investigate the characteristics of ideals, principal ideals, prime ideals, maximal ideals, and the smallest ideal containing any nonempty subset. By applying elementary real analysis, particularly the infimum, our main result is stated as follows: for any closed set I in BQLA, I is a nontrivial proper ideal if and only if there exists c∈(0,1] such that I=(−x,y)∈R2|cx≤y≤xcandx,y≥0. This shows that its shape has to be symmetric with the graph y=−x.

multidisciplinary sciences
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.
On central characteristic ideals and quasi-Noetherian Leibniz algebras

Narcisse G. Bell Bogmis,Calvin Tcheka,Guy R. Biyogmam

2023-12-31

Abstract:In this paper, we define on one hand, the notions of characteristics as well as central characteristics ideals of a given Leibniz algebra g and provide a necessary condition under which for two given subalgebras J and K of g such that, J IS a a non empty subset of K. J is a central characteristics two-sided ideal of K. On the other hand, we introduce the class of quasi-Noetherian Leibniz algebras. This generalizes both the class of Noetherian Leibniz algebras and that of quasi-Noetherian Lie algebras introduced by Falih and Stewart. We provide a necessary condition for a Leibniz algebra to be quasi-Noetherian. As in the case of Lie algebras, quasi-Noetherian Leibniz algebras are shown to be closed under quotients, but not under extensions. Finally, we leverage the maximal condition of abelian ideals to provide a characterization of Noetherian Leibniz algebras.

Rings and Algebras
Quantale Valued Sets: Categorical Constructions and Properties

José G. Alvim,Hugo L. Mariano,Caio de A. Mendes

DOI: https://doi.org/10.1007/s11225-024-10138-w

2024-09-20

Studia Logica

Abstract:This work mainly concerns the—here introduced—category of -sets and functional morphisms, where is a commutative semicartesian quantale. We prove it enjoys all limits and colimits, that it has a classifier for regular subobjects (a sort of truth-values object), which we characterize and give explicitly. Moreover: we prove it to be -locally presentable, (where ); we also describe a hierarchy of monoidal structures in this category.

mathematics,logic
Co-quantale and Its Properties

YANG Fang,ZHAO Bin

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

2007-01-01

Abstract:In this paper,some basic properties of co-quantale are discussed.The notion of preco-quantale is introduced,two sufficent and necessary conditions that preco-quantale turn into co-quantale are obtained.Also,some subco-quantales are given.
Notes on Two-Sided Quantales

Xi-juan Wang,Wei He

DOI: https://doi.org/10.1007/978-3-642-15660-1_75

2010-01-01

Abstract:hi this paper, we show that a two-sided quantale is coherent if it is isomorphic to the quantale of ideals of a distributive two-sided *-semilattice. Thus quantale representations of distributive two-sided *-semilattices are obtained. We also show that the free two-sided quantale generated by a set exists. And then the category TQuant of two-sided quantales is an algebraic category.
Counting Problems of Subquantales

韩胜伟,赵彬

DOI: https://doi.org/10.3969/j.issn.1005-3085.2008.03.020

2008-01-01

Abstract:In quantale theory, the subquantale is an important structure of quantale, understanding subquantales is helpful for deeply learning interior structures of quantale. By means of mapping, the concept of trivial quantale is proposed and characterizations for a quantale to be trivial are obtained. Secondly, the number of subquantales included in a finite quantale is discussed. Finally, it is proved that the number of non-trivial subquantales of an infinite quantale is infinite and the cardinality of quantale with one non-trivial subquantale is three.
The quantal algebra and abstract equations of motion

Samir Lipovaca

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

2013-03-31

Abstract:The quantal algebra combines classical and quantum mechanics into an abstract structurally unified structure. The structure uses two products: one symmetric and one anti-symmetric. The local structure of spacetime is contained in the quantal algebra without having been postulated. We will introduce an abstract derivation concept and generalize classical and quantum mechanics equations of motion to abstract equations of motion in which the anti-symmetric product of the quantal algebra plays a key role. We will express the defining identities of the quantal algebra in terms of the abstract derivation. In this form the first defining identity (the Jacobi identity) is analogous in form to the Bianchi identity in general relativity which is one set of gravitational field equations for the curvature tensor. The identity for the unit element is equivalent to the important property that the metric is covariantly constant. Similarly, the Jacobi identity is analogous in form to the homogeneous Maxwell equations. The anti-symmetric product of the quantal algebra is reflected in the antisymmetry of the electromagnetic tensor.

General Physics,Quantum Physics

Quantale Algebra and Its Algebraic Ideal

The Ideal Extension in Quantales

On ideals in quantales -- I

Some New Properties of the Quantale

Ideals in quantales, II

Quantale Algebras As Lattice-Valued Quantales

Ideal Topology on Effect Algebras

An Ideal Topology Type Convergent Theorem on Scale Effect Algebras

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

Some Further Results on Free Quantale Algebras.

The Ideal Conuclei on Quantales

Algebras with Compatible Quantale-Enriched Structures

Some Properties of Girard Quantales

Ideals in Bipolar Quantum Linear Algebra

Fuzzy ideals in Quantic lattices

On central characteristic ideals and quasi-Noetherian Leibniz algebras

Quantale Valued Sets: Categorical Constructions and Properties

Co-quantale and Its Properties

Notes on Two-Sided Quantales

Counting Problems of Subquantales

The quantal algebra and abstract equations of motion