Algèbre de Hecke d'un groupe fini

L'algèbre de Hecke d'un groupe fini est l'algèbre engendrée par les doubles classes HgH suivant un sous-groupe H d'un groupe fini G. C'est un cas particulier d'algèbre de Hecke d'un groupe localement compact.

Définition

Soient F un corps de caractéristique nulle, G un groupe fini et H un sous-groupe de G. Soit $F[G]$ l'algèbre de groupe de G : c'est l'espace des fonctions de G dans F avec la multiplication donnée par convolution. On note $F[G/H]$ l'espace des fonctions de $G/H$ dans F. Une fonction (à valeurs dans F) sur $G/H$ détermine et est déterminée par une fonction sur G qui est invariante sous l'action de H par multiplication à droite. Autrement dit, on a une identification naturelle :

$F[G/H]=F[G{]}^H.$

De même, on a une identification

$R:={\mathrm{End}}_G(F[G/H])=F[G{]}^{H\times H}$

définie ainsi : on envoie une application G-linéaire f sur la valeur de f évaluée en la fonction caractéristique de H. Pour chaque double classe $HgH$, soit $T_g$ sa fonction caractéristique. Alors, les $T_g$ forment une base de R.

Application en théorie des représentations

L'algèbre de Hecke R de (G, H) est isomorphe à l'algèbre des endomorphismes de la représentation induite ${\mathrm{Ind}}_H^{G}F$ de la représentation triviale de HModèle:Sfn.

Articles connexes

• Double classe
• Modèle:Lien

Bibliographie

• Modèle:Ouvrage
• Modèle:Ouvrage