Homomorphisms between Solomon's descent algebras
β Scribed by F. Bergeron; A. Garsia; C. Reutenauer
- Publisher
- Elsevier Science
- Year
- 1992
- Tongue
- English
- Weight
- 582 KB
- Volume
- 150
- Category
- Article
- ISSN
- 0021-8693
No coin nor oath required. For personal study only.
β¦ Synopsis
In a previous paper (see A. Garsia and C. Reutenauer (Adt,. in Math. 77, 1989, 189-262)). we have studied algebraic properties of the descent algebras X,,, and shown how these are related to the canonical decomposition of the free Lie algebra corresponding to a version of the PoincarE-Birkhoff-Witt theorem. In the present paper, we study homomorphisms between these algebras X,,. The existence of these homomorphisms was suggested by properties of some directed graphs that we constructed in the previous paper (reference above) describing the structure of the descent algebras. More precisely, examination of the graphs suggested the existence of homomorphisms 2.;,, .--* Z',,_, and 2.', --. X,,+,. We were then able to construct, for any s (0<s<n), a surjective homomorphism A,:X,--*Z'#_, and an embedding Fs: X#_, --* X,, which reflects these observations. The homomorphisms A, may also be defined as derivations of the free associative algebra Q(tt, t 2, ...) which sends ti on t~_,, if one identifies the basis element D = s of Z",, with some word (coding S) on the alphabet T={tl, t2,... }. We show that this mapping is indeed a homomorphism, using the combinatorial description of the multiplication table of r',, given in the previous paper (reference above).
π SIMILAR VOLUMES
Solomon's descent algebra is generated by sums of descent classes corresponding to certain hook shapes. This particularly implies that the ring of class functions of any finite symmetric group S n is generated by the irreducible characters corresponding to certain hook partitions of n. As another co
The ring QSym of quasi-symmetric functions is naturally the dual of the Solomon descent algebra. The product and the two coproducts of the first (extending those of the symmetric functions) correspond to a coproduct and two products of the second, which are defined by restriction from the symmetric