Split short exact sequence (source code)

= Split short exact sequence

A short exact sequence splits when its injection has a retraction, equivalently when its surjection has a section. In that case the middle module is isomorphic to the direct sum of the two outer modules.