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.
Explore les définitions invariantes dans les ensembles, les groupes et les automorphismes, y compris les groupes p-divisibles et les groupes abeliens libres.