So I’ve thrown out lots of terms and theorems relating to representation theory, but haven’t really said how any of it relates, so lets try to start putting a few things together before moving on. I threw out the terms reducible and irreducible, but forgot to mention completely reducible. A representation is completely reducible if it can be decomposed as a direct sum of irreducible subrepresentations. Note that this means an irreducible representation is completely reducible.

Let’s start with finite abelian groups where everything is easier. Then we’ll eventually get to the full theory of general finite groups, where essentially all the same statements will hold, but I’ll need bigger theorems and techniques.

I claim that every complex representation of a finite abelian group is completely reducible, and in a very nice way. So by Schur’s Lemma, we get that any irreducible subrepresentation is going to be one-dimensional, since group elements will be acting by scalars. So it will leave lines invariant, and hence I will be looking to decompose into lines somehow.

This becomes fairly clear on how to actually decompose when you think about the fact that matrices that are diagonalizable and commute are actually simultaneously diagonalizable. So let G be a finite abelian group. And diagonalizing is the same thing as the intertwiners we saw before, so any representation of G is isomorphic to one where every group element acts diagonally. So our representation where , and the are lines. Each line is preserved by the action of the group.

Now just use the structure theorem for abelian groups, i.e. that G is isomorphic to a direct sum of cyclic subgroups. Thus given , the actions on a line can be thought of as the n roots of unity as our choices for the element of .

Thus every complex representation of a finite abelian group is completely reducible into 1-dimensional subrepresentations (this will be a special case of something we do later).

### Like this:

Like Loading...

*Related*

But haven’t you already covered complete reducibility more generally (Maschke’s theorem was a previous post)? That said, the case of abelian groups is of course especially interesting.

😦 So I was distracted for like 6 hours in the middle of writing this post, and when I came back, I just didn’t feel like filling in the details (which is why it is more of a sketch). Thanks for pointing this out. That was the whole “punch-line” of “Pulling things together”.

Note I haven’t given an explicit correspondence between irreducible modules over the group ring kG and the irreducible representations of G over k (at least I think I didn’t, I only quickly glanced through just now). Maschke gives a ring theoretic property of , whereas this was a representation theoretic property of G (of course, they are the same, though).

Wow. I can’t believe I missed the point of this post…later today I’ll do a new one connecting these ideas.