Réciprocité 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 est une reformulation, en termes de fonctions centrales, de la situation d'adjonction entre l'induction et la restriction (en) pour les représentations d'un groupe fini et d'un sous-groupe.

Si χ est le caractère d'une représentation d'un groupe fini G, Res(χ) désignera sa restriction au sous-groupe H. De même, si ψ est le caractère d'une représentation de H, on notera Ind(ψ) le caractère de la représentation de G induite par celle de H. Si < | > désigne la forme bilinéaire canonique sur l'espace des fonctions centrales, alors la formule de réciprocité de Frobenius est :

<\mathrm{Ind}(\psi)~|~\chi>=<\psi~|~\mathrm{Res}(\chi)>.

Elle doit son nom à Ferdinand Georg Frobenius, qui l'établit en 1898.

Sommaire

Énoncé

Soient G un groupe fini et H un sous-groupe de G, et soit K un corps fixé, dont la caractéristique ne divise pas l'ordre de G.

Soient θ une représentation K-linéaire de H, ψ son caractère, Ind(θ) la représentation de G induite par θ et Ind(ψ) son caractère.

Soient d'autre part ρ une représentation K-linéaire de G, χ son caractère, Res(ρ) la restriction de ρ à H et Res(χ) son caractère.

La forme bilinéaire canonique sur l'espace des fonctions centrales est notée < | >H ou < | >G selon le groupe utilisé.

Ces notations permettent d'exprimer la propriété suivante, appelée formule de réciprocité de Frobenius :

<\mathrm{Ind}(\psi)~|~\chi>_G=<\psi~|~\mathrm{Res}(\chi)>_H.

Démonstration

Par définition de la représentation induite,

\hom_G(\mathrm{Ind}(\theta),\rho)~\text{et}~\hom_H(\theta,\mathrm{Res}(\rho))~\text{sont isomorphes}.

Leurs dimensions sont donc égales, et a fortiori les images dans K de ces dimensions, qui sont exactement les « produits scalaires » des différents caractères.

Applications

Dans le cas particulier où K est de caractéristique nulle, la loi de réciprocité de Frobenius possède un intérêt à la fois théorique et pratique :

Généralisation aux fonctions centrales

La formule qui permet de calculer le caractère induit s'étend linéairement aux fonctions centrales par la définition suivante :

  • Soient f une fonction centrale sur H à valeurs dans K et C une transversale à gauche de H dans G, alors la fonction IndHG (f ) est définie par :
\forall t\in G\quad\mathrm{Ind}_H^G f(t)=\sum_{c\in C\atop c^{-1}tc\in H}f(c^{-1}tc).

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

  • Soient f une fonction centrale sur H et g une fonction centrale sur G, alors l'égalité suivante est vérifiée :
<\mathrm{Ind}_H^Gf~|~g>_G=<f~|~\mathrm{Res}_H^Gg>_H.

On peut le vérifier par un calcul explicite (Serre, p. II - 8), ce qui redémontre en particulier la réciprocité de Frobenius pour les caractères. Une autre méthode, sous l'hypothèse supplémentaire que le polynôme Xe - 1, où e désigne l'exposant de G, est scindé sur K, est d'utiliser qu'alors, les caractères de représentations forment une famille génératrice de l'espace des fonctions centrales.

Références

Lien externe

Cours de représentation des groupes finis par Michel Broué de l'université Paris VII - Diderot

Ouvrages


Wikimedia Foundation. 2010.

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

Игры ⚽ Поможем написать курсовую

Regardez d'autres dictionnaires:

  • 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… …   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 établit un lien entre deux fonctions… …   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”