Théorème de Kurosh sur les sous-groupes

De testwiki
Aller à la navigation Aller à la recherche

En mathématiques et plus particulièrement en théorie des groupes, le théorème de Kurosh sur les sous-groupes d'un produit libre décrit la structure algébrique des sous-groupes d'un produit libre de groupes. Le théorème est dû au mathématicien soviétique Aleksandr Kurosh qui l'a publié en 1934[1]. De manière informelle, le théorème dit que tout sous-groupe d'un produit libre de groupes est lui-même le produit libre d'un groupe libre et de ses intersections avec les conjugués des facteurs du produit libre de départ.

Historique et généralisations

Après la preuve originale de Kurosh de 1934, de nombreuses autres démonstrations ont été données, notamment celles de Harold W. Kuhn en 1952[2], de Saunders Mac Lane en 1958[3] et d'autres encore. Le théorème a également été généralisé pour décrire les sous-groupes de produits amalgamés libres et d''extensions HNN[4]Modèle:,[5]. D'autres généralisations incluent le cas de sous-groupes de produits profinis libres[6] et une version du théorème de Kurosh pour les groupes topologiques[7].

Dans un cadre contemporain, le théorème de Kurosh est un corollaire immédiat des résultats structurels de base de la Modèle:Lien sur les actions de groupes sur les arbres[8].

Énoncé

Soit G=*i∈IGi le produit libre de groupes Gi pour i∈I et soit H≤G un sous-groupe de G. Alors

H=H0*(*j∈JgjHjgj−1),

où H0est un sous-groupe libre de G, J est un ensemble d'indices, et pour chaque j∈J , gj∈G et Hjest un sous-groupe d'un Gj.

Si de plus l'indice [G:H] est fini et égal à m alors le groupe libre H0 est de rang

rg(H0)=∑α∈A(m−|Rα|)+1−m[9]Modèle:,[10]Modèle:,[11].

Notes et références

Modèle:Traduction/Référence Modèle:Références

Articles connexes

Modèle:Portail

  1. ↑ Modèle:Article.
  2. ↑ Modèle:Article.
  3. ↑ Modèle:Article.
  4. ↑ Modèle:Article.
  5. ↑ Modèle:Article.
  6. ↑ Modèle:Article
  7. ↑ Modèle:Article.
  8. ↑ Modèle:Ouvrage.
  9. ↑ Modèle:Ouvrage.
  10. ↑ Modèle:Ouvrage.
  11. ↑ Modèle:Ouvrage.
Récupérée de "https://fr.wiki.beta.math.wmflabs.org/w/index.php?title=Théorème_de_Kurosh_sur_les_sous-groupes&oldid=18288"