We will find it useful in our study of 
-modules to study not only the morphisms between them, but the structures that they form.
A couple days ago we mentioned the vector space 
. Today, we specialize to the case 
, where we use the usual alternate name. We write 
and call it the “endomorphism algebra” of 
. Not only is it a vector space of -morphisms, but it has a multiplication from the fact that the source and target of each one are the same and so we can compose them.
We also have an analogous concept for matrix representations. Given a matrix representation 
, a -morphism from to is given by a linear map 
so that 
for all 
. That is, must commute with each of the matrices 
. And so we call the algebra of such matrices the “commutant algebra” of , and write it 
. This is the matrix analogue of the endomorphism algebra because if we get by starting with a -module 
, picking a basis for , and writing down as the matrix of 
corresponding to this basis, then we find that 
.
Let’s start our considerations by letting 
by any matrix irrep, and let’s calculate its commutant algebra. By definition for any 
we have for all . We can subtract 
from both sides of this equation to find
where 
is the identity matrix. The matrix 
commutes with for every complex scalar 
, and so Schur’s lemma will apply to all of them.
Since 
is algebraically closed, we must be able to find an eigenvalue 
. Letting be this eigenvalue, we see that 
commutes with for all , and so Schur’s lemma tells us that either it’s invertible or the zero matrix. But since is an eigenvalue the matrix can’t possibly be invertible, and so we must have 
, and 
.
Therefore the only matrices that commute with all the in a matrix irrep of are scalar multiples of the identity matrix. And since the product of two such matrices is just the product of their scalars, we find that 
as a complex algebra.
October 1, 2010
Posted by John Armstrong |
Algebra, Group theory |
6 Comments
