Eulerian idempotents and Milnor-Moore theorem for certain non-cocommutative Hopf algebras. (English) Zbl 1017.16033

A classical result of J. W. Milnor and J. C. Moore [Ann. Math. (2) 81, 211-264 (1965; Zbl 0163.28202)] says that every connected graded cocommutative Hopf algebra over a field of characteristic zero is isomorphic to the universal enveloping algebra of its Lie algebra of primitive elements. The aim of the paper under review is to establish a similar result for a certain class of non-cocommutative Hopf algebras, namely the dendriform Hopf algebras.
A dendriform algebra is a (non-unital) associative algebra such that the product is the sum of two binary operations \(\prec\) and \(\succ\) satisfying certain conditions and a dendriform Hopf algebra has in addition a coproduct compatible with \(\prec\) and \(\succ\). A brace algebra is a vector space with a family of \(n\)-ary operations on itself satisfying certain conditions. Every dendriform algebra has the structure of a brace algebra. Moreover, the subspace of primitive elements (i.e., elements with zero coproduct) of a dendriform Hopf algebra is a brace subalgebra. Then the main result of this paper says that every connected graded dendriform Hopf algebra over a field of characteristic zero is isomorphic to the dendriform analogue of the universal enveloping algebra of its brace algebra of primitive elements. One ingredient of the proof is the construction of a family of Eulerian projections for connected graded dendriform Hopf algebras.


16W30 Hopf algebras (associative rings and algebras) (MSC2000)
16W50 Graded rings and modules (associative rings and algebras)
16S30 Universal enveloping algebras of Lie algebras


Zbl 0163.28202
Full Text: DOI


[1] Barcucci, E.; Verri, C., Some more properties of Catalan numbers, Discrete Math., 102, 229-237 (1992) · Zbl 0757.05005
[2] Chapoton, F., Un théorème de Cartier-Milnor-Moore-Quillen pour les bigèbres dendriformes et les algèbres braces · Zbl 0994.18006
[3] Gerstenhaber, M., The cohomology structure of an associative ring, Ann. of Math., 78, 2, 267-288 (1963) · Zbl 0131.27302
[4] Gerstenhaber, M.; Shack, S., A Hodge-type decomposition for commutative algebra cohomology, J. Pure Appl. Algebra, 48, 229-247 (1987) · Zbl 0671.13007
[5] Gerstenhaber, M.; Voronov, A., Homotopy \(G\)-algebras and moduli space operad, Internat. Math. Res. Notices, 3, 141-153 (1995) · Zbl 0827.18004
[6] Getzler, E., Cartan homotopy formulas and the Gauss-Manin connection in cyclic homology, (Israel Math. Conf. Proc., 7 (1993)), 65-78 · Zbl 0844.18007
[7] Kadeishvili, T., The structure of the \(A(∞)\)-algebra, and the Hochschild and Harrison cohomologies, (Trudy Tbiliss. Mat. Inst. Razmadze Akad. Nauk. Gruzin. SSR, 91 (1988)), 19-27 · Zbl 0717.55011
[8] Loday, J.-L., Opérations sur l’homologie cyclique des algèbres commutatives, Invent Math., 96, 1, 205-230 (1989) · Zbl 0686.18006
[9] Loday, J.-L., Cyclic Homology. Cyclic Homology, Grundlehren Math. Wiss., 301 (1994), Springer-Verlag
[10] Loday, J.-L., Dialgebras, (Dialgebras and Related Operads. Dialgebras and Related Operads, Lecture Notes in Math., 1763 (2001), Springer-Verlag), 7-66 · Zbl 0999.17002
[11] Milnor, J. W.; Moore, J. C., On the structure of Hopf algebras, Ann. of Math., 81, 211-264 (1965) · Zbl 0163.28202
[12] Malvenuto, C.; Reutenauer, C., Duality between quasi-symmetric functions and the Solomon descent algebra, J. Algebra, 177, 3, 967-982 (1995) · Zbl 0838.05100
[13] Ronco, M., Primitive elements in a free dendriform algebra, Contemp. Math. (2000), to appear · Zbl 0974.16035
[14] Ronco, M., A Milnor-Moore theorem for dendriform Hopf algebras, C. R. Acad. Sci. Paris Sér. I, 332, 109-114 (2000) · Zbl 0978.16031
[15] Solomon, L., A Mackey formula in the group ring of a Coxeter group, J. Algebra, 41, 2, 255-264 (1976) · Zbl 0355.20007
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.