1: \contentsline {section}{\numberline {1}Introduction}{3}

2: \contentsline {section}{\numberline {2}Basic definitions and notations}{5}

3: \contentsline {subsection}{\numberline {2.1}Alphabets, words, and products}{5}

4: \contentsline {subsection}{\numberline {2.2}Standardization}{6}

5: \contentsline {subsection}{\numberline {2.3}The weak order}{6}

6: \contentsline {subsection}{\numberline {2.4}Permutations and saillances}{6}

7: \contentsline {subsection}{\numberline {2.5}Transition matrices}{7}

8: \contentsline {section}{\numberline {3}The Algebra of Planar Binary Trees}{7}

9: \contentsline {subsection}{\numberline {3.1}The Loday-Ronco Algebra}{8}

10: \contentsline {subsection}{\numberline {3.2}Free quasi-symmetric functions}{8}

11: \contentsline {subsection}{\numberline {3.3}The sylvester monoid}{9}

12: \contentsline {subsection}{\numberline {3.4}Analogous constructions}{13}

13: \contentsline {subsection}{\numberline {3.5}A Schensted-like algorithm}{14}

14: \contentsline {subsection}{\numberline {3.6}Basic properties of the sylvester monoid and of its algebra}{15}

15: \contentsline {subsubsection}{\numberline {3.6.1}Sylvester classes and the permutohedron}{15}

16: \contentsline {subsubsection}{\numberline {3.6.2}Hook-length formula for trees}{16}

17: \contentsline {subsection}{\numberline {3.7}A sylvester description of ${\bf PBT}$}{17}

18: \contentsline {section}{\numberline {4}Properties of ${\bf PBT}$}{19}

19: \contentsline {subsection}{\numberline {4.1}Duality}{19}

20: \contentsline {subsection}{\numberline {4.2}Antipode of ${\bf PBT}$}{20}

21: \contentsline {subsection}{\numberline {4.3}Pairs of Fomin graphs}{21}

22: \contentsline {subsection}{\numberline {4.4}The Tamari order and equivalent orders}{21}

23: \contentsline {subsection}{\numberline {4.5}Multiplicative bases}{25}

24: \contentsline {subsection}{\numberline {4.6}${\bf PBT}$ and ${\bf PBT}^*$ as free algebras and isomorphic Hopf algebras}{27}

25: \contentsline {subsection}{\numberline {4.7}Primitive elements}{30}

26: \contentsline {subsection}{\numberline {4.8}Embeddings and quotients}{31}

27: \contentsline {subsubsection}{\numberline {4.8.1}The full diagram of embeddings}{31}

28: \contentsline {section}{\numberline {5}Representation theory}{32}

29: \contentsline {subsection}{\numberline {5.1}Combinatorial analysis of the scalar product}{33}

30: \contentsline {subsubsection}{\numberline {5.1.1}The Gram matrices}{33}

31: \contentsline {subsubsection}{\numberline {5.1.2}Combinatorics of the Gram matrices}{36}

32: \contentsline {subsection}{\numberline {5.2}A conjectural representation theoretical interpretation}{37}

33: \contentsline {section}{\numberline {6}Conclusion}{38}

34: \contentsline {section}{\numberline {7}Tables}{40}

35: \contentsline {section}{References}{47}

36: