Rota-Baxter簇系统与Gr\"obner-Shirshov基

从Yang-Baxter簇方程和Volterra积分方程得到的Rota-Baxter簇代数的概念出发,我们引入Rota-Baxter簇系统的概念,推广了Brzezinski提出的Rota-Baxter系统.我们证明这个概念也与结合Yang-Baxter簇对和pre-Lie簇代数有关.此外,作为Rota-Baxter簇系统的一个类比,我们引入平均簇系统的概念,并证明平均簇系统会得到dialgebra簇结构.我们还研究dendriform代数上的Rota-Baxter簇系统,并展示它们如何诱导quadri簇代数结构.最后,我们用Gr\"obner-Shirshov基的方法给出Rota-Baxter簇系统的一个线性基.     

自由交换Nijenhuis代数上的左余单位Hopf代数结构

本文基于自由交换Rota-Baxter代数上的Hopf代数结构,探讨自由交换Nijenhuis代数上的Hopf代数相关结构;借助于上闭链(cocycle)条件证明左余单位双代数(即不满足右余单位性)上的自由交换Nijenhuis代数具有左余单位双代数结构.本文获得更具一般性的结论,连通分次左余单位双代数是左余单位右对极Hopf代数,即其对极只是右侧的.由此证明连通左余单位双代数上的自由交换Nijenhuis代数是连通且分次的,从而,它是左余单位右对极Hopf代数.     

一个自入射Koszul代数的Hochschild同调与循环同调

代数的Hochschild同调群与其对应的Gabriel箭图的循环圈有着紧密的联系.本文基于Furuya构造的一个四点自入射Koszul代数的极小投射双模分解,用组合的方法计算了该代数的Hochschild同调空间的维数,并用循环圈的语言给出该代数的Hochschild同调空间的一组k-基.进一步,当基础域k的特征为零时,我们也得到了该代数的循环同调群的维数.     

遗传群体的代数系统

根据生物遗传的内在规律,在多基因座配子中构造了一类运算,阐明了生物遗传具有交换的R-代数的数学结构,从而使遗传问题可用代数方法解决.文中利用这种代数所得到的因子频率定理,具有比Hardy-Weinberg平衡定律更为广泛的意义.同时,作为这种代数应用的例子,讨论了在连锁条件下群体基因型频率的计算问题,得到了一系列有意义的结果.     

一个Cluster-Tilted代数的Hochschild同调与循环同调

基于Furuya构造的一个Cluster-Tilted代数的极小投射双模分解,用组合的方法计算了Cluster-Tilted代数的Hochschild同调空间的维数与基.当基础域的特征为零时,也计算了代数的循环同调群的维数.     

从Leibniz超代数到Lie-Yamaguti超代数（英文）

本文研究了Lie-Yamaguti超代数的构造.利用左Leibniz超代数,先给出左Leibniz超代数的构造方法,再给出用左Leibniz超代数构造Lie-Yamaguti超代数的方法,获得了Lie-Yamaguti超代数的构造方法.将Leibniz代数和Lie-Yamaguti代数的构造推广到超代数的情形.     

一个Cluster-Tilted代数的Hochschild上同调环

基于Furuya构造的一个cluster-tilted代数的极小投射双模分解,定义了该投射分解的所谓"余乘"结构,从而证明了该代数的Hochschild上同调环的cup积本质上是平行路的毗连并由此得到了该代数的Hochschild上同调环的一个由生成元与关系给出的实现.     

(s,t,d)-bi-Koszul代数

本文关注具有non-pure分解的1次生成正分次代数,主要讨论作为bi-Koszul代数的推广的一类新的代数(s,t,d)-bi-Koszul代数.用两个具有pure分解的周期代数可以获得(s,t,d)-bi-Koszul代数.本文讨论了(s,t,d)-bi-Koszul代数的Koszul对偶的生成性,在此基础上,提出了强(s,t,d)-bi-Koszul代数的概念并且进一步讨论了它们的同调性质.     

仿射括号代数理论与算法及其在几何定理机器证明中的应用

主要讨论仿射括号代数的理论与算法及其在定理机器证明中的应用。文中首次提出了边界扩张算法等几个有效的仿射括号代数算法, 同时分析了边界算子的性质, 为系统实现奠定了基础. 文中也提及了单括号因子整除判定、单项式因子整除判定、仿射几何的构造和对应表示表示等工作. 在符号计算软件 Maple 10中, 应用上述理论与算法实现了仿射几何的定理机器 证明, 并用大约100多个例子进行了测试, 之后将结果进行了比较.     

广义分段Koszul代数

广义分段Koszul代数(简称为K_p代数)一般是一类二次代数,其平凡模允许有非单纯的投射分解.利用Yoneda-Ext代数E(A)给出了分次代数A是K_p代数的一个充分条件,同时讨论了K_p代数的商代数是否继承K_p性质.     

Relative locations of subwords in free operated semigroups and Motzkin words

Bracketed words are basic structures both in mathematics (such as Rota-Baxter algebras) and mathematical physics (such as rooted trees) where the locations of the substructures are important. In this paper, we give the classification of the relative locations of two bracketed subwords of a bracketed word in an operated semigroup into the separated, nested, and intersecting cases. We achieve this by establishing a correspondence between relative locations of bracketed words and those of words by applying the concept of Motzkin words which are the algebraic forms of Motzkin paths.     

Rota-Baxter algebras and dendriform algebras

In this paper we study the adjoint functors between the category of Rota-Baxter algebras and the categories of dendriform dialgebras and trialgebras. In analogy to the well-known theory of the adjoint functor between the category of associative algebras and Lie algebras, we first give an explicit construction of free Rota-Baxter algebras and then apply it to obtain universal enveloping Rota-Baxter algebras of dendriform dialgebras and trialgebras. We further show that free dendriform dialgebras and trialgebras, as represented by binary planar trees and planar trees, are canonical subalgebras of free Rota-Baxter algebras.     

Hom-李-Yamaguti代数上的相对罗巴算子

本文引入Hom-李-Yamaguti代数上相对罗巴算子的概念,并利用Nijenhuis算子和图给出相对罗巴算子的等价刻画.随后,引入Hom-李-Yamaguti代数上相对罗巴算子的上同调理论.最后,利用上同调方法探讨相对罗巴算子的形变.     

Classification of Rota-Baxter operators on semigroup algebras of order two and three

In this paper, we determine all the Rota-Baxter operators of weight zero on semigroup algebras of order two and three with the help of computer algebra. We determine the matrices for these Rota-Baxter operators by directly solving the defining equations of the operators. We also produce a Mathematica procedure to predict and verify these solutions.     

Free involutive Hom-semigroups and Hom-associative algebras

We construct free Hom-semigroups when its unary operation is multiplicative and is an involution. Our method of construction is by bracketed words. As a consequence, we obtain free Hom-associative algebras generated by a set under the same conditions for the unary operation.     

Construction of Rota-Baxter algebras via Hopf module algebras

We propose the notion of Hopf module algebra and show that the projection onto the subspace of coinvariants is an idempotent Rota-Baxter operator of weight-1. We also provide a construction of Hopf module algebras by using Yetter-Drinfeld module algebras. As an application,we prove that the positive part of a quantum group admits idempotent Rota-Baxter algebra structures.     

Embedding of dendriform algebras into Rota-Baxter algebras

Following a recent work [Bai C., Bellier O., Guo L., Ni X., Splitting of operations, Manin products, and Rota-Baxter operators, Int. Math. Res. Not. IMRN (in press), DOI: 10.1093/imrn/rnr266] we define what is a dendriform dior trialgebra corresponding to an arbitrary variety Var of binary algebras (associative, commutative, Poisson, etc.). We call such algebras di- or tri-Var-dendriform algebras, respectively. We prove in general that the operad governing the variety of di- or tri-Var-dendriform algebras is Koszul dual to the operad governing di- or trialgebras corresponding to Var^!. We also prove that every di-Var-dendriform algebra can be embedded into a Rota-Baxter algebra of weight zero in the variety Var, and every tri-Var-dendriform algebra can be embedded into a Rota-Baxter algebra of nonzero weight in Var.     

Gröbner-Shirshov bases for Rota-Baxter algebras

We establish the composition-diamond lemma for associative nonunitary Rota-Baxter algebras of weight λ. To give an application, we construct a linear basis for a free commutative and nonunitary Rota-Baxter algebra, show that every countably generated Rota-Baxter algebra of weight 0 can be embedded into a two-generated Rota—Baxter algebra, and prove the 1-PBW theorems for dendriform dialgebras and trialgebras.     

Gröbner-Shirshov bases for associative algebras with multiple operators and free Rota-Baxter algebras

In this paper, we establish the Composition-Diamond lemma for associative algebras with multiple linear operators. As applications, we obtain Gröbner-Shirshov bases of free Rota-Baxter algebra, free λ-differential algebra and free λ-differential Rota-Baxter algebra, respectively. In particular, linear bases of these three free algebras are respectively obtained, which are essentially the same or similar to the recent results obtained by K. Ebrahimi-Fard-L. Guo, and L. Guo-W. Keigher by using other methods.