Gröbner-Shirshov bases for free multi-operated algebras over algebras

Operated algebras have recently attracted considerable attention, as they unify various structures such as differential algebras and Rota-Baxter algebras. An Ω-operated algebra is 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 G∪Φ is a Gröbner-Shirshov basis of B. A previous paper answers this question affirmatively under a mild condition, and thereby obtains a canonical linear basis of B. In this paper, we answer this question in the general case of multiple linear operators. As applications we get operated Gröbner-Shirshov bases for free differential Rota-Baxter algebras and free integro-differential algebras over algebras as well as their linear bases. One of the key technical difficulties is to introduce new monomial orders for the case of two operators, which might be of independent interest.