1. QSym over Sym has a stable basis
- Author
-
Aaron Lauve, Sarah K. Mason, Department of Mathematics [Austin], University of Texas at Austin [Austin], Department of Mathematics, Wake Forest University, Billey, Sara and Reiner, and Victor
- Subjects
Pure mathematics ,General Computer Science ,Constructive proof ,Dimension (graph theory) ,Free module ,Stanley symmetric function ,0102 computer and information sciences ,[INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM] ,Space (mathematics) ,01 natural sciences ,Theoretical Computer Science ,Combinatorics ,Symmetric polynomial ,[MATH.MATH-CO]Mathematics [math]/Combinatorics [math.CO] ,Mathematics::Metric Geometry ,Discrete Mathematics and Combinatorics ,symmetric functions ,0101 mathematics ,quasisymmetric functions ,Mathematics::Representation Theory ,Ring of symmetric functions ,Mathematics ,Mathematics::Combinatorics ,inverting compositions ,Power sum symmetric polynomial ,Mathematics::Complex Variables ,010102 general mathematics ,free modules ,compositions ,Basis (universal algebra) ,Complete homogeneous symmetric polynomial ,16. Peace & justice ,[MATH.MATH-CO] Mathematics [math]/Combinatorics [math.CO] ,Symmetric function ,[INFO.INFO-DM] Computer Science [cs]/Discrete Mathematics [cs.DM] ,Computational Theory and Mathematics ,010201 computation theory & mathematics ,Elementary symmetric polynomial - Abstract
We prove that the subset of quasisymmetric polynomials conjectured by Bergeron and Reutenauer to be a basis for the coinvariant space of quasisymmetric polynomials is indeed a basis. This provides the first constructive proof of the Garsia―Wallach result stating that quasisymmetric polynomials form a free module over symmetric polynomials and that the dimension of this module is $n!$., Nous prouvons que le sous-ensemble des polynômes quasisymétriques conjecturé par Bergeron et Reutenauer pour former une base pour l'espace coinvariant des polynômes quasisymétriques est en fait une base. Cela fournit la première preuve constructive du résultat de Garsia―Wallach indiquant que les polynômes quasisymétriques forment un module libre sur les polynômes symétriques et que la dimension de ce module est $n!$.
- Published
- 2010