Xing Gao, Li Guo, Shanghua Zheng
Abstract
In this paper, we construct a canonical linear basis for free commutative integro-differential algebras by applying the method of Gröbner-Shirshov bases. We establish the Composition-Diamond Lemma for free commutative differential Rota-Baxter algebras of order . We also obtain a weakly monomial order on these algebras, allowing us to obtain Gröbner-Shirshov bases for free commutative integro-differential algebras on a set. We finally generalize the concept of functional derivations to free differential algebras with arbitrary weight and generating sets from which to construct a canonical linear basis for free commutative integro-differential algebras.