# Représentation régulière

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$\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
$\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$\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 :$\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 ${\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$(δ$_1$), qui est égal à δ$_s$.
* Le caractère χ de la représentation régulière est égal à gδ$_1$.
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 Xe - 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 à :
$(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$_3$ et S$_4$ 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 :
$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$$^2$ peut s'obtenir directement en utilisant le fait que les caractères irréductibles χ$_1$, …, χ$_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
$(f|h)={\frac {1}{g}}\sum _{s\in G}f(s)h(s^{-1}),$
et on obtient par la même occasion :
$\forall s\in G^{*},\qquad \sum _{i=1}^{h}d_{i}\chi _{i}(s)=0.$
Si χ=gδ$_1$ 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$ :
$\chi =\sum m_{i}\chi _{i},$
d'où (dans K) :
$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
$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 :
$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.