Problème de Burnside
En mathématiques, le problème de Burnside est l'une des questions les plus anciennes et qui a eu le plus d'influence en théorie des groupes. En 1902, William Burnside demanda si un groupe de torsion de type fini est nécessairement fini. Cette conjecture fut réfutée soixante ans plus tard, ainsi que sa variante « bornée », tandis que sa variante « restreinte » a été démontrée, plus récemment, par Efim Zelmanov. De nombreux problèmes sur ces sujets sont encore ouverts aujourd'hui.
Histoire
Dans l'article[1] décrivant sa conjecture, Burnside traite le cas où le groupe est non seulement de torsion mais d'exposant fini n égal à 2 ou 3, ainsi que le cas où n est égal à 4 et où le groupe est engendré par deux éléments[2] (en fait, un groupe G de type fini tel que l'ordre de tout élément de G est un diviseur de 4 est toujours fini, quel que soit le nombre de ses générateurs). En 1905, il démontre que tout sous-groupe d'exposant fini du groupe linéaire Modèle:Nobr est fini. En 1911, Issai Schur prouve que tout sous-groupe de torsion de type fini de GL(n, ℂ) est fini, et précise sa structure par le théorème de Jordan-Schur[3].
Cependant, la conjecture générale de Burnside est réfutée en 1964 par Evgeny Golod et Igor Shafarevich. En 1968, Piotr Novikov et Sergueï Adian réfutent même la version bornée. En 1982, A. Yu. Ol'shanskii trouve quelques contre-exemples saisissants pour des exposants impairs suffisamment grands (plus grands que 10Modèle:Exp) et fournit une preuve considérablement plus simple basée sur des idées géométriques[4].
Le cas des exposants pairs s'est révélé beaucoup plus difficile à traiter. Sergei Vasilievich Ivanov a annoncé en 1992 et publié en 1994[5] des contre-exemples pour les exposants pairs suffisamment grands et divisibles par une grande puissance de 2, puis a fourni, avec Ol'shanskii, une solution négative à un problème analogue à celui de Burnside pour les groupes hyperboliques, pourvu que l'exposant soit suffisamment grand[6]. À l'opposé, quand l'exposant est petit mais différent de 2, 3, 4 et 6, on sait très peu de choses.
Par ailleurs, Alexei Kostrikin[7] (1958, cas d'un exposant premier) et Efim Zelmanov[8]Modèle:,[9] (1989, cas général) ont démontré que parmi les groupes finis à m générateurs et d'exposant n, il en existe un « plus gros » (pour chaque couple Modèle:Nobr et Zelmanov a reçu en 1994 la médaille Fields pour sa preuve de cette version « restreinte » de la conjecture.
Problème de Burnside général
Un groupe G est dit de torsion si chacun de ses éléments est d'ordre fini, c'est-à-dire si pour tout g dans G, il existe un entier n > 0 tel que gModèle:Exp = 1. Tout groupe fini est clairement de torsion. Il est facile de définir des groupes infinis qui sont aussi de torsion (comme les sommes directes d'une infinité de groupes finis non triviaux), mais difficile d'en trouver qui soient en même temps de type fini.
Le problème de Burnside général était : Modèle:Énoncé
Golod et Shafarevich y ont répondu négativement en 1964, en donnant un exemple de p-groupe infini de type fini (voir Théorème de Golod-Chafarevitch). Cependant, les ordres des éléments de ce groupe ne sont pas, a priori, bornés par une même constante.
Problème de Burnside borné
Une partie de la difficulté, dans le problème de Burnside général, était que les contraintes « de type fini » et « de torsion » donnent très peu d'informations sur la structure possible d'un groupe. Une contrainte plus forte que « de torsion » est « d'exposant fini », c'est-à-dire qu'on demande qu'il existe un n, le même pour tous les éléments g du groupe, tel que tous les gModèle:Exp soient égaux à 1.
Le problème de Burnside borné demandait : Modèle:Énoncé
Pour les groupes d'exposant n à m générateurs, ce problème équivaut à la finitude du groupe de Burnside « libre » B(m, n), qui est « le plus gros » groupe de cette famille, au sens où tous sont canoniquement des quotients de celui-là (donc tous sont finis si et seulement si celui-là l'est). On peut construire ce groupe, solution d'un problème universel, par la présentation donnée par m générateurs[10] xModèle:Ind, … , xModèle:Ind et une infinité[11] de relations : xModèle:Exp = 1 pour tout mot x sur l'alphabet Modèle:Nobr
On peut alors préciser la question : Modèle:Énoncé
La réponse à cette question n'est connue que partiellement. Dans son article originel, Burnside étudiait quelques cas faciles :
- B(1, n) est le groupe cyclique d'ordre n.
- B(m, 2) est le produit de m copies du groupe cyclique d'ordre 2, puisqu'il est abélien.
On sait de plus (Burnside, Sanov, Hall[12]) que
- B(m, 3), B(m, 4) et B(m, 6) sont finis pour tout m[13].
On ne sait pas si B(2, 5) est fini.
En 1968, par un argument combinatoire élaboré, Novikov et Adian ont construit, pour tout n impair supérieur ou égal à 4 381, un groupe infini d'exposant n et de type fini. Adian a par la suite ramené ce minorant à 665[14]Modèle:,[15].
Le cas n pair s'est révélé considérablement plus difficile. Ce n'est qu'en 1992 que Sergei Vasilievich Ivanov réussit à démontrer un analogue du théorème de Novikov-Adian : pour tout m > 1, il existe un entier pair n ≥ 2Modèle:Exp, n divisible par 2Modèle:9, tel que B(m, n) soit infini. Tant Novikov-Adian qu'Ivanov ont établi des résultats bien plus précis sur la structure des B(m, n). Il a été démontré que pour n impair, tous les sous-groupes finis de B(m, n) sont cycliques et que pour n pair, chaque sous-groupe fini est inclus dans un produit de deux groupes diédraux, et certains sont non cycliques. On sait de plus que (quelle que soit la parité de n) les problèmes du mot et Modèle:Lien dans B(m, n) sont décidables.
Une classe célèbre de contre-exemples au problème de Burnside est celle des « Modèle:Lien » : les groupes infinis de type fini non cycliques dont tout sous-groupe propre est cyclique fini. Ol'shanskii a construit en 1979, par des méthodes géométriques, de premiers exemples de tels groupes, répondant ainsi par l'affirmative à une question de O. Yu. Schmidt. En 1982, Ol'shanskii put renforcer ses résultats et établir l'existence, pour p premier assez grand (on peut prendre p > 10Modèle:Exp), d'un groupe infini de type fini dont tout sous-groupe propre non trivial est cyclique d'ordre p. Dans un article publié en 1996[6], Ivanov et Ol'shanskii ont résolu par la négative un problème analogue à celui de Burnside pour les groupes hyperboliques d'exposant suffisamment grand.
Problème de Burnside restreint
Le problème de Burnside restreint, formulé dans les années 1930, pose une autre question liée :
Cette variante du problème de Burnside peut, elle aussi, être formulée en termes d'un certain groupe universel à m générateurs et d'exposant n : soit M l'intersection de tous les sous-groupes de B(m, n) d'indice fini. Alors M est un sous-groupe normal, ce qui permet de définir le groupe quotient BModèle:Ind(m, n) = B(m, n)/M. Tout groupe fini d'exposant n à m générateurs est un quotient de BModèle:Ind(m, n), et le problème restreint se reformule en :
Le cas où l'exposant n est un entier premier p a été étudié en détail par Kostrikin dans les années 1950, avant la réfutation de la conjecture générale de Burnside. Sa solution, qui établit la finitude de BModèle:Ind(m, p), utilisait une relation avec des questions profondes sur des identités dans des algèbres de Lie en caractéristique positive. La finitude de BModèle:Ind(m, n) pour n quelconque a été établie par Zelmanov.
Notes et références
Modèle:Traduction/Référence Modèle:Références
Liens externes
- ↑ Modèle:Article.
- ↑ Cependant, il affirme qu'un tel groupe est d'ordre égal à 2Modèle:Exp, alors qu'en réalité ce nombre n'est qu'un majorant de l'ordre.
- ↑ Modèle:Ouvrage.
- ↑ Modèle:Ouvrage.
- ↑ Modèle:Article.
- ↑ 6,0 et 6,1 Modèle:Article.
- ↑ Modèle:Ouvrage.
- ↑ Modèle:Article, traduit dans Modèle:Article.
- ↑ Modèle:Article, traduit dans Modèle:Article.
- ↑ Les deux paramètres de B(m, n) sont intervertis dans Modèle:Hall1, Modèle:Chap..
- ↑ Il suffit parfois d'un nombre fini de relations. Par exemple, le groupe B(2, 3) est l'unique groupe non abélien d'exposant 3 et d'ordre 27 donc est isomorphe au groupe de matrices unitriangulaires UT(3, FModèle:Ind), qui a pour présentation .
- ↑ Modèle:Harvsp, Modèle:Chap..
- ↑ B(m, 3) est d'ordre 3Modèle:Exp avec : Modèle:Harvsp.
- ↑ John Britton a proposé en 1973 une autre preuve, de près de 300 pages, mais Adian y a finalement décelé une erreur.
- ↑ Modèle:Ouvrage.