## More Commutant Algebras

We continue yesterday’s discussion of commutant algebras. But today, let’s consider the direct sum of a bunch of copies of the *same* irrep.

Before we get into it, let’s discuss a bit of notation. Given a representation we write for the direct sum of copies of . We say that is the “multiplicity” of .

Now, let’s let be an irrep of degree , and let . Our analysis proceeds exactly as yesterday — with — up until we write down our four equations. Now they read:

This time, Schur’s lemma tells us that each is an intertwinor between and itself. And so we conclude that each of the blocks is a constant times the identity: . That is:

We can recognize this as a Kronecker product of two matrices:

which is the matrix version of the tensor product of two linear maps. If you don’t know much about the tensor product, don’t worry; we’ll refresh more as we go. You can also review tensor products in the context of vector spaces and linear transformations here. What we want to think of here is that the matrix shuffles around the two copies of the irrep , and the identity matrix stands for the trivial transformation on an irreducible representation.

Since any values are possible for the , the first matrix can take any value in the algebra of complex matrices. We say that

In more generality, if , where is an irrep of degree , then we find

The degree of the representation is — we get for each of the copies of — and the dimension of the commutant algebra is the dimension of the matrix algebra , which is .

[...] these summands, we can pick a basis for and and use the same sorts of methods we did to calculate commutant algebras. We find that if — — then there are no -morphisms at all, even if we include [...]

Pingback by Dimensions of Hom Spaces « The Unapologetic Mathematician | October 12, 2010 |