Transfert (théorie des groupes)

Transfert (théorie des groupes)

Si G est un groupe (au sens mathématique) et Q un sous-groupe d'indice fini de G, on définit un certain homomorphisme, appelé transfert, allant de G dans l'abélianisé de Q, c'est-à-dire dans le groupe quotient Q/Q', où Q' désigne le groupe dérivé de Q.

Sommaire

Définition

Soient G un groupe (au sens mathématique), Q un sous-groupe de G et T une transversale à gauche de Q dans G. Pour tout élément x de G, nous désignerons par \ repr_{T}(x) le représentant de x dans T, c'est-à-dire l'unique élément de T qui appartient à la même classe à gauche modulo Q que x. Nous désignerons par \ q_{T}(x) l'élément \ repr_{T}(x)^{-1} x de Q. Donc, si x = ab avec a \in T et b \in Q, alors \ a = repr_{T}(x) et \ b = q_{T}(x).

Notons pour la suite que si Q' désigne le groupe dérivé de Q, le groupe quotient Q/Q' (abélianisé de Q) est commutatif, donc on peut parler du produit d'une famille finie d'éléments de Q/Q' sans préciser l'ordre des facteurs.

On démontre[1] que si G est un groupe et Q un sous-groupe d'indice fini de G, si Q' désigne le groupe dérivé de Q, il existe un et un seul homomorphisme V de G dans le groupe quotient Q/Q' tel que, pour toute transversale à gauche T de Q dans G et tout élément g de G,
V(g) = \prod _{t \in T} \mathrm{q}_{T}(gt)Q'.

On démontre aussi[2] que l'application définie à partir d'une transversale à droite de Q dans G comme V l'est à partir d'une transversale à gauche, est identique à V.

L'homomorphisme V de G dans Q/Q' est appelé le transfert de G dans Q[3], ou encore[4] le transfert de G vers Q, ou encore le transfert de G vers Q/Q'. On dit aussi « homomorphisme de transfert »[5].

Remarques.
  1. Si Q est commutatif, alors Q' = 1 et le groupe Q/Q' est canoniquement isomorphe à Q. Dans ce cas, on considère que le transfert est un homomorphisme de G dans Q.
  2. Comme le groupe d'arrivée Q/Q' de l'homomorphisme transfert G \mapsto Q/Q' est commutatif, le dérivé G' de G est contenu dans le noyau du transfert. Donc le transfert induit un homomorphisme de G/G' dans Q/Q', à travers lequel il se factorise et qu'on appelle[5] lui aussi « homomorphisme de transfert ».
  3. On désigne couramment le transfert par la lettre V, qui est la première lettre du nom allemand du transfert : Verlagerung.

Théorème d'évaluation du transfert

Le théorème suivant, dit d'évaluation du transfert[6], facilite souvent l'utilisation du transfert dans les démonstrations :

Soient G un groupe, Q un sous-groupe d'indice fini n de G, V le transfert de G vers Q/Q', T une transversale gauche de Q dans G. Pour tout élément g de G, il existe une partie Tg de T et une famille (n_{t}(g))_{t \in T_{g}} de nombres naturels tels que

  1. pour tout élément t de Tg, t^{-1}g^{n_{t}(g)}t \in Q;
  2. \qquad \sum_{t \in T_{g}} n_{t}(g) = n = \vert G : Q \vert;
  3. \qquad V(g) = \prod_{t \in T_{g}}t^{-1}g^{n_{t}(g)}tQ'.

Le théorème d'évaluation du transfert permet par exemple de démontrer[7] le théorème du complément normal de Burnside.

Histoire

Le transfert fut étudié pour la première fois en 1902, par Issai Schur[8].

Notes et références

  1. Voir par exemple Rotman 1999, th. 7.45, p. 194.
  2. Voir par exemple Rotman 1999, exerc. 7.45, p. 199.
  3. Terminologie conforme à (en) W.R. Scott, Group Theory, rééd. Dover, 1987, p. 61.
  4. Isaacs 2008, p. 149, signale les deux expressions « transfer map from G to Q/Q' » et « transfer from G to Q », mais considère la seconde comme incorrecte.
  5. a et b Voir Jean-Pierre Serre, Œuvres: Collected Papers, vol. 2, Springer, 2003, partiellement consultable sur Google Livres, p. 176.
  6. Terminologie conforme à Isaacs 2008, p. 153
  7. Voir par exemple Rotman 1999, th. 7.50, p. 196-197.
  8. (de) I. Schur, « Neuer Beweis eines Satzes über endliche Gruppen », dans Sitzber. Akad. Wiss. Berlin, 1902, p. 1013-1019 ; rééd. dans I. Schur, Gesammelte Abhandlungen, Springer, 1973, vol. 1, p. 79-85. Références données par J.S. Rose, A Course on Group Theory, rééd. Dover, 1994, p. 234 et 298.
  • (en) Joseph J. Rotman, An Introduction to the Theory of Groups, 1999 [détail de l’édition] 
  • (en) I. Martin Isaacs, Finite Group Theory, AMS Bookstore, coll. « Graduate Studies in Mathematics (en) » (no 2), 2008 

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Transfert (théorie des groupes) de Wikipédia en français (auteurs)

Игры ⚽ Поможем сделать НИР

Regardez d'autres dictionnaires:

  • GROUPES DE PRESSION — L’étude scientifique des systèmes politiques a traversé, historiquement, trois grandes phases. On les a d’abord étudiés en se plaçant au point de vue des institutions et en analysant leur mode de fonctionnement; cette approche des phénomènes… …   Encyclopédie Universelle

  • CHAMPS (THÉORIE DES) — La théorie des champs étudie la dynamique des systèmes à un nombre infini de degrés de liberté. Elle trouve son origine dans l’électromagnétisme et s’est développée en intégrant mécanique quantique et relativité. Après en avoir suivi l’évolution …   Encyclopédie Universelle

  • Théorie corpusculaire — Mécanique quantique Cet article fait partie de la série Mécanique quantique Postulats de la mécanique quantique …   Wikipédia en Français

  • Transfert — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Sur les autres projets Wikimedia : « Transfert », sur le Wiktionnaire (dictionnaire universel) En physique, un transfert (ou phénomène de… …   Wikipédia en Français

  • Projet:Mathématiques/Liste des articles de mathématiques — Cette page n est plus mise à jour depuis l arrêt de DumZiBoT. Pour demander sa remise en service, faire une requête sur WP:RBOT Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou… …   Wikipédia en Français

  • Theorie synthetique de l'evolution — Théorie synthétique de l évolution Pour les articles homonymes, voir TSE. La théorie synthétique de l évolution constitue le cadre conceptuel le plus largement utilisé dans l étude scientifique des processus d évolution en biologie. Cette théorie …   Wikipédia en Français

  • Théorie raciale — Racisme Le racisme est une idéologie consistant à hiérarchiser des groupes naturels humains, désignés souvent sous le terme de races, à partir d attributs naturels, visible ou non (physiques, psychiques, culturels, etc) des caractéristiques… …   Wikipédia en Français

  • Théorie synthétique de l'évolution — Pour les articles homonymes, voir TSE. La théorie synthétique de l évolution constitue le cadre conceptuel le plus largement utilisé dans l étude scientifique des processus d évolution en biologie. Cette théorie est basée sur l intégration de la… …   Wikipédia en Français

  • Liste des articles de mathematiques — Projet:Mathématiques/Liste des articles de mathématiques Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou probabilités et statistiques via l un des trois bandeaux suivants  …   Wikipédia en Français

  • Faculté des sciences de Paris — Informations Fondation 1808 (disparue en 1970) Type Faculté Localisation Ville Paris Pays France …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”