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 . 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 . 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 , 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.