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