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.
Présente la classification des groupes abéliens finis comme des produits de groupes cycliques, un résultat fondamental dans diverses branches des mathématiques.