Explicit Polynomial Generators for the Ring of Quasisymmetric Functions over the Integers

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.

Rèsumè

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.