## The Splitting Lemma

Evidently I never did this one when I was talking about abelian categories. Looks like I have to go back and patch this now.

We start with a short exact sequence:

A large class of examples of such sequences are provided by the split-exact sequences:

where these arrows are those from the definition of the biproduct. But in this case we’ve also got other arrows: and that satisfy certain relations.

The lemma says that we can go the other direction too. If we have one arrow so that then everything else falls into place, and . Similarly, a single arrow so that will “split” the sequence. We’ll just prove the first one, since the second goes more or less the same way.

Just like with diagram chases, we’re going to talk about “elements” of objects as if the objects are abelian groups. Of course, we don’t really mean “elements”, but the exact same semantic switch works here.

So let’s consider an element and write it as . Clearly lands in . We can also check

so . That is, any element of can be written as the sum of an element of and an element of . But these two intersect trivially. That is, if and then , and so . This shows that . Thus we can write every uniquely as .

Now consider an element . By exactness, there must be some so that . That is, we have a unique with . This shows that . It’s straightforward to show that also . Thus we have split the sequence: .

So …. I’m not sure I quite fathomed the semantic switch in grabbing elements. What you -REALLY- mean by something like b – f(h(b)) is looking at the -morphism- Id-f.h is it?

And then equality, and being 0, and all the arithmetic just works out?

Comment by Mikael Vejdemo Johansson | June 25, 2008 |

Go read the link. The switch is that an “element” is really an arrow from an arbitrary object . Then you have to switch other definitions, like what’s meant by the sign to compensate.

Really, the only thing new here is that I’m using the abelian group structure on the hom-sets where I didn’t need it for the other lemmas I proved with the “semantic” diagram chases.

Comment by John Armstrong | June 25, 2008 |

[...] sequences split Now that we know the splitting lemma, we can show that every short exact sequence of vector spaces [...]

Pingback by Exact sequences split « The Unapologetic Mathematician | June 26, 2008 |

[...] The exact sequence splits. Indeed, we can lift a basis of to elements of by surjectivity; then define a map from that [...]

Pingback by Generic freeness II « Delta Epsilons | July 31, 2009 |

Hi!

What books reference the Splitting Lemma?

Thanks!

Comment by JoseBrox | April 13, 2011 |

Pretty much any homological algebra book should talk about it.

Comment by John Armstrong | April 13, 2011 |