In this paper, we obtain respectively some new linear bases of free unitary (modified) weighted differential algebras and free nonunitary (modified) Rota-Baxter algebras, in terms of the method of Gröbner-Shirshov bases.
In this paper, we construct free Lie Rota-Baxter superalgebra by using Gröbner-Shirshov bases theory. We firstly construct free operated Lie superalgebras by the operated super-Lyndon-Shirshov monomials. Secondly, we establish Gröbner-Shirshov bases theory for operated Lie superalgebras. Thirdly, we find a Gröbner-Shirshov basis of a free Lie Rota-Baxter superalgebra on a $\mathbb{Z}_2$-graded set. Consequently, we can obtain a linear basis of a free Lie Rota-Baxter superalgebra by the composition-diamond lemma for operated Lie superalgebras.
In this paper, we propose the concept of an $Ω$-Rota-Baxter system, which is a generalization of a Rota-Baxter system and an $Ω$-Rota-Baxter algebra of weight zero. In the framework of operated algebras, we obtain a linear basis of a free $Ω$-Rota-Baxter system for an extended diassociative semigroup $Ω$, in terms of bracketed words and the method of Gröbner-Shirshov bases. As applications, we introduce the concepts of Rota-Baxter system family algebras and matching Rota-Baxter systems as special cases of $Ω$-Rota-Baxter systems, and construct their free objects. Meanwhile, free $Ω$-Rota-Baxte…
Quite recently, Bremner et al. introduced a new approach to Rota's Classification Problem and classified some (new) operated polynomial identities. In this paper, we prove that all operated polynomial identities classified by Bremner et al. are Gröbner-Shirshov.
Quite much recent studies has been attracted to the operated algebra since it unifies various notions such as the differential algebra and the Rota-Baxter algebra. An $Ω$-operated algebra is a an (associative) algebra equipped with a set $Ω$ of linear operators which might satisfy certain operator identities such as the Leibniz rule. A free $Ω$-operated algebra $B$ can be generated on an algebra $A$ similar to a free algebra generated on a set. If $A$ has a Gröbner-Shirshov basis $G$ and if the linear operators $Ω$ satisfy a set $Φ$ of operator identities, it is natural to ask when the union $…
Many years ago, Rota proposed a program on determining algebraic identities that can be satisfied by linear operators. After an extended period of dormant, progress on this program picked up speed in recent years, thanks to perspectives from operated algebras and Gröbner-Shirshov bases. These advances were achieved in a series of papers from special cases to more general situations. These perspectives also indicate that Rota's insight can be manifested very broadly, for other algebraic structures such as Lie algebras, and further in the context of operads. This paper gives a survey on the moti…
This paper investigates algebraic objects equipped with an operator, such as operated monoids, operated algebras etc. Various free object functors in these operated contexts are explicitly constructed. For operated algebras whose operator satisfies a set $Φ$ of relations (usually called operated polynomial identities (aka. OPIs)), Guo defined free objects, called free $Φ$-algebras, via universal algebra. Free $Φ$-algebras over algebras are studied in details. A mild sufficient condition is found such that $Φ$ together with a Gröbner-Shirshov basis of an algebra $A$ form a Gröbner-Shirshov basi…
Motivated by the pivotal role played by linear operators, many years ago Rota proposed to determine algebraic operator identities satisfied by linear operators on associative algebras, later called Rota's program on algebraic operators. Recent progresses on this program have been achieved in the contexts of operated algebra, rewriting systems and Groebner-Shirshov bases. These developments also suggest that Rota's insight can be applied to determine operator identities on Lie algebras, and thus to put the various linear operators on Lie algebras in a uniform perspective. This paper carries out…
Recent advances in stochastic PDEs, Hopf algebras of typed trees and integral equations have inspired the study of algebraic structures with replicating operations. To understand their algebraic and combinatorial nature, we first use rooted forests with multiple decoration sets to construct free Hopf algebras with multiple Hochschild 1-cocycle conditions. Applying the universal property of the underlying operated algebras and the method of Gröbner-Shirshov bases, we then construct free objects in the category of matching Rota-Baxter algebras which is a generalization of Rota-Baxter algebras to…
Rota-Baxter associative algebras and Rota-Baxter Lie algebras are both important in mathematics and mathematical physics, with the former a basic structure in quantum field renormalization and the latter a operator form of the classical Yang-Baxter equation. An outstanding problem posed by Gubarev is to determine whether there is a Poincaré-Birkhoff-Witt theorem for the universal enveloping Rota-Baxter associative algebra of a Rota-Baxter Lie algebra. This paper resolves this problem positively, working with operated algebras and applying the method of Gröbner-Shirshov bases.