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.