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.
Explore les définitions invariantes dans les ensembles, les groupes et les automorphismes, y compris les groupes p-divisibles et les groupes abeliens libres.
Explore la construction et les propriétés des morphismes, en mettant l'accent sur les diviseurs efficaces, l'isomorphisme des semi-groupes, et la relation entre les gerbes et les espaces factoriels.