Couvre le concept de cohomologie de groupe, se concentrant sur les complexes de chaîne, les complexes de cochain, les produits de tasse et les anneaux de groupe.
Couvre les fonctions bijectives, établissant des correspondances individuelles entre les ensembles et l'importance de réduire le domaine et le codomain pour l'injectivité et la surjectivité.