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 (en) de G sur un certain espace de Hilbert inclus dans ℂ^G.

Définition

• Sur K^G, la représentation régulière gauche de G, notée λ, est donnée par et la droite, notée ρ, par

• En particulier les fonctions δ_k pour k∊G, qui sont définies par et qui, lorsque G est fini, forment la base canonique de K^G, sont permutées par ces deux actions de G :
• 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

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. Un exemple est développé dans l'article Représentations du groupe symétrique d'indice trois.

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

Un é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 à :

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, 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 :

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

et on obtient par la même occasion :

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 :

d'où (dans K) :

et

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

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.

Groupe localement compact

Références

• Jean-Pierre Serre, Représentations linéaires des groupes finis [détail des éditions]
• (en) Marshall Hall, Jr. (en), 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
• Cours de représentation des groupes finis par Michel Broué de l'université Paris VII - Diderot

Articles connexes

• Théorème de Cayley
• Groupe compact

• Portail des mathématiques