Bidendriform bialgebras, trees, and free quasi-symmetric functions - Archive ouverte HAL Access content directly
Journal Articles Journal of Pure and Applied Algebra Year : 2007

Bidendriform bialgebras, trees, and free quasi-symmetric functions

Loïc Foissy

Abstract

We introduce bidendriform bialgebras, which are bialgebras such that both product and coproduct can be split into two parts satisfying good compatibilities. For example, the Malvenuto-Reutenauer Hopf algebra and the non-commutative Connes-Kreimer Hopf algebras of planar decorated rooted trees are bidendriform bialgebras. We prove that all connected bidendriform bialgebras are generated by their primitive elements as a dendriform algebra bidendriform Milnor-Moore theorem) and then is isomorphic to a Connes-Kreimer Hopf algebra. As a corollary, the Hopf algebra of Malvenuto-Reutenauer is isomorphic to the Connes-kreimer Hopf algebra of planar rooted trees decorated by a certain set. We deduce that the Lie algebra of its primitive elements is free in characteristic zero (G. Duchamp, F. Hivert and J.-Y. Thibon conjecture).
Fichier principal
Vignette du fichier
isomorphism.pdf (322.41 Ko) Télécharger le fichier
Loading...

Dates and versions

hal-00004902 , version 1 (11-05-2005)

Identifiers

Cite

Loïc Foissy. Bidendriform bialgebras, trees, and free quasi-symmetric functions. Journal of Pure and Applied Algebra, 2007. ⟨hal-00004902⟩

Collections

CNRS URCA LMR
79 View
108 Download

Altmetric

Share

Gmail Facebook X LinkedIn More