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 GL(n, ℂ) 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 10¹⁰) 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]^,[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 (m, n)), 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 gⁿ = 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 :

Un groupe de torsion de type fini est-il nécessairement fini ?

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é

Le graphe de Cayley du groupe de Burnside B(2,3) à 27 éléments

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 gⁿ soient égaux à 1.

Le problème de Burnside borné demandait :

Un groupe d'exposant fini et de type fini est-il nécessairement fini ?

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] x₁, … , x_m et une infinité[11] de relations : xⁿ = 1 pour tout mot x sur l'alphabet x₁, … , x_m, x₁^–1, … , x_m^–1.

On peut alors préciser la question :

Pour quels entiers m, n > 0 le groupe de Burnside B(m,n) est-il fini ?

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]^,[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 ≥ 2⁴⁸, n divisible par 2⁹, 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 de la conjugaison (en) dans B(m, n) sont décidables.

Une classe célèbre de contre-exemples au problème de Burnside est celle des « monstres de Tarski (en) » : 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 > 10⁷⁵), 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 :

L'ordre des groupes finis d'exposant n à m générateurs est-il majoré par une constante ne dépendant que de n et m ? ou encore : le nombre de ces groupes (à isomorphisme près) est-il fini ?

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 B₀(m, n) = B(m, n)/M. Tout groupe fini d'exposant n à m générateurs est un quotient de B₀(m, n), et le problème restreint se reformule en :

Le groupe B₀(m, n) est-il fini ?

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 B₀(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 B₀(m, n) pour n quelconque a été établie par Zelmanov.

Notes et références

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Burnside's problem » (voir la liste des auteurs).

(en) William Burnside, « On an unsettled question in the theory of discontinuous groups », Quart. J. Math., vol. 33,‎ 1902, p. 230-238.
Cependant, il affirme qu'un tel groupe est d'ordre égal à 2¹², alors qu'en réalité ce nombre n'est qu'un majorant de l'ordre.
(en) Charles Curtis et Irving Reiner, Representation Theory of Finite Groups and Associated Algebras, John Wiley & Sons, 1962 (lire en ligne), p. 256-262.
(en) A. Yu. Ol'shanskii (trad. de l'original en russe de 1989 : Yu. A. Bakhturin), Geometry of defining relations in groups, Dordrecht, Kluwer Academic Publishers, coll. « Mathematics and its Applications (Soviet Series) » (n^o 70), 1989, 505 p. (ISBN 0-7923-1394-1, lire en ligne).
(en) S. V. Ivanov, « The free Burnside groups of sufficiently large exponents », Internat. J. Algebra Comput., vol. 4,‎ 1994.
(en) S. V. Ivanov et A. Yu. Ol'shanskii, « Hyperbolic groups and their quotients of bounded exponents », Trans. Amer. Math. Soc., vol. 348,‎ 1996, p. 2091-2138 (lire en ligne).
(en) A. I. Kostrikin (trad. du russe, avec préface : James Wiegold), Around Burnside, Springer, coll. « Ergebnisse der Mathematik und ihrer Grenzgebiete (de) » (n^o (3), 20), 1990, 219 p. (lire en ligne).
(ru) E. Zelmanov, « Solution of the restricted Burnside problem for groups of odd exponent », Izv. Akad. Nauk SSSR (Ser. Mat.), vol. 54, n^o 1,‎ 1990, p. 42-59, 221 (lire en ligne), traduit dans (en) E. I. Zel'manov, « Solution of the restricted Burnside problem for groups of odd exponent », Math. USSR-Izv., vol. 36, n^o 1,‎ 1991, p. 41-60 (DOI 10.1070/IM1991v036n01ABEH001946).
(ru) E. Zelmanov, « Solution of the restricted Burnside problem for 2-groups », Mat. Sb., vol. 182, n^o 4,‎ 1991, p. 568-592 (lire en ligne), traduit dans (en) E. I. Zel'manov, « A solution of the restricted Burnside problem for 2-groups », Math. USSR-Sb., vol. 72, n^o 2,‎ 1992, p. 543-565 (DOI 10.1070/SM1992v072n02ABEH001272).
Les deux paramètres de B(m, n) sont intervertis dans (en) Marshall Hall, Jr., The Theory of Groups [détail des éditions], chap. 18.
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, F₃), qui a pour présentation $\langle x,y\mid x^{3},y^{3},[x,y]^{3},[x,[x,y]],[y,[x,y]]\rangle$ .
Hall 1976, chap. 18.
B(m, 3) est d'ordre 3^r(m) avec $r(m)=m+{m \choose 2}+{m \choose 3}$ : Hall 1976, p. 324.
John Britton a proposé en 1973 une autre preuve, de près de 300 pages, mais Adian y a finalement décelé une erreur.
(en) S. I. Adian (trad. du russe par John Lennox et James Wiegold (en)), The Burnside Problem and Identities in Groups, Springer, coll. « Ergebnisse der Mathematik und ihrer Grenzgebiete » (n^o 95), 1979, 314 p. (ISBN 978-3-642-66934-7).

Liens externes

(en) John J. O'Connor et Edmund F. Robertson, « A history of the Burnside problem », dans MacTutor History of Mathematics archive, université de St Andrews (lire en ligne).
(en) « Burnside problem », dans Michiel Hazewinkel, Encyclopædia of Mathematics, Springer, 2002 (ISBN 978-1556080104, lire en ligne)
(en) « Burnside group », dans Michiel Hazewinkel, Encyclopædia of Mathematics, Springer, 2002 (ISBN 978-1556080104, lire en ligne)

Portail des mathématiques

Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.

[1] (en) William Burnside, « On an unsettled question in the theory of discontinuous groups », Quart. J. Math., vol. 33,‎ 1902, p. 230-238.

[2] Cependant, il affirme qu'un tel groupe est d'ordre égal à 2¹², alors qu'en réalité ce nombre n'est qu'un majorant de l'ordre.

[3] (en) Charles Curtis et Irving Reiner, Representation Theory of Finite Groups and Associated Algebras, John Wiley & Sons, 1962 (lire en ligne), p. 256-262.

[4] (en) A. Yu. Ol'shanskii (trad. de l'original en russe de 1989 : Yu. A. Bakhturin), Geometry of defining relations in groups, Dordrecht, Kluwer Academic Publishers, coll. « Mathematics and its Applications (Soviet Series) » (n^o 70), 1989, 505 p. (ISBN 0-7923-1394-1, lire en ligne).

[5] (en) S. V. Ivanov, « The free Burnside groups of sufficiently large exponents », Internat. J. Algebra Comput., vol. 4,‎ 1994.

[OI96-6] (en) S. V. Ivanov et A. Yu. Ol'shanskii, « Hyperbolic groups and their quotients of bounded exponents », Trans. Amer. Math. Soc., vol. 348,‎ 1996, p. 2091-2138 (lire en ligne).

[7] (en) A. I. Kostrikin (trad. du russe, avec préface : James Wiegold), Around Burnside, Springer, coll. « Ergebnisse der Mathematik und ihrer Grenzgebiete (de) » (n^o (3), 20), 1990, 219 p. (lire en ligne).

[8] (ru) E. Zelmanov, « Solution of the restricted Burnside problem for groups of odd exponent », Izv. Akad. Nauk SSSR (Ser. Mat.), vol. 54, n^o 1,‎ 1990, p. 42-59, 221 (lire en ligne), traduit dans (en) E. I. Zel'manov, « Solution of the restricted Burnside problem for groups of odd exponent », Math. USSR-Izv., vol. 36, n^o 1,‎ 1991, p. 41-60 (DOI 10.1070/IM1991v036n01ABEH001946).

[9] (ru) E. Zelmanov, « Solution of the restricted Burnside problem for 2-groups », Mat. Sb., vol. 182, n^o 4,‎ 1991, p. 568-592 (lire en ligne), traduit dans (en) E. I. Zel'manov, « A solution of the restricted Burnside problem for 2-groups », Math. USSR-Sb., vol. 72, n^o 2,‎ 1992, p. 543-565 (DOI 10.1070/SM1992v072n02ABEH001272).

[10] Les deux paramètres de B(m, n) sont intervertis dans (en) Marshall Hall, Jr., The Theory of Groups [détail des éditions], chap. 18.

[11] 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, F₃), qui a pour présentation $\langle x,y\mid x^{3},y^{3},[x,y]^{3},[x,[x,y]],[y,[x,y]]\rangle$ .

[12] Hall 1976, chap. 18.

[13] B(m, 3) est d'ordre 3^r(m) avec $r(m)=m+{m \choose 2}+{m \choose 3}$ : Hall 1976, p. 324.

[14] John Britton a proposé en 1973 une autre preuve, de près de 300 pages, mais Adian y a finalement décelé une erreur.

[15] (en) S. I. Adian (trad. du russe par John Lennox et James Wiegold (en)), The Burnside Problem and Identities in Groups, Springer, coll. « Ergebnisse der Mathematik und ihrer Grenzgebiete » (n^o 95), 1979, 314 p. (ISBN 978-3-642-66934-7).