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.
Présente les concepts de base des groupes, y compris les définitions, les propriétés et les homomorphismes, en mettant l'accent sur les propriétés des sous-groupes et les sous-groupes normaux.
Explore le sens catégorique de la construction dun quotient de groupe par un sous-groupe normal, en le montrant comme un exemple spécifique dune construction plus générale.