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.

About these ads

December 15, 2008 - Posted by | Algebra, Representation Theory

1 Comment »

  1. […] Short Exact Sequences of Representations Split? We’ve seen that the category of representations is abelian, so we have all we need to talk about exact sequences. And we know that some of the most important […]

    Pingback by Do Short Exact Sequences of Representations Split? « The Unapologetic Mathematician | December 17, 2008 | Reply


Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

Follow

Get every new post delivered to your Inbox.

Join 393 other followers

%d bloggers like this: