Accueil🇫🇷Chercher

Théorème de Kronecker

En algèbre et plus particulièrement en théorie des groupes, le théorème de structure des groupes abéliens finis est aussi appelé théorème de Kronecker. Il affirme que tout groupe abélien fini est isomorphe à un produit direct de groupes cycliques.

Leopold Kronecker

Ce théorème fut démontré par Leopold Kronecker en 1870[1]. En 1868, Ernst Schering (de) l'avait démontré pour certains « groupes de classes ». La démonstration de Kronecker répétait celle de Schering, mais dans un cadre plus abstrait et donc plus général[2].

Le théorème s'étend aux groupes abéliens de type fini. C'est un cas particulier du théorème des facteurs invariants.

Énoncé du théorème

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 de cardinal les différents éléments de la suite

et que ai+1 divise ai pour tout entier i entre 1 et k – 1.

Les éléments de cette suite sont appelés facteurs invariants de G.

Démonstration

Il existe de nombreuses manières de démontrer ce théorème. Une des méthodes les plus expéditives utilise la théorie des représentations des groupes. Il en existe d'autres utilisant par exemple les caractères.

La démonstration proposée ici reste dans le cadre strict de la théorie des groupes. L'existence d'une décomposition se fonde sur le lemme 1 suivant, qui utilisera le lemme 2 :

Lemme 1 Pour tout groupe abélien fini G d'exposant e, tout sous-groupe cyclique d'ordre e de G est facteur direct dans G.

Lemme 2 Soient e et m deux entiers > 0 tels que m divise e, et H un sous-groupe du groupe cyclique . Tout morphisme s'étend en un morphisme .

Applications

  • Dans la décomposition ci-dessus, l'exposant de G est égal à a1 et l'ordre de G à a1ak. Par conséquent, un groupe abélien fini est cyclique dès que son ordre est :
  • Deux groupes abéliens finis sont isomorphes dès que le nombre d'éléments de chaque ordre est le même pour ces deux groupes. En effet, on peut retrouver les facteurs invariants à partir de cette donnée[4]. La condition « abéliens » est indispensable : il existe par exemple[5], pour tout nombre premier impair p, deux groupes d'ordre p3 et d'exposant p : le groupe abélien (ℤp)3 et le groupe de Heisenberg sur Fp.

Notes et références

  1. (de) L. Kronecker, « Auseinandersetzung einiger Eigenschaften der Klassenzahl idealer complexer Zahlen », Monatsber. K. Akad. Wissenschaft Berlin, , p. 881-889 (zbMATH 02721142, lire en ligne).
  2. Thomas Hawkins, The Mathematics of Frobenius in Context: A Journey Through 18th to 20th Century Mathematics, Springer, 2013, p. 299 et suivantes, spécialement 300, 301 et 311, partiellement consultable sur Google Livres.
  3. (en) E. B. Vinberg, A Course in Algebra, AMS, coll. « GSM » (no 56), , 511 p. (ISBN 978-0-8218-3413-8, lire en ligne), p. 336-337.
  4. Cet exercice corrigé sur Wikiversité procède ainsi. Pour d'autres preuves, voir (en) Vipul Naik, « Finite abelian groups with the same order statistics are isomorphic », sur groupprops.subwiki.org et (en) Ronald McHaffey, « Isomorphism of finite abelian groups », Amer.Math. Monthly, vol. 72, no 1, , p. 48-50 (JSTOR 2313001).
  5. McHaffey 1965.

Voir aussi

Articles connexes

Bibliographie

  • Serge Lang, Algèbre [détail des éditions]
  • Jean-François Labarre, La théorie des groupes, PUF, 1978
  • (en) Gabriel Navarro, « On the Fundamental Theorem of finite abelian groups », Amer. Math. Monthly, vol. 110, no 2, , p. 153-154 (JSTOR 3647777)
Cet article est issu de wikipedia. Text licence: CC BY-SA 4.0, Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.