Reciprocite de Frobenius

Reciprocite de Frobenius

Réciprocité de Frobenius

Ferdinand Georg Frobenius fondateur de la théorie des caractères

En mathématiques, et plus précisément dans le cadre de la théorie des représentations d'un groupe fini, la formule de réciprocité de Frobenius établit un lien entre deux fonctions centrales d'un groupe fini G et d'un sous-groupe H de G.

Si χ1 est un caractère de H, Ind1) désigne en général le caractère de la représentation induite. Réciproquement, si χ2 est un caractère de G, Res2 la restriction du caractère à H. Si < | > désigne la forme hermitienne de l'espace des fonctions centrales, alors la formule de réciprocité de Frobenius exprime l'égalité suivante :

<Ind_H^G\psi|\chi>=<\psi|Res_H^G\chi>

Cette formule doit son nom à Ferdinand Georg Frobenius (1849 - 1917) qui établit pour la première fois l'exactitude de cette formule en 1898.

Sommaire

Énoncé

Soit G un groupe fini, H un sous-groupe de G, K un corps commutatif de caractéristique soit nulle soit première avec g l'ordre du groupe G. Si K est de caractéristique finie alors il est algébrique. Dans tous les cas le polynôme Xg - 1 est scindé sur K. Soit (W, θ) une représentation de H sur le corps K, Ind (θ) ou IndHG (θ) désigne la représentation induite de G par (W, θ), et ψ désigne le caractère de θ. Soit (V, ρ) une représentation de G sur le corps K, La restriction de cette représentation à H est notée Res (ρ) ou ResHG (ρ) et son caractère χ. La forme bilinéaire canonique des fonctions centrales, dont la définition exacte est donnée dans le paragraphe sur les caractères est notée < | >H ou < | >G selon le groupe utilisé. Ces notations sont valables pour tout l'article, elles permettent d'exprimer la propriété suivante, appelée formule de réciprocité de Frobenius :

  • Les deux scalaires suivants sont égaux :
<Ind_H^G \;\psi\; |\; \chi>_G=<\psi\; |\; Res_H^G\; \chi>_H

Il est possible de généraliser la fonction IndHG à l'espace vectoriel des fonctions centrales de H de la manière suivante :

  • Soit f une fonction centrale de H à valeur dans K et C un système de représentants des classes à gauche, alors la fonction IndHG (f ) est définie de la manière suivante :
\forall s \in G \quad Ind_H^G \; f(s) = \sum_{c\in C \, c^{-1}sc \in H} f(c^{-1}sc) \;

Cette définition permet de généraliser la formule de réciprocité de Frobenius :

  • Soit f une fonction centrale de H et g une fonction centrale de G, alors l'égalité suivante est vérifiée :
<Ind_H^G \; f\; |\;g>_G=<f\; |\;Res_H^G \; g>_H

Une autre manière d'exprimer cette propriété est la suivante :

  • L'application IndHG est l'adjointe de ResHG.

Applications

La loi de réciprocité de Frobenius possède un intérêt à la fois théorique et pratique. De nombreux théorèmes se démontrent à l'aide de cette loi, par exemple le critère d'irréductibilité de Mackey.

Dans la pratique, elle est aussi utilisée pour déterminer la nature d'une représentation induite. Par exemple, dans l'étude des représentations du groupe symétrique d'indice trois ou celles du groupe des quaternions, elle permet de déterminer a priori le caractère irréductible d'une représentation.

Démonstration

Caractère

Avec les notations précédentes:

  • Si s est un élément de G, ψ désigne le caractère de θ, la représentation de H, C un système de représentants des classes de conjugaison (c’est-à-dire un représentant dans chaque classe) et h l'ordre de H, alors la valeur du caractère χ au point t de G est donnée par la formule :
\forall t \in G \quad \chi(t)=\sum_{c\in C / c^{-1}tc \in H} \psi(c^{-1}tc) = \frac 1h \sum_{s\in G / s^{-1}ts \in H} \psi(s^{-1}ts)\;

Si l'on considère la matrice de ρt comme une matrice bloc correspondant à chaque ρtW, on remarque que seul, les blocs sur la diagonale modifient la trace. Notons Ct le sous ensemble de C des éléments c tel que ρcW soit stable par ρt, c'est-à-dire qu'ils correspondent aux matrices blocs de la diagonale. On obtient alors la formule, si Tr désigne trace :

\chi(t)=\sum_{c\in C_t} Tr(Res_{\rho_cW}\;\rho_t)

On remarque que c est élément de Ct si et seulement si c-1tc est un élément de H et donc :

\forall w \in W \; \forall c \in C_t \quad \rho_{c^{-1}}\circ\rho_t\circ\rho_c(w)=\theta_{c^{-1}tc}(w)\quad et \quad 
Tr(Res_{\rho_cW}\;\rho_t)= Tr (\theta_{c^{-1}tc})=\psi(c^{-1}tc)

Ce qui démontre la première formule. Pour la deuxième, il suffit de remarquer que tous les représentants d'une classe à gauche d'un élément de Ct possède une matrice d'endomorphisme de la forme θ(s-1ts) dont la trace est égale à ψ(s-1ts).

Il est possible de généraliser la fonction IndHG à l'espace vectoriel des fonctions centrales de H de la manière suivante :

  • Soit f une fonction centrale de H à valeur dans K et C un système de représentants des classes à gauche, alors la fonction IndHG (f ) est définie de la manière suivante :
\forall s \in G \quad Ind_H^G \; f(s) = \sum_{c\in C \, c^{-1}sc \in H} f(c^{-1}sc) \;

Cette définition permet de généraliser la formule de réciprocité de Frobenius.

Réciprocité de Frobenius

Démontrons alors la formule de réciprocité de Frobenius :

  • Soit f une fonction centrale de H et g une fonction centrale de G, alors l'égalité suivante est vérifiée :
<Ind_H^G \; f\; |\;g>_G=<f\; |\;Res_H^G \; g>_H

Les caractères des représentations forment une base de l'espace des fonctions centrales, il suffit donc de démontrer la formule pour les caractères. En termes de G-module, l'expression devient :

  • Soit W un H-module et V un G-module, alors l'expression suivante est vérifiée :
<Ind_H^G \; W\; |\;V>_G=<W\; |\;Res_H^G \; V>_H

Pour démontrer cette proposition remarquons que HomH (W, Res V) et HomG (Ind W, V) sont isomorphes (cf l'encart déroulant Démonstrations de l'article Représentation induite d'un groupe fini), leurs dimensions sont donc égales :

Dim\; Hom^G (Ind_H^G \; W\; ,\; V) = Dim\; Hom^H (W\; ,\;Res_H^G\; V)

Or, ces dimensions correspondent exactement au produit scalaire des différentes représentations (cf le paragraphe Centre de l'algèbre de l'article Algèbre d'un groupe fini), ce qui termine la démonstration.

Notes et références

Notes

Liens externes

Références

  • Jean-Pierre Serre, Représentations linéaires des groupes finis [détail des éditions]
  • (en) Marshall Hall, The theory of groups [détail des éditions]
  • Serge Lang, Algèbre, Dunod, 2004, 926 p. (ISBN 2100079808) [détail des éditions]
  • N. Bourbaki Algèbre, Chapitre VIII Paris, Hermann 1958
  • Portail des mathématiques Portail des mathématiques
Ce document provient de « R%C3%A9ciprocit%C3%A9 de Frobenius ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Reciprocite de Frobenius de Wikipédia en français (auteurs)

Игры ⚽ Поможем написать реферат

Regardez d'autres dictionnaires:

  • Réciprocité de frobenius — Ferdinand Georg Frobenius fondateur de la théorie des caractères En mathématiques, et plus précisément dans le cadre de la théorie des représentations d un groupe fini, la formule de réciprocité de Frobenius établit un lien entre deux fonctions… …   Wikipédia en Français

  • Réciprocité de Frobenius — Ferdinand Georg Frobenius, fondateur de la théorie des caractères En mathématiques, et plus précisément dans le cadre de la théorie des représentations d un groupe fini, la formule de réciprocité de Frobenius est une reformulation, en termes de… …   Wikipédia en Français

  • Automorphisme de Frobenius — Endomorphisme de Frobenius En mathématiques, et plus précisément en théorie des anneaux, l endomorphisme de Frobenius, nommé ainsi en l honneur de Georg Ferdinand Frobenius, est un endomorphisme d anneau défini de façon naturelle à partir de la… …   Wikipédia en Français

  • Endomorphisme De Frobenius — En mathématiques, et plus précisément en théorie des anneaux, l endomorphisme de Frobenius, nommé ainsi en l honneur de Georg Ferdinand Frobenius, est un endomorphisme d anneau défini de façon naturelle à partir de la caractéristique. Il est… …   Wikipédia en Français

  • Endomorphisme de frobenius — En mathématiques, et plus précisément en théorie des anneaux, l endomorphisme de Frobenius, nommé ainsi en l honneur de Georg Ferdinand Frobenius, est un endomorphisme d anneau défini de façon naturelle à partir de la caractéristique. Il est… …   Wikipédia en Français

  • Endomorphisme de Frobenius — Ferdinand Georg Frobenius En mathématiques, l endomorphisme de Frobenius, nommé ainsi en l honneur de Georg Ferdinand Frobenius, est un endomorphisme d anneau commutatif défini de façon naturelle à partir de la caractéristique. Il est… …   Wikipédia en Français

  • Algebre d'un groupe fini — Algèbre d un groupe fini En mathématiques, l algèbre d un groupe fini s inscrit dans le cadre de la théorie des représentations d un groupe fini. Une algèbre d un groupe fini est la donnée d un groupe fini, d un espace vectoriel de dimension l… …   Wikipédia en Français

  • Algèbre D'un Groupe Fini — En mathématiques, l algèbre d un groupe fini s inscrit dans le cadre de la théorie des représentations d un groupe fini. Une algèbre d un groupe fini est la donnée d un groupe fini, d un espace vectoriel de dimension l ordre du groupe et d une… …   Wikipédia en Français

  • Algèbre d'un groupe fini — Pour les articles homonymes, voir Algèbre (homonymie). En mathématiques, l algèbre d un groupe fini est un cas particulier d algèbre d un monoïde qui s inscrit dans le cadre de la théorie des représentations d un groupe fini. Une algèbre d un… …   Wikipédia en Français

  • Representation induite d'un groupe fini — Représentation induite d un groupe fini En mathématiques une représentation induite est une méthode de construction d une représentation d un groupe. Cet article traite le cas des groupes finis. Une représentation induite permet de construire à l …   Wikipédia en Français

Share the article and excerpts

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