Rota-Baxter type operators, rewriting systems and Gr\"obner-Shirshov bases

Research paper by Xing Gao, Li Guo, William Y. Sit, Shanghua Zheng

Indexed on: 27 Dec '14Published on: 27 Dec '14Published in: Mathematics - Rings and Algebras


In this paper we apply the methods of rewriting systems and Gr\"obner-Shirshov bases to give a unified approach to a class of linear operators on associative algebras. These operators resemble the classic Rota-Baxter operator, and they are called {\it Rota-Baxter type operators}. We characterize a Rota-Baxter type operator by the convergency of a rewriting system associated to the operator. By associating such an operator to a Gr\"obner-Shirshov basis, we obtain a canonical basis for the free algebras in the category of associative algebras with that operator. This construction include as special cases several previous ones for free objects in similar categories, such as those of Rota-Baxter algebras and Nijenhuis algebras.