Groupes abéliens finis : théorème de classification

Cette séance de cours atteint le point culminant du chapitre en présentant la classification des groupes abéliens finis. Ce résultat fondamental décrit tout groupe abélien fini comme un produit de groupes cycliques d'ordre de puissance premier, largement utilisés en algèbre, en topologie algébrique, en géométrie algébrique, en théorie des nombres, etc. La preuve, pas trop difficile avec les outils appris dans les leçons précédentes, consiste à démontrer l'existence et l'unicité de certaines séquences d'entiers positifs, ainsi que des lemmes techniques et des arguments par induction.