Split exact sequence
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.
The exact sequence (where the first map is multiplication by 2) is not split exact.
- Fuchs (2015, Ch. 5, Thm. 3.4)