软泛代数及其整体结构性质

提出了软泛代数概念,将已有的软群、软环等概念统一纳入这一框架中,从整体上研究了软泛代数的序结构性质,证明了固定指标集和T-代数后,相应的软T-代数全体以点式序形成代数格.引入了Scott连续软泛代数概念,证明了从代数紧拓扑空间到给定T-代数的Scott连续软T-代数的全体以点式序形成代数格.     

模糊蕴涵格理论

模糊蕴涵代数,在文献中简称为FI代数,最初由吴望名先生于1990年提出,至今已经有许多研究成果.文中综述有关FI代数的概念,性质等主要研究工作,同时给出这类代数的一些新的性质.重点强调构成格结构的FI代数,称之为模糊蕴涵格,简称为FI格.这类代数结构与模糊逻辑中几个重要的代数系统具有紧密的联系,文中将揭示这些联系,一些重要的模糊逻辑代数系统都是FI格类的子类.另外,所有正则FI格构成代数簇,即等式代数类.这个代数簇将在模糊逻辑与近似推理中发挥重要的作用.     

EI代数

为了更好地解决模糊概念的表示问题,文[1]引入了AFS代数和AFS结构,为了讨论AFS代的拓扑性质,本文在[1]的基础上,进一步了讨论了EI代数的性质与结构,并对其子代数EM－{φ}的性质和结构进行了讨论。     

Z-代数格和Z-代数交结构

讨论Z-代数格,Z-代数交结构以及Z-代数闭包算子之间的关系,得到了格L上的Z-代数闭包算子与带顶元的Z-代数交结构之间存在一一对应关系,并且每一个Z-代数格都与带顶元的Z-代数交结构同构.     

关于正则余剩余格与对合BCK-格

进一步研究了余剩余格的一些性质,在此基础上证明了正则余剩余格与对合BCK-格是两个等价的代数系统。所得结果将有助于深入了解正则余剩余格的代数结构,也为相关多值逻辑系统的研究提供又一途径。     

关于内射的格蕴涵代数

多值逻辑是人工智能中一个重要的研究方向。为了进一步深入研究多值逻辑,特别是真值基于格上的多值逻辑,文献「１」提出并提建立了格蕴涵代数这一逻辑代数结构,进而研究了对应的格值逻辑系统。本文则集中讨论了一类较特殊但也较广泛的格蕴涵代数,即内射的格蕴涵代数,深入探讨了这类代数和一些性质并给出了其特征结构的刻画。     

粗糙集代数与MV代数

讨论粗糙集代数与MV代数的关系以及由粗糙集代数构造MV代数的方法.粗糙集代数本身具有格结构,证明了在适当选取蕴涵及乘积运算之后,粗糙集代数就成为MV代数.     

利用格蕴涵代数找出所有滤子的算法

格蕴涵代数中的滤子是格值逻辑推理中的一类重要代数结构．本文给出了利用格蕴涵代数的蕴涵运算表找出格蕴涵代数中所有滤子的方法．并举例说明该方法的有效性、可行性．     

关于格蕴涵代数与BCK-代数

证明了格蕴涵代数与有界可换 Ｂ Ｃ Ｋ代数是两类相互等价的代数系统,借此得到了一类 Ｂ Ｃ Ｋ代数的结构定理     

套代数的直和分解

本文主要研究套代数的直和分解。刻划了满足条件的交换子空间格Ｌ的结构，其中Ｒ是套代数的某一特殊子空间；得到了套代数分解成对角代数与某些特殊理想（例如：Ｊａｃｏｂｓｏｎ根或者Ｌａｒｓｏｎ理想）的直和的充要条件，同时也刻划了的一个范数闭左理想上Ｊ＿Ｎ最后，研究了对角代数与某些超因果理想直和的结构。     

F格上的逼近算子

粗集理论是波兰学者Pawlak提出的知识表示新理论.Pawlak代数是粗集理论中粗集系统的抽象,其公理系统包含了知识粗表示所必须的全部性质.本文深入研究了F格上的逼近算子,建立了F格上弱逼近算子之间的某些代数运算,从而从理论上建立了各种知识粗表示之间的联系.我们还定义了逼近算子的闭包,进而用逼近算子导出拓扑,为信息系统的近似提供必要的数学基础.最后,作为特例,我们研究了粗集理论中由相似关系导出逼近算子的某些性质.     

EI~n代数与*EI~n代数

为了更好地解决模糊概念的表示问题 ,文 [1]、 [2 ]引入了 AFS.代数和 AFS.结构。为了讨论AFS.结构的拓扑性质 ,本文在 [1]、 [2 ]的基础上 ,进一步讨论了 EIn 代数和 * EIn 代数的性质与结构。     

Structure of the Loday–Ronco Hopf algebra of trees

Loday and Ronco defined an interesting Hopf algebra structure on the linear span of the set of planar binary trees. They showed that the inclusion of the Hopf algebra of non-commutative symmetric functions in the Malvenuto–Reutenauer Hopf algebra of permutations factors through their Hopf algebra of trees, and these maps correspond to natural maps from the weak order on the symmetric group to the Tamari order on planar binary trees to the boolean algebra.We further study the structure of this Hopf algebra of trees using a new basis for it. We describe the product, coproduct, and antipode in terms of this basis and use these results to elucidate its Hopf-algebraic structure. In the dual basis for the graded dual Hopf algebra, our formula for the coproduct gives an explicit isomorphism with a free associative algebra. We also obtain a transparent proof of its isomorphism with the non-commutative Connes–Kreimer Hopf algebra of Foissy, and show that this algebra is related to non-commutative symmetric functions as the (commutative) Connes–Kreimer Hopf algebra is related to symmetric functions.     

A compact quantum semigroup generated by an isometry

In this paper we construct a compact quantum semigroup structure on a Toeplitz algebra. We prove the existence of a subalgebra in the dual algebra isomorphic to the algebra of regular Borel measures on a circle with the convolution product. We also prove the existence of Haar functionals in the dual algebra and in the mentioned subalgebra. We show that this compact quantum semigroup contains a dense subalgebra with the structure of a weak Hopf algebra.     

POISSON ALGEBRA STRUCTURES ON sp2l(～CQ) WITH NULLITY m

Noncommutative Poisson algebras are the algebras having both an associative algebra structure and a Lie algebra structure together with the Leibniz law. In this article, the noncommutative Poisson algebra structures on sp2e(～CQ) are determined.     

单的模代数及其稳定化子

研究了有限维Hopf代数H与其单的模代数A的smash积的结构.通过给出A的反代数与其极小左理想的稳定化子的结构,证明了H与A的smash积与某个代数上的全矩阵代数是代数同构的,推广了以往的结果.     

Geometric combinatorial algebras: cyclohedron and simplex

In this paper we report on results of our investigation into the algebraic structure supported by the combinatorial geometry of the cyclohedron. Our new graded algebra structures lie between two well known Hopf algebras: the Malvenuto–Reutenauer algebra of permutations and the Loday–Ronco algebra of binary trees. Connecting algebra maps arise from a new generalization of the Tonks projection from the permutohedron to the associahedron, which we discover via the viewpoint of the graph associahedra of Carr and Devadoss. At the same time, that viewpoint allows exciting geometrical insights into the multiplicative structure of the algebras involved. Extending the Tonks projection also reveals a new graded algebra structure on the simplices. Finally this latter is extended to a new graded Hopf algebra with basis all the faces of the simplices.     

Dérivations dans les Algébres Gamétiques. II

Consider a population of diploid individuals and the associated gametic multiple allelic algebra. The aim of this note is to give a structure theorem for the Lie algebra of derivations of this algebra.     

Noncommutative Hamiltonian dynamics on foliated manifolds

First, we review the notion of a Poisson structure on a noncommutative algebra due to Block, Getzler and Xu, and we introduce a notion of a Hamiltonian vector field on a noncommutative Poisson algebra. Then we describe a Poisson structure on a noncommutative algebra associated with a transversely symplectic foliation and construct a class of Hamiltonian vector fields associated with this Poisson structure.     

The Socle and Semisimplicity of a Kumjian–Pask Algebra

The Kumjian–Pask algebra KP(Λ) is a graded algebra associated to a higher-rank graph Λ and is a generalization of the Leavitt path algebra of a directed graph. We analyze the minimal left ideals of KP(Λ), and identify its socle as a graded ideal by describing its generators in terms of a subset of vertices of the graph. We characterize when KP(Λ) is semisimple, and obtain a complete structure theorem for a semisimple Kumjian–Pask algebra. As a consequence of this structure theorem, every semisimple Kumjian–Pask algebra can be obtained as a Leavitt path algebra of a directed graph.