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.
Couvre l'homologie avec les coefficients, introduisant le concept de définition des groupes d'homologie par rapport aux groupes abélisques arbitraires.