Groupe résiduellement fini

De testwiki
Version datée du 26 septembre 2023 à 10:48 par 134.214.58.37 (discussion) (erreur d'orthographe linaire-->linéaire)
(diff) ← Version précédente | Version actuelle (diff) | Version suivante → (diff)
Aller à la navigation Aller à la recherche

En mathématiques, et tout particulièrement en théorie combinatoire des groupes, un groupe résiduellement fini est un groupe qui peut en quelque sorte être « approché » par des groupes finis. L'adjectif « résiduel » s'applique aussi à d'autres propriétés, comme être résiduellement nilpotent, résiduellement libre.

Définition

Un groupe G est résiduellement fini s'il existe, pour tout élément gG distinct de l'élément neutre, un sous-groupe distingué HG d'indice fini ne contenant pas g.

Des définitions équivalentes sont : un groupe G est résiduellement fini si

  • pour tout élément gG distinct de l'élément neutre, il existe un morphisme ϕ:GK dans un groupe fini K tel que ϕ(g)1 ;
  • l'intersection de tous les sous-groupes d'indice fini (ou même de tous ses sous-groupes normaux) de G est réduite à l'élément neutre.
  • le groupe G peut être plongé dans le produit direct d'une famille de groupes finis.

Exemples

Un théorème de Anatoli Maltsev[1] (Анато́лий Ива́нович Ма́льцев orthographié aussi Mal'cev ou Malcev ou Maltsev) dit que tout groupe linéaire, c'est-à-dire tout groupe isomorphe à un sous-groupe finiment engendré du groupe général linéaire GL(n,R) est résiduellement fini, pour tout anneau commutatif unifère R.

Ce critère fournit de nombreux exemples de groupes résiduellement finis :

Propriétés de stabilité :

  • Un sous-groupe d'un groupe finiment engendré résiduellement fini et aussi résiduellement fini.
  • Le produit direct de groupes résiduellement finis est aussi résiduellement fini.
  • Un groupe qui possède une sous-groupe résiduellement fini d'indice fini est lui-même résiduellement fini.

Les groupes de Baumslag-Solitar ne sont pas tous résiduellement finis. Par exemple, le groupe de Baumslag–Solitar BS(2,3) n'est pas hopfien, et donc pas résiduellement fini.

Il est ouvert si les groupes hyperboliques sont tous résiduellement finis.

Il existe des groupes résiduellement finis qui ne sont pas des groupes linéaires. Un tel exemple a été donné par Drutu et Sapir : Le groupe a,t|at2=a2 est résiduellement fini et non linéaire.[4]

Propriétés

Les propriétés suivantes des groupes sont équivalentes :

  • G est résiduellement fini ;
  • L'application canonique dans la complétion pour la topologie profinie G^ est injective.
  • La sous-groupe trivial est séparable.

Autres propriétés

Topologie

Tout groupe G peut être doté d'une topologie qui en fait un groupe tolopogique en prenant comme base des voisinages ouverts de l'identité la collection de tous les sous-groupes normaux d'indice fini de G. La topologie obtenie est appelée la topologie profinie de G. Un groupe est résiduellement fini si et seulement si sa topologie profinie est un séparée.

Le groupe fondamental π1X d'un CW-complexe X est résiduellement fini si et seulement s'il existe, pour tout sous-ensemble compact KX~ du revêtement P:X~X un recouvrement p:YX telle que

p1P(K)Y

est un plongement[5].

Géométrie algébrique

Soit X un schéma de type fini sur . Le morphisme

π1top(X)π1et(X)

est injectif si et seulement si π1top(X) est résiduellement fini.

Variétés

Parmi les propriétés de variétés de groupes résiduellement finis, il y a :

  • Une variété composée uniquement de groupes résiduellement finis est engendrée par un A-groupe, c'est-à-dire par un groupe fini dont tous les sous-groupes de Sylow sont abéliens.
  • Une variété composée uniquement de groupes résiduellement finis contient un groupe fini dont tous les éléments peuvent être plongés dans une produit direct de ce groupe fini.

Notes et références

Modèle:Références

Bibliographie

Liens externes

Modèle:Portail

  1. 1,0 et 1,1 Modèle:Article.
  2. K. A. Hirsch, « On infinite soluble groups. IV » J. London Math. Soc. 27, (1952). 81–85.
  3. John Hempel, John: « Residual finiteness for 3-manifolds » Combinatorial group theory and topology (Alta, Utah, 1984), 379–396, Ann. of Math. Stud., 111, Princeton Univ. Press, Princeton, NJ, 1987.
  4. Théorème 13 du Bernstein Seminar 2 mars 2015.
  5. Peter Scott, « Subgroups of surface groups are almost geometric », J. London Math. Soc. (2) 17 (1978), no. 3, 555-565.