Diagram chasing is a method of mathematical proof used especially in homological algebra. Given a commutative diagram, a proof by diagram chasing involves the formal use of the properties of the diagram, such as injective or surjective maps, or exact sequences. A syllogism is constructed, for which the graphical display of the diagram is just a visual aid. It follows that one ends up "chasing" elements around the diagram, until the desired element or result is constructed or verified.
Examples of proofs by diagram chasing include those typically given for the five lemma, the snake lemma, the zig-zag lemma, and the nine lemma.
Read more about this topic: Commutative Diagram
Famous quotes containing the words diagram and/or chasing:
““God’s fire upon the wane,
A diagram hung there instead,
More women born than men.””
—William Butler Yeats (1865–1939)
“Put in hours and hours of planning, figure everything down to the last detail, then what? Burglar alarms start going off all over the place for no sensible reason. A gun fires of its own accord and a man is shot. And a broken-down old house no good for anything but chasing kids has to trip over us. Blind accidents. What can you do against blind accidents?”
—Ben Maddow (1909–1992)