Explicit polynomial generators for the ring of quasi-symmetric functions over the integers

Like its precursor this paper is concerned with the Hopf algebra of noncommutative symmetric functions and its graded dual, the Hopf algebra of quasisymmetric functions. It complements and extends the previous paper but is also selfcontained. Here we concentrate on explicit descriptions (constructions) of a basis of the Lie algebra of primitives of NSymm and an explicit free polynomial basis of QSymm. As before everything is done over the integers. As applications the matter ...

Hazewinkel proved the Ditters conjecture that the algebra of quasisymmetric functions over the integers is free commutative by constructing a nice polynomial basis. In this paper we prove a structure theorem for the algebra of peak quasisymmetric functions (PQSym) over the integers. It provides a polynomial basis of PQSym over the rational field, different from Hsiao's basis, and implies the freeness of PQSym over its subring of symmetric functions spanned by Schur's Q-functi...

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.

Let R be a commutative ring and let n,m be two positive integers. The symmetric group on n letters acts diagonally on the ring of polynomials in nxm variables with coefficients in R. The subrings of invariants for this action is called the ring of multisymmetric functions since these are the usual symmetric functions when m=1. In this paper we will give a presentation in terms of generators and relations that holds for any R and any n,m answering in this way to a classical qu...

We consider families of quasisymmetric functions with the property that if a symmetric function $f$ is a positive sum of functions in one of these families, then f is necessarily a positive sum of Schur functions. Furthermore, in each of the families studied, we give a combinatorial description of the Schur coefficients of $f$. We organize six such families into a poset, where functions in higher families in the poset are always positive integer sums of functions in each of t...

Consider the algebra Q<<x_1,x_2,...>> of formal power series in countably many noncommuting variables over the rationals. The subalgebra Pi(x_1,x_2,...) of symmetric functions in noncommuting variables consists of all elements invariant under permutation of the variables and of bounded degree. We develop a theory of such functions analogous to the ordinary theory of symmetric functions. In particular, we define analogs of the monomial, power sum, elementary, complete homogene...

We define a new basis of the algebra of quasi-symmetric functions by lifting the cycle-index polynomials of symmetric groups to noncommutative polynomials with coefficients in the algebra of free quasi-symmetric functions, and then projecting the coefficients to $QSym$. By duality, we obtain a basis of noncommutative symmetric functions, for which a product formula and a recurrence in the form of a combinatorial complex are obtained. This basis allows to identify noncommutati...

FPSAC 2013 Extended Abstract. We introduce a new basis of the non-commutative symmetric functions whose elements have Schur functions as their commutative images. Dually, we build a basis of the quasi-symmetric functions which expand positively in the fundamental quasi-symmetric functions and decompose Schur functions according to a signed combinatorial formula.

Let $K[X_n]$ be the commutative polynomial algebra in the variables $X_n=\{x_1,\ldots,x_n\}$ over a field $K$ of characteristic zero. A theorem from undergraduate course of algebra states that the algebra $K[X_n]^{S_n}$ of symmetric polynomials is generated by the elementary symmetric polynomials which are algebraically independent over $K$. In the present paper we study a noncommutative and nonassociative analogue of the algebra $K[X_n]^{S_n}$ replacing $K[X_n]$ with the fre...

The purpose of this article is to give, for any commutative ring A, an explicit minimal set of generators for the ring of multisymmetric functions TS^d_A(A[x_1,...,x_r]) as an A-algebra. In characteristic zero, i.e. when A is an algebra over the rational numbers, a minimal set of generators has been known since the 19th century. A rather small generating set in the general case has also recently been given by Vaccarino but it is not minimal in general. We also give a sharp de...