The Leibniz-Hopf algebra is the free associative algebra with one generator in each positive degree and coproduct given by the Cartan formula. Quasi-symmetric functions are a generalisation of symmetric functions [7],...The Leibniz-Hopf algebra is the free associative algebra with one generator in each positive degree and coproduct given by the Cartan formula. Quasi-symmetric functions are a generalisation of symmetric functions [7],and the algebra of quasi-symmetric functions appear as the dual of the Leibniz-Hopf algebra. The Leibniz-Hopf algebra and its dual are word Hopf algebras and play an important role in combinatorics, algebra and topology. We give some properties of words and consider an another view of proof for the antipode in the dual Leibniz-Hopf algebra.展开更多
文摘The Leibniz-Hopf algebra is the free associative algebra with one generator in each positive degree and coproduct given by the Cartan formula. Quasi-symmetric functions are a generalisation of symmetric functions [7],and the algebra of quasi-symmetric functions appear as the dual of the Leibniz-Hopf algebra. The Leibniz-Hopf algebra and its dual are word Hopf algebras and play an important role in combinatorics, algebra and topology. We give some properties of words and consider an another view of proof for the antipode in the dual Leibniz-Hopf algebra.