# The Unapologetic Mathematician

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

### Like this:

Posted by John Armstrong | 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 | December 17, 2008 | Reply

« Previous | Next »

## About this weblog

This is mainly an expository blath, with occasional high-level excursions, humorous observations, rants, and musings. The main-line exposition should be accessible to the “Generally Interested Lay Audience”, as long as you trace the links back towards the basics. Check the sidebar for specific topics (under “Categories”).

I’m in the process of tweaking some aspects of the site to make it easier to refer back to older topics, so try to make the best of it for now.
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 19, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9118528962135315, "perplexity_flag": "head"}