## The Character of a Representation

Now we introduce a very useful tool in the study of group representations: the “character” of a representation. And it’s almost effortless to define: the character of a matrix representation of a group is a complex-valued function on defined by

That is, the character is “the trace of the representation”. But *why* this is interesting is almost completely opaque at this point. I’m still not entirely sure why this formula has so many fabulous properties.

First of all, we need to recall something about the trace: it satisfies the “cyclic property”. That is, given an matrix and an matrix , we have

Indeed, if we write out the matrices in components we find

Then since the trace is the sum of the diagonal elements we calculate

but these are exactly the same!

We have to be careful, though, that we don’t take this to mean that we can arbitrarily reorder matrices inside the trace. If , , and are all matrices, we can conclude that

but we *cannot* conclude in general that any of the traces on the upper line are equal to any of the traces on the lower line. We can “cycle” matrices around inside the trace, but not rearrange them arbitrarily.

So, what good is this? Well, if is an invertible matrix and is any matrix, then we find that . If is a change of basis matrix, then this tells us that the trace only depends on the linear transformation represents, and not on the particular matrix. In particular, if and are two equivalent matrix representations then there is some intertwining matrix so that for all . The characters of and are therefore equal.

If is a -module, then picking any basis for gives a matrix representing each linear transformation . The previous paragraph shows that which particular matrix representation we pick doesn’t matter, since they’re all give us the same character . And so we can define the character of a -module to be the character of any corresponding matrix representation.

[…] Our first observation about characters takes our work from last time and spins it in a new […]

Pingback by Class Functions « The Unapologetic Mathematician | October 15, 2010 |

[…] we’re dealing with characters, there’s something we can do to rework our expression for the inner product on the space of […]

Pingback by The Inner Product of Characters « The Unapologetic Mathematician | October 18, 2010 |

[…] let’s try to compute the character of this representation. If we write the representing homomorphisms and , then we get a […]

Pingback by Outer Tensor Products « The Unapologetic Mathematician | November 4, 2010 |

[…] Characters of Induced Representations We know how to restrict and induce representations. Now we want to see what this looks like on the level of characters. […]

Pingback by Characters of Induced Representations « The Unapologetic Mathematician | November 29, 2010 |