Explore la relation entre p-torsion et p-divisibilité dans la théorie de groupe, mettant en évidence les implications de p-divisibilité dans les séquences exactes des groupes abeliens.
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.
Couvre les objets fibreux, le levage des cornes, et l'adjonction entre quasi-catégories et complexes kan, ainsi que la généralisation des catégories et complexes kan.