The primitives of the Hopf algebra of noncommutative symmetric functions

11/2004; DOI: 10.11606/issn.2316-9028.v1i2p175-202
Source: arXiv

ABSTRACT Let NSymm be the Hopf algebra of noncommutative symmetric functions over the integers. In this paper a description is given of its Lie algebra of primitives over the integers, Prim(NSymm), in terms of recursion formulas. For each of the primitives of a basis of Prim(NSymm), indexed by Lyndon words, there is a recursively given divided power series over it. This gives another proof of the theorem that the algebra of quasi-symmetric functions is free over the integers.

  • Source
    [Show abstract] [Hide abstract]
    ABSTRACT: We introduce certain set W of quasisymmetric functions, called Lyndon-Witt functions, since they are parametrized by Lyndon compositions and are in the same time ghost components of global Witt vectors over QSym . Using results from [DS], we correct an error, noted independently by M. Hazewinkel and Chr. Reutenauer, and show thatQSym = Z[W], a free polynomial ring. We present a counterexample to the main theorem of [DS]: the monomial quasisymmetric function indexed by the composition (3, 6) is in Z[L mod , 1 7 ] and has not all its coefficients in Z. Author's email adress is A site (in preparation) is∼ejd/qslw.
  • Source
    [Show abstract] [Hide abstract]
    ABSTRACT: In (Hazewinkel in Adv. Math. 164:283–300,2001, and CWI preprint,2001) it has been proved that the ring of quasisymmetric functions over the integers is free polynomial. This is a matter that has been of great interest since 1972; for instance because of the role this statement plays in a classification theory for noncommutative formal groups that has been in development since then, see (Ditters in Invent. Math. 17:1–20,1972; in Scholtens’ Thesis, Free Univ. of Amsterdam,1996) and the references in the latter. Meanwhile quasisymmetric functions have found many more applications (see Gel’fand et al. in Adv. Math. 112:218–348, 1995). However, the proofs of the author in the aforementioned papers do not give explicit polynomial generators for QSymm over the integers. In this note I give a (really quite simple) set of polynomial generators for QSymm over the integers. Dans (Hazewinkel dans Adv. Math. 164:283–300,2001, et CWI preprint,2001) il a été démontré que l’anneau de fonctions quasisymétriques est polynomialement libre sur l’anneau de base Z. C’est là une question importante etudiée depuis 1972; par exemple cet énoncé joue un rôle important dans la théorie de la classification des groupes formels noncommutatifs, voir (Ditters dans Invent. Math. 17:1–20, 1972; Scholtens dans Thesis, Free Univ. of Amsterdam, 1996 et les références données). Entretemps, les fonctions quasisymétriques ont reçu beaucoup d’applications (voir Gel’fand et al. dans Adv. Math. 112: 218–348, 1995). Par contre les démonstrations données par l’auteur dans les articles cité plus haut ne fournissent pas des générateurs polynomiaux explicites pour QSymm sur l’anneau des entiers rationels. Dans cette Note nous présentons un ensemble (vraiment très simple) de générateurs polynomiaux pour QSymm sur Z.
    Acta Applicandae Mathematicae 11/2004; 109(1):39-44. · 0.70 Impact Factor
  • Mutation Research-fundamental and Molecular Mechanisms of Mutagenesis - MUTAT RES-FUNDAM MOL MECH MUT. 01/1997; 379(1).

Full-text (2 Sources)

Available from
Sep 26, 2014