Le théorème de structure des groupes abéliens de type fini fournit une classification très explicite des groupes abéliens de type fini à isomorphisme près.
Entre autres informations, il indique que tout groupe abélien de type fini est un produit direct fini de groupes monogènes et donc qu'un groupe abélien de type fini où tout élément non nul est d'ordre infini est libre.
Il est possible d'y voir une conséquence assez simple d'un théorème de classification des matrices d'entiers à équivalence près. C'est un cas particulier d'un théorème plus général (mais guère plus difficile à prouver) qui classifie à isomorphisme près les modules sur un anneau principal donné.
Le théorème est connu sous deux variantes, qu'on peut déduire l'une de l'autre par application du théorème chinois.
Soit (G, +) un groupe abélien de type fini.
Le plan de preuve exposé ci-dessous, issu du traité d'algèbre de Paul Cohn, n'utilise que des concepts de théorie élémentaire des groupes. Les énoncés qui y sont mis en valeur, étapes de la preuve, deviennent des corollaires dans d'autres méthodes d'exposition et sont intéressants en eux-mêmes.
Soit (G, +) un groupe abélien.
Un élément de G d'ordre fini sera dit un élément de torsion.
Les éléments de torsion forment un sous-groupe. On l'appelle le sous-groupe de torsion.
Lorsque seul le neutre est de torsion, on parle de groupe sans torsion.
Pour chaque nombre premier p, l'ensemble des éléments de torsion dont l'ordre est une puissance de p est un sous-groupe. On l'appelle la p-composante de torsion de G.
On rappelle qu'un groupe abélien libre est un groupe abélien qui possède une base, c'est-à-dire une partie B telle que tout élément du groupe s'écrive de façon unique comme combinaison linéaire à coefficients entiers d'un nombre fini d'éléments de B.
De façon évidente, si un groupe (F, +) est abélien libre, il n'a pas de torsion. La réciproque est fausse : Q n'a pas de torsion mais ne peut être libre puisqu'il est divisible.
En revanche, au sein de la classe des groupes de type fini, il y a équivalence :
ou encore, dit autrement :
Comme par ailleurs Zm et Zn ne sont pas isomorphes pour m ≠ n, on a ainsi complètement décrit les groupes abéliens de type fini sans torsion à isomorphisme près.
Le résultat préliminaire suivant se prouve par la même technique que le théorème des restes chinois :
Il est un peu plus délicat d'élucider ensuite la structure de ces p-composantes, qui se révèlent être des produits directs de groupes cycliques. On obtient in fine le théorème de structure des groupes finis sous la forme suivante :
Les éléments de cette suite sont appelés diviseurs élémentaires de G.
En regroupant différemment ces facteurs cycliques, on peut en déduire le théorème suivant :
Les éléments de cette suite sont appelés facteurs invariants de G.
Cette forme du théorème peut également être montrée directement, sans intervention préalable des p-composantes ; on pourra en lire une preuve dans cet esprit (par récurrence sur l'ordre du groupe) à l'article théorème de Kronecker.
Soit maintenant (G, +) un groupe abélien de type fini en toute généralité. On note T son groupe de torsion.
F est alors de type fini (comme quotient de G), et le rapprochement des théorèmes de structure pour les groupes abéliens finis et pour les groupes abéliens sans torsion de type fini fournit ainsi le théorème de structure.
Une autre présentation de la preuve consiste à démontrer dans un premier temps un théorème de classification des matrices à coefficients entiers à équivalence de matrices près, puis d'en déduire assez rapidement la classification des groupes abéliens de type fini à isomorphisme près. On en trouvera une exposition à l'article détaillé théorème des facteurs invariants, où elle est exposée dans le contexte plus général des anneaux euclidiens.
Il y a coïncidence entre les structures de groupe abélien et de module sur l'anneau Z des entiers relatifs (voir à ce sujet l'article groupe abélien). La preuve s'avère pouvoir être reproduite quasiment à l'identique pour obtenir un théorème analogue valable sur un anneau principal quelconque. Ce résultat est lui-même applicable à de tout autres questions — notamment la classification à similitude près des matrices à coefficients dans un corps commutatif.
This article uses material from the Wikipedia Français article Théorème de structure des groupes abéliens de type fini, which is released under the Creative Commons Attribution-ShareAlike 3.0 license ("CC BY-SA 3.0"); additional terms may apply (view authors). Le contenu est disponible sous licence CC BY-SA 4.0 sauf mention contraire. Images, videos and audio are available under their respective licenses.
®Wikipedia is a registered trademark of the Wiki Foundation, Inc. Wiki Français (DUHOCTRUNGQUOC.VN) is an independent company and has no affiliation with Wiki Foundation.