In this paper, we defined the concept of implicative and fuzzy implicative ideals of lattice implication algebras, and discussed the properties of them. And then, we pointed out the relations between implicative ideal...In this paper, we defined the concept of implicative and fuzzy implicative ideals of lattice implication algebras, and discussed the properties of them. And then, we pointed out the relations between implicative ideal and LI _ideal, implicative iedal and implicative filter, implicative ideal and fuzzy implicative ideal, fuzzy implicative ideal and fuzzy implicative filter, and fuzzy implicative ideal and fuzzy LI _ideal.展开更多
Let N be a nest of projections on a Hilbert space H and T(N) be the corresponding nest algebra. Let A be a large subalgebra of T(N). It is proved that any maximal n-nilpotent ideal of A is in the form of A∩R F,where...Let N be a nest of projections on a Hilbert space H and T(N) be the corresponding nest algebra. Let A be a large subalgebra of T(N). It is proved that any maximal n-nilpotent ideal of A is in the form of A∩R F,where F is a finite subnest of N and R F is the Jacobson radical of T(F).Using this result can prove that two large subalgebras are isomorphic if and only if the corresponding nests are similar.展开更多
The notions of fuzzy dot ideals and fuzzy dot H-ideals in BCH-algebras are introduced, several appropriate examples are provided, and their some properties are investigated. The relations among fuzzy ideal, fuzzy H-id...The notions of fuzzy dot ideals and fuzzy dot H-ideals in BCH-algebras are introduced, several appropriate examples are provided, and their some properties are investigated. The relations among fuzzy ideal, fuzzy H-ideal, fuzzy dot ideal and fuzzy dot H-ideals in BCH- algebras are discussed, several equivalent depictions of fuzzy dot ideal are obtained. How to deal with the homomorphic image and inverse image of fuzzy dot ideals （fuzzy dot H-ideals） are studied. The relations between a fuzzy dot ideal （fuzzy dot H-ideal） in BCH-algebras and a fuzzy dot ideal （fuzzy dot H-ideal） in the product algebra of BCH-algebras are given.展开更多
In this article, the authors describe the largest congruence induced by a kernel ideal of an MS-algebra and characterize those MS-algebras on which all the congruences are in a one-to-one correspondence with the kerne...In this article, the authors describe the largest congruence induced by a kernel ideal of an MS-algebra and characterize those MS-algebras on which all the congruences are in a one-to-one correspondence with the kernel ideals.展开更多
In this paper, as a generalization of the notion of(∈, ∈∨ q)-fuzzy ideals, we introduced the notion of(∈, ∈∨ qδ)-fuzzy ideals and investigated their properties in BCKalgebras. Several equivalent characterizatio...In this paper, as a generalization of the notion of(∈, ∈∨ q)-fuzzy ideals, we introduced the notion of(∈, ∈∨ qδ)-fuzzy ideals and investigated their properties in BCKalgebras. Several equivalent characterizations of(∈, ∈∨ qδ)-fuzzy ideals are obtained and relations between(∈, ∈∨ qδ)-fuzzy ideals and ideals are discussed in BCK-algebras.展开更多
In this paper, we review some of their related properties of derivations on MValgebras and give some characterizations of additive derivations. Then we prove that the fixed point set of Boolean additive derivations an...In this paper, we review some of their related properties of derivations on MValgebras and give some characterizations of additive derivations. Then we prove that the fixed point set of Boolean additive derivations and that of their adjoint derivations are isomorphic.In particular, we prove that every MV-algebra is isomorphic to the direct product of the fixed point set of Boolean additive derivations and that of their adjoint derivations. Finally we show that every Boolean algebra is isomorphic to the algebra of all Boolean additive(implicative)derivations. These results also give the negative answers to two open problems, which were proposed in [Fuzzy Sets and Systems, 303(2016), 97-113] and [Information Sciences, 178(2008),307-316].展开更多
In this paper, we use the notion of fuzzy point to study ideal and positive implicative ideal in BCK algebras, then we clarify the links between the fuzzy point approach, the classical fuzzy approach and the ordinary ...In this paper, we use the notion of fuzzy point to study ideal and positive implicative ideal in BCK algebras, then we clarify the links between the fuzzy point approach, the classical fuzzy approach and the ordinary case.展开更多
Let g be a complex simple Lie algebra of rank ι, b the standard Borel subalgebra. An invertible map on Ь is said to preserve abelian ideals if it maps each abelian ideal to some such ideal of the same dimension. In ...Let g be a complex simple Lie algebra of rank ι, b the standard Borel subalgebra. An invertible map on Ь is said to preserve abelian ideals if it maps each abelian ideal to some such ideal of the same dimension. In this article, by using some results of Chevalley groups, the theory of root systems and root space decomposition, the author gives an explicit description on such maps of Ь.展开更多
In this note, we study of those congruences on an Ockham algebra with de Morgan skeleton that the quotient algebras belong to the class of de Morgan algebras. We particularly give a description of those kernel ideals ...In this note, we study of those congruences on an Ockham algebra with de Morgan skeleton that the quotient algebras belong to the class of de Morgan algebras. We particularly give a description of those kernel ideals that generate these congruences.展开更多
This paper introduced the concept of L-fuzzy sub lattice implication algebra and discussed its properties. Proved that the intersection set of a family of L-fuzzy sub lattice implication algebras is a L-fuzzy sub latt...This paper introduced the concept of L-fuzzy sub lattice implication algebra and discussed its properties. Proved that the intersection set of a family of L-fuzzy sub lattice implication algebras is a L-fuzzy sub lattice implication algebra, that a L-fuzzy sub set of a lattice implication algebra is a L-fuzzy sub lattice implication algebra if and only if its every cut set is a sub lattice implication algebra, and that the image and original image of a L-fuzzy sub lattice implication algebra under a lattice implication homomorphism are both L-fuzzy sub lattice implication algebras.展开更多
We introduce in this note the notions of asymptotic excision of proper metric spaces and asymptotic equivalence relation for subspaces of metric spaces, which are relevant in characterizing spatial ideals of the asymp...We introduce in this note the notions of asymptotic excision of proper metric spaces and asymptotic equivalence relation for subspaces of metric spaces, which are relevant in characterizing spatial ideals of the asymptotic coarse Roe algebras. We show that the lattice of the asymptotic equivalence classes of the subspaces of a proper metric space is isomorphic to the lattice of the spatial ideals of the asymptotic Roe algebra. For asymptotic excisions of the metric space, we also establish a MayeroVietoris sequence in K-theory of the asymptotic coarse Roe algebras.展开更多
In the mathematical applications, ideal concepts are involved. They have been studied and analyzed in various ways. Already ideal and α-ideal concepts were discussed in BF-algebras. In this paper the idea of bipolar ...In the mathematical applications, ideal concepts are involved. They have been studied and analyzed in various ways. Already ideal and α-ideal concepts were discussed in BF-algebras. In this paper the idea of bipolar valued fuzzy α-ideal of BF algebra is proposed. The relationship between bipolar valued fuzzy ideal and bipolar valued fuzzy α-ideal is studied. Some interesting results are also discussed.展开更多
This paper aims to introduce new notions of (fuzzy) n-fold P-ideals and (fuzzy) n-fold weak P-ideals in BCI-algebras, and investigate several properties of the foldness theory of P-ideals in BCI-algebras. Finally, we ...This paper aims to introduce new notions of (fuzzy) n-fold P-ideals and (fuzzy) n-fold weak P-ideals in BCI-algebras, and investigate several properties of the foldness theory of P-ideals in BCI-algebras. Finally, we construct a computer-program for studying the foldness theory of P-ideals in BCI-algebras.展开更多
First, we reviewed the definitions of lattice implication algebras, lattice implication subalgebras, and LI-ideals, and provided an equivalent definition of LI-ideal. Then we investigated some properties of lattice im...First, we reviewed the definitions of lattice implication algebras, lattice implication subalgebras, and LI-ideals, and provided an equivalent definition of LI-ideal. Then we investigated some properties of lattice implication subalgebra and U-ideal, and found the least lattice implication subalgebra. Finally, the relation between lattice implication subalgebra and LI-ideal is presented. It is proved that no LI-ideals are non-trivial lattice implication subalgebras.展开更多
In this paper,we shall apply the theory of nilpotent radical toderive Some results about ideals of a three-dimensional associatvealgebra over a field F and of an associative ring of order P^3 where Pis a prime.These r...In this paper,we shall apply the theory of nilpotent radical toderive Some results about ideals of a three-dimensional associatvealgebra over a field F and of an associative ring of order P^3 where Pis a prime.These results are useful in studying the structure of thealgebra and the ring. THEOREM 1.Let A be a three-dimensional associative algebraover a field F,N(A)the nilpotent radical of A.If N(A)≠O。展开更多
文摘In this paper, we defined the concept of implicative and fuzzy implicative ideals of lattice implication algebras, and discussed the properties of them. And then, we pointed out the relations between implicative ideal and LI _ideal, implicative iedal and implicative filter, implicative ideal and fuzzy implicative ideal, fuzzy implicative ideal and fuzzy implicative filter, and fuzzy implicative ideal and fuzzy LI _ideal.
文摘Let N be a nest of projections on a Hilbert space H and T(N) be the corresponding nest algebra. Let A be a large subalgebra of T(N). It is proved that any maximal n-nilpotent ideal of A is in the form of A∩R F,where F is a finite subnest of N and R F is the Jacobson radical of T(F).Using this result can prove that two large subalgebras are isomorphic if and only if the corresponding nests are similar.
基金Supported by the special item of Key Laboratory of Education Bureau of Sichuan Province(2006ZD050)
文摘The notions of fuzzy dot ideals and fuzzy dot H-ideals in BCH-algebras are introduced, several appropriate examples are provided, and their some properties are investigated. The relations among fuzzy ideal, fuzzy H-ideal, fuzzy dot ideal and fuzzy dot H-ideals in BCH- algebras are discussed, several equivalent depictions of fuzzy dot ideal are obtained. How to deal with the homomorphic image and inverse image of fuzzy dot ideals （fuzzy dot H-ideals） are studied. The relations between a fuzzy dot ideal （fuzzy dot H-ideal） in BCH-algebras and a fuzzy dot ideal （fuzzy dot H-ideal） in the product algebra of BCH-algebras are given.
文摘In this article, the authors describe the largest congruence induced by a kernel ideal of an MS-algebra and characterize those MS-algebras on which all the congruences are in a one-to-one correspondence with the kernel ideals.
基金Supported by the National Science Foundation of China（60774073）
文摘In this paper, as a generalization of the notion of(∈, ∈∨ q)-fuzzy ideals, we introduced the notion of(∈, ∈∨ qδ)-fuzzy ideals and investigated their properties in BCKalgebras. Several equivalent characterizations of(∈, ∈∨ qδ)-fuzzy ideals are obtained and relations between(∈, ∈∨ qδ)-fuzzy ideals and ideals are discussed in BCK-algebras.
基金Supported by a grant of National Natural Science Foundation of China(12001243,61976244,12171294,11961016)the Natural Science Basic Research Plan in Shaanxi Province of China(2020JQ-762,2021JQ-580)。
文摘In this paper, we review some of their related properties of derivations on MValgebras and give some characterizations of additive derivations. Then we prove that the fixed point set of Boolean additive derivations and that of their adjoint derivations are isomorphic.In particular, we prove that every MV-algebra is isomorphic to the direct product of the fixed point set of Boolean additive derivations and that of their adjoint derivations. Finally we show that every Boolean algebra is isomorphic to the algebra of all Boolean additive(implicative)derivations. These results also give the negative answers to two open problems, which were proposed in [Fuzzy Sets and Systems, 303(2016), 97-113] and [Information Sciences, 178(2008),307-316].
文摘In this paper, we use the notion of fuzzy point to study ideal and positive implicative ideal in BCK algebras, then we clarify the links between the fuzzy point approach, the classical fuzzy approach and the ordinary case.
基金Supported by the Doctor Foundation of Henan Polytechnic University(B2010-93)Supported by the National Natural Science Foundation of China(11126121)+2 种基金Supported by the Natural Science Foundation of Henan Province(112300410120)Supported by the Natural Science Research Program of Education Department of Henan Province(201lB110016)Supported by the Applied Mathematics Provincial-level Key Discipline of Henan Province of Henau Polytechuic University
文摘Let g be a complex simple Lie algebra of rank ι, b the standard Borel subalgebra. An invertible map on Ь is said to preserve abelian ideals if it maps each abelian ideal to some such ideal of the same dimension. In this article, by using some results of Chevalley groups, the theory of root systems and root space decomposition, the author gives an explicit description on such maps of Ь.
文摘In this note, we study of those congruences on an Ockham algebra with de Morgan skeleton that the quotient algebras belong to the class of de Morgan algebras. We particularly give a description of those kernel ideals that generate these congruences.
文摘This paper introduced the concept of L-fuzzy sub lattice implication algebra and discussed its properties. Proved that the intersection set of a family of L-fuzzy sub lattice implication algebras is a L-fuzzy sub lattice implication algebra, that a L-fuzzy sub set of a lattice implication algebra is a L-fuzzy sub lattice implication algebra if and only if its every cut set is a sub lattice implication algebra, and that the image and original image of a L-fuzzy sub lattice implication algebra under a lattice implication homomorphism are both L-fuzzy sub lattice implication algebras.
基金This workis supported in part by NNSFC grant10201007the Fund of Donghua University .
文摘We introduce in this note the notions of asymptotic excision of proper metric spaces and asymptotic equivalence relation for subspaces of metric spaces, which are relevant in characterizing spatial ideals of the asymptotic coarse Roe algebras. We show that the lattice of the asymptotic equivalence classes of the subspaces of a proper metric space is isomorphic to the lattice of the spatial ideals of the asymptotic Roe algebra. For asymptotic excisions of the metric space, we also establish a MayeroVietoris sequence in K-theory of the asymptotic coarse Roe algebras.
文摘In the mathematical applications, ideal concepts are involved. They have been studied and analyzed in various ways. Already ideal and α-ideal concepts were discussed in BF-algebras. In this paper the idea of bipolar valued fuzzy α-ideal of BF algebra is proposed. The relationship between bipolar valued fuzzy ideal and bipolar valued fuzzy α-ideal is studied. Some interesting results are also discussed.
文摘This paper aims to introduce new notions of (fuzzy) n-fold P-ideals and (fuzzy) n-fold weak P-ideals in BCI-algebras, and investigate several properties of the foldness theory of P-ideals in BCI-algebras. Finally, we construct a computer-program for studying the foldness theory of P-ideals in BCI-algebras.
基金The National Natural Science Foundationof China (No.60875034)the Specialized Research Fundfor the Doctoral Program of Higher Education of China (No.20060613007)
文摘First, we reviewed the definitions of lattice implication algebras, lattice implication subalgebras, and LI-ideals, and provided an equivalent definition of LI-ideal. Then we investigated some properties of lattice implication subalgebra and U-ideal, and found the least lattice implication subalgebra. Finally, the relation between lattice implication subalgebra and LI-ideal is presented. It is proved that no LI-ideals are non-trivial lattice implication subalgebras.
文摘In this paper,we shall apply the theory of nilpotent radical toderive Some results about ideals of a three-dimensional associatvealgebra over a field F and of an associative ring of order P^3 where Pis a prime.These results are useful in studying the structure of thealgebra and the ring. THEOREM 1.Let A be a three-dimensional associative algebraover a field F,N(A)the nilpotent radical of A.If N(A)≠O。
