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 .