No abstract

Abstract. This paper provides a general operadic definition for the notion of splitting the operations of algebraic structures. This construction is proved to be equivalent to some Manin products of operads and it is shown to be closely related to Rota-Baxter operators. Hence, it gives a new effective way to compute Manin black products. The present construction is shown to have symmetry properties. Finally, this allows us to describe the algebraic structure of square matrices with coefficients in algebras of certain types. Many examples illustrate this text, including the case of Jordan algebras.

A Rota-Baxter operator of weight λ is an abstraction of both the integral operator (when λ = 0) and the summation operator (when λ = 1). We similarly define a differential operator of weight λ that includes both the differential operator (when λ = 0) and the difference operator (when λ = 1). We further consider an algebraic structure with both a differential operator of weight λ and a Rota-Baxter operator of weight λ that are related in the same way that the differential operator and the integral operator are related by the First Fundamental Theorem of Calculus. We construct free objects in the corresponding categories. In the commutative case, the free objects are given in terms of generalized shuffles, called mixable shuffles. In the noncommutative case, the free objects are given in terms of angularly decorated rooted forests. As a byproduct, we obtain structures of a differential algebra on decorated and undecorated planar rooted forests.

In this paper we study the adjoint functors between the category of Rota-Baxter algebras and the categories of dendriform dialgebras and trialgebras. In analogy to the well-known theory of the adjoint functor between the category of associative algebras and Lie algebras, we first give an explicit construction of free Rota-Baxter algebras and then apply it to obtain universal enveloping Rota-Baxter algebras of dendriform dialgebras and trialgebras. We further show that free dendriform dialgebras and trialgebras, as represented by binary planar trees and planar trees, are canonical subalgebras of free Rota-Baxter algebras.