A Mind for Madness

Musings on art, philosophy, mathematics, and physics

Pulling some stuff together

2 Comments


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 V\cong L_1\oplus \cdots \oplus L_m where dimV=m, and the L_i 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 \mathbb{Z}/n, the actions on a line can be thought of as the n roots of unity as our choices for the element of GL(V).

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).

About these ads

Author: hilbertthm90

I write about math, philosophy, literature, music, science, computer science, gaming or whatever strikes my fancy that day.

2 thoughts on “Pulling some stuff together

  1. 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.

  2. :( 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 \mathbb{C}G, whereas this was a \mathbb{C}-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.

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

Follow

Get every new post delivered to your Inbox.

Join 206 other followers