MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

It is well known that the symmetric groups have a very nice and explicit representation theory. This is in particular true when one works with the collection of all symmetric groups simultaneously, in which case the ring of virtual representations is the ring of symmetric functions. This has many advantages: it allows one to reduce hard questions in representation theory to formal combinatorial manipulations with symmetric functions; there is a lot of extra structure like inner product, outer product, and plethysm; it leads directly to the general theory of λ-rings, etc...

From the point of view of Coxeter groups there are two other infinite families of groups that seem natural to study from the same point of view, i.e. Bn and Dn. Is there an analogue of the theory of symmetric functions in this situation, i.e. a "nice" (i.e. highly structured and purely combinatorial) description of their rings of virtual representations?

share|cite|improve this question
up vote 6 down vote accepted

A partial answer:

If you want something like the Frobenius map from the ring of characters (with induced product) of $\bigcup_n S_n$ to the ring of symmetric functions, then something like this exists for any wreath product $G \wr S_n$, namely there is a Frobenius map from the ring of characters of $\bigcup_n G \wr S_n$ into a tensor product of copies of the ring of symmetric functions, one for each conjugacy class of $G$. And there's an inner product and Schur functions, power sum, etc. This is explained in Appendix B of Macdonald's Symmetric Functions and Hall Polynomials.

So this takes care of type B ($G = {\bf Z}/2$) but I'm not sure about type D.

share|cite|improve this answer


if you are only interested in the appropriate symmetric function ring, you might want to look here:, it misses though the direct relation to, say inner products etc, but is quite explicite about type B,C,D (as it works in the infinite limit, such distinctions a even/odd cease to exist)


share|cite|improve this answer
Aren't the rings in this paper a model for the characters of the orthogonal and symplectic groups and not their Weyl groups? Correct me if I'm missing something. – Steven Sam Oct 7 '10 at 16:22

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.