First isomorphism theorem for vector spaces (source code)

= First isomorphism theorem for vector spaces
{c}

For a linear map $T:V\to W$, the induced map
$$
V/\ker T\longrightarrow\operatorname{im}T,
\qquad
v+\ker T\longmapsto T(v),
$$
is a vector-space isomorphism.