On the structure of cofree Hopf algebras
On the structure of cofree Hopf algebras
复制标题
DOI:
10.1515/crelle.2006.025
复制
发表时间:
2004-05
期刊:
影响因子:
--
通讯作者:
J. Loday;Maria O. Ronco
中科院分区:
文献类型:
--
作者:
J. Loday;Maria O. Ronco
Abstract We prove an analogue of the Poincaré-Birkhoff-Witt theorem and of the Cartier-Milnor-Moore theorem for non-cocommutative Hopf algebras. The primitive part of a cofree Hopf algebra is a nondifferential B ∞-algebra. We construct a universal enveloping functor U2 from nondifferential B ∞-algebras to 2-associative algebras, i.e. algebras equipped with two associative operations. We show that any cofree Hopf algebra ℋ is of the form U2(Prim ℋ). We take advantage of the description of the free 2as-algebra in terms of planar trees to unravel the operad associated to nondifferential B ∞-algebras.