Représentation régulière
![Si ce bandeau n'est plus pertinent, retirez-le. Cliquez ici pour en savoir plus.](http://upload.wikimedia.org/wikipedia/commons/thumb/3/38/Info_Simple.svg/12px-Info_Simple.svg.png)
![](http://upload.wikimedia.org/wikipedia/commons/thumb/a/a1/2017-fr.wp-orange-source.svg/45px-2017-fr.wp-orange-source.svg.png)
Cet article ne cite pas suffisamment ses sources ().
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 KG 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 KG des applications de G dans K, 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 KG, 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.
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 Xg - 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 KG 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 (Si, ρ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, les groupes symétriques S3 et S4 ou encore du groupe simple d'ordre 168.
Identités remarquables
Comme toute représentation de G, (KG, λ) est somme directe de ses composantes isotypiques. Puisque la multiplicité mi de ρi dans sa i-ème composante isotypique est égale au degré di 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 mi=di et g=∑di2 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 KG définie par
et on obtient par la même occasion :
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 mi :
d'où (dans K) :
et
Dans le cas où 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 KG qui remplit cette fonction est celui pour lequel la base canonique (δk)k∊G est orthonormée.
Voir aussi
Articles connexes
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
v · m | |
---|---|
|
Portail des mathématiques