Eulerian idempotents and Milnor–Moore theorem for certain non-cocommutative Hopf algebras
✍ Scribed by Marı́a Ronco
- Publisher
- Elsevier Science
- Year
- 2002
- Tongue
- English
- Weight
- 151 KB
- Volume
- 254
- Category
- Article
- ISSN
- 0021-8693
No coin nor oath required. For personal study only.
✦ Synopsis
The purpose of this paper is to prove a Milnor-Moore style theorem for a particular kind of non-cocommutative Hopf algebras: the dendriform algebras. A dendriform Hopf algebra is a Hopf algebra, such that the product * is the sum of two operations ≺ and , verifying certain conditions between them and with the coproduct . The role of Lie algebras is played by brace algebras, which are defined by n-ary operations (one for each n 2) satisfying some relations. We show that a dendriform Hopf algebra is isomorphic to the enveloping algebra of its brace algebra of primitive elements. One of the ingredients of the proof is the construction of Eulerian idempotents in this context.