So it turns out that over at Rigorous Trivialities my idea for a set of posts on Grassmanians has already been done. So I’ll continue with characters for now.
The irreducible characters are the ones that come from irreducible representations. Denote the character afforded by where is the i-th simple component of . So by breaking representations down to the simple components we get that every character is an (non-negative) integer combination of the irreducible characters.
Let’s quickly examine the regular character, or the character afforded by the -regular representation. Take as a basis for just . If , then since the identity transformation just has trace the dimension of the vector space. But now if , then every basis element gets permuted, so every diagonal entry is 0. Thus . Hence
I’d like to get to one really cool result today, so let’s start in that direction. A class function is a function (to some field, although I don’t think this is a necessary part of the definition) that is constant on conjugacy classes. We saw last time that every character is a class function. The set of all class functions, denoted is a vector space over the field that is your codomain. For ease, I’ll just start using for everything.
Alright, now let’s note that every class function is a class sum, so by this post we have that , and hence, since this has dimension the number of conjugacy classes which is the number of irreducible representations a natural conjecture is that the irreducible characters form a basis for .
This is indeed the case. Alright. Well, all our work is basically done. We just need that the irreducible characters are linearly independent, since there are the right number of them. First, note that when and . But also, if is the identity in , then as we saw in the regular representation, the dimension of that representation.
Suppose . Then (as with most arguments of this form we will just carefully apply to the right things) for all j, and clearly , so each . And we are done.
I think this is rather neat, since there is no immediate reason to believe that class functions in general have to do with characters, but in fact every class function must arise from the irreducible characters.
Next time we’ll expand this idea. It turns out that isn’t just a vector space, but a full blown inner product space, and the irreducible characters are not just a basis, but an orthonormal basis.