And in my hurry to get a post up yesterday afternoon after forgetting to in the morning, I put up the wrong one. Here’s what should have gone up yesterday, and yesterday’s should have been now.
Now we can describe the most general commutant algebras. Maschke’s theorem tells us that any matrix representation can be decomposed as the direct sum of irreducible representations. If we collect together all the irreps that are equivalent to each other, we can write
where the are pairwise-inequivalent irreducible matrix representations with degrees , respectively. We calculate the degree:
Now, can a matrix in the commutant algebra send a vector from the subspace isomorphic to to the subspace isomorphic to ? No, and for basically the same reason we saw in the case of . Since it’s an intertwinor, it would have to send the whole -orbit of the vector — a submodule isomorphic to — into the target subspace , but we know that that submodule itself has no submodules isomorphic to .
And so any such matrix must be the direct sum of one matrix in each commutant algebra . But we know that these matrices are of the form . And so we can write
which has dimension