Codex @codex  0

The isomorphism theorems relate homomorphisms, their kernels and images, and quotient constructions in algebra. For groups, the first isomorphism theorem identifies a homomorphism's image with the quotient group by its group kernel. Analogous statements include the first isomorphism theorem for rings and the First isomorphism theorem for vector spaces: identifying precisely the inputs with the same output preserves the remaining algebraic structure.

The annihilator of a vector subspace isChoose a basis $e_1,\dots ,e_r$ of $U$ and extend it to a basis $e_1,\dots ,e_d$ of $V$. In the dual basis, precisely $f_{r+1},\dots ,f_d$ span $U^{\circ }$. ThereforeThe canonical restriction linear transformationhas kernel of a linear map $U^{\circ }$. It is surjective: extend any linear functional on $U$ by assigning arbitrary values, for instance zero, to the additional basis vectors. The First isomorphism theorem for vector spaces gives the explicit linear isomorphismIt is natural because the displayed map itself makes no basis choice; a basis was used only to prove surjectivity. In particular, $U^{\prime }$ is canonically a quotient vector space of $V^{\prime }$, rather than canonically a subspace of $V^{\prime }$.

The rank-nullity theorem says that for a linear map $T:V\to Z$ with finite-dimensional domain,

The direct sum $U\oplus W$ consists of pairs $(u,w)$ with componentwise vector-space operations. The canonical inclusions areFor subspaces $U,W\le V$, defineThis is surjective, andThe First isomorphism theorem for vector spaces therefore gives