eine zentrale Aussage in der Algebra.

Es sei ϕ : A → B ein Homomorphismus. Dann ist die kanonische Abbildung \begin{eqnarray}A/\text{Ker}(\varphi )\to {Im}(\varphi )\end{eqnarray}ein Isomorphismus.

Hierbei können A und B beispielsweise Gruppen, Vektorräume, Moduln oder Ringe sein; für eine explizite und erläuterte Formulierung der beiden erstgenannten und häufigsten Formen vergleiche man die nachfolgenden Stichwörter.