Hopf algebra of multidecorated rooted forests, free matching Rota-Baxter algebras and Gröbner-Shirshov bases (Q2158182)

An \(\Omega\)-operated algebra is an associative algebra with a family \((P_\omega)_{\omega \in \Omega}\) of linear maps (with no special compatibility with the product) and an \(\Omega\)-matching Rota-Baxter algebra is an \(\Omega\)-operated algebra with the compatibility \[ P_\alpha(x)P_\beta(y)=P_\alpha(xP_\beta(y))+P_\beta(xP_\alpha(y))+\lambda_\beta P_\alpha(xy). \] Free \(\Omega\)-operated algebras are described as subobjects of the noncommutative Connes and Kreimer Hopf algebra of plane rooted forests, with a suitable set of decorations, and it is shown that they inherit a Hopf-algebraic structure such that their operators are 1-cocycle. Free \(\Omega\)-matching Rota-Baxter algebras are then obtained as a quotient. Using Gröbner-Shirshov basis methods, an explicit basis of these objects is given. It is finally shown that the Hopf-algebraic structure of free operated algebras is compatible with the quotient of free matching Rota-Baxter algebras, which consequently are also Hopf algebras. This generalizes the results obtained by the same authors on Rota-Baxter algebras in a preceding paper [J. Algebra 552, 134--170 (2020; Zbl 1444.16058)].