split short exact sequence
In an abelian category, a short exact sequence
is splitif it satisfies the following equivalent
conditions:
(a) there exists a homomorphism such that ;
(b) there exists a homomorphism such that ;
(c) is isomorphic to the direct sum .
In this case, we say that and are backmaps or splitting backmaps.