A sequence is exact at an object when the image of the incoming morphism equals the kernel of the outgoing morphism. It is exact when this holds everywhere.
In a commutative diagram of two exact five-term sequences, if the first and fourth vertical maps are epimorphisms and the second and fifth are monomorphisms, then an isomorphism in the middle follows; in particular, four surrounding isomorphisms force the fifth.
Articles by others on the same topic
There are currently no matching articles.