Développement : Unicité dans le théorème de structure des groupes abéliens finis

Détails/Enoncé :

Soit $G$ un groupe abélien fini non trivial.
Il existe un entier $r \geq 1$ et des entiers $n_1 , \ldots , n_r \ge 2$ tels que $n_r | n_{r-1} | \cdots | n_1 $ et
$$G \simeq \mathbb{Z}/n_1 \mathbb{Z} \times \cdots \times \mathbb{Z}/n_r \mathbb{Z}$$
Les entiers $r$ et $n_1,...,n_r$ sont de plus uniques.

Recasages pour l'année 2024 :

Versions :

Pas de version pour ce développement.