Lemma 12.5.10. Let $\mathcal{A}$ be an abelian category. Let $0 \to A \to B \to C \to 0$ be a short exact sequence.

1. Given a morphism $s : C \to B$ left inverse to $B \to C$, there exists a unique $\pi : B \to A$ such that $(s, \pi )$ splits the short exact sequence as in Definition 12.5.9.

2. Given a morphism $\pi : B \to A$ right inverse to $A \to B$, there exists a unique $s : C \to B$ such that $(s, \pi )$ splits the short exact sequence as in Definition 12.5.9.

Proof. Omitted. $\square$

There are also:

• 7 comment(s) on Section 12.5: Abelian categories

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).