Equivalence between two statements in case of splitting modules

35 Views Asked by At

Let P be an R-module.

1.If P is a quotient of the R-module M then P is isomorphic to a direct summand of M.

2.Every short exact sequence 0→L→M→P→0 splits.

How do I show equivalence between statements 1 and 2?

1

There are 1 best solutions below

2
On

In homological algebra, we have a device that is called the splitting lemma. It states that a short exact sequence $0 \rightarrow L \rightarrow M \rightarrow P$ splits if and only if it is isomorphic (in the category of exact sequences) to the short exact sequence $0 \rightarrow L \rightarrow L \oplus P \rightarrow P \rightarrow 0$.

Hence, if 2. holds, then if $P$ is the quotient of $M$, we get a s.e.s. $0 \rightarrow L \rightarrow M \rightarrow P \rightarrow 0$ where $L = \ker (M \rightarrow P)$, and the splitting lemma yields that $P$ is isomorphic to a direct summand of $M$.

Vice versa, if 1. holds, note that $P$ is a quotient of the free module $F \langle P \rangle$ via the map that sends $p \mapsto p$. Thus, $P$ is the direct summand of a free module, hence projective (ie. 2. holds).