The Filters and the Ideals in BR_0 Algebras

Huai‐Ning Wu

2007-01-01

Abstract:The concepts of filter,ideal,prime filter of BR0 Algebras are given,and some properties of the filter of BR0 Algebras are discussed,then congruent expanded theorem is proven,finally some dual properties of the filter are followed in ideals.

What problem does this paper attempt to address?

Ideals and Filters in Pseudo-Effect Algebras

Zhihao Ma,Junde Wu,Shijie Lu

DOI: https://doi.org/10.1023/b:ijtp.0000048628.89053.de

2004-01-01

International Journal of Theoretical Physics

Abstract:In this paper, we show that the filters and local filters are equivalent in pseudo-effect algebras. Ideals and local ideals and generalized ideals are equivalent in the pseudo-effect algebras, too.
Fuzzy Implicational Ideals of WBR0-Algebras

Supeng WU,Bin ZHAO

DOI: https://doi.org/10.13413/j.cnki.jdxblxb.2015.06.08

2015-01-01

Abstract:Firstly,the concept of fuzzy implicational ideals of WBR0-algebras was proposed,some basic properties were discussed and some characterizations were obtained.Secondly,the notions of fuzzy congruences were defined, the relationships between fuzzy implicational ideals and fuzzy congruences were established.Lastly,the quotient algebra was induced by the fuzzy ideal and the homomorphism fundamental theorem was given.
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.
The filters based on relative negations in FI Algebras

Su-peng WU,Bin ZHAO

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

2016-01-01

Abstract:The notion of relative negations in FI-algebras is proposed and some properties of it are discussed.Based on the relative negations,relative regular filters,extended relative regular filters and weak relative regular filters are de-fined,Some characteristic theorems of them are obtained.Algebraic properties of the set of relative double complemen-ted elements based on the filters are introduced and the applications of extended relative regular filters are showd.
The Role Of B(X) And L(X) In The Ideal Theory Of Bci-Algebras

Jie Meng,Youngbae Jun,Eunhwan Roh

1997-01-01

Abstract:In this note, we introduce the notion of H-ideals in BCI-algebras, and establish some properties of H-ideals and p-ideals. We investigate the relation among p-ideals, strong ideals and H-ideals. Finally we discuss the family of maps derived by an H-ideal.
On (*)-Ideals and Positive Implicative Ideals in Bci-Algebras

Hamza A. S. Abujabal,Jie Meng

DOI: https://doi.org/10.22199/s07160917.1999.0002.00007

1999-01-01

Proyecciones (Antofagasta)

Abstract:In the present paper, we given sorne equivalent conditions of (*)-ideals and positive implicative ideals in BCI-algebras and we clarify the relation of the two classes of ideals. Also, we obtain further properties of these ideals. Finally, we discuss a quotient algebra of a BCI-algebra by a closed (*)-ideal and a quotient algebra by positive implicative ideal.
Stone-like representation theorems and three-valued filters in R0- algebras (nilpotent minimum algebras)

Hongjun Zhou,Bin Zhao

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

IF: 4.462

2011-01-01

Fuzzy Sets and Systems

Abstract:Nilpotent minimum algebras (NM-algebras) are algebraic counterpart of a formal deductive system where conjunction is modeled by the nilpotent minimum t-norm, a logic also independently introduced by Guo-Jun Wang in the mid 1990s. Such algebras are to this logic just what Boolean algebras are to the classical propositional logic. In this paper, by introducing respectively the Stone topology and a three-valued fuzzy Stone topology on the set of all maximal filters in an NM-algebra, we first establish two analogues for an NM-algebra of the well-known Stone representation theorem for a Boolean algebra, which state that the Boolean skeleton of an NM-algebra is isomorphic to the algebra of all clopen subsets of its Stone space and the three-valued skeleton is isomorphic to the algebra of all clopen fuzzy subsets of its three-valued fuzzy Stone space, respectively. Then we introduce the notions of Boolean filter and of three-valued filter in an NM-algebra, and finally we prove that three-valued filters and closed subsets of the Stone space of an NM-algebra are in one-to-one correspondence and Boolean filters uniquely correspond to closed subsets of the subspace consisting of all ultrafilters.
A generalization of prime ideals in [math]-algebras

Mahta Bedrood,Farhad Sajadian,Giacomo Lenzi,Arsham Borumand Saeid

DOI: https://doi.org/10.1142/s0219498826500180

2024-10-09

Journal of Algebra and Its Applications

Abstract:Journal of Algebra and Its Applications, Ahead of Print. In this paper, we introduce a special type of prime ideals in [math]-algebras. We define the concept of a [math]-prime ideal, which is a proper ideal [math] that preserves the property of being prime with respect to the ideal [math]. If [math] is not a subset of [math], then we call the [math]-prime ideal an [math]-prime ideal. We investigate the relationships between these ideals and their connections to minimal prime ideals and maximal ideals. Additionally, we explore various properties such as extension, transitivity, meet, join, and annihilator. Finally, we study prime ideals in [math]-algebras of continuous functions.

mathematics, applied
Some kinds of $(\overline{\in},\overline{\in}\vee \overline{q})$-fuzzy filters of $BL$-algebras

Xueling Ma,Jianming Zhan,Wiesław A. Dudek

DOI: https://doi.org/10.1016/j.comwa.2009.03.109

2009-05-24

Abstract:The concepts of $(\overline{\in},\overline{\in} \vee \overline{q})$-fuzzy (implicative, positive implicative and fantastic) filters of $BL$-algebras are introduced and some related properties are investigated. Some characterizations of these generalized fuzzy filters are derived. In particular, we describe the relationships among ordinary fuzzy (implicative, positive implicative and fantastic) filters, $(\in,\ivq)$-fuzzy (implicative, positive implicative and fantastic) filters and $(\overline{\in},\overline{\in} \vee \overline{q})$-fuzzy (implicative, positive implicative and fantastic) filters of $BL$-algebras. Finally, we prove that a fuzzy set $F$ on a $BL$-algebra $L$ is an $(\overline{\in},\overline{\in} \vee \overline{q})$-fuzzy implicative filter of $L$ if and only if it is both $(\overline{\in},\overline{\in} \vee \overline{q})$-fuzzy positive implicative filter and an $(\overline{\in},\overline{\in} \vee \overline{q})$-fuzzy fantastic filter.

Logic
FSI-IDEALS AND FSC-IDEALS OF BCI-ALGEBRAS

Yong-Lin Liu,San-Yang Liu,Jie Meng

DOI: https://doi.org/10.4134/bkms.2004.41.1.167

2004-01-01

Bulletin of the Korean Mathematical Society

Abstract:The notions of FSI-ideals and FSC-ideals in BCI-algebras are introduced. The characterization properties of FSI-ideals and FSC-ideals are obtained. We investigate the relations between FSI-ideals (resp. FSC-ideals) and other fuzzy ideals, between FSI-ideals (resp. FSC-ideals) and BCI-algebras, and show that a fuzzy subset of a BCI-algebra is an FSI-ideal if and only if it is both an FSC-ideal and a fuzzy BCI-positive implicative ideal.
Notes on Ideals of Roe Algebras

XM Chen,Q Wang

DOI: https://doi.org/10.1093/qjmath/52.4.437

2001-01-01

The Quarterly Journal of Mathematics

Abstract:In this note we characterize some properties of ideals of Roe algebras, concerning order structure, minimal ideals, countably generated ideals, σ‐unit, etc.
Prime Filters in MV-algebras II

Colin G. Bailey

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

2009-07-20

Abstract:In this document we consider the prime and maximal spectra of an MV-algebra with certain natural operations. Several new MV-algebras are constructed in this fashion.

Rings and Algebras
Fuzzy N-Positive Implicative Ideal

詹建明

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

2002-01-01

Abstract:The notion of closed fuzzy n-positive implicative ideal of BCI-algebras is introduced and their properties are investigated.
The Ideals in Infinite Matrix Topological Algebras(I)

Zhihao Ma

2002-01-01

Abstract:In this paper,we show that all weak compact operators,all Mackey compact operators and all strong compact operators in a class of infinite matrix topological algebras are ideals.We also discuss the charcteristics of (λ,μ)under two special topologies have the same compact sets.
Regular Ideals, Ideal Intersections, and Quotients

Jonathan H. Brown,Adam H. Fuller,David R. Pitts,Sarah A. Reznikoff

DOI: https://doi.org/10.1007/s00020-023-02753-4

2024-01-30

Integral Equations and Operator Theory

Abstract:Let be an inclusion of -algebras. We study the relationship between the regular ideals of B and regular ideals of A . We show that if is a regular -inclusion and there is a faithful invariant conditional expectation from A onto B , then there is an isomorphism between the lattice of regular ideals of A and invariant regular ideals of B . We study properties of inclusions preserved under quotients by regular ideals. This includes showing that if is a Cartan inclusion and J is a regular ideal in A , then is a Cartan subalgebra of A / J . We provide a description of regular ideals in the reduced crossed product of a C -algebra by a discrete group.

mathematics
BGG Resolutions, Koszulity, and Stratifications, Part I: the nilBrauer Algebra

Fan Zhou

2024-02-10

Abstract:In this paper we homologically construct a (functorial) BGG resolution of the finite-dimensional simple module of the nilBrauer algebra by using infinity-categorical methods following the reconstruction-from-stratification philosophy, e.g. appearing in Ayala-Mazel-Gee-Rozenblyum. To do so, we prove a fact of independent interest, that half of the nilBrauer algebra is Koszul. This BGG resolution categorifies a character formula of Brundan-Wang-Webster. More generally, we have a (functorial) ``BGG spectral sequence'' which converges to any desired module; this spectral sequence is secretly a resolution when the desired module is finite-dimensional. This spectral sequence also categorifies the character formulae of Brundan-Wang-Webster for any (possibly infinite-dimensional) simple module. We expect the methods used here for producing BGG resolutions to be applicable to other (graded) triangular-based algebras also, especially diagrammatic ones.

Representation Theory,Quantum Algebra
Some different representations of equality algebras

M. Aaly Kologani,Sogol Niazian

DOI: https://doi.org/10.1007/s00500-024-10381-2

IF: 3.732

2024-12-10

Soft Computing

Abstract:In this paper, by using the notions of equality algebras, filters, prime filters, maximal filters and other properties of equality algebras, some different representations of equality algebras are investigated. First of all, by maximal and prime filters, we proved Chang's subdirect representation theorem. Then by using the notion of -groups, we defined two binary operations on it and showed that they made an equality algebra and investigated that under what condition the converse holds. In addition, ordinal sum of two equality algebras are introduced and by using the notion of simple and subdirectly irreducible equality algebras we proved that a special kind of equality algebra can be ordinal sum of two special subalgebras of it.

computer science, artificial intelligence, interdisciplinary applications
On Rees algebras of linearly presented ideals and modules

Alessandra Costantini,Edward F. Price,Matthew Weaver

DOI: https://doi.org/10.1007/s13348-024-00440-0

2024-04-05

Collectanea mathematica

Abstract:Let I be a perfect ideal of height two in and let denote its Hilbert–Burch matrix. When has linear entries, the algebraic structure of the Rees algebra is well-understood under the additional assumption that the minimal number of generators of I is bounded locally up to codimension . In the first part of this article, we determine the defining ideal of under the weaker assumption that such condition holds only up to codimension , generalizing previous work of P. H. L. Nguyen. In the second part, we use generic Bourbaki ideals to extend our findings to Rees algebras of linearly presented modules of projective dimension one.

mathematics, applied
Factor principal congruences and Boolean products in filtral varieties

Brian A. Davey,Miroslav Haviar,Haviar, Miroslav

DOI: https://doi.org/10.1007/s00012-024-00846-8

2024-03-06

Algebra Universalis

Abstract:Motivated by Haviar and Ploščica's 2021 characterisation of Boolean products of simple De Morgan algebras, we investigate Boolean products of simple algebras in filtral varieties. We provide two main theorems. The first yields Werner's Boolean-product representation of algebras in a discriminator variety as an immediate application. The second, which applies to algebras in which the top congruence is compact, yields a generalisation of the Haviar–Ploščica result to semisimple varieties of Ockham algebras. The property of having factor principal congruences is fundamental to both theorems. While major parts of our general theorems can be derived from results in the literature, we offer new, self-contained and essentially elementary proofs.

mathematics
An algorithmic approach to the existence of ideal objects in commutative algebra

Thomas Powell,Peter M Schuster,Franziskus Wiesnet

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

2019-03-08

Abstract:The existence of ideal objects, such as maximal ideals in nonzero rings, plays a crucial role in commutative algebra. These are typically justified using Zorn's lemma, and thus pose a challenge from a computational point of view. Giving a constructive meaning to ideal objects is a problem which dates back to Hilbert's program, and today is still a central theme in the area of dynamical algebra, which focuses on the elimination of ideal objects via syntactic methods. In this paper, we take an alternative approach based on Kreisel's no counterexample interpretation and sequential algorithms. We first give a computational interpretation to an abstract maximality principle in the countable setting via an intuitive, state based algorithm. We then carry out a concrete case study, in which we give an algorithmic account of the result that in any commutative ring, the intersection of all prime ideals is contained in its nilradical.

Logic in Computer Science,Data Structures and Algorithms,Commutative Algebra,Logic

The Filters and the Ideals in BR_0 Algebras

Ideals and Filters in Pseudo-Effect Algebras

Fuzzy Implicational Ideals of WBR0-Algebras

Ideal Topology on Effect Algebras

The filters based on relative negations in FI Algebras

The Role Of B(X) And L(X) In The Ideal Theory Of Bci-Algebras

On (*)-Ideals and Positive Implicative Ideals in Bci-Algebras

Stone-like representation theorems and three-valued filters in R0- algebras (nilpotent minimum algebras)

A generalization of prime ideals in [math]-algebras

Some kinds of $(\overline{\in},\overline{\in}\vee \overline{q})$-fuzzy filters of $BL$-algebras

FSI-IDEALS AND FSC-IDEALS OF BCI-ALGEBRAS

Notes on Ideals of Roe Algebras

Prime Filters in MV-algebras II

Fuzzy N-Positive Implicative Ideal

The Ideals in Infinite Matrix Topological Algebras(I)

Regular Ideals, Ideal Intersections, and Quotients

BGG Resolutions, Koszulity, and Stratifications, Part I: the nilBrauer Algebra

Some different representations of equality algebras

On Rees algebras of linearly presented ideals and modules

Factor principal congruences and Boolean products in filtral varieties

An algorithmic approach to the existence of ideal objects in commutative algebra