Représentation régulière

• Sur le K-espace vectoriel K^G des applications de G dans K, la représentation régulière gauche de G, notée λ, est donnée par${\displaystyle \forall g,h\in G,\quad \forall f\in K^{G},\qquad \lambda _{g}(f)(h)=f(g^{-1}h)}$et la droite, notée ρ, par

${\displaystyle \forall g,h\in G,\quad \forall f\in K^{G},\qquad \rho _{g}(f)(h)=f(hg).}$

• En particulier les fonctions δ_k pour k∊G, qui sont définies par${\displaystyle \forall h\in G,\qquad \delta _{k}(h)={\begin{cases}1\quad {\text{si}}\quad h=k\\0\quad {\text{sinon}}\end{cases}}}$et qui, lorsque G est fini, forment la base canonique de K^G, sont permutées par ces deux actions de G :${\displaystyle \forall g,k\in K^{G},\qquad \lambda _{g}(\delta _{k})=\delta _{gk}\quad {\text{et}}\quad \rho _{g}(\delta _{k})=\delta _{kg^{-1}}.}$
• La représentation régulière gauche est la plus utilisée, et souvent appelée simplement « la » représentation régulière. La droite lui est équivalente, par l'isomorphisme d'entrelacement ${\displaystyle {\widetilde {}}~:~K^{G}\to K^{G},\quad f\mapsto \left({\tilde {f}}:G\to K,h\mapsto f(h^{-1})\right).}$

Soit G un groupe fini d'ordre g et d'élément neutre noté 1. Les propriétés décrites pour la représentation régulière gauche λ sont (par équivalence) aussi vérifiées pour la droite.

Nombre de représentations irréductibles

Une étude plus complète de la structure de l'algèbre K[G] permet de montrer (sous les hypothèses ci-dessus) que pour le module qui correspond à la représentation régulière, la décomposition est la suivante :

• Chaque représentation irréductible de G est contenue dans la représentation régulière un nombre de fois égal à son degré.

Autrement dit : le groupe n'a qu'un nombre fini h de représentations irréductibles (S_i, ρ_i), et les composantes isotypiques de la représentation régulière sont équivalentes à :

${\displaystyle (S_{i},\rho _{i})\oplus \ldots \oplus (S_{i},\rho _{i})\quad (d_{i}{\text{ fois}}),\quad {\text{avec}}\quad d_{i}=\dim(S_{i}).}$

Cette propriété est utile, par exemple pour déterminer la table des caractères d'un groupe, comme les groupes alternés d'indices 4 et 5, les groupes symétriques S₃ et S₄ ou encore du groupe simple d'ordre 168.

Identités remarquables

Comme toute représentation de G, (K^G, λ) est somme directe de ses composantes isotypiques. Puisque la multiplicité m_i de ρ_i dans sa i-ème composante isotypique est égale au degré d_i de ρ_i, l'examen des dimensions fournit l'identité remarquable :

${\displaystyle g=\sum _{i=1}^{h}m_{i}d_{i}=\sum _{i=1}^{h}d_{i}^{2}.}$

Une version « modulo la caractéristique p du corps » (donc plus faible si p>0) des identités m_i=d_i et g=∑d_i² peut s'obtenir directement en utilisant le fait que les caractères irréductibles χ₁, …, χ_h forment une base orthonormée des fonctions centrales, pour la forme bilinéaire symétrique non dégénérée sur K^G définie par

${\displaystyle (f|h)={\frac {1}{g}}\sum _{s\in G}f(s)h(s^{-1}),}$

et on obtient par la même occasion :

${\displaystyle \forall s\in G^{*},\qquad \sum _{i=1}^{h}d_{i}\chi _{i}(s)=0.}$

Démonstration

Si χ=gδ₁ désigne le caractère de la représentation régulière et χ_i celui de la i-ème représentation irréductible, alors, par définition des m_i :

${\displaystyle \chi =\sum m_{i}\chi _{i},}$

d'où (dans K) :

${\displaystyle m_{j}=(\chi _{j}|\sum m_{i}\chi _{i})=(\chi _{j}|\chi )={\frac {1}{g}}\sum _{s\in g}\chi _{j}(s)g\delta _{1}(s^{-1})=\chi _{j}(1)=d_{j}}$

et

${\displaystyle g=\chi (1)=\sum m_{i}\chi _{i}(1)=\sum m_{i}d_{i}=\sum d_{i}^{2}.}$

Dans le cas où s est différent de 1, on obtient aussi :

${\displaystyle 0=\chi (s)=\sum m_{i}\chi _{i}(s)=\sum d_{i}\chi _{i}(s).}$