Cofree Hopf algebras on Hopf bimodule algebras. (Q2349933)

Let \(M\) be a Hopf bimodule over a Hopf algebra \(H\). The cotensor coalgebra \(T_H(M)\) is given a product, making it a Hopf algebra; this is the bozonisation of the quantum shuffle algebra associated to the Yetter-Drinfeld module of right coinvariants of \(M\). A universal property and the existence of a Rota-Baxter operator is proved for \(T_H(M)\). As examples, we obtain a universal version of Clifford algebras and quantum groups.