Développement : Structure des groupes abéliens finis

Détails/Enoncé :

Soit $G$ un groupe abélien fini non trivial. Il existe un entier $r \ge 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}$$

Autres années :

Versions :