Algebra Representations
We’ve defined a representation of the group 
as a homomorphism 
for some vector space 
. But where did we really use the fact that is a group?
This leads us to the more general idea of representing a monoid 
. Of course, now we don’t need the image of a monoid element to be invertible, so we may as well just consider a homomorphism of monoids 
, where we consider this endomorphism algebra as a monoid under composition.
And, of course, once we’ve got monoids and 
-linearity floating around, we’re inexorably drawn — Serge would way we have an irresistable compulsion — to consider monoid objects in the category of -modules. That is: -algebras.
And, indeed, things work nicely for -algebras. We say a representation of an -algebra 
is a homomorphism 
for some vector space over . How else can we view such a homomorphism?
Well, it turns an algebra element into an endomorphism. And the most important thing about an endomorphism is that it does something to vectors. So given an algebra element 
, and a vector 
, we get a new vector ](http://s0.wp.com/latex.php?latex=%5Cleft%5B%5Crho%28a%29%5Cright%5D%28v%29&bg=e6e6e6&fg=333333&s=0 "\left[\rho(a)\right](v)")
. And this operation is -linear in both of its variables. So we have a linear map 
, built from the representation 
and the evaluation map 
. But this is just a left -module!
In fact, the evaluation above is the counit of the adjunction between 
and the internal 
functor 
. This adjunction is a natural isomorphism of sets: 
. That is, left -modules are in natural bijection with representations of . In practice, we just consider the two structures to be the same, and we talk interchangeably about modules and representations.
As it would happen, the notion of an algebra representation properly extends that of a group representation. Given any group we can build the group algebra ![\mathbb{F}[G]](http://s0.wp.com/latex.php?latex=%5Cmathbb%7BF%7D%5BG%5D&bg=e6e6e6&fg=333333&s=0 "\mathbb{F}[G]")
. As a vector space, this has a basis vector 
for each group element 
. We then define a multiplication on pairs of basis elements by 
, and extend by bilinearity.
Now it turns out that representations of the group and representations of the group algebra are in bijection. Indeed, the basis vectors are invertible in the algebra . Thus, given a homomorphism ![\alpha:\mathbb{F}[G]\rightarrow\hom_\mathbb{F}(V,V)](http://s0.wp.com/latex.php?latex=%5Calpha%3A%5Cmathbb%7BF%7D%5BG%5D%5Crightarrow%5Chom_%5Cmathbb%7BF%7D%28V%2CV%29&bg=e6e6e6&fg=333333&s=0 "\alpha:\mathbb{F}[G]\rightarrow\hom_\mathbb{F}(V,V)")
, the linear maps 
must be invertible. And so we have a group representation . Conversely, if is a representation of the group , then we can define 
and extend by linearity to get an algebra representation .
So we have representations of algebras. Within that we have the special cases of representations of groups. These allow us to cast abstract algebraic structures into concrete forms, acting as transformations of vector spaces.
Like this:
Like Loading...
October 24, 2008 -
Posted by John Armstrong |
Algebra, Group theory, Linear Algebra, Representation Theory, Ring theory
[...] Posts Sunday Samples 92 (one day late)Algebra RepresentationsGroup RepresentationsGeneral Linear Groups — GenerallyThe Unitarian JihadI Made It!Save the [...]
Pingback by Category Representations « The Unapologetic Mathematician | October 27, 2008 |
[...] Category of Representations Now let’s narrow back in to representations of algebras, and the special case of representations of groups, but with an eye to the categorical [...]
Pingback by The Category of Representations « The Unapologetic Mathematician | October 28, 2008 |
[...] Okay, so let’s take the algebra of polynomials, and consider its representation theory. [...]
Pingback by Representations of a Polynomial Algebra « The Unapologetic Mathematician | October 30, 2008 |