A complex in an abelian category is a sequence with . A sequence is exact when the image of every incoming map equals the kernel of the outgoing map.
The Five lemma says that in a morphism between exact five-term sequences, suitable epimorphism assumptions on the left and monomorphism assumptions on the right, together with isomorphisms in the four surrounding positions, force the middle map to be an isomorphism.
Articles by others on the same topic
There are currently no matching articles.