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.
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.
