S'insère dans le deuxième théorème de l'isomorphisme en théorie de groupe, mettant l'accent sur les relations entre sous-groupes et les groupes quotients.
Revisite les bases de l'image et du noyau dans l'algèbre linéaire, en mettant l'accent sur les transformations linéaires entre les espaces vectoriels à dimension finie.