In this paper, we determine the second Hochschild cohomology group for a class of self-injective algebras of tame representation type namely, which are standard one-parametric but not weakly symmetric. These were clas...In this paper, we determine the second Hochschild cohomology group for a class of self-injective algebras of tame representation type namely, which are standard one-parametric but not weakly symmetric. These were classified up to derived equivalence by Bocian, Holm and Skowroński in [1]. We connect this to the deformation of these algebras.展开更多
Loday introduced di-associative algebras and tri-associative algebras motivated by periodicity phenomena in algebraic K-theory.The purpose of this paper is to study the splittings of operations on di-associative algeb...Loday introduced di-associative algebras and tri-associative algebras motivated by periodicity phenomena in algebraic K-theory.The purpose of this paper is to study the splittings of operations on di-associative algebras and tri-associative algebras.We introduce the notion of a quad-dendriform algebra,which is a splitting of a di-associative algebra.We show that a relative averaging operator on dendriform algebras gives rise to a quad-dendriform algebra.Furthermore,we introduce the notion of six-dendriform algebras,which are splittings of the tri-associative algebras,and demonstrate that homomorphic relative averaging operators induce six-dendriform algebras.展开更多
This paper proves that every indecomposable module over a representation-finite selfinjective algebra of class An is uniquely determined by its Loewy factors and every indecomposable module is multiplicity-free. As an...This paper proves that every indecomposable module over a representation-finite selfinjective algebra of class An is uniquely determined by its Loewy factors and every indecomposable module is multiplicity-free. As an application to the representation theory of finite groups, it is obtained that every indecomposable module over blocks with cycle defect groups is uniquely determined by its Loewy factors and every indecomposable module is multiplicity-free.展开更多
Semenov-Tian-Shansky has given the solution of the modified classical Yang-Baxter equation, which was called the modified r-matrix. Relevant studies have been extensive in recent times. In this paper, we introduce the...Semenov-Tian-Shansky has given the solution of the modified classical Yang-Baxter equation, which was called the modified r-matrix. Relevant studies have been extensive in recent times. In this paper, we introduce the concept and representations of modified RotaBaxter Hom-Lie algebras. We develop a cohomology of modified Rota-Baxter Hom-Lie algebras with coefficients in a suitable representation. As applications, we study formal deformations and abelian extensions of modified Rota-Baxter Hom-Lie algebras in terms of second cohomology groups.展开更多
In this paper,we show that an ideal generated by matching Rota-Baxter equations is a bideal of a Hopf algebra on decorated rooted forests.We then get a bialgebraic structure on the space of decorated rooted forests mo...In this paper,we show that an ideal generated by matching Rota-Baxter equations is a bideal of a Hopf algebra on decorated rooted forests.We then get a bialgebraic structure on the space of decorated rooted forests modulo this biideal.As an application,a connected graded bialgebra and so a graded Hopf algebra on matching Rota-Baxter algebras are constructed,which simplifies the Hopf algebraic structure proposed by[Pacific J.Math.,2022,317(2):441-475].展开更多
The modifiedλ-differential Lie-Yamaguti algebras are considered,in which a modifiedλ-differential Lie-Yamaguti algebra consisting of a Lie-Yamaguti algebra and a modifiedλ-differential operator.First we introduce t...The modifiedλ-differential Lie-Yamaguti algebras are considered,in which a modifiedλ-differential Lie-Yamaguti algebra consisting of a Lie-Yamaguti algebra and a modifiedλ-differential operator.First we introduce the representation of modifiedλ-differential Lie-Yamaguti algebras.Furthermore,we establish the cohomology of a modifiedλ-differential Lie-Yamaguti algebra with coefficients in a representation.Finally,we investigate the one-parameter formal deformations and Abelian extensions of modifiedλ-differential Lie-Yamaguti algebras using the second cohomology group.展开更多
A left Leibniz algebra equipped with an invariant nondegenerate skew-symmetric bilinear form(i.e.,a skew-symmetric quadratic Leibniz algebra)is constructed.The notion of T^(*)-extension of Lie-Yamaguti algebras is int...A left Leibniz algebra equipped with an invariant nondegenerate skew-symmetric bilinear form(i.e.,a skew-symmetric quadratic Leibniz algebra)is constructed.The notion of T^(*)-extension of Lie-Yamaguti algebras is introduced and it is observed that the trivial extension of a Lie-Yamaguti algebra is a quadratic Lie-Yamaguti algebra.It is proved that every symmetric(resp.,skew-symmetric)quadratic Leibniz algebra induces a quadratic(resp.,symplectic)LieYamaguti algebra.展开更多
In this paper,we study anti-derivations and anti-left multipliers.For a class of algebras,which contains triangular algebras,matrix algebras,embedded algebras,Cuntz algebras,nest algebras,P-lattice algebras,and linear...In this paper,we study anti-derivations and anti-left multipliers.For a class of algebras,which contains triangular algebras,matrix algebras,embedded algebras,Cuntz algebras,nest algebras,P-lattice algebras,and linear transformation algebras L(X),we show that every anti-left multiplier on these algebras is zero.Furthermore,let A be a zero product determined algebra andδbe a linear mapping from A into itself,satisfying that for any a,b in A,ab=0 impliesδ(b)a+bδ(a)=0.We show thatδ(x)=D(x)+δ(1)x,where D is an anti-derivation andδ(1)∈Z(A).展开更多
This study mainly focuses on the triangle bounded L⁃algebras and triangle ideals.Firstly,the definition of triangle bounded L⁃algebras is presented,and several examples with different conditions are outlined along wit...This study mainly focuses on the triangle bounded L⁃algebras and triangle ideals.Firstly,the definition of triangle bounded L⁃algebras is presented,and several examples with different conditions are outlined along with an exploration of their properties.Moreover,we investigate the structure of triangle bounded L⁃algebra with a special condition.Secondly,we define the concept of triangle ideals of triangle bounded L⁃algebra and explore the connection between the triangle ideals of triangle bounded L⁃algebra L and the ideals of bounded L⁃algebra E(L).In addition,we classified and studied various classes of triangle ideals,including Stonean triangle ideals,extended Stonean triangle ideals,and lattice ideals,and by introducing the notion of Stonean triangle bounded L algebras,we examine the relationship between Stonean triangle bounded L⁃algebras and Stonean triangle ideals.Finally,we investigate the interrelationships among these various types of triangle ideals.展开更多
In this paper,we shall study structures of even lattice vertex operator algebras by using the geometry of the varieties of their semi-conformal vectors.We first give the varieties of semi-conformal vectors of a family...In this paper,we shall study structures of even lattice vertex operator algebras by using the geometry of the varieties of their semi-conformal vectors.We first give the varieties of semi-conformal vectors of a family of vertex operator algebras V_(√kA_(1)) associated to rank-one positive definite even lattices √kA_(1) for arbitrary positive integers k to characterize these even lattice vertex operator algebras.In such a family of lattice vertex operator algebras V_(√kA_(1)),the vertex operator algebra V_(√2A_(1)) is different from others.Hence we describe the varieties of semi-conformal vectors of V_(√2A_(1)) and the fixed vertex operator subalgebra V^(+)√2A_(1).Moreover,as applications,we study the relations between vertex operator algebras V_(√kA_(1) )and L_(sl_(2))(k,0)for arbitrary positive integers k by the viewpoint of semi-conformal homomorphisms of vertex operator algebras.For case k=2,in the series of rational simple affine vertex operator algebras L_(sl_(2))(k,0)for positive integers k,we show that L_(sl_(2))(2,0)is a unique frame vertex operator algebra with rank 3.展开更多
In this paper,we first introduce the notion of relative Rota-Baxter operators of nonzero weight on 3-Hom-Lie algebras and define a cohomology of relative Rota-Baxter operators of nonzero weight on 3-Hom-Lie algebras w...In this paper,we first introduce the notion of relative Rota-Baxter operators of nonzero weight on 3-Hom-Lie algebras and define a cohomology of relative Rota-Baxter operators of nonzero weight on 3-Hom-Lie algebras with coefficients in a suitable representation.Next,we introduce and study 3-Hom-post-Lie-algebras as the underlying structure of relative Rota-Baxter operators of nonzero weight on 3-Hom-Lie algebras.Finally,we investigate relative Rota-Baxter operators of nonzero weight on 3-Hom-Lie algebras induced by Hom-Lie algebras.展开更多
In this paper,we introduce non-abelian cohomology groups and classify the nonabelian extensions of Rota-Baxter pre-Lie algebras in terms of non-abelian cohomology groups.Next,we explore the inducibility of pairs of au...In this paper,we introduce non-abelian cohomology groups and classify the nonabelian extensions of Rota-Baxter pre-Lie algebras in terms of non-abelian cohomology groups.Next,we explore the inducibility of pairs of automorphisms and derive the analog Wells exact sequences under the circumstance of Rota-Baxter pre-Lie algebras.Finally,we discuss the inducibility problem of pairs of automorphisms about an abelian extensions of Rota-Baxter pre-Lie algebras.展开更多
In this paper,we study the Hom-structures of a special class of solvable Lie algebras with naturally graded filiform nilradical n_(n,1).Over an algebraically closed field F of zero characteristic,we calculate the Hom-...In this paper,we study the Hom-structures of a special class of solvable Lie algebras with naturally graded filiform nilradical n_(n,1).Over an algebraically closed field F of zero characteristic,we calculate the Hom-structures of these solvable Lie algebras using the Hom-Jacobi identity,obtain the bases of these Hom-structures and observe that there are certain similarities among these bases.展开更多
Let A be a unital^(*)-algebra containing a nontrivial projection,N be the set of non-negative integers.Under some mild condi-tions on A,it is shown that any nonlinear mixed Jordan triple^(*)-higher derivation D={dn}n...Let A be a unital^(*)-algebra containing a nontrivial projection,N be the set of non-negative integers.Under some mild condi-tions on A,it is shown that any nonlinear mixed Jordan triple^(*)-higher derivation D={dn}n∈N is an additive^(*)-higher derivation.In particu-lar,we apply the above result to prime^(*)-algebras and von Neumann algebras with no central summands of typeⅠ1.展开更多
Let R be a commutative ring with unity and T be a triangular algebra over R.Let a sequence G={G_n}_(n∈N)of nonlinear mappings G_n:T→T associated with nonlinear Lie triple higher derivations∆={δ_n}_(n∈N)by local ac...Let R be a commutative ring with unity and T be a triangular algebra over R.Let a sequence G={G_n}_(n∈N)of nonlinear mappings G_n:T→T associated with nonlinear Lie triple higher derivations∆={δ_n}_(n∈N)by local actions be a generalized Lie triple higher derivation by local actions satisfying Gn([[x,y],z])=Σ_(i+j+k=n)[[Gi(x),δj(y)],δk(z)]for all x,y,z∈T with xyz=0.Under some mild conditions on T,we prove in this paper that every nonlinear generalized Lie triple higher derivation by local actions on triangular algebras is proper.As an application we shall give a characterization of nonlinear generalized Lie triple higher derivations by local actions on upper triangular matrix algebras and nest algebras,respectively.At the same time,it also improves some interesting conclusions,such as[J.Algebra Appl.22(3),2023,Paper No.2350059],[Axioms,11,2022,1–16].展开更多
Dear Editor,In this letter,we focus on the algebraic relationship between the coefficient matrices and the solution of the stochastic algebraic Riccati equation.It is revealed that,if the coefficient matrices are in a...Dear Editor,In this letter,we focus on the algebraic relationship between the coefficient matrices and the solution of the stochastic algebraic Riccati equation.It is revealed that,if the coefficient matrices are in an algebra,then the solution(and also the control gain in many cases)is also in the same algebra.The main result is verified by a numerical simulation.展开更多
Lie algebras are special Leibniz algebras,so it is natural to view Lie algebras as Leibniz algebras.In this paper,we calculate all the Leibniz 2 cocycles of the Lie algebra K(1,0),which is helpful to classify one dime...Lie algebras are special Leibniz algebras,so it is natural to view Lie algebras as Leibniz algebras.In this paper,we calculate all the Leibniz 2 cocycles of the Lie algebra K(1,0),which is helpful to classify one dimensional central extensions of K(1,0)as Leibniz algebra.展开更多
This paper explores the algebraic essence of universal logic functions(ULFs)from an algebraic perspective.Under the framework of semi-tensor product of matrices,the“sequential nature”of ULFs is revealed.Utilizing th...This paper explores the algebraic essence of universal logic functions(ULFs)from an algebraic perspective.Under the framework of semi-tensor product of matrices,the“sequential nature”of ULFs is revealed.Utilizing the nature,a technique called universal transformation method is proposed,by which any ULF can be transformed into an equivalent expression with desired features that facilitate achieving specific objectives,such as modeling,analyzing and synthesizing universal logical systems.Furthermore,several useful logical operators are constructed in a mixed-dimensional situation,including power-raising operator,power-descending operator,erasure operator,and appending operator.Finally,these results are applied to model and analyze finite state machines and their networks,which demonstrate the practical value of the method and operators.展开更多
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.展开更多
文摘In this paper, we determine the second Hochschild cohomology group for a class of self-injective algebras of tame representation type namely, which are standard one-parametric but not weakly symmetric. These were classified up to derived equivalence by Bocian, Holm and Skowroński in [1]. We connect this to the deformation of these algebras.
基金Supported by the Science and Technology Program of Guizhou Province(Grant No.QKHJC QN[2025]362)the National Natural Science Foundation of China(Grant No.12361005).
文摘Loday introduced di-associative algebras and tri-associative algebras motivated by periodicity phenomena in algebraic K-theory.The purpose of this paper is to study the splittings of operations on di-associative algebras and tri-associative algebras.We introduce the notion of a quad-dendriform algebra,which is a splitting of a di-associative algebra.We show that a relative averaging operator on dendriform algebras gives rise to a quad-dendriform algebra.Furthermore,we introduce the notion of six-dendriform algebras,which are splittings of the tri-associative algebras,and demonstrate that homomorphic relative averaging operators induce six-dendriform algebras.
基金Supported by the National Natural Science Foundation of China(Grant No.11301144,11771122,11801141).
文摘We give a complete description of the Batalin-Vilkovisky algebra structure on Hochschild cohomology of the self-injective quadratic monomial algebras.
文摘This paper proves that every indecomposable module over a representation-finite selfinjective algebra of class An is uniquely determined by its Loewy factors and every indecomposable module is multiplicity-free. As an application to the representation theory of finite groups, it is obtained that every indecomposable module over blocks with cycle defect groups is uniquely determined by its Loewy factors and every indecomposable module is multiplicity-free.
基金Supported by the Universities Key Laboratory of System Modeling and Data Mining in Guizhou Province(Grant No.2023013)the National Natural Science Foundation of China(Grant No.12161013)the Science and Technology Program of Guizhou Province(Grant No.ZK[2023]025)。
文摘Semenov-Tian-Shansky has given the solution of the modified classical Yang-Baxter equation, which was called the modified r-matrix. Relevant studies have been extensive in recent times. In this paper, we introduce the concept and representations of modified RotaBaxter Hom-Lie algebras. We develop a cohomology of modified Rota-Baxter Hom-Lie algebras with coefficients in a suitable representation. As applications, we study formal deformations and abelian extensions of modified Rota-Baxter Hom-Lie algebras in terms of second cohomology groups.
基金Supported by NSFC(No.12101316)Belt and Road Innovative Talents Exchange Foreign Experts project(No.DL2023014002L)。
文摘In this paper,we show that an ideal generated by matching Rota-Baxter equations is a bideal of a Hopf algebra on decorated rooted forests.We then get a bialgebraic structure on the space of decorated rooted forests modulo this biideal.As an application,a connected graded bialgebra and so a graded Hopf algebra on matching Rota-Baxter algebras are constructed,which simplifies the Hopf algebraic structure proposed by[Pacific J.Math.,2022,317(2):441-475].
基金National Natural Science Foundation of China(12161013)Research Projects of Guizhou University of Commerce in 2024。
文摘The modifiedλ-differential Lie-Yamaguti algebras are considered,in which a modifiedλ-differential Lie-Yamaguti algebra consisting of a Lie-Yamaguti algebra and a modifiedλ-differential operator.First we introduce the representation of modifiedλ-differential Lie-Yamaguti algebras.Furthermore,we establish the cohomology of a modifiedλ-differential Lie-Yamaguti algebra with coefficients in a representation.Finally,we investigate the one-parameter formal deformations and Abelian extensions of modifiedλ-differential Lie-Yamaguti algebras using the second cohomology group.
文摘A left Leibniz algebra equipped with an invariant nondegenerate skew-symmetric bilinear form(i.e.,a skew-symmetric quadratic Leibniz algebra)is constructed.The notion of T^(*)-extension of Lie-Yamaguti algebras is introduced and it is observed that the trivial extension of a Lie-Yamaguti algebra is a quadratic Lie-Yamaguti algebra.It is proved that every symmetric(resp.,skew-symmetric)quadratic Leibniz algebra induces a quadratic(resp.,symplectic)LieYamaguti algebra.
基金Supported by the General Program of Shanghai Natural Science Foundation(Grant No.24ZR1415600)the National Natural Science Foundation of China(Grant Nos.1232637412401157)。
文摘In this paper,we study anti-derivations and anti-left multipliers.For a class of algebras,which contains triangular algebras,matrix algebras,embedded algebras,Cuntz algebras,nest algebras,P-lattice algebras,and linear transformation algebras L(X),we show that every anti-left multiplier on these algebras is zero.Furthermore,let A be a zero product determined algebra andδbe a linear mapping from A into itself,satisfying that for any a,b in A,ab=0 impliesδ(b)a+bδ(a)=0.We show thatδ(x)=D(x)+δ(1)x,where D is an anti-derivation andδ(1)∈Z(A).
基金Sponsored by Foreign Expert Program of China(Grant No.DL2023041002L)Yulin City Industry University Research Project(Grant No.CXY-2022-59).
文摘This study mainly focuses on the triangle bounded L⁃algebras and triangle ideals.Firstly,the definition of triangle bounded L⁃algebras is presented,and several examples with different conditions are outlined along with an exploration of their properties.Moreover,we investigate the structure of triangle bounded L⁃algebra with a special condition.Secondly,we define the concept of triangle ideals of triangle bounded L⁃algebra and explore the connection between the triangle ideals of triangle bounded L⁃algebra L and the ideals of bounded L⁃algebra E(L).In addition,we classified and studied various classes of triangle ideals,including Stonean triangle ideals,extended Stonean triangle ideals,and lattice ideals,and by introducing the notion of Stonean triangle bounded L algebras,we examine the relationship between Stonean triangle bounded L⁃algebras and Stonean triangle ideals.Finally,we investigate the interrelationships among these various types of triangle ideals.
基金Supported by National Natural Science Foundation of China(Grant No.12475002).
文摘In this paper,we shall study structures of even lattice vertex operator algebras by using the geometry of the varieties of their semi-conformal vectors.We first give the varieties of semi-conformal vectors of a family of vertex operator algebras V_(√kA_(1)) associated to rank-one positive definite even lattices √kA_(1) for arbitrary positive integers k to characterize these even lattice vertex operator algebras.In such a family of lattice vertex operator algebras V_(√kA_(1)),the vertex operator algebra V_(√2A_(1)) is different from others.Hence we describe the varieties of semi-conformal vectors of V_(√2A_(1)) and the fixed vertex operator subalgebra V^(+)√2A_(1).Moreover,as applications,we study the relations between vertex operator algebras V_(√kA_(1) )and L_(sl_(2))(k,0)for arbitrary positive integers k by the viewpoint of semi-conformal homomorphisms of vertex operator algebras.For case k=2,in the series of rational simple affine vertex operator algebras L_(sl_(2))(k,0)for positive integers k,we show that L_(sl_(2))(2,0)is a unique frame vertex operator algebra with rank 3.
基金Supported by the National Natural Science Foundation of China(Grant No.12161013)the School-Level Student Research Project of Guizhou University of Finance and Economics(Grant No.2024ZXSY231)。
文摘In this paper,we first introduce the notion of relative Rota-Baxter operators of nonzero weight on 3-Hom-Lie algebras and define a cohomology of relative Rota-Baxter operators of nonzero weight on 3-Hom-Lie algebras with coefficients in a suitable representation.Next,we introduce and study 3-Hom-post-Lie-algebras as the underlying structure of relative Rota-Baxter operators of nonzero weight on 3-Hom-Lie algebras.Finally,we investigate relative Rota-Baxter operators of nonzero weight on 3-Hom-Lie algebras induced by Hom-Lie algebras.
基金Supported by the National Natural Science Foundation of China(Grant No.12161013)the School-Level Student Research Project of Guizhou University of Finance and Economics(Grant No.2024ZXSY239).
文摘In this paper,we introduce non-abelian cohomology groups and classify the nonabelian extensions of Rota-Baxter pre-Lie algebras in terms of non-abelian cohomology groups.Next,we explore the inducibility of pairs of automorphisms and derive the analog Wells exact sequences under the circumstance of Rota-Baxter pre-Lie algebras.Finally,we discuss the inducibility problem of pairs of automorphisms about an abelian extensions of Rota-Baxter pre-Lie algebras.
基金Supported by National Natural Science Foundation of China(12271085)Supported by National Natural Science Foundation of Heilongjiang Province(LH2022A019)+3 种基金Basic Scientic Research Operating Funds for Provincial Universities in Heilongjiang Province(2020 KYYWF 1018)Heilongjiang University Outstanding Youth Science Foundation(JCL202103)Heilongjiang University Educational and Teaching Reform Research Project(2024C43)Heilongjiang University Postgraduate Education Reform Project(JGXM_YJS_2024010).
文摘In this paper,we study the Hom-structures of a special class of solvable Lie algebras with naturally graded filiform nilradical n_(n,1).Over an algebraically closed field F of zero characteristic,we calculate the Hom-structures of these solvable Lie algebras using the Hom-Jacobi identity,obtain the bases of these Hom-structures and observe that there are certain similarities among these bases.
基金Supported by the National Natural Science Foundation of China(12271323)。
文摘Let A be a unital^(*)-algebra containing a nontrivial projection,N be the set of non-negative integers.Under some mild condi-tions on A,it is shown that any nonlinear mixed Jordan triple^(*)-higher derivation D={dn}n∈N is an additive^(*)-higher derivation.In particu-lar,we apply the above result to prime^(*)-algebras and von Neumann algebras with no central summands of typeⅠ1.
基金Supported by Open Research Fund of Hubei Key Laboratory of Mathematical Sciences(Central China Normal University)the Natural Science Foundation of Anhui Province(Grant No.2008085QA01)the University Natural Science Research Project of Anhui Province(Grant No.KJ2019A0107)。
文摘Let R be a commutative ring with unity and T be a triangular algebra over R.Let a sequence G={G_n}_(n∈N)of nonlinear mappings G_n:T→T associated with nonlinear Lie triple higher derivations∆={δ_n}_(n∈N)by local actions be a generalized Lie triple higher derivation by local actions satisfying Gn([[x,y],z])=Σ_(i+j+k=n)[[Gi(x),δj(y)],δk(z)]for all x,y,z∈T with xyz=0.Under some mild conditions on T,we prove in this paper that every nonlinear generalized Lie triple higher derivation by local actions on triangular algebras is proper.As an application we shall give a characterization of nonlinear generalized Lie triple higher derivations by local actions on upper triangular matrix algebras and nest algebras,respectively.At the same time,it also improves some interesting conclusions,such as[J.Algebra Appl.22(3),2023,Paper No.2350059],[Axioms,11,2022,1–16].
文摘Dear Editor,In this letter,we focus on the algebraic relationship between the coefficient matrices and the solution of the stochastic algebraic Riccati equation.It is revealed that,if the coefficient matrices are in an algebra,then the solution(and also the control gain in many cases)is also in the same algebra.The main result is verified by a numerical simulation.
基金National Natural Science Foundation of China(11971315)。
文摘Lie algebras are special Leibniz algebras,so it is natural to view Lie algebras as Leibniz algebras.In this paper,we calculate all the Leibniz 2 cocycles of the Lie algebra K(1,0),which is helpful to classify one dimensional central extensions of K(1,0)as Leibniz algebra.
基金supported in part by the National Natural Science Foundation of China under Grants 62073124 and U1804150.
文摘This paper explores the algebraic essence of universal logic functions(ULFs)from an algebraic perspective.Under the framework of semi-tensor product of matrices,the“sequential nature”of ULFs is revealed.Utilizing the nature,a technique called universal transformation method is proposed,by which any ULF can be transformed into an equivalent expression with desired features that facilitate achieving specific objectives,such as modeling,analyzing and synthesizing universal logical systems.Furthermore,several useful logical operators are constructed in a mixed-dimensional situation,including power-raising operator,power-descending operator,erasure operator,and appending operator.Finally,these results are applied to model and analyze finite state machines and their networks,which demonstrate the practical value of the method and operators.
文摘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.
