Five lemma
This is a lemma involving commutative diagrams that can be proved by means of diagram chasing
Let and be exact sequences of homomorphisms. Suppose there are maps such that the diagram of all these maps commutes. Then the following are true:
- If and are injective and is surjective, then is injective
- If and are surjective and is injective then is surjective
- if are isomorphisms, then is also an isomorphism