Théorème de Krull–Schmidt

En mathématiques, le théorème de Krull-Schmidt énonce qu'un groupe soumis à certaines conditions de finitude sur des chaînes de sous-groupes, peut être écrit de manière unique comme un produit direct fini de sous-groupes indécomposables.

Définitions[modifier | modifier le code]

On dit qu'un groupe G satisfait la condition de chaîne sur les sous-groupes si toute suite de sous-groupes de G :

1=G_{0}\leq G_{1}\leq G_{2}\leq \cdots \,

est ultimement constant, c'est-à-dire qu'il existe N tel que G _N = G _{N +1} = G _{N +2} = . . . . On dit que G satisfait la condition de chaîne sur les sous-groupes distingués si toute suite de sous-groupes distingués de G devient finalement constante.

De même, on peut définir la condition de chaîne décroissante sur les sous-groupes (distingués), en s'intéressant à toutes les suites décroissantes des sous-groupes (distingués) :

G=G_{0}\geq G_{1}\geq G_{2}\geq \cdots .\,

Clairement, tous les groupes finis satisfont aux conditions ascendantes et descendantes de chaîne sur les sous-groupes. Le groupe cyclique infini $\mathbf {Z}$ satisfait la condition ascendante mais pas descendante, puisque (2) > (2) ² > (2) ³ > ... est une suite décroissante infinie de sous-groupes. D'autre part, la partie de $p^{\infty }$ -torsion de $\mathbf {Q} /\mathbf {Z}$ (le groupe de Prüfer) satisfait la condition descendante mais pas ascendante.

On dit qu'un groupe G est indécomposable s'il ne peut s'écrire comme un produit direct de sous-groupes non triviaux G = H × K.

Enoncé[modifier | modifier le code]

Si $G$ est un groupe qui satisfait soit la condition ascendante soit descendante de chaîne sur des sous-groupes distingués, alors il y a exactement une façon d'écrire $G$ comme produit direct $G_{1}\times G_{2}\times \cdots \times G_{k}\,$ d'un nombre fini de sous-groupes indécomposables de $G$ , à l'ordre près.

Preuve[modifier | modifier le code]

Prouver l'existence est relativement simple: soit $S$ l'ensemble de tous les sous-groupes distingués qui ne peuvent pas être écrits comme un produit de sous-groupes indécomposables. Or tout sous-groupe indécomposable est (trivialement) le produit direct à un terme de lui-même, donc décomposable. Si Krull-Schmidt est faux, alors $S$ contient $G$ ; on peut donc construire itérativement une série décroissante de facteurs ; cela contredit la condition de chaîne descendante. On peut alors inverser la construction pour montrer que tous les facteurs directs de $G$ apparaissent ainsi^[1].

La preuve de l'unicité, en revanche, est assez longue et nécessite une suite de lemmes techniques. Pour une exposition complète, cf^[2].

Remarque[modifier | modifier le code]

Le théorème n'affirme pas l'existence d'une décomposition non triviale, mais simplement que ces deux décompositions (si elles existent) sont les mêmes.

Théorème de Krull – Schmidt pour les modules[modifier | modifier le code]

Si $E\neq 0$ est un module qui satisfait les conditions de chaînes sur les sous-modules (c'est-à-dire qu'il est à la fois noethérien et artinien ou - de manière équivalente - de longueur finie), alors $E$ est une somme directe de modules indécomposables. À permutation près, les composantes indécomposables d'une telle somme directe sont déterminées de manière unique à isomorphisme près^[3].

En général, le théorème échoue si l'on impose seulement que le module est noethérien ou artinien^[4].

Histoire[modifier | modifier le code]

Le théorème de Krull-Schmidt actuel a été prouvé pour la première fois par Joseph Wedderburn ( Ann. of Math (1909)), pour les groupes finis, bien qu'il mentionne une étude antérieure de G. A. Miller.

La thèse de Robert Remak (1911) a dérivé le même résultat d'unicité que Wedderburn mais a également prouvé (dans une terminologie moderne) que le groupe des automorphismes centraux agit transitivement sur l'ensemble des décompositions directes de longueur maximale d'un groupe fini. À partir de ce théorème plus fort, Remak a également prouvé divers corollaires, notamment que les groupes avec un centre trivial et des groupes parfaits ont une décomposition de Remak unique.

Otto Schmidt (Sur les produits directs, SMF Bull. 41 (1913), 161–164), a simplifié les principaux théorèmes de Remak. Sa méthode améliore l'utilisation par Remak des idempotents pour créer les automorphismes centraux appropriés. Remak et Schmidt ont publié des preuves et des corollaires à leurs théorèmes ultérieures.

Wolfgang Krull (Über verallgemeinerte endliche Abelsche Gruppen, MZ 23 (1925) 161–196), est revenu au problème initial de G. A. Miller des produits directs des groupes abéliens en s'étendant à certains types de modules avec des conditions de chaîne ascendantes et descendantes.

O. Ore a unifié les preuves de diverses catégories, notamment les groupes finis, les groupes d'opérateurs abéliens, les anneaux et les algèbres en prouvant que le théorème d'échange de Wedderburn est valable pour les réseaux modulaires avec des conditions de chaîne descendantes et ascendantes.

Articles connexes[modifier | modifier le code]

Catégorie de Krull-Schmidt (en)

Références[modifier | modifier le code]

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Krull—Schmidt theorem » (voir la liste des auteurs).

↑ Thomas W. Hungerford, Algebra, Springer Science & Business Media, 6 décembre 2012 (ISBN 978-1-4612-6101-8, lire en ligne), p. 83
↑ Hungerford 2012, p.86-8.
↑ Nathan Jacobson, Basic algebra, vol. 2, Dover, 2009 (ISBN 978-0-486-47187-7), p. 115
↑ Facchini, Herbera, Levy et Vámos, « Krull-Schmidt fails for Artinian modules », Proceedings of the American Mathematical Society, vol. 123, n^o 12,‎ 1^er décembre 1995, p. 3587 (DOI 10.1090/S0002-9939-1995-1277109-4)

Bibliographie[modifier | modifier le code]

- A. Facchini: Module theory. Endomorphism rings and direct sum decompositions in some classes of modules. Progress in Mathematics, 167. Birkhäuser Verlag, Basel, 1998. (ISBN 3-7643-5908-0)
- C.M. Ringel: Krull–Remak–Schmidt fails for Artinian modules over local rings. Algebr. Represent. Theory 4 (2001), no. 1, 77–86.

Liens externes[modifier | modifier le code]

(en) « Krull-Schmidt theorem », sur PlanetMath

Portail des mathématiques

[Hungerford2012-1] Thomas W. Hungerford, Algebra, Springer Science & Business Media, 6 décembre 2012 (ISBN 978-1-4612-6101-8, lire en ligne), p. 83

[2] Hungerford 2012, p.86-8.

[3] Nathan Jacobson, Basic algebra, vol. 2, Dover, 2009 (ISBN 978-0-486-47187-7), p. 115

[4] Facchini, Herbera, Levy et Vámos, « Krull-Schmidt fails for Artinian modules », Proceedings of the American Mathematical Society, vol. 123, n^o 12,‎ 1^er décembre 1995, p. 3587 (DOI 10.1090/S0002-9939-1995-1277109-4)

[1]

[2]

[3]

[4]