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.
Couvre la présentation des groupes de S3, des sous-groupes normaux, des générateurs, des relations, des groupes de quotients et des homomorphismes injectifs.
