Begriff aus der Linearen Algebra.

Der Kokern einer linearen Abbildung f : V₁ → V₂ zwischen zwei Vektorräumen V₁ und V₂ ist der Quotientenvektorraum \begin{eqnarray}\text{Koker}f:={V}_{2}/\,\mathrm{Im}f,\end{eqnarray} wobei Im f das Bild von f bezeichnet.

Eine lineare Abbildung ist genau dann surjektiv, falls ihr Kokern nur aus dem Nullvektor besteht.

Ist U ein Unterraum des Vektorraumes V, und bezeichnet in der Sequenz \begin{eqnarray}U\mathop{\to }\limits^{e}V\mathop{\to }\limits^{q}V/U\end{eqnarray}e die Einbettungsabbildung u ↦ u und q die Quotientenabbildung v↦ v + U, so gilt also: Koker(e) = V/U und Ker(q) = U (Kern einer linearen Abbildung.)