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.