Back in November 2007 Anton Geraschenko had an interesting post at the Secret Blogging Seminar based on a preprint by George Bergman. His original preprint is now on the arXiv, where this is an updated version accepted by journal Theory and Applications of Categories, reformatted with their cls file. Old Lemma 12 dropped (referee noted it was immediate consequence of Lemma 11); some typos fixed, and wording cleaned up. Homological algebra is full of diagram chasing arguments.
Here is an introduction to his paper:
Diagram-chasing arguments frequently lead to “magical” relations between distant points of diagrams: exactness implications, connecting morphisms, etc.. These long connections are usually composites of short “unmagical” connections, but the latter, and the objects they join, are not visible in the proofs. I try to remedy this situation.
Given a double complex in an abelian category, we consider, for each object of the complex, the familiar horizontal and vertical homology objects at , and two other objects, which we name the “donor” and and the “receptor” at . For each arrow of the double complex, we prove the exactness of a 6-term sequence of these objects (the “Salamander Lemma”). Standard results such as the 3×3-Lemma, the Snake Lemma, and the long exact sequence of homology associated with a short exact sequence of complexes, are obtained as easy applications of this lemma.
We then obtain some generalizations of the last of the above examples, getting various exact diagrams from double complexes with all but a few rows and columns exact.
The total homology of a double complex is also examined in terms of the constructions we have introduced. We end with a brief look at the world of triple complexes, and two exercises.