The Unapologetic Mathematician

Mathematics for the interested outsider

Decomposing the Left Regular Representation

Let’s take the left regular representation of a finite group G on its group algebra \mathbb{C}[G] and decompose it into irreducible representations.

Our first step is to compute the character of \mathbb{C}[G] as a left G-module. The nice thing here is that it’s a permutation representation, and that means we have a shortcut to calculating its character: \chi(g) is the number of fixed point of the action of g on the standard basis of \mathbb{C}[G]. That is, it counts the number of h\in G with gh=h. But this can only happen if g is the group identity, and in that case every element is a fixed point. Thus we conclude

\displaystyle\begin{aligned}\chi(e)&=\lvert G\rvert\\\chi(g)&=0\qquad g\neq e\end{aligned}

Now let V be any irreducible representation of G, with character \chi_V. We know that the multiplicity of V in \mathbb{C}[G] is given by the inner product \langle\chi_V,\chi\rangle. This, we can calculate:

\displaystyle\begin{aligned}\langle \chi_V,\chi\rangle&=\frac{1}{\lvert G\rvert}\sum\limits_{g\in G}\overline{\chi_V(g)}\chi(g)\\&=\frac{1}{\lvert G\rvert}\overline{\chi_V(e)}\lvert G\rvert\\&=\dim(V)\end{aligned}

where in the last line we use the fact that evaluating the character of any representation at the identity element gives the degree of that representation.

So, what does this tell us? Every irreducible representation V shows up in \mathbb{C}[G] with a multiplicity equal to its degree. In particular, it must show up at least once. That is, the left regular representation contains all the irreducible representations.

Thus if V^{(i)} are the k irreducible representations of G, we have a decomposition.


Taking dimensions on either side, we find

\displaystyle\lvert G\rvert=\sum\limits_{i=1}^k\dim\left(V^{(i)}\right)\dim\left(V^{(i)}\right)=\sum\limits_{i=1}^k\dim\left(V^{(i)}\right)^2

We can check this in the case of S_3 and S_4, since we have complete character tables for both of them:


November 17, 2010 Posted by | Algebra, Group theory, Representation Theory | 5 Comments