For a left $R$ module $P$, the following are equivalent:
- Given $M\xrightarrow{\psi} N \to 0$ exact and $\omega: P \to N$, there exists $\tilde{\omega}: P \to M$ such that $\psi \circ \tilde{\omega} = \omega$.
- Every short exact sequence $0 \to A \to B \to P \to 0$ splits.
- $P$ is a direct summand of a free module.
In proving this equivalence, we typically go $1 \implies 2 \implies 3 \implies 1$. I'm interested in more direct proofs of $3 \implies 2$ and $2 \implies 1$. Does anyone know any?
Update: I think I showed $3 \implies 2$...I'll post it.