Couvre les quotients dans les groupes abeliens et le concept de groupes abeliens libres, montrant que chaque groupe abelien est isomorphe à un quotient d'un groupe abelien libre.
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.