Théorème de structure des groupes abéliens de type fini

Théorème de structure des groupes abéliens de type fini

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é.

Sommaire

Énoncé du théorème

Le théorème[1] 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.

  • Il existe un entier l ≥ 0 unique et une suite (q1,q2,...,qt) de puissances de nombres premiers, unique à réordonnancement près, pour lesquels on a l'isomorphie :
G≈(Z/q1Z) x (Z/q2Z) x ... x (Z/qtZ) x Zl
  • Il existe un entier l ≥ 0 unique et une unique suite (a1,a2,...,ak) d'entiers > 1 pour lesquels on a l'isomorphie :
G≈(Z/a1Z) x (Z/a2Z) x ... x (Z/akZ) x Zl
avec la condition supplémentaire : aj+1 divise aj pour tout j entier entre 1 et k - 1.

Une méthode élémentaire de preuve

Le plan de preuve exposé ci-dessous, issu du traité d'algèbre de Paul Cohn (en) n'utilise que les concepts de théorie élémentaire des groupes[2]. 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.

Éléments de torsion

Article détaillé : Torsion (algèbre).

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[3]. 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.

Structure des groupes abéliens sans torsion de type fini

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 :

  • Un groupe abélien est de type fini sans torsion si et seulement s'il est abélien libre et possède une base finie.

ou encore, dit autrement :

  • Tout groupe abélien de type fini sans torsion est isomorphe à un groupe (Zl,+) pour un entier l positif ou nul.

Comme par ailleurs Zm et Zn ne sont pas isomorphes[4] pour mn, on a ainsi complètement décrit les groupes abéliens de type fini sans torsion à isomorphisme près.

Structure des groupes abéliens finis

Article détaillé : Théorème de Kronecker.

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 :

  • Soit G un groupe abélien fini. Il existe une suite (q1,q2,...,qt) de puissances de nombres premiers, unique à réordonnancement près, telle que G soit isomorphe au produit direct des groupes cycliques ayant les qi pour cardinaux :
G≈(Z/q1Z) x (Z/q2Z) x ... x (Z/qtZ)

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 :

  • Soit G un groupe abélien fini. Il existe une unique suite (a1,a2,...,ak) d'entiers > 1 telle que G soit isomorphe au produit direct des groupes cycliques ayant les aj pour cardinaux :
G≈(Z/a1Z) x (Z/a2Z) x ... x (Z/akZ)
avec la condition supplémentaire : aj+1 divise aj pour tout j entier entre 1 et k - 1.

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 le cardinal du groupe) à l'article théorème de Kronecker.

Synthèse : théorème de structure

Soit maintenant (G,+) un groupe abélien de type fini en toute généralité. On note T son groupe de torsion.

  • T est un groupe abélien fini, et il existe un sous-groupe abélien sans torsion F qui permet d'écrire G comme produit direct :
G= T x F.

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 preuve via l'équivalence des matrices d'entiers

Article détaillé : Théorème des facteurs invariants.

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[5]. 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.

Généralisation : théorème de structure des modules sur les anneaux principaux

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[6].

Notes et références

  1. (en) Paul Cohn (en), Algebra, t. 1, Wiley, 1974 (ISBN 0-471-16430-5) , p. 284-285
  2. Paul Cohn, op. cit., p. 279-286 (pour l'ensemble de la section)
  3. On prendra garde à ce que cette propriété serait fausse sans l'hypothèse de commutativité : ainsi toute rotation plane, même d'ordre infini, peut s'écrire comme composée de deux symétries orthogonales, qui sont d'ordre deux.
  4. En effet Card(Zm/2Zm) = 2m ≠ 2n = Card(Zn/2Zn).
  5. On trouvera un traitement selon ces lignes dans (en) Nathan Jacobson, Basic algebra I, Mineola, Dover Publications, 2009, Reprint of Freeman 1974 2nde éd., poche (ISBN 978-0-486-47189-1) (LCCN 2009006506) , p. 173-189
  6. Paul Cohn, op. cit., p. 326



Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Théorème de structure des groupes abéliens de type fini de Wikipédia en français (auteurs)

Игры ⚽ Поможем написать реферат

Regardez d'autres dictionnaires:

  • Groupe Abélien De Type Fini — Les groupes abéliens de type fini forment une sous catégorie particulière d objets mathématiques de la catégorie des groupes abstraits. Ce sont les groupes qui sont, d une part, abéliens, c’est à dire ceux dont la loi de composition interne est… …   Wikipédia en Français

  • Groupe abelien de type fini — Groupe abélien de type fini Les groupes abéliens de type fini forment une sous catégorie particulière d objets mathématiques de la catégorie des groupes abstraits. Ce sont les groupes qui sont, d une part, abéliens, c’est à dire ceux dont la loi… …   Wikipédia en Français

  • Groupe abélien de type fini — En mathématiques, un groupe abélien de type fini est un groupe abélien qui possède une partie génératrice finie. Les produits, les quotients, mais aussi les sous groupes des groupes abéliens de type fini sont eux mêmes de type fini. Un théorème… …   Wikipédia en Français

  • Représentation des groupes finis — Représentations d un groupe fini En mathématiques, un groupe est une structure algébrique dont la définition est remarquablement simple. Elle consiste en un ensemble muni d une unique opération. Cette opération possède de bonnes propriétés, elle… …   Wikipédia en Français

  • Représentations des groupes finis — Représentations d un groupe fini En mathématiques, un groupe est une structure algébrique dont la définition est remarquablement simple. Elle consiste en un ensemble muni d une unique opération. Cette opération possède de bonnes propriétés, elle… …   Wikipédia en Français

  • Projet:Mathématiques/Liste des articles de mathématiques — Cette page n est plus mise à jour depuis l arrêt de DumZiBoT. Pour demander sa remise en service, faire une requête sur WP:RBOT Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou… …   Wikipédia en Français

  • Groupes D'homotopie Des Sphères — En mathématiques, et plus spécifiquement en topologie algébrique, les groupes d homotopie des sphères sont des invariants qui décrivent, en termes algébriques, comment des sphères de dimensions égales ou différentes peuvent s enrouler l une sur l …   Wikipédia en Français

  • Groupes d'homotopie des spheres — Groupes d homotopie des sphères En mathématiques, et plus spécifiquement en topologie algébrique, les groupes d homotopie des sphères sont des invariants qui décrivent, en termes algébriques, comment des sphères de dimensions égales ou… …   Wikipédia en Français

  • Idéal de l'anneau des entiers d'un corps quadratique — En mathématiques et plus précisément en théorie algébrique des nombres, l anneau des entiers d un corps quadratique ressemble à certains égards à celui des entiers relatifs. Certains d entre eux sont euclidiens comme celui des entiers de Gauss d… …   Wikipédia en Français

  • Théorème de Kronecker — Cet article concerne la structure des groupes abéliens finis. Pour d autres notions ou résultats portant le nom de Kronecker, voir Leopold Kronecker. Leopold Kronecker En a …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”