Linear Algebra – Why Short Exact Sequence of Vector Spaces is a Direct Sum

differential-topologyexact-sequencelinear algebra

This is actually the first time I have worked with short exact sequences and I have no clue why the following assertion is true:

Any short exact sequence of vector spaces
$$
0 \longrightarrow U \overset{A}{\longrightarrow} V \overset{B}{\longrightarrow} W \longrightarrow 0
$$
reduces to a decomposition $V \simeq U \oplus W$.

Can anyone give a clear proof? I only know from the definition of short exact sequences that $A$ is injective, $B$ is surjective, and $\text{im}(A) = \ker(B)$

Best Answer

In general you cannot see $V$ as a direct sum $U \oplus W$ when these are modules over a general ring $R$. For example consider the short exact sequence: $$\newcommand\Z{\mathbb{Z}}0 \to \Z/2\Z \to \Z/4\Z \to \Z/2\Z \to 0,$$ it is not true that $\Z/4\Z$ is isomorphic to $\Z/2\Z \oplus \Z/2\Z$.

However when you are working with vector spaces over a field (and since you tagged this "differential topology" I assume you're actually interested in de Rham cohomology, which is over $\mathbb{R}$), then yes, it follows that $V$ is isomorphic to $U \oplus W$. A simple way to see that in finite dimension is through the rank-nullity theorem (and the fact that two vector spaces are isomorphic iff they have the same dimension).

In general though, there is still an isomorphism, even if $U$, $V$, $W$ have infinite dimension (and you assume the axiom of choice I guess). Every vector space is free, ie. has a basis. Choose a basis $\{w_i\}$ of $W$. Since $B$ is surjective, there are elements $v_i \in V$ such that $B v_i = w_i$. Define a linear map $C : W \to V$ by $Cw_i = v_i$. Since $\{w_i\}$ is a basis this determines a (unique) linear map $C$. Then it is a simple exercise to show that the following map is an isomorphism: $$\begin{align} U \oplus W & \to V\\ (u, w) & \mapsto (Au, Cw) \end{align}$$