The Unapologetic Mathematician

Mathematics for the interested outsider

The Category of Representations is Abelian

We’ve been considering the category of representations of an algebra A, and we’re just about done showing that \mathbf{Rep}_\mathbb{F}(A) is abelian.

First of all, the intertwiners between any two representations form a vector space, which is really an abelian group plus stuff. Since the composition of intertwiners is bilinear, this makes \mathbf{Rep}_\mathbb{F}(A) into an \mathbf{Ab}-category. Secondly, we can take direct sums of representations, which is a categorical biproduct. Thirdly, every intertwiner has a kernel and a cokernel.

The only thing we’re missing is that every monomorphism and every epimorphism be normal. That is, every monomorphism should actually be the kernel of some intertwiner, and every epimorphism should actually be the cokernel of some intertwiner. So, given representations \rho:A\rightarrow\mathrm{End}(V) and \sigma:A\rightarrow\mathrm{End}(W), let’s consider a monomorphic intertwiner f:\rho\rightarrow\sigma.

As for linear maps, it’s straightforward to show that f is monomorphic if and only if its kernel is trivial. Specifically, we can consider the inclusion \iota:\mathrm{Ker}(f)\rightarrow V and the zero map 0:\mathrm{Ker}(f)\rightarrow V. It’s easy to see that f\circ\iota=f\circ0, and so the left-cancellation property shows that \iota=0, which is only possible if \mathrm{Ker}(f)=\mathbf{0}. So a monomorphism has a trivial kernel. Thus the underlying linear map f is an isomorphism of V onto the image \mathrm{Im}(f)\subseteq W. Then this subrepresentation is exactly the kernel of the quotient map W\rightarrow W/\mathrm{Im}(f). And so the monomorphism f is the kernel of some map. The proof that any epimorphism is normal is dual.

And so we have established that the category of representations of the algebra A is abelian. This allows us to bring in all the machinery of homological algebra, if we should so choose. In particular, we can talk about exact sequences, which can be useful from time to time.

December 15, 2008 Posted by | Algebra, Representation Theory | 1 Comment