Représentation régulière

Cet article ne cite pas suffisamment ses sources (décembre 2015).

Si vous disposez d'ouvrages ou d'articles de référence ou si vous connaissez des sites web de qualité traitant du thème abordé ici, merci de compléter l'article en donnant les références utiles à sa vérifiabilité et en les liant à la section « Notes et références ».

En pratique : Quelles sources sont attendues ? Comment ajouter mes sources ?

En mathématiques et plus précisément en théorie des groupes, les représentations régulières (gauche et droite) d'un groupe G sont les représentations de G associées aux deux actions (à gauche et à droite) de G sur lui-même par translation. Si G est un groupe fini ce sont, pour un corps fixé K, deux actions linéaires de G sur le K-espace vectoriel K^G des applications de G dans K. Si G est un groupe localement compact, ce sont deux représentations continues unitaires de G sur un certain espace de Hilbert inclus dans ℂ^G.

Définition

• 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).}$

Groupe fini

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.

Propriétés élémentaires

• La représentation régulière est fidèle.

En effet λ est injective, puisque tout élément s de G est entièrement déterminé par λ_s et même par λ_s(δ₁), qui est égal à δ_s.

• Le caractère χ de la représentation régulière est égal à gδ₁.

En effet, le fait que χ(1) = g, la dimension de l'espace, est une propriété générale à tous les caractères, et pour tout autre élément s de G, χ(s) est nul car c'est la trace d'une matrice de permutation (la matrice de λ_s dans la base canonique) qui ne comporte que des zéros sur la diagonale.

Dans la suite de cette section, on suppose que la caractéristique p de K ne divise pas g (autrement dit : que g est inversible dans K) et que le polynôme X^g - 1 est scindé sur K (ou même seulement le polynôme X^e - 1, où e désigne l'exposant de G).

Algèbre d'un groupe

L'espace vectoriel K^G peut être muni d'un produit de convolution qui en fait une K-algèbre, notée K[G]. La donnée d'une représentation de G équivaut alors à celle d'un K[G]-module. Le module qui correspond à la représentation régulière est la structure naturelle de K[G] vue comme module à gauche sur elle-même.

Le théorème de Maschke montre que (si p ne divise pas g) toute représentation de G est somme directe de représentations irréductibles, ce qui se traduit par le fait que tout K[G]-module est un module semi-simple, c'est-à-dire une somme directe de modules simples, ou encore : K[G] est une algèbre semi-simple.

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).}$

Produit hermitien

Si K est un sous-corps du corps ℂ des nombres complexes, toute représentation (V, ρ) de G possède un produit hermitien sur V qui est G-invariant, c'est-à-dire tel que tous les ρ_s (quand s parcourt G) soient des isométries. Dans le cas de la représentation régulière, un produit hermitien sur K^G qui remplit cette fonction est celui pour lequel la base canonique (δ_k)_k∊G est orthonormée.

Voir aussi

Articles connexes

• Anneau opposé
• Théorème de Cayley
• Groupe compact

Bibliographie

• (en) Marshall Hall, Jr., The Theory of Groups [détail des éditions]
• Serge Lang, Algèbre [détail des éditions]
• N. Bourbaki, Éléments de mathématique, Algèbre, chap. VIII

• Portail des mathématiques