Lemma 37.5:

Given a short exact sequence (37.6), the following are equivalent:

(i)

The sequence splits on the left.

(ii)

The sequence splits on the right.

(iii)

$G$ is isomorphic to im$f\oplus K$.