iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: http://fr.wikipedia.org/wiki/Rang_d'un_groupe
Rang d'un groupe — Wikipédia Aller au contenu

Rang d'un groupe

Un article de Wikipédia, l'encyclopédie libre.

En mathématiques, le rang d'un groupe G est le plus petit cardinal d'une partie génératrice de G :

Un groupe est de type fini si et seulement si son rang est un entier naturel.

Propriétés et exemples

[modifier | modifier le code]

Problème du rang

[modifier | modifier le code]

Ce problème est de déterminer, pour une classe donnée de groupes de présentation finie, s'il existe un algorithme qui, étant donnée une présentation finie d'un groupe de cette classe, calcule le rang de ce groupe. C'est l'un des problèmes algorithmiques les plus difficiles en théorie des groupes et on sait relativement peu de choses sur ce sujet. Parmi les résultats connus, on peut mentionner :

  • Le problème du rang est algorithmiquement indécidable pour la classe de tous les groupes de présentation finie puisque, d'après un résultat classique d'Adian et Rabin, il n'existe pas d'algorithme déterminant si un groupe de présentation finie donnée est trivial ou pas, si bien que même la question de déterminer si le rang est nul ou pas est indécidable pour ces groupes[7],[8].
  • Le problème du rang est décidable pour les groupes finis et pour les groupes abéliens de type fini.
  • Il est aussi décidable pour les groupes nilpotents de type fini, parce que le sous-groupe de Frattini d'un groupe nilpotent G contient le sous-groupe dérivé de G, si bien que si de plus G est de type fini alors il a même rang que son abélianisé[9].
  • Il est indécidable pour les groupes hyperboliques[10].
  • Il est décidable pour les groupes kleiniens (en) sans torsion[11].
  • Pour les groupes de type fini virtuellement[12] abéliens le problème est ouvert, de même que pour les groupes virtuellement libres et les groupes de 3-variétés.

Généralisations et notions liées

[modifier | modifier le code]

Le rang d'un groupe G a été défini ci-dessus comme le plus petit cardinal d'un ensemble X tel qu'il existe un morphisme surjectif du groupe libre FX sur G. Il existe une notion duale de « corang » d'un groupe de type fini G : c'est le plus grand cardinal d'un X tel qu'il existe un morphisme surjectif de G sur FX. Contrairement au rang, le corang d'un groupe de présentation finie est toujours calculable[13], à l'aide de l'algorithme de Makanin[14] et Razborov[15] de résolution d'un système d'équations dans un groupe libre. La notion de corang est liée à celle de cut number pour les 3-variétés[16].

Pour tout nombre premier p, le p-rang[17] d'un groupe est le rang maximum d'un sous-groupe p-abélien élémentaire (en) – c'est-à-dire de la forme Fp(X) – et le p-rang sectionnel est le rang maximum d'un sous-quotient p-abélien élémentaire.

Notes et 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é « Rank of a group » (voir la liste des auteurs).
  1. (en) Graham Higman, B. H. Neumann et Hanna Neumann, « Embedding Theorems for Groups », J. London Math. Soc., vol. s1-24, no 4,‎ , p. 247-254 (DOI 10.1112/jlms/s1-24.4.247)
  2. (en) Derek J. S. Robinson, A Course in the Theory of Groups, Springer, coll. « GTM » (no 80), , 499 p. (ISBN 978-0-387-94461-6, lire en ligne)[réf. incomplète]
  3. (de) Heiner Zieschang, « Über die Nielsensche Kürzungsmethode in freien Produkten mit Amalgam », Invent. Math., vol. 10,‎ , p. 4-37 (lire en ligne)
  4. (en) Friedhelm Waldhausen (de), « Some problems on 3-manifolds », dans Algebraic and Geometric Topology, AMS, coll. « Proc. Sympos. Pure Math. » (no 32), (ISBN 978-0-8218-1433-8, lire en ligne), p. 313-322
  5. (de) Wilhelm Magnus, « Über freie Faktorgruppen und freie Untergruppen gegebener Gruppen », Monatshefte für Mathematik und Physik, vol. 47,‎ , p. 307-313 (lire en ligne)
  6. (en) Roger C. Lyndon et Paul E. Schupp, Combinatorial Group Theory, Springer, coll. « Classics in Mathematics », (1re éd. 1977), 339 p. (ISBN 978-3-540-41158-1, lire en ligne), p. 107, Proposition 5.11
  7. (en) W. W. Boone, « Decision problems about algebraic and logical systems as a whole and recursively enumerable degrees of unsolvability », dans Contributions to Math. Logic (Colloquium, Hannover, 1966), North-Holland, , p. 13-33
  8. (en) Charles F. Miller III, Algorithms and Classification in Combinatorial Group Theory, Springer, coll. « Math. Sci. Res. Inst. Publ. » (no 23), (ISBN 978-0-387-97685-3, lire en ligne), « Decision problems for groups – survey and reflections », p. 1-59
  9. (en) John Lennox et Derek J. S. Robinson, The Theory of Infinite Soluble Groups, OUP, coll. « Oxford Mathematical Monographs », , 342 p. (ISBN 978-0-19-850728-4)
  10. (en) G. Baumslag, C. F. Miller III et H. Short, « Unsolvable problems about small cancellation and word hyperbolic groups », Bull. London Math. Soc., vol. 26,‎ , p. 97-101 (lire en ligne)
  11. (en) Ilya Kapovich et Richard Weidmann, « Kleinian groups and the rank problem », Geometry & Topology, vol. 9,‎ , p. 375-402 (lire en ligne)
  12. Étant donnée une propriété P, on dit qu'un groupe est virtuellement P s'il possède un sous-groupe d'indice fini ayant cette propriété.
  13. (en) John R. Stallings, « Problems about free quotients of groups », dans Geometric group theory, de Gruyter, coll. « Ohio State Univ. Math. Res. Inst. Publ. » (no 3), (ISBN 978-3-11-014743-8), p. 165-182.
  14. (en) G. S. Makanin, « Equations in a free group (Russian) », Izvestiya Akademii Nauk SSSR, Ser. Mat., vol. 46, no 6,‎ , p. 1199-1273.
  15. (en) A. A. Razborov, « Systems of equations in a free group (Russian) », Izvestiya Akademii Nauk SSSR, Ser. Mat., vol. 48, no 4,‎ , p. 779-832.
  16. (en) Shelly L. Harvey, « On the cut number of a 3-manifold », Geometry & Topology, vol. 6,‎ , p. 409-424 (lire en ligne).
  17. (en) Michael Aschbacher, Finite Group Theory, CUP, , 304 p. (ISBN 978-0-521-78675-1, lire en ligne), p. 5.

Article connexe

[modifier | modifier le code]

Rang d'un groupe abélien (en)