CONSTRUCTIONS OF FREE COMMUTATIVE INTEGRO-DIFFERENTIAL
ALGEBRAS

arXiv:1401.7392v1 [math.RA] 29 Jan 2014

XING GAO AND LI GUO
Abstract. In this survey, we outline two recent constructions of free commutative integro-differential
algebras. They are based on the construction of free commutative Rota-Baxter algebras by mixable
shuffles. The first is by evaluations. The second is by the method of Gröbner-Shirshov bases.

Contents
1. Introduction
2. Definitions and preliminary constructions
2.1. The definitions
2.2. Free differential Rota-Baxter algebras
2.3. Free commutative operated algebras
3. Free commutative integro-differential algebras by initialization
3.1. Regular differential algebras
3.2. Construction of ID(A)∗
4. Free commutative integro-differential algebras by Gröbner-Shirshov bases
4.1. Weakly monomial order
4.2. Composition-Diamond lemma
4.3. Free commutative integro-differential algebras by Gröbner-Shirshov bases
References

1
3
3
4
6
8
8
10
11
12
13
15
16

1. Introduction
In this survey article, we give an outline of the recent constructions of free commutative integrodifferential algebras.
The main axiom of integro-differential algebra can be regarded as an algebraic abstraction of
the integral by parts formula which involves both derivation and integration. Thus to understand
this abstraction better, we first review the abstraction for derivation and for integration.
In this paper, by an algebra we mean a commutative associative algebra over some commutative
ring, unless otherwise specified. A differential algebra is an algebra R together with a linear
operator d : R → R that satisfies the following axiom distilled from the Leibniz rule for derivations
d(xy) = d(x)y + xd(y), for all x, y ∈ R.
Date: September 29, 2017.
2010 Mathematics Subject Classification. 16S15, 13P10, 16W99, 12H05, 47G20 .
Key words and phrases. Differential algebra, Rota-Baxter algebra, integro-differential algebra, Gröbner-Shirshov
basis, free algebra, shuffle product, mixable shuffle product.
1

2

XING GAO AND LI GUO

The study of differential algebra began with Ritt’s classic work [35, 36]. After the fundamental work of Kolchin [33], differential algebra has evolved into a vast area of mathematics that is
important in both theory [15, 44] and applications: for instance, in mechanic theorem proving
by W.-T. Wu [45, 46]. Free (commutative) differential algebras, in the form of differential polynomial algebras (Theorem 2.3), are essential for studying differential equations, as polynomial
algebras are for commutative algebras.
The algebraic study of integrals came much later. In fact the development did not start from
an algebraic abstraction of integrals, but from the effort of G. Baxter [5] in 1960 to understand
a formula in probability theory. As a result, the concept is not called an integral algebra, but
called a (Rota-)Baxter algebra (Eq. (3)) which is the integral counterpart of the derivation, the
difference operator, and divided differences (see Eq. (1)). Soon afterwards Rota noticed its
importance in combinatorics and promoted its study through research and survey articles (see
e.g. [40, 41]). Independently, Rota-Baxter operators on Lie algebras were found to be closely
related to the classical Yang-Baxter equation [42]. Since the turn of this century, the theory of
Rota-Baxter algebra has experienced rapid development with broad applications in mathematics
and physics [4, 21, 29, 40, 41, 42], especially noteworthy in the Hopf algebra approach of ConnesKreimer to renormalization of quantum field theory [16, 19, 29]. Here again a fundamental role
is played by free (commutative) Rota-Baxter algebras that were first constructed by Rota [40] and
Cartier [14], and then by Guo-Keigher [24] in terms of mixable shuffles (Theorem 2.4).
The fusion of differential and Rota-Baxter algebras, motivated by algebraic study of calculus
as a whole, appeared about five years ago. It is amazing that two structures for this purpose were
introduced at about the same time. One is a relatively simple coupling of differential algebra and
Rota-Baxter algebra through section axiom (Eq. (4)) that reflects the First Fundamental Theorem
of Calculus. It is called differential Rota-Baxter algebra [26]. The other one is a more faithful
abstraction of the integration-by-parts formula (see Eq. (7)), giving rise to the concept of an
integro-differential algebra [37] which has generated much interest [1, 2, 38, 39]. As suggested in
previous cases, free objects for these algebraic structures are important in their studies. Because of
the relative independence of the differential and integral (Rota-Baxter) structures in a differential
Rota-Baxter algebra, the free object was constructed by a clear combination of the free objects
on the differential and Rota-Baxter sides and were obtained at the same time when the concept
was introduced. In contrast, the construction of free integro-differential algebras took longer to
achieve. Nevertheless, there are two recent constructions [23, 27] and it is the purpose of this
paper to give the preliminary background and a summary of these constructions.
Both are based on the construction of free Rota-Baxter algebras by mixable shuffles. Straight
from the definition, a free commutative integro-differential algebra can be obtained as the quotient
of a free Rota-Baxter algebra modulo the integral-by-parts axiom. By an explicit construction of a
free integro-differential algebra, we mean identifying a specific vector space basis of this quotient.
Thus we give two such bases in this paper.
After a preliminary Section 2 on the concepts of differential, Rota-Baxter and differential RotaBaxter algebras as well as operated algebras, and the constructions of their respective free objects,
we give the first construction [27] of free integro-differential algebras in Section 3. This construction applies to regular differential algebras, a concept which we also review in Section 3.
Common examples of regular differential algebras include differential polynomial algebras and
rational functions. The second construction [23] is given in Section 4. The construction applies
the general method of Gröbner-Shirshov bases, of which Gröbner bases in commutative algebra
are special cases, but which apply to many other algebraic structures. We give some details of the

CONSTRUCTIONS OF FREE COMMUTATIVE INTEGRO-DIFFERENTIAL ALGEBRAS

3

method in the case of integro-differential algebras, where we use the ambient algebraic structure
of a free Rota-Baxter algebra to establish the Composition-Diamond Lemma.
2. Definitions and preliminary constructions
We recall the definitions of algebras with various differential and integral operators and the
constructions of the free objects in the corresponding categories. Free commutative integrodifferential algebras, which are the focus of this survey, will be discussed in later sections.
2.1. The definitions. We recall the algebraic structures considered in this paper. We also introduce variations with nilpotent derivation that will be needed later. Algebras considered in this
paper are assumed to be unitary (and commutative), unless explicitly designated as non-unitary.
Definition 2.1. Let k be a unitary commutative ring. Let λ ∈ k be fixed.
(a) A differential k-algebra of weight λ (also called a λ-differential k-algebra) is an associative k-algebra R together with a linear operator d : R → R such that
(1)

d(xy) = d(x)y + xd(y) + λd(x)d(y)

for all x, y ∈ R,

and
(2)

d(1) = 0.
Such an operator is called a derivation of weight λ or a λ-derivation.
(b) A Rota-Baxter k-algebra of weight λ is an associative k-algebra R together with a linear
operator P : R → R such that

(3)

P(u)P(v) = P(uP(v)) + P(P(u)v) + λP(uv)

for all u, v ∈ R.

(c) A differential Rota-Baxter k-algebra of weight λ (also called a λ-differential RotaBaxter k-algebra) is a differential k-algebra (R, d) of weight λ with a Rota-Baxter operator P of weight λ such that
d ◦ P = id.

(4)

(d) An integro-differential k-algebra of weight λ (also called a λ-integro-differential kalgebra) is a differential k-algebra (R, D) of weight λ with a linear operator Π : R → R
such that
D ◦ Π = idR

(5)
and
(6)

Π(D(x))Π(D(y)) = Π(D(x))y + xΠ(D(y)) − Π(D(xy))

for all x, y ∈ R.

Eqs. (3), (5) and (6) are called the Rota-Baxter axiom, section axiom and hybrid RotaBaxter axiom, respectively. It is proved in [27] that a differential k-algebra (R, D) with a linear
operator Π : R → R is an integro-differential algebra if and only if Eq. (5) and the following
integration by parts axioms hold:
(7)

xΠ(y) = Π(D(x)Π(y)) + Π(xy) + λΠ(D(x)y)

and
(8)

Π(x)y = Π(Π(x)D(y)) + Π(xy) + λΠ(xD(y))

for all x, y ∈ R.

These two equations can be regarded as the weighed and noncommutative versions of the classical
integration by parts formula in analysis.

4

XING GAO AND LI GUO

Example 2.2. Let R = C ∞ (R)
(a) Fix a λ ∈ R. Define
f (x + λ) − f (x)
.
λ
Then Dλ is a differential operator of weight λ.
(b) For fixed a ∈ R, the integral operator
Z x
Π : R −→ R, f (x) 7→
f (t)dt
Dλ : R −→ R,

f (x) 7→

a

is a Rota-Baxter operator of weight zero.
(c) D be the usual derivation on R and Π be the above integral operator. Then (R, D, Π) is a
differential Rota-Baxter algebra and an integro-differential algebra of weight 0.
See [21, 26, 27, 41] for more examples.
2.2. Free differential Rota-Baxter algebras. We first recall the construction of free commutative differential algebras and introduce their order n variations. For a set Y, let C(Y) denote the
free commutative monoid on Y. Thus elements in C(Y) are commutative words from the alphabet
set Y, plus the identity 1. Let k[Y] be the commutative polynomial algebra generated by Y.
Theorem 2.3. ([23, 26])
(a) Let Y be a set with a map d0 : Y → k[Y]. Extend d0 to d : k[Y] → k[Y] as follows. Let
w = u1 · · · uk , where ui ∈ Y for 1 ≤ i ≤ k, be a commutative word from the alphabet set Y.
Recursively define
d(w) = d0 (u1 )u2 · · · uk + u1 d(u2 · · · uk ) + λd0 (u1 )d(u2 · · · uk ).

(9)
Explicitly,

d(w) =

X

∅,I⊆{1,··· ,k}

λ

|I|−1

ďI (u1 ) · · · ďI (uk ), where ďI (ui ) =

(

d0 (ui ), i ∈ I,
ui ,
i < I.

Further define d(1) = 0 and then extend d to k[Y] by linearity. Then (k[Y], d) is a differential algebra of weight λ.
(b) Let X be a set. Let Y := ∆X := {x(n) | x ∈ X, n ≥ 0} with the map d0 : ∆X → ∆X, x(n) 7→
x(n+1) . Then with the extension dX := d of d0 as in Eq. (9), (k{X}, dX ) := (k[∆X], dX ) is the
free commutative differential algebra
of weight λ on the
o set X.
n
(c) For a given n ≥ 1, let ∆X (n+1) := x(k) x ∈ X, k ≥ n + 1 . Then k{X}∆X (n+1) is the differential ideal In of k{X} generated by the set {x(n+1) | x ∈ X}. The quotient differential algebra
k{X}/In has a canonical basis given by ∆n X := {x(k) | k ≤ n}, thus giving a differential algebra isomorphism k{X}/In  k[∆n X] where the differential structure on the later algebra
is given by d in Eq. (9), where
( (i+1)
x , 1 ≤ i ≤ n − 1,
(i)
(10)
d0 (x ) =
0,
i = n.
We note that in k[∆n X], d0n+1 (u) = 0 only holds for the variables x ∈ X. For example, when
n = 1, we have d02 (x2 ) = 2x(1) , 0.

CONSTRUCTIONS OF FREE COMMUTATIVE INTEGRO-DIFFERENTIAL ALGEBRAS

5

We next recall the construction of free commutative Rota-Baxter algebras in terms of mixable
shuffles [24, 25]. The mixable shuffle product is shown to be the same as the quasi-shuffle product
of Hoffman [18, 29, 32]. Let A be a commutative k-algebra. Define
(11)

X(A)

=

M

A⊗(k+1) = A ⊕ A⊗2 ⊕ · · · .

k≥0

Let a = a0 ⊗ · · · ⊗ am ∈ A⊗(m+1) and b = b0 ⊗ · · · ⊗ bn ∈ A⊗(n+1) . If m = 0 or n = 0, define


(a b ) ⊗ b1 ⊗ · · · ⊗ bn , m = 0, n > 0,


 0 0
(a0 b0 ) ⊗ a1 ⊗ · · · ⊗ am , m > 0, n = 0,
(12)
a⋄b=


 ab,
m = n = 0.
0 0

If m > 0 and n > 0, inductively (on m + n) define

a ⋄ b = (a0 b0 ) ⊗ (a1 ⊗ a2 ⊗ · · · ⊗ am ) ⋄ (1 ⊗ b1 ⊗ · · · ⊗ bn )

(13)

+ (1 ⊗ a1 ⊗ · · · ⊗ am ) ⋄ (b1 ⊗ · · · ⊗ bn )

+λ (a1 ⊗ · · · ⊗ am ) ⋄ (b1 ⊗ · · · ⊗ bn ) .

Extending by additivity, we obtain a k-bilinear map

⋄ : X(A) × X(A) → X(A).
Alternatively,
a ⋄ b = (a0 b0 ) ⊗ (aXλ b),
where ā = a1 ⊗ · · · ⊗ am , b̄ = b1 ⊗ · · · ⊗ bn and Xλ is the mixable shuffle (quasi-shuffle) product of
weight λ [21, 24, 32], which specializes to the shuffle product X when λ = 0.
Define a k-linear endomorphism PA on X(A) by assigning
PA (x0 ⊗ x1 ⊗ · · · ⊗ xn ) = 1A ⊗ x0 ⊗ x1 ⊗ · · · ⊗ xn ,
for all x0 ⊗ x1 ⊗ · · · ⊗ xn ∈ A⊗(n+1) and extending by additivity. Let jA : A → X(A) be the canonical
inclusion map.
Theorem 2.4. ([24, 25]) Let A be a commutative k-algebra.
(a) The pair (X(A), PA ), together with the natural embedding jA : A ֒→ X(A), is the free
commutative Rota-Baxter k-algebra on A of weight λ. In other words, for any commutative
Rota-Baxter k-algebra (R, P) and any k-algebra map ϕ : A → R, there exists a unique
Rota-Baxter k-algebra homomorphism ϕ̃ : (X(A), PA ) → (R, P) such that ϕ = ϕ̃ ◦ jA as
k-algebra homomorphisms.
(b) Let Y be a set and let k[Y] be the free commutative algebra on Y. The pair (X(Y), PY ) :=
(X(k[Y]), Pk[Y] ), together with the natural embedding jY : Y ֒→ k[Y] → X(k[Y]), is the
free commutative Rota-Baxter k-algebra of weight λ on Y.
Since ⋄ is compatible with the multiplication in A, we will often suppress the symbol ⋄ and
simply write xy for x ⋄ y in X(A), unless there is a danger of confusion.
A linear basis of X(k[Y]) is given by
n
o
(14)
B(Y) := x0 ⊗ · · · ⊗ xk xi ∈ C(Y), 0 ≤ i ≤ k, k ≥ 0 ,

called the set of Rota-Baxter monomials in Y. The integer dep(x0 ⊗ · · · ⊗ xk ) := k + 1 is called
the depth of x0 ⊗ · · · ⊗ xk . As a convenience, we also write P for Pk[Y] . Then 1 ⊗ u and P(u) stand
for the same element, and we will use both notations synonymously in this paper.

6

XING GAO AND LI GUO

We now put the differential and Rota-Baxter algebra structures together. Let (A, d) be a commutative differential k-algebra of weight λ. Extend d to X(A) by
dA (u0 ⊗ u1 ⊗ · · · ⊗ uk )
= d(u0 ) ⊗ u1 ⊗ · · · ⊗ uk + u0 u1 ⊗ u2 ⊗ · · · ⊗ uk + λd(u0)u1 ⊗ u2 ⊗ · · · ⊗ uk ,

k ≥ 0.

Note that dA does not satisfy the Leibniz rule with respect to the tensor product since here a tensor
factor means an application of the Rota-Baxter operator PA : u0 ⊗ u1 = u0 PA (u1 ). Thus
dA (u0 ⊗ u1 ) = dA (u0 )PA (u1 ) + u0 dA (PA (u1 )) + λdA (u0 )dA (PA (u1 )) = d(u0) ⊗ u1 + u0 u1 + λd(u0 )u1 .
Theorem 2.5. ([23, 26]) Let Y be a set with a set map d0 : Y → k[Y] and let (k[Y], d) be the
commutative differential algebra of weight λ in Theorem 2.3.(a). The triple (X(k[Y]), dk[Y] , Pk[Y] ),
together with jk[Y] : k[Y] → X(k[Y]), is the free commutative differential Rota-Baxter k-algebra
of weight λ on the differential algebra (k[Y], d).
Apply Theorem 2.5 to Y := ∆X and d0 as in Theorem 2.3.(b). From Eq. 14, the set
o
n
(15)
B(∆X) := u0 ⊗ · · · ⊗ uk ui ∈ C(∆X), 0 ≤ i ≤ k, k ≥ 0

is a k-basis of the free commutative differential Rota-Baxter algebra X(∆X) on the free differential algebra (k{X}, dX ). We call this basis the set of differential Rota-Baxter (DRB) monomials
on X. Similarly, for n ≥ 1, apply Theorem 2.5 to Y := ∆n X and d0 as in Eq. (10) of Theorem 2.3.(c). Then B(∆n X) is a basis of X(∆n X) and is called the set of DRB monomials of order
n on X.
2.3. Free commutative operated algebras. The construction of the free commutative operated
algebra on a set X that has the free commutative (differential) Rota-Baxter algebra as a quotient
is given in [23]. The explicit construction X(X) of the free commutative Rota-Baxter algebra in
Theorem 2.4 can be realized on a submodule of the free commutative operated algebra spanned
by reduced words under a rewriting rule defined by the Rota-Baxter axiom.
This construction is parallel to that of the free (noncommutative) operated algebra on a set
in [11, 20, 21, 28]. See [34] for the non-unitary case.
Definition 2.6. Let Ω be a set. A commutative Ω-operated monoid is a commutative monoid
G together with maps αω : G → G, ω ∈ Ω. A homomorphism between commutative Ω-operated
monoids (G, {αω }ω ) and (H, {βω }ω ) is a monoid homomorphism f : G → H such that f ◦αω = βω ◦ f
for ω ∈ Ω.
We similarly define the concept of a commutative Ω-operated k-algebra. The suffix Ω will be
suppressed when the meaning of Ω is clear from the context. We recall the construction of the
free objects in the category of commutative operated monoids [23].
Fix a set Y. Define monoids Cn := Cn (Y) for n ≥ 0 by a recursion. First denote C0 := C(Y). For
each ω ∈ Ω, let ⌊C(Y)⌋ω := {⌊u⌋ω | u ∈ C(Y)} be a set in bijection with C(Y). We require that all
the sets C(Y) and ⌊C(Y)⌋ω , ω ∈ Ω are disjoint from one another. We write the notation ⊔ for the
disjoint union. Then define
C1 := C(Y ⊔ (⊔ω∈Ω ⌊C(Y)⌋ω )) = C(Y ⊔ (⊔ω∈Ω ⌊C0 ⌋ω )).
Note that elements in ⌊C(Y)⌋ω are only symbols indexed by elements in C(Y). For example, ⌊1⌋ω is
not the identity, but a new symbol. The inclusion Y ֒→ Y ⊔(⊔ω∈Ω ⌊C0 ⌋ω ) induces a monomorphism
i0 : C0 = C(Y) ֒→ C1 = C(Y ⊔ (⊔ω∈Ω ⌊C0 ⌋ω )) of free commutative monoids through which we

CONSTRUCTIONS OF FREE COMMUTATIVE INTEGRO-DIFFERENTIAL ALGEBRAS

7

identify C0 with its image in C1 . Inductively assume that Cn−1 have been defined for n ≥ 2 and
that the injection
in−2 : Cn−2 ֒→ Cn−1
has been obtained. Then define
(16)

Cn := C(Y ⊔ (⊔ω∈Ω ⌊Cn−1 ⌋ω )).

Also the injection in−2 gives an injection
⌊Cn−2 ⌋ω ֒→ ⌊Cn−1 ⌋ω , ω ∈ Ω.
Thus by the freeness of Cn−1 = C(Y ⊔ (⊔ω∈Ω ⌊Cn−2 ⌋ω )) as a free commutative monoid, we obtain
in−1 : Cn−1 = C(Y ⊔ (⊔ω∈Ω ⌊Cn−2 ⌋ω )) ֒→ C(Y ⊔ (⊔ω∈Ω ⌊Cn−1 ⌋ω )) = Cn .
Finally, define the commutative monoid
C(Y) :=

[
n≥0

Cn = lim Cn .
−→

Elements in C(Y) are called (commutative) Ω-bracketed monomials in Y. Defining
(17)

⌊ ⌋ω : C(Y) → C(Y),

u 7→ ⌊u⌋ω , ω ∈ Ω,

then (C(Y), {⌊ ⌋ω }ω∈Ω) is a commutative operated monoid and its linear span (kC(Y), {⌊ ⌋ω }ω∈Ω)
is a commutative (unitary) Ω-operated k-algebra with its multiplication extended from C(Y) by
linearity.
Proposition 2.7. ([23]) Let Ω be a set.
(a) Let jY : Y ֒→ C(Y) be the natural embedding. Then the triple (C(Y), {⌊ ⌋ω }ω∈Ω, jY ) is the
free commutative operated monoid on Y. More precisely, for any commutative operated
monoid G and set map f : Y → G, there is a unique extension of f to a homomorphism
f¯ : C(Y) → G of operated monoids.
(b) Let jY : Y ֒→ kC(Y) be the natural embedding. Then the triple (kC(Y), {⌊ ⌋ω }ω∈Ω, jY ) is the
free commutative operated unitary k-algebra on Y. More precisely, for any commutative
k-algebra R and set map f : Y → R, there is a unique extension of f to a homomorphism
f¯ : kC(Y) → R of operated k-algebras.
By the universal property of kC(Y), the following conclusion from general principles of universal algebra is obtained [3, 17].
Proposition 2.8. ([23]) Let Y be a set with d0 : Y → k[Y]. Let Ω = {d, P} and write d(u) :=
⌊u⌋d , P(u) := ⌊u⌋P . Let IDRB = IDRB,Y be the operated ideal of kC(Y) generated by the set


d(r) − d0 (r),










d(uv)
−
d(u)v
−
ud(v)
−
λd(u)d(v),


.
r
∈
Y,
u,
v
∈
C(Y)




P(u)P(v)
−
P(uP(v))
−
P(P(u)v)
−
λP(uv),







 (d ◦ P)(u) − u

Then the quotient operated algebra kC(Y)/IDRB , with operations induced by d and P (which we
again denote by d and P, respectively), is the free commutative differential Rota-Baxter algebra
on the differential algebra (k[Y], d) in Theorem 2.3.(a).
Combining Proposition 2.8 with Theorem 2.5, we have

8

XING GAO AND LI GUO

Proposition 2.9. ([23]) Let Y be a set with d0 : Y → k[Y]. The natural embedding
η : X(k[Y]) ֒→ k C(Y),

u0 ⊗u1 ⊗· · · ⊗uk 7→ u0 P(u1 P(· · · P(uk ) · · · )), ui ∈ C(Y), 0 ≤ i ≤ k, k ≥ 0,

composed with the quotient map ρ := ρY : k C(Y) → k C(Y)/IDRB gives a linear bijection (in fact,
an isomorphism of differential Rota-Baxter algebras)
θ := θY : X(k[Y]) → k C(Y)/IDRB .

Because of the bijectivity of θ, we can identify the basis B(Y) of X(k[Y]) in Eq. (14) with its
image η(B(Y)) in kC(Y):
(18)

x0 ⊗ x1 ⊗ · · · ⊗ xk ↔ x0 P(x1 P(· · · P(xk ) · · · )), xi ∈ C(Y), 0 ≤ i ≤ k, k ≥ 0.

Define the reduction map
(19)

Red := RedY := θ−1 ◦ ρ : k C(Y) → kC(Y)/IDRB,Y → X(k[Y])  η(X(k[Y])).

It reduces any (d, P)-bracketed monomial on Y to a linear combination of DRB monomials on Y.
For example, if u, v ∈ C(Y), then
Red(⌊u⌋P ⌊v⌋P ) = Red(P(u)P(v)) = 1 ⊗ u ⊗ v + 1 ⊗ v ⊗ u + λ ⊗ uv ↔ P(uP(v)) + P(vP(u)) + λP(uv).
3. Free commutative integro-differential algebras by initialization
In this section, we summarize the construction of free commutative integro-differential algebras
by initialization [27].
3.1. Regular differential algebras. The construction applies to a large class of differential algebras called regular differential algebras. So we begin with the concept and examples of regular
differential algebras.
3.1.1. Quasi-antiderivatives and regularity.
Definition 3.1. Let (A, d) be a differential algebra of weight λ with derivation d. A linear map
Q : A → A is called a quasi-antiderivative if d ◦ Q ◦ d = d and Q ◦ d ◦ Q = Q, with the additional
condition that ker Q is a nonunitary k-subalgebra of A when λ , 0. A differential algebra whose
derivation has a quasi-antiderivative is called regular.
Given a regular differential k-algebra (A, d) and a fixed quasi-antiderivative Q for d, we define
the following operators. Let
E = idA − Q ◦ d, S = d ◦ Q, J = idA − E = Q ◦ d, T = idA − S .
We also define A J to be the k-submodule A J = imQ, and AT to be the k-subalgebra ker Q.
Regularity is equivalent to the existence of certain projectors, namely idempotent linear maps
to a subspace.
Proposition 3.2. ([27]) Let (A, d) be a regular differential algebra. If A is regular and Q a
quasi-antiderivation for d, then the corresponding S := d ◦ Q : A → A is a projector onto im d
and E := idA − Q ◦ d : A → A is a projector onto ker d. Conversely, if there are projectors
S : A → A onto im d and E : A → A onto ker d, then there is a unique quasi-antiderivative Q of
d such that im Q = ker E and ker Q = ker S and (A, d) is regular.

CONSTRUCTIONS OF FREE COMMUTATIVE INTEGRO-DIFFERENTIAL ALGEBRAS

9

To prove the converse, from the given projectors S and E, we have A = ker S ⊕ im d and
A = ker d ⊕ ker E. Thus the restriction of d to ker E is a bijection onto im d. Then there is unique
map Q : A → A whose restriction to im d is the inverse of the above bijection and whose kernel
is ker S .
3.1.2. Differential polynomial algebras. Let Y be a set with a well-ordering ≤Y . Define the
length-lexicographic order ≤∗Y,lex on the free monoid M(Y) by
(
ℓ < m,
∗
(20)
u <Y,lex v ⇔
or ℓ = m and ∃1 ≤ i0 ≤ ℓ such that ui = vi for 1 ≤ i < i0 and ui0 < vi0 ,
where u = u1 · · · uℓ and v = v1 · · · vm with ui , v j ∈ Y, 1 ≤ i ≤ ℓ, 1 ≤ j ≤ m.. It is well-known [3]
that ≤∗Y,lex is again a well-ordering. An element 1 , u of the free commutative monoid C(Y) can
be uniquely expressed as
(21)

u = u0j0 · · · ukjk , where u0 , · · · , uk ∈ Y, j0 , · · · , jk ∈ Z≥1 and u0 > · · · > uk .

This expression is called the standard form of u. If k = −1, we take u = 1 by convention.
Let X be a well-ordered set and let Y = ∆X (resp. ∆n X). Let n ≥ 0 be given. For x(i0 0 ) , x(i1 1 ) ∈ Y
with x0 , x1 ∈ X, define


(22)
x(i0 0 ) ≤ x(i1 1 ) resp. x(i0 0 ) ≤n x(i1 1 ) ⇔ (x0 , −i0 ) ≤ (x1 , −i1 ) lexicographically.
For example x(2) < x(1) < x. Also, x1 < x2 implies x1(i1 ) < x2(i2 ) for all i1 , i2 ≥ 0.

Definition 3.3. Let u ∈ C(∆X) with standard form in Eq. (21):
u = u0j0 · · · ukjk , where u0 , · · · , uk ∈ ∆X, u0 > · · · > uk and j0 , · · · , jk ∈ Z≥1 .
Call u functional if either u = 1 or uk ∈ X or jk > 1.
Proposition 3.4. ([23, 27]) Let λ ∈ k and let X be a set. Let A = (k{X}, dλ ) be the free commutative differential algebra of weight λ on X as defined in Theorem 2.3.(b). Then there are direct
sums A = AT ⊕ im d and A = A J ⊕ ker d, where
(23)

AT = AT,n = {u ∈ C(∆n X) | u is functional},

AT := kAT ,

and A J is the submodule generated by all monomials 1 , u ∈ C(∆X). Thus d admits a quasiantiderivative Q. Therefore, (k{X}, dλ ) is regular.
Since the product of two functional monomials is again functional, AT is in fact a k-subalgebra
of A.
As noted in the remark after Proposition 3.2, the quasi-antiderivative Q is defined as follows.
From the direct sums, the derivation D restricts to a bijection D : A J → im d. Define Q : im d →
A J to be the inverse map and then extend Q to A by taking AT to be the kernel of Q.
3.1.3. Rational functions. We show that the algebra of rational functions with derivation of any
weight is regular.
Let A = C(x). For given λ ∈ C, let
( f (x+λ)− f (x)
, λ , 0,
λ
dλ : A → A, f (x) 7→
′
f (x),
λ = 0,
be the λ-derivation. Denote

10

XING GAO AND LI GUO

)
 ( n
k Pi

P

γi j


αi ∈ C distinct , γi j ∈ C ,
λ = 0,

(x−αi ) j


i=1 j=1



R: = 

(
)


ni
k P

P
γi j




 i=1 j=1 (x−αi j )i αi j ∈ C distinct for any given i, γi j ∈ C nonzero , λ , 0.

Then denote

C(x)J : = xC[x] + R
and

)
 (k
P γi



αi ∈ C distinct , γi ∈ C ,
λ = 0,


x−αi


i=1


C(x)T : = 

)
(


ni
k P

P
γi j



∈ R re(αi j ) ∈ [0, |re(λ)|) , λ , 0,

(x−αi j )i
i=1 j=1

where re(z) is the real part of z ∈ C. It is proved in [27] that
C(x) = im dλ ⊕ C(x)T .

(24)

Further, C(x)T is a nonunitary subalgebra of C(x). We also have
C(x) = ker dλ ⊕ C(x)J .
Then by Proposition 3.2, dλ is regular.
3.2. Construction of ID(A)∗ . We now give the construction of the free commutative integrodifferential algebra ID(A)∗ on a regular differential algebra (A, d) with a fixed quasi-antiderivative
Q.
With the notations set up after Definition 3.1, we give now an explicit construction of ID(A)∗
via free commutative Rota-Baxter algebras and tensor products. First let
M
⊗2
XT (A) :=
A ⊗ A⊗k
T = A ⊕ (A ⊗ AT ) ⊕ (A ⊗ AT ) + · · ·
k≥0

be the k-submodule
of X(A) in Eq. (11). Then XT (A) is the tensor product A ⊗ X+ (AT ) where
L
X+ (AT ) :=
A⊗n
T is the mixable shuffle algebra [21, 24, 32] on the non-unitary k-algebra AT .
n≥0

Next, let K := ker d ⊃ k and let

Aε := {ε(a) | a ∈ A}
denote a replica of the K-algebra A, endowed with the zero derivation and the K-algebra structure
map
K → Aε , c 7→ ε(c), c ∈ K.
We will use the K-algebra isomorphism
ε : A → Aε ,

a 7→ ε(a), a ∈ A.

Let
(25)

ID(A)∗ := Aε ⊗K XT (A) = Aε ⊗K A ⊗ X+ (AT )

denote the tensor product differential algebra of Aε and XT (A), namely the tensor product algebra
where the derivation dA is defined by the Leibniz rule. To define the linear operator ΠA on ID(A)∗ ,

CONSTRUCTIONS OF FREE COMMUTATIVE INTEGRO-DIFFERENTIAL ALGEBRAS

11

we first require that ΠA be Aε -linear. Then we just need to define ΠA (a) for a pure tensor a in
A ⊗ X+ (AT ). For this purpose we apply induction on the length n of a.
When n = 1, we have a = a ∈ A. By definition of T we have a = d(Q(a)) + T (a) with
T (a) ∈ AT . Then we define
(26)

ΠA (a) := Q(a) − ε(Q(a)) + 1 ⊗ T (a).

Assume that ΠA (a) has been defined for a of length n ≥ 1 and consider the case when a has length
n + 1. Then a = a ⊗ a where a ∈ A, a ∈ A⊗n
T and we define
(27)

ΠA (a ⊗ a) := Q(a) ⊗ a − ΠA (Q(a)a) − λ ΠA (d(Q(a)) a) + 1 ⊗ T (a) ⊗ a,

where the first and last terms are already in A ⊗ X+ (AT ) while the middle terms are in ID(A)∗ by
the induction hypothesis.
Theorem 3.5. ([27]) Let (A, d) be a regular differential algebra of weight λ with a fixed quasiantiderivative Q. Then the triple (ID(A)∗ , dA, ΠA ), with the natural embedding
iA : A ֒→ ID(A)∗ = Aε ⊗K A ⊗ X+ (AT )
onto the second tensor factor, is the free commutative integro-differential algebra of weight λ
generated by A.
4. Free commutative integro-differential algebras by Gröbner-Shirshov bases
In this section, we give a construction of free commutative integro-differential algebras by the
method of Gröbner-Shirshov bases. The main result Theorem 4.14 can be read independently of
the rest of the section, which is meant to give some details of the method.
The method of Gröbner bases or Gröbner-Shirshov bases originated from the work of Buchberger [13] (for commutative polynomial algebras, 1965), Hironaka [31] (for infinite series algebras, 1964), Shirshov [43] (for Lie algebras, 1962) and Zhukov [47] (reduction in nonassociative
algebra, 1950). It has since become a fundamental method in commutative algebra, algebraic
geometry and computational algebra, and has been extended to many other algebraic structures,
notably associative algebras [6, 7]. In recent years, the method of Gröbner-Shirshov bases has
been applied to a large number of algebraic structures to study problems on normal forms, word
problems, rewriting systems, embedding theorems, extensions, growth functions and Hilbert series. See [8, 10, 12] for further details.
The method of Gröbner bases or Gröbner-Shirshov bases is very useful in constructing free
objects in various categories, including the alternative constructions of free Rota-Baxter algebras
and free differential Rota-Baxter algebras [9, 11]. The basic idea is to prove a compositiondiamond lemma that achieves a rewriting procedure for reducing any element to a certain “standard form”. Then the set of elements in standard form is a basis of the free object.
In the recent paper[23], this method is applied to construct the free commutative integrodifferential algebra as the quotient of a free commutative differential Rota-Baxter algebra modulo the integration by parts formula in Eq. (7). In order to do so, the authors first establish a
Composition-Diamond Lemma for the free commutative differential Rota-Baxter algebra constructed in [26]. Then they prove that the ideal generated by the defining relation of integrodifferential algebras in Eq. (7) has a Gröbner-Shirshov basis, thereby identifying a basis of the
free commutative integro-differential algebra as a canonical subset of a known basis of a free
commutative differential Rota-Baxter algebra.

12

XING GAO AND LI GUO

4.1. Weakly monomial order. In this subsection, we will define a weak form of the monomial
order on pieces of the set of differential Rota-Baxter monomials filtered by the order of differentiation. It will be sufficient to establish the composition-diamond lemma for integro-differential
algebras.
For a set X, recall that ∆X : = {x(k) | x ∈ X, k ≥ 0} and ∆n X : = {x(k) | x ∈ X, 0 ≤ k ≤ n}
for n ≥ 0. Then the family {C(∆n X)}n≥0 defines an increasing filtration on C(∆X) and hence by
Eq. (14), induces a filtration {B(∆n X)}n≥0 of the set B(∆X) of DRB monomials by DRb monomials
of order n. Elements of B(∆n X) are called DRB monomials of order n.
In Definition 4.1 below and what follows, the DRB (⋆-DRB) monomials are elements in the
basis B(∆X) (resp. B(∆X ⋆ )) of X(k{X}) (resp. X(k{X ⋆ })), which are identified via Eq. (18) as
(d, P)-bracketed monomials η(B(∆X)) ⊆ kC(∆X) (resp. η(B(∆X ⋆ )) ⊆ kC(∆X ⋆ )).
Definition 4.1. Let X be a set, ⋆ a symbol not in X and ∆n X ⋆ := ∆n (X ∪ {⋆}).
(a) By a ⋆-DRB monomial on ∆n X, we mean any expression in B(∆n X ⋆ ) with exactly one
occurrence of ⋆. The set of all ⋆-DRB monomials on ∆n X is denoted by B⋆ (∆n X).
(b) For q ∈ B⋆ (∆n X) and u ∈ B(∆n X), we define
q|u := q|⋆7→u
to be the bracketed monomial in C(∆n X) obtained by replacing the letter ⋆ in q by u, and
call q|u a u-monomial
P on ∆n X.
(c) Further, for s = i ci ui ∈ kB(∆n X), where ci ∈ k, ui ∈ B(∆n X) and q ∈ B⋆ (∆n X), we
define
X
q| s :=
ci q|ui ,
i

which is in k C(∆n X).
We note that a ⋆-DRB monomial q is a DRB monomial in ∆n X ⋆ while its substitution q|u might
not be a DRB monomials. For example, for q = P(x1 )⋆ ∈ η(B(∆n X ⋆ )) and u = P(x2 ) ∈ B(∆n X)
where x1 , x2 ∈ X, the u-monomial q|u = P(x1 )P(x2 ) is no longer in η(B(∆n X)).
Definition 4.2. If q = p|dℓ (⋆) for some p ∈ B⋆ (∆n X) and ℓ ∈ Z≥1 , then we call q a type I ⋆-DRB
monomial. Let B⋆I (∆n X) denote the set of type I ⋆-DRB monomials on ∆n X and call
B⋆II (∆n X) := B⋆ (∆n X) \ B⋆I (∆n X)
the set of type II ⋆-DRB monomials.
For example, d(⋆)P(x) ∈ B⋆I (∆n X) and ⋆P(x) ∈ B⋆II (∆n X).
Definition 4.3. Let X be a set, ⋆1 , ⋆2 two distinct symbols not in X and ∆n X ⋆1 ,⋆2 := ∆n (X ∪
{⋆1 , ⋆2 }). We define a (⋆1 , ⋆2 )-DRB monomial on ∆n X to be an expression in B(∆n X ⋆1 ,⋆2 ) with
exactly one occurrence of ⋆1 and exactly one occurrence of ⋆2 . The set of all (⋆1 , ⋆2 )-DRB
monomials on ∆n X is denoted by B⋆1 ,⋆2 (∆n X). For q ∈ B⋆1 ,⋆2 (∆n X) and u1 , u2 ∈ kB(∆n X), we
define
q|u1 ,u2 := q|⋆1 7→u1 ,⋆2 7→u2
to be the bracketed monomial obtained by replacing the letter ⋆1 (resp. ⋆2 ) in q by u1 (resp. u2 )
and call it a (u1 , u2 )-bracketed monomial on ∆n X .
A (u1 , u2)-DRB monomial on ∆n X can also be recursively defined by
q|u1 ,u2 := (q⋆1 |u1 )|u2 ,

CONSTRUCTIONS OF FREE COMMUTATIVE INTEGRO-DIFFERENTIAL ALGEBRAS

13

where q⋆1 is q when q is regarded as a ⋆1 -DRB monomial on the set ∆n X ⋆2 . Then q⋆1 |u1 is in
B⋆2 (∆n X). Similarly, we have
q|u1 ,u2 := (q⋆2 |u2 )|u1 .
Let X be a well-ordered set. Let n ≥ 0 be given. We extend the well-ordering ≤n on C(∆n X)
defined in Eq. (22) to B(∆n X). Note that
B(∆n X) = {u0 ⊗ u1 ⊗ · · · ⊗ uk | ui ∈ C(∆n X), 1 ≤ i ≤ k, k ≥ 0} = ⊔k≥1 C(∆n X)⊗k
can be identified with the free semigroup on the set C(∆n X). Thus the well-ordering ≤n on C(∆n X)
extends to a well-ordering ≤∗n,lex [3] on B(∆n X) which we will still denote by ≤n for simplicity.
More precisely, for any u = u0 ⊗ · · · ⊗ uk ∈ C(∆n X)⊗(k+1) and v = v0 ⊗ · · · ⊗ vℓ ∈ C(∆n X)⊗(ℓ+1) ,
define
(28)

u ≤n v if (k, u0, · · · , uk ) ≤ (ℓ, v0 , · · · , vℓ ) lexicographically.

Definition 4.4. Let ≤n be the well-ordering on B(∆n X) defined in Eq. (28). Let q ∈ B⋆ (∆n X) and
s ∈ kB(∆n X).
P
(a) For any 0 , f ∈ kB(∆n X), let f denote the leading term of f : f = c f + i ci ui , where
0 , c, ci ∈ k, ui ∈ B(∆n X), ui < f . We call f monic if c = 1.
(b) Let
q| s := Red(q| s ),
where Red : kC(∆n X) → X(∆n X) = η(kB(∆n X)) is the reduction map in Eq. (19).
(c) The element q| s ∈ k C(∆n X) is called normal if q| s is in B(∆n X). In other words, if
Red(q| s ) = q| s .
Remark 4.5. By definition, q| s is normal if and only if q| s is normal if and only if the s-DRB
monomial q| s is already a DRB monomial, that is, no further reduction in X(∆n X) is possible.
Here are some examples of abnormal s-DRB monomials.
Example 4.6.
(a) q = ⋆P(y) and s̄ = P(x), giving q| s̄ = P(x)P(y) which is reduced to
P(xP(y)) + P(P(x)y) + λP(xy) in η(X(∆n X));
(b) q = d(⋆) and s̄ = P(x), giving q| s̄ = d(P(x)) which is reduced to x in η(X(∆n X));
(c) q = d(⋆) and s̄ = x2 , giving q| s̄ = d(x2 ) which is reduced to 2xx(1) + λ(x(1) )2 in η(X(∆n X));
(d) q = d n(⋆) and s̄ = d(x), giving q| s̄ = d n+1 (s) which is reduced to 0 in η(X(∆n X)).
Definition 4.7. A weakly monomial order on B(∆n X) is a well-ordering ≤ satisfying the following condition:
For u, v ∈ B(∆n X), if u ≤ v, then q|u ≤ q|v if q ∈ B⋆II (∆n X), or if q ∈ B⋆I (∆n X) and
q|v is normal.
Proposition 4.8. ([23]) The order ≤n defined in Eq. (28) is a weakly monomial order on B(∆n X).
4.2. Composition-Diamond lemma. In this section, we shall establish the composition-diamond
lemma for the free commutative differential Rota-Baxter algebra X(k[∆n X]) of order n.
Definition 4.9.
(a) Let u, w ∈ B(∆n X). We call u a subword of w if w is in the operated
ideal of C(∆n X) generated by u. In terms of ⋆-words, u is a subword of w if there is a
q ∈ B⋆ (∆n X) such that w = q|u .

14

XING GAO AND LI GUO

(b) Let u1 and u2 be two subwords of w. Then u1 and u2 are called separated if u1 ∈ C(∆n X),
u2 ∈ B(∆n X) and there is a q ∈ B⋆1 ,⋆2 (∆n X) such that w = q|u1 ,u2 .
(c) For any u ∈ B(∆n X), u can be expressed as u = u1 · · · uk , where u1 , · · · , uk−1 ∈ ∆n X and
uk ∈ ∆n X ∪ P(B(∆n X)). The expression is unique up to permutations of those factors in
∆n X. The integer k is called the breadth of u and is denoted by bre(u).
(d) Let f, g ∈ B(∆n X). A pair (u, v) with u ∈ B(∆n X) and v ∈ C(∆n X) is called an intersection
pair for ( f, g) if the differential Rota-Baxter monomial w := f u equals vg and satisfies
bre(w) < bre( f ) + bre(g). Then we call f and g to be overlapping. Note that if f and g
are overlapping, then f ∈ C(∆n X).
For example, let w = xyxy with x, y ∈ X and u1 = xy be the subword of w on the left and
u1 = xy be the subword of w on the right. Then u1 and u2 are separated. Let g be the subword
yx of w. Then u1 and g are overlapping. A systematic discussion on relative locations (separated,
overlapping and inclusion) of two subwords can be found in [22, 30].
There are three kinds of compositions.
Definition 4.10. Let ≤n be the weakly monomial order on B(∆n X) defined in Eq. (28), and let
f, g ∈ kB(∆n X) be monic with respect to ≤n such that f , g.
(a) If f ∈ C(∆n X)P(B(∆n X)), then define a composition of multiplication to be f u where
u ∈ C(∆n X)P(B(∆n X)).
(b) If there is an intersection pair (u, v) for ( f , g), then we define
( f, g)w := ( f, g)u,v
w := f u − vg
and call it an intersection composition of f and g.
(c) If there exists a q ∈ B⋆ (∆n X) such that w := f = q|g , then we define ( f, g)w := ( f, g)qw :=
f − q|g and call it an inclusion composition of f and g with respect to q. Note that if this
is the case, then q|g is normal.
In the last two cases, ( f, g)w is called the ambiguity of the composition. For example, let
f = P(d(u)P(d(v)P(r))) − uP(d(v)P(r)) + P(ud(v)P(r)) + λP(d(u)d(v)P(r))
and
g = P(d(v)P(r)) − vP(r) + P(vr) + λP(d(v)r)
with the first terms being the leading terms. Then we have f¯ = q|ḡ where q : = P(d(u)⋆). Hence
we get an inclusion composition of f and g with the ambiguity
( f, g)qw = −uP(d(v)P(r)) + P(ud(v)P(r)) + λP(d(u)d(v)P(r))
− (−P(d(u)vP(r)) + P(d(u)P(vr)) + λP(d(u)P(d(v)r))) .
Definition 4.11. Let ≤n be the weakly monomial order on B(∆n X) defined in Eq. (28), S ⊆
kB(∆n X) be a set of monic differential Rota-Baxter polynomials and w ∈ B(∆n X).
(a) A composition of multiplication f u is called trivial mod [S ] if
X
fu =
ci qi | si ,
i

where ci ∈ k, qi ∈ B⋆ (∆n X), si ∈ S , qi | si is normal and qi | si ≤n f u. If this is the case, we
write
f u ≡ 0 mod [S ].

CONSTRUCTIONS OF FREE COMMUTATIVE INTEGRO-DIFFERENTIAL ALGEBRAS

15

(b) For u, v ∈ kB(∆n X) and w ∈ B(∆n X), we say u and v are congruent modulo (S , w) and
denote this by
u ≡ v mod (S , w)
P
if u − v = i ci qi | si , where ci ∈ k, qi ∈ B⋆ (∆n X), si ∈ S , qi | si is normal and qi | si <n w.
(c) For f, g ∈ kB(∆n X) and suitable u, v or q that give an intersection composition ( f, g)u,v
w or
q
an inclusion composition ( f, g)w , the composition is called trivial modulo (S , w) if
q
( f, g)u,v
w or ( f, g)w ≡ 0 mod (S , w).

(d) The set S ⊆ kB(∆n X) is a Gröbner-Shirshov basis if all compositions of multiplication are trivial mod [S ], and, for f, g ∈ S , all intersection compositions ( f, g)u,v
w and all
inclusion compositions ( f, g)qw are trivial modulo (S , w).
Theorem 4.12. ([23] Composition-Diamond Lemma) Let ≤n be the weakly monomial order on
B(∆n X) defined in Eq. (28), S n a set of monic DRB polynomials in kB(∆n X) with d(S n ) ⊆ S n , and
Id(S n ) the Rota-Baxter ideal of kB(∆n X) generated by S n . Then with respect to ≤n , the following
conditions are equivalent:
(a) S n is a Gröbner-Shirshov basis in kB(∆n X).
(b) If 0 , f ∈ Id(S n ), then f = q| s for some q ∈ B⋆ (∆n X), s ∈ S n and q| s is normal.
(c) The set Irr(S n ) := B(∆n X) \ {q| s | q ∈ B⋆ (∆n X), s ∈ S n , q| s is normal} is a k-basis of
kB(∆n X)/Id(S n ). In other words, kIrr(S n ) ⊕ Id(S n ) = kB(∆n X).
4.3. Free commutative integro-differential algebras by Gröbner-Shirshov bases. In this subsection we begin with a finite set X and prove that the relation ideal of the free commutative
differential Rota-Baxter algebra on X of order n ≥ 1, defining the corresponding commutative
integro-differential algebra of order n possesses a Gröbner-Shirshov basis. Then we apply the
Composition-Diamond Lemma in Theorem 4.12 to construct a canonical basis for the free commutative integro-differential algebra of order n. As n approaches infinity, we obtain a canonical
basis of the free commutative integro-differential algebra on the finite set X. Finally for any wellordered set X, by showing that the canonical basis of the free commutative integro-differential
algebra on each finite subset of X is compatible with the inclusion of the subset in X, we obtain a
canonical basis of the free commutative integro-differential algebra on X.
Theorem 4.13. ([23]) Let
o
n
(29)
S n := P(d(u)P(v)) − uP(v) + P(uv) + λP(d(u)v) u, v ∈ X(k[∆n X])

be the set of generators corresponding to the integration by parts axiom Eq. (7). Let ≤n be the
monomial order defined in Eq. (28).
(a) With respect to ≤n , S n is a Gröbner-Shirshov basis in X(k[∆n X]). Hence Irr(S n ) in Theorem 4.12 is a linear basis of X(k[∆n X])/Id(S n ).
(b) Let AT = k{X}T be as defined in Eq. (23), An = k[∆n X], An,T = An ∩ AT . Let IID,n be the
differential Rota-Baxter ideal of X(An ) generated by S n . Then we have the isomorphism
of modules



M
⊗k
An ⊗ An−1,T ⊗ An  .
X(An )/IID,n  An ⊕ 
k≥0

16

XING GAO AND LI GUO

Let
(30)

S := {P(d(u)P(v)) − uP(v) + P(uv) + λP(d(u)v) | u, v ∈ X(∆X)} .

be the set of generators corresponding to the integration by parts axiom Eq. (7).
Theorem 4.14. ([23]) Let X be a nonempty well-ordered set, AT = k{X}T , X(k{X}) = X(∆X) the
free commutative differential Rota-Baxter algebra on X and IID the ideal of X(k{X}) generated
by S defined in Eq. (30). Then the composition


M

⊗k
X(A)T := A ⊕ 
A ⊗ AT ⊗ A ֒→ X(A) → X(A)/IID
k≥0

of the inclusion and the quotient map is an isomorphism of k-modules.

It would be interesting to compare the two constructions of free commutative integro-differential
algebras in Theorem 3.5 and Theorem 4.14. The advantages of the first construction is that it applies to a large class of differential algebras and that the product in the free algebra is clearly
defined. The advantage of the second construction is that the construction comes from a subset
of the free commutative differential Rota-Baxter algebra from which the free integro-differential
algebra is obtained modulo an ideal. It is useful to have both of the two constructions available in
order to study different aspects of free commutative integro-differential algebras. Further study
in this direction is being pursued in another work. The construction of free noncommutative
integro-differential algebras is also under investigation.
Acknowledgements: This work is supported by the National Natural Science Foundation of
China (Grant No. 11201201 and 11371178), Fundamental Research Funds for the Central Universities (Grant No. lzujbky-2013-8), the Natural Science Foundation of Gansu Province (Grant
No. 1308RJZA112) and the National Science Foundation of US (Grant No. DMS 1001855). The
authors thank the referees and editors for helpful comments.
References
[1] H. Albrecher, C. Constantinescu, G. Pirsic, G. Regensburger, and M. Rosenkranz, An algebraic operator
approach to the analysis of Gerber-Shiu functions, Insurance Math. Econom. 46 (2010), 42–51. 2
[2] H. Albrecher, C. Constantinescu, Z. Palmowski, G. Regensburger, and M. Rosenkranz, Exact and asymptotic results for insurance risk models with surplus-dependent premiums, SIAM J. Appl. Math. 73
(2013), 47–66. 2
[3] F. Baader T. and Nipkow, Term Rewriting and All That, Cambridge U. P., Cambridge, 1998. 7, 9, 13
[4] C. Bai, A unified algebraic approach to classical Yang-Baxter equation, J. Phys. A 40 (2007), 1107311082. 2
[5] G. Baxter, An analytic problem whose solution follows from a simple algebraic identity, Pacific J. Math.
10 (1960), 731–742. 2
[6] G. M. Bergman, The diamond lemma for ring theory, Adv. Math. 29 (1978), 178-218. 11
[7] L. A. Bokut, Imbeddings into simple associative algebras, Algebra i Logika 15 (1976), 117-142. 11
[8] L. A. Bokut, Y. Chen, Y. Chen, Composition-Diamond lemma for tensor product of free algebras, J.
Algebra 323 (2010), 2520-2537. 11
[9] L. A. Bokut, Y. Chen and X. Deng, Gröbner-Shirshov bases for Rota-Baxter algebras, Siberian Math. J.
51 (2010), 978-988. 11
[10] L. A. Bokut, Y. Chen and Y. Li, Gröbner-Shirshov bases for categories, in “Operads and Universal
Algebra”, World Scientific Press, (2012) 1-23. 11
[11] L. A. Bokut, Y. Chen and J. Qiu, Gröbner-Shirshov bases for associative algebras with multiple operators
and free Rota-Baxter algebras, J. Pure Appl. Algebra 214 (2010) 89-110. 6, 11

CONSTRUCTIONS OF FREE COMMUTATIVE INTEGRO-DIFFERENTIAL ALGEBRAS

17

[12] L.A. Bokut, V. Latyshev, I. Shestakov and E. Zelmanov (Eds.), Selected Works of A.I. Shirshov,
Birkhäuser, Basel, Boston, Berlin, 2009, vii, 241 pp. transl. M. Bremner, M. Kotchetov. 11
[13] B. Buchberger, An algorithm for finding a basis for the residue class ring of a zero-dimensional polynomial ideal [in German], Ph.D. thesis, University of Innsbruck, Austria, (1965). 11
[14] P. Cartier, On the structure of free Baxter algebras, Adv. Math. 9 (1972), 253-265. 2
[15] P. Cassidy, L.Guo, W. Keigher and W. Sit (Eds.), Differential Algebra and Related Topics (Proceedings
for the International Workshop in Newark, NJ, 2000), World Sci. Publishing, 2002. 2
[16] A. Connes and D. Kreimer, Renormalization in quantum field theory and the Riemann-Hilbert problem.
I. The Hopf algebra structure of graphs and the main theorem, Comm. Math. Phys., 210, (2000), no. 1,
249–273. 2
[17] P. M. Cohn, Algebra, Vol. 3, 2nd ed., J. Wiley & Sons, Chichester, 1991. 7
[18] K. Ebrahimi-Fard and L. Guo, Mixable shuffles, quasi-shuffles and Hopf algebras, J. Algebraic Combinatorics, 24 (2006), 83–101. 5
[19] K. Ebrahimi-Fard, L. Guo and D. Kreimer, Spitzer’s identity and the algebraic Birkhoff decomposition
in pQFT, J. Phys. A: Math. Gen. 37 (2004), 11037-11052. 2
[20] L. Guo, Operated semigroups, Motzkin paths and rooted trees, J. Algebraic Combin. 29 (2009), 35-62. 6
[21] L. Guo, Introduction to Rota-Baxter Algebra, Higher Education Press and International Press, 2012. 2,
4, 5, 6, 10
[22] Rota-Baxter type operators, rewriting systems and Gröbner-Shirshov bases, preprint. 14
[23] X. Gao, L. Guo and S. Zheng, Construction of free commutative integro-differential algebras by the
method of Gröbner-Shirshov bases, to appear in J. Algebra and Its Application, arXiv:1302.0041. 2, 4,
6, 7, 8, 9, 11, 13, 15, 16
[24] L. Guo and W. Keigher, Baxter algebras and shuffle products, Adv. Math., 150 (2000), 117–149. 2, 5, 10
[25] L. Guo and W. Keigher, On free Baxter algebras: completions and the internal construction, Adv. Math.
151 (2000), 101–127. 5
[26] L. Guo and W. Keigher, On differential Rota-Baxter algebras, J. Pure Appl. Algebra, 212 (2008), 522540. 2, 4, 6, 11
[27] L. Guo, G. Regensburger and M. Rosenkranz, On integro-differential algebras, J. Pure Appl. Algebra
218 (2014) 456-471, arXiv:1212.0266. 2, 3, 4, 8, 9, 10, 11
[28] L. Guo, W. Sit and R. Zhang, Differential type operators and Gröbner-Shirshov bases, J. Symolic Comput.
(2012). 6
[29] L. Guo and B. Zhang, Renormalization of multiple zeta values, J. Algebra, 319 (2008), 3770–3809. 2, 5
[30] L. Guo and S. Zheng, Relative locations of subwords in free operated semigroups, preprint. 14
[31] H. Hironaka, Resolution of singulatities of an algebraic variety over a field if characteristic zero, I, Ann.
Math. 79 (1964), 109-203. 11
[32] M. Hoffman, Quasi-shuffle products, J. Algebraic Combin., 11 (2000), 49–68. 5, 10
[33] E. R. Kolchin, Differential Algebras and Algebraic Groups, Academic Press, New York, 1973. 2
[34] J. Qiu, Gröbner-Shirshov bases for commutative algebras with multiple operators and free commutative
Rota-Baxter algebras, Asian-European Jour. Math., to appear. 6
[35] J.F. Ritt, Differential Equations from the Algebraic Standpoint, Amer. Math. Sco. Colloq. Pub. 14, Amer.
Math. Soc., New York (1934). 2
[36] J.F. Ritt, Differential Algebra, Amer. Math. Sco. Colloq. Pub. 33, Amer. Math. Soc., New York (1950). 2
[37] M. Rosenkranz and G. Regensburger, Solving and factoring boundary problems for linear ordinary differential equations in differential algebra, J. Symbolic Comput. 43 (2008), 515–544. 2
[38] M. Rosenkranz, G. Regensburger, L. Tec, and B. Buchberger, A Symbolic Framework for Operations
on Linear Boundary Problems. In V.P. Gerdt, E.W. Mayr, E.H. Vorozhtsov (eds.), Computer Algebra in
Scientific Computing. Proceedings of the 11th International Workshop (CASC 2009), Springer LNCS
5743, 2009, 269–283. 2
[39] M. Rosenkranz, G. Regensburger, L. Tec, and B. Buchberger, Symbolic analysis for boundary problems:
From rewriting to parametrized Gröbner bases. In U. Langer and P. Paule (eds.), Numerical and Symbolic
Scientific Computing: Progress and Prospects, Springer Vienna, 2012, 273–331. 2
[40] G.-C. Rota, Baxter algebras and combinatorial identities I, II, Bull. Amer. Math. Soc. 75 (1969), 325–
329, 330–334. 2

18

XING GAO AND LI GUO

[41] G.-C. Rota, Baxter operators, an introduction, In: “Gian-Carlo Rota on Combinatorics, Introductory
papers and commentaries”, Joseph P. S. Kung, Editor, Birkhäuser, Boston, 1995. 2, 4
[42] M. A. Semenov-Tian-Shansky, What is a classical r-matrix?, Funct. Ana. Appl., 17 (1983) 259-272. 2
[43] A. I. Shirshov, Some algorithmic problem for Å-algebras, Sibirsk. Mat. Z., 3(1962), 132-137. 11
[44] M. Singer and M. van der Put, Galois Theory of Linear Differential Equations, Springer, 2003. 2
[45] Wen-Tsun Wu, On the Decision Problem and the Mechanization of Theorem Proving in Elementary
Geometry. Scientia Sinica 21 (2), (1978), 159–172. Also reprinted in Contemporary Mathematics, 29
(1984), 213 - 241. 2
[46] Wen-Tsun Wu, A constructive theory of differential algebraic geometry based on works of J. F. Ritt with
particular applications to mechanical theorem-proving of differential geometries, Differential Geometry
and Differential Equations (Shanghai, 1985), Lecture Notes in Math. 1255, Springer-Verlag, Berlin-New
York, 1987, 173–189. 2
[47] A. I. Zhukov, Reduced systems of defining relations in non-associative algebras, Mat. Sb. (N.S.), 27(69)
(1950), 267-280. 11
Department of Mathematics, Lanzhou University, Lanzhou, Gansu 730000, China
E-mail address: gaoxing@lzu.edu.cn
Department of Mathematics and Computer Science, Rutgers University, Newark, NJ 07102, USA
E-mail address: liguo@rutgers.edu

