scholarly journals On Fuzzy Ideals ofBL-Algebras

2014 ◽  
Vol 2014 ◽  
pp. 1-12 ◽  
Author(s):  
Biao Long Meng ◽  
Xiao Long Xin

In this paper we investigate further properties of fuzzy ideals of aBL-algebra. The notions of fuzzy prime ideals, fuzzy irreducible ideals, and fuzzy Gödel ideals of aBL-algebra are introduced and their several properties are investigated. We give a procedure to generate a fuzzy ideal by a fuzzy set. We prove that every fuzzy irreducible ideal is a fuzzy prime ideal but a fuzzy prime ideal may not be a fuzzy irreducible ideal and prove that a fuzzy prime idealωis a fuzzy irreducible ideal if and only ifω0=1and|Im⁡(ω)|=2. We give the Krull-Stone representation theorem of fuzzy ideals inBL-algebras. Furthermore, we prove that the lattice of all fuzzy ideals of aBL-algebra is a complete distributive lattice. Finally, it is proved that every fuzzy Boolean ideal is a fuzzy Gödel ideal, but the converse implication is not true.

2021 ◽  
Vol 7 (3) ◽  
pp. 4767-4777
Author(s):  
Xin Zhou ◽  
◽  
Xiao Long Xin ◽  

<abstract><p>In this paper, we introduce the concept of (prime) ideals on neutrosophic extended triplet groups (NETGs) and investigate some related properties of them. Firstly, we give characterizations of ideals generated by some subsets, which lead to a construction of a NETG by endowing the set consisting of all ideals with a special multiplication. In addition, we show that the set consisting of all ideals is a distributive lattice. Finally, by introducing the topological structure on the set of all prime ideals on NETGs, we obtain the necessary and sufficient conditions for the prime ideal space to become a $ T_{1} $-space and a Hausdorff space. </p></abstract>


2016 ◽  
Vol 2016 ◽  
pp. 1-6
Author(s):  
Yan Liu ◽  
Mucong Zheng
Keyword(s):  

The notions of fuzzy ideals are introduced in coresiduated lattices. The characterizations of fuzzy ideals, fuzzy prime ideals, and fuzzy strong prime ideals in coresiduated lattices are investigated and the relations between ideals and fuzzy ideals are established. Moreover, the equivalence of fuzzy prime ideals and fuzzy strong prime ideals is proved in prelinear coresiduated lattices. Furthermore, the conditions under which a fuzzy prime ideal is derived from a fuzzy ideal are presented in prelinear coresiduated lattices.


2013 ◽  
Vol 21 (3) ◽  
pp. 213-221 ◽  
Author(s):  
Adam Grabowski

Summary. The article continues the formalization of the lattice theory (as structures with two binary operations, not in terms of ordering relations). In the Mizar Mathematical Library, there are some attempts to formalize prime ideals and filters; one series of articles written as decoding [9] proven some results; we tried however to follow [21], [12], and [13]. All three were devoted to the Stone representation theorem [18] for Boolean or Heyting lattices. The main aim of the present article was to bridge this gap between general distributive lattices and Boolean algebras, having in mind that the more general approach will eventually replace the common proof of aforementioned articles.1 Because in Boolean algebras the notions of ultrafilters, prime filters and maximal filters coincide, we decided to construct some concrete examples of ultrafilters in nontrivial Boolean lattice. We proved also the Prime Ideal Theorem not as BPI (Boolean Prime Ideal), but in the more general setting. In the final section we present Nachbin theorems [15],[1] expressed both in terms of maximal and prime filters and as the unordered spectra of a lattice [11], [10]. This shows that if the notion of maximal and prime filters coincide in the lattice, it is Boolean.


1968 ◽  
Vol 20 ◽  
pp. 756-758 ◽  
Author(s):  
Philip Nanzetta

In this note, we are concerned with the following generalization of a wellknown theorem of M. H. Stone; see (2, 8.2).Theorem 1. Let L be a relatively complemented distributive lattice.(I) If L has no least element, then L is isomorphic to the lattice of non-empty compact-open subsets of an anti-Hausdorff, nearly-Hausdorff, T1-space with a base of open sets consisting of compact-open sets.(II) (3, Theorem 1) If L has a least element, then L is isomorphic to the lattice of all compact-open subsets of a locally compact totally disconnected space. Moreover, the spaces of (I) and (II) are compact if and only if L has a greatest element.The space in question is the space of prime ideals of L with the hull-kernel topology.The author is indebted to M. G. Stanley for several conversations concerning this note.


Author(s):  
Pierre Carole Kengne ◽  
Blaise Blériot Koguep ◽  
Celestin Lele

This paper mainly focuses on building the fuzzy prime ideal theorem of residuated lattices. Firstly, we introduce the notion of fuzzy ideal generated by a fuzzy subset of a residuated lattice and we give a characterization. Also, we introduce different types of fuzzy prime ideals and establish existing relationships between them. We prove that any fuzzy maximal ideal is a fuzzy prime ideal in residuated lattice. Finally, we give and prove the fuzzy prime ideal theorem in residuated lattice.


2016 ◽  
Vol 14 (1) ◽  
pp. 531-542
Author(s):  
Ninghua Gao ◽  
Qingguo Li ◽  
Zhaowen Li

AbstractThe notion of L-fuzzy extended ideals is introduced in a Boolean ring, and their essential properties are investigated. We also build the relation between an L-fuzzy ideal and the class of its L-fuzzy extended ideals. By defining an operator “⇝” between two arbitrary L-fuzzy ideals in terms of L-fuzzy extended ideals, the result that “the family of all L-fuzzy ideals in a Boolean ring is a complete Heyting algebra” is immediately obtained. Furthermore, the lattice structures of L-fuzzy extended ideals of an L-fuzzy ideal, L-fuzzy extended ideals relative to an L-fuzzy subset, L-fuzzy stable ideals relative to an L-fuzzy subset and their connections are studied in this paper.


2013 ◽  
Vol 38 ◽  
pp. 49-59
Author(s):  
MS Raihan

A convex subnearlattice of a nearlattice S containing a fixed element n?S is called an n-ideal. The n-ideal generated by a single element is called a principal n-ideal. The set of finitely generated principal n-ideals is denoted by Pn(S), which is a nearlattice. A distributive nearlattice S with 0 is called m-normal if its every prime ideal contains at most m number of minimal prime ideals. In this paper, we include several characterizations of those Pn(S) which form m-normal nearlattices. We also show that Pn(S) is m-normal if and only if for any m+1 distinct minimal prime n-ideals Po,P1,…., Pm of S, Po ? … ? Pm = S. DOI: http://dx.doi.org/10.3329/rujs.v38i0.16548 Rajshahi University J. of Sci. 38, 49-59 (2010)


2021 ◽  
Vol 2021 ◽  
pp. 1-9
Author(s):  
G. Muhiuddin ◽  
D. Al-Kadi

The notion of bipolar fuzzy implicative ideals of a BCK-algebra is introduced, and several properties are investigated. The relation between a bipolar fuzzy ideal and a bipolar fuzzy implicative ideal is studied. Characterizations of a bipolar fuzzy implicative ideal are given. Conditions for a bipolar fuzzy set to be a bipolar fuzzy implicative ideal are provided. Extension property for a bipolar fuzzy implicative ideal is stated.


1976 ◽  
Vol 28 (1) ◽  
pp. 50-62 ◽  
Author(s):  
Walter Taylor

We prove that is quasi-primal, then every algebra in HSPhas a pure embedding into a product of finite algebras. For a general theory of varieties for which every can be purely embedded in an equationally compact algebra , and for all notions not explained here, the reader is referred to [38; 6; or 5]. This theorem was known for Boolean algebras simply as a corollary of the Stone representation theorem and the fact that in the variety of Boolean algebras, all embeddings are pure [2].


1971 ◽  
Vol 23 (5) ◽  
pp. 866-874 ◽  
Author(s):  
Raymond Balbes

For a distributive lattice L, let denote the poset of all prime ideals of L together with ∅ and L. This paper is concerned with the following type of problem. Given a class of distributive lattices, characterize all posets P for which for some . Such a poset P will be called representable over. For example, if is the class of all relatively complemented distributive lattices, then P is representable over if and only if P is a totally unordered poset with 0, 1 adjoined. One of our main results is a complete characterization of those posets P which are representable over the class of distributive lattices which are generated by their meet irreducible elements. The problem of determining which posets P are representable over the class of all distributive lattices appears to be very difficult.


Sign in / Sign up

Export Citation Format

Share Document