Bezeichnung für den folgenden Satz aus der linearen Algebra:

Sei ϕ : V → W eine surjektive lineare Abbildung zwischen den \({\mathbb{K}}\)-Vektorräumen V und W. Dann sind V/ Ker ϕ und W isomorph: \begin{eqnarray}V/\text{Ker}\space \varphi \cong W.\end{eqnarray}

Ein Isomorphismus ist gegeben durch die eindeutige Abbildung ψ : V/ Ker ϕ → W mit ψ ○ ϵ = ϕ, wobei ϵ die „natürliche“ Abbildung V → V / Ker ϕ; v ↦ [v] bezeichnet.