Couvre les fondements de la théorie des groupes, les motivations pour étudier les actions de groupe, les définitions équivalentes et les sous-ensembles associés aux actions de groupe.
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 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.
Introduit la théorie combinatoire des groupes, en mettant l'accent sur les présentations de groupe, les sous-groupes normaux et les quotients de groupe.
