Split exact sequence

In mathematics, a split exact sequence is a short exact sequence in which the middle term is built out of the two outer terms in the simplest possible way.

A short exact sequence of abelian groups or of modules over a fixed ring, or more generally of objects in an abelian category

is called split exact if it is isomorphic to the sequence where the middle term is the direct sum of the outer ones:

The splitting lemma provides further equivalent characterizations of split exact sequences.

Any short exact sequence of vector spaces is split exact. This is a rephrasing of the fact that any set of linearly independent vectors in a vector space can be extended to a basis.

Pure exact sequences can be characterized as the filtered colimits of split exact sequences.[1]