What are exact sequences, metaphysically speaking?

Why is it natural or useful to organize objects (of some appropriate category) into exact sequences? Exact sequences are ubiquitous – and I’ve encountered them enough to know that they can provide a very useful and efficient framework to work within. However, I have no idea what this framework truly is, or why it is effective.

So, my questions are:

  1. What makes exact sequences natural objects to deal with?

  2. What do they encode, generally speaking? Or if you are unable to think of a satisfactory answer in general, what are some specific examples of exact sequences encoding some desirable property?

Please set me straight! It seems like all of the references that I’ve come across only encyclopedically develop the idea of an exact sequence, sparing the reader of any qualification or exposition.


This was too long to put as a comment, I apologize if it doesn’t help.

I don’t know how totally accurate this is, but I like to think of (short) exact sequences as being algebraified versions of fiber bundles. Thus, putting X in a short exact sequence 0YXZ0 indicates to me that X is put together in some way from Y and Z, and in such a way that, in a perfect world where everything is nice, is just the product of Y and Z. Therefore, X is some kind of “twisted product” of Y and Z.

Thus, any time we are able to put X into an exact sequene we should (in spirit) be able to tell properties of X from properties of Y and Z.

For example, knowing that B is an abelian groups such that


is a SES for B,C also abelian groups tells me that rank(B)=rank(A)+rank(C) (or more generally this works nicely for modules over PIDs).

The reason that SESs are such a convenient framework to deal with the notion of “put-togetheredness” is that we live in a fundamentally arrow obsessed world. Things phrased entirely in terms of arrows make us happy, because they are often easy to deal with.

Source : Link , Question Author : Joshua Seaton , Answer Author : Alex Youcis

Leave a Comment