Théorie des représentations d'un groupe fini

En mathématiques et plus précisément en théorie des groupes, la théorie des représentations d'un groupe fini traite des représentations d'un groupe G dans le cas cas particulier où G est un groupe fini. Ces représentations sont les morphismes de G vers le groupe général linéaire GL(V) des automorphismes d'un espace vectoriel V de dimension finie.

Cet article traite de l'aspect mathématiques, un article de synthèse existe : Représentations d'un groupe fini.

Sommaire 1 Généralités 2 Exemples 2.1 Groupe symétrique d'indice trois 2.2 Exemples généraux 3 Premiers concepts 3.1 Représentation irréductible 3.2 Produit hermitien 4 Caractère 4.1 Lemme de Schur 4.2 Fonction centrale 5 Algèbre d'un groupe 5.1 Structure semi-simple 5.2 Théorème d'Artin-Wedderburn 5.3 Représentation régulière 6 Extension 6.1 Motivation 6.2 Produit tensoriel 6.3 Représentation induite 7 Références 7.1 Lien externe 7.2 Bibliographie

Généralités

Dans tout l'article, G désigne un groupe fini d'ordre g, noté multiplicativement. Son élément neutre est noté 1. V désigne un espace vectoriel de dimension finie n sur un corps K. Le corps des nombres complexes est noté ℂ.

Hypothèses sur le corps.

On supposera toujours que la caractéristique de K ne divise pas g et que le 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). Ces hypothèses peuvent être retranchées sans effondrement de la théorie^{[précision nécessaire]}. Si elle devient différente, les résultats sur les algèbres semi-simples permettent néanmoins de conclure^[Quoi ?] dans de nombreux cas^{[Lesquels ?]}.

• Une représentation du groupe G est la donnée d'un espace vectoriel V et d'un morphisme de groupes ρ de G vers le groupe linéaire GL(V), c'est-à-dire une application Une représentation est notée (V, ρ) ou parfois et abusivement V. Les notations ρ(s) (v) ou ρ_s.v ou même s.v désignent l'action d'un élément s du groupe G sur vecteur v de V.
• La représentation est dite fidèle si le morphisme ρ est injectif.
• La dimension de V est appelée degré de la représentation.
• Une représentation de degré n est dite matricielle si V=Kⁿ, auquel cas le groupe (GL_n(V),∘) s'identifie canoniquement au groupe GL_n(K) des matrices carrées d'ordre n à coefficients dans K inversibles, muni du produit matriciel.

• Un morphisme de représentations de G, ou « opérateur d'entrelacement », d'une représentation (V,ρ) vers une représentation (W,σ), est une application K-linéaire φ de V dans W telle que pour tout s appartenant à G on ait On dit alors aussi que φ est un morphisme G-équivariant de V dans W.
• Les représentations (V,ρ) et (W,σ) sont dites isomorphes ou équivalentes s'il existe un isomorphisme G-équivariant de V dans W.
• Une sous-représentation de (V,ρ) est la représentation obtenue par restriction des ρ_s à un sous-espace vectoriel de V stable sous l'action de G.
• Une représentation (V, ρ) est dite irréductible si V et {0} sont distincts et sont les deux seuls sous-espaces stables.

La théorie pourrait être étendue sur des espaces V de dimension infinie, cependant, on peut démontrer que^{[réf. souhaitée]} toute représentation d'un groupe fini est une somme directe de représentations de dimensions finies. Le cas de la dimension infinie ne présente donc pas d'intérêt théorique.^{[réf. souhaitée]}

Exemples

Groupe symétrique d'indice trois

Le groupe symétrique S₃ d'indice trois est un groupe de six éléments constitué des permutations d'un ensemble {e₁, e₂, e₃}. L'ensemble des combinaisons linéaires formelles sur le corps des réels de la famille (e₁, e₂, e₃) est un S₃-module que l'on note V.

Le groupe S₃ est engendré par les trois transpositions : t₁ défini par t₁(e₂) = e₃, t₂ défini par t₂(e₁) = e₃ et t₃ défini par t₃(e₁) = e₂. Si la représentation est notée (V, ρ) et la matrice de permutation de ρ(t_i) dans la base canonique M_i, alors :

On remarque l'existence de deux espaces stables pour les trois transpositions et donc pour le groupe entier, l'un est engendré par e₁ + e₂ + e₃ et l'autre par les deux vecteurs e₁ - e₂ et e₁ - e₃. V apparait comme la somme directe de deux sous-espaces vectoriel V₁ de dimension un et V₂ de dimension deux. Si ρ₂ le morphisme de groupe de S₃ dans GL(V₂) qui à g élément de G associe la restriction de ρ(g) à V₂, alors (V₂, ρ₂) est une autre représentation du groupe. La restriction de ρ(g) à V₂ est bien un automorphisme car V₂ est stable par ρ(g). On remarque de plus que (V₂, ρ₂) tout comme (V, ρ) est une représentation fidèle.

On remarque enfin, que si V est muni du produit scalaire canonique, les images du groupe G sont des isométries. Il est donc judicieux de choisir comme base de V₂ une base orthonormée, par exemple :

Si N_i désigne la matrice de ρ₂(t_i) dans la base (u, v), on obtient :

La représentation ρ₂ est fidèle et, parmi celles vérifiant cette propriété, de plus petit degré. En effet, toute représentation de degré un a pour image de G un groupe abélien alors que S₃ ne l'est pas. On démontre que toute représentation fidèle de degré deux est isomorphe à celle là.

La figure de droite illustre une interprétation graphique de la représentation. Les lignes rouges représentent les trois axes de symétrie des trois transpositions. On remarque que le triangle est invariant par les transpositions et donc par le groupe entier. Réciproquement, toute isométrie laissant invariant le triangle est élément du groupe.

Exemples généraux

1. Si G est un sous-groupe de GL_n(K), l'injection canonique associée est une représentation matricielle appelée la représentation standard.
2. Toute action de G sur un ensemble fini E fournit une représentation ρ de G sur l'espace vectoriel K^E des applications de E dans K : on considère dans cet espace la base canonique (δ_e)_e∊E, où δ désigne le symbole de Kronecker (δ_e(f) vaut 1 pour f=e et vaut 0 pour les autres f∊E), et pour tout s∊G, on définit l'automorphisme ρ(s) par son action sur cette base : il la permute par ρ(s)(δ_e)=δ_s.e. On en verra un exemple avec la représentation régulière, issue de l'action de G sur lui-même par multiplication à gauche.
3. Une représentation de degré 1 est naturellement irréductible. Elle est à valeurs dans un groupe de racines g-ièmes de l'unité dans K (ce résultat est conséquence d'un « théorème de Lagrange »). Un tel groupe est toujours cyclique. En conséquence, une représentation de degré 1 n'est fidèle que si le groupe G est cyclique. Une autre conséquence, démontrée dans l'analyse des caractères, est qu'un groupe fini est abélien si et seulement si toute représentation irréductible est de degré 1.

Premiers concepts

Représentation irréductible

L'objectif est la classification de toutes les représentations d'un groupe fini sur un corps K. Cette démarche, analogue à celle de la réduction d'endomorphisme par Jordan, se fonde sur le lemme suivant, sous l'hypothèse que la caractéristique de K ne divise pas l'ordre du groupe :

• Tout sous-espace stable d'une représentation admet un supplémentaire stable.

Cette propriété est illustrée dans l'exemple de la représentation du groupe S₃. L'espace de dimension deux est un supplémentaire stable de l'espace engendré par le vecteur e₁ + e₂ + e₃. C'est une propriété remarquable car dans le contexte général de l'algèbre linéaire, un sous-espace stable par un endomorphisme ne possède pas toujours de supplémentaire stable.

La classification, sous l'hypothèse du lemme ci-dessus, est le théorème de Maschke :

• Toute représentation d'un groupe fini est somme directe de représentations irréductibles.

Connaître toutes les représentations d'un groupe fini revient donc à connaître ses représentation irréductibles, les autres s'obtiennent par somme directe.

Il existe une décomposition canonique, elle se fonde sur la définition suivante :

• Une représentation est dite isotypique si elle est somme directe d'une famille de représentations irréductibles deux à deux équivalentes.

La décomposition d'une représentation en sous-espaces isotypiques maximaux est unique, ou encore: il n'existe qu'une seule sous-représentation isotypique maximale par représentation irréductible.

Produit hermitien

Si K est un sous-corps de ℂ, alors il existe sur V un produit hermitien G-invariant,

c'est-à-dire tel que tous les ρ_s (quand s parcourt G) soient des isométries.

Si K est même inclus dans le sous-corps ℝ des réels, ce produit hermitien est en fait un produit scalaire car la conjugaison est l'identité sur K.

Caractère

Lemme de Schur

• Le caractère d'une représentation (V, ρ) de G est l'application χ_ρ qui à tout élément s de G associe la trace de ρ_s.
  C'est donc un élément de l'espace vectoriel K^G des applications de G dans K.
• Si deux représentations sont équivalentes, alors elles ont même caractère.
  La réciproque est vraie si K est de caractéristique 0.
• Un caractère associé à une représentation irréductible est dit caractère irréductible.
• L'ensemble des caractères irréductibles est orthonormal pour la forme bilinéaire symétrique canonique sur K^G.

Fonction centrale

• Une application définie sur G est dite centrale si elle est constante sur chaque classe de conjugaison.
• L'ensemble des fonctions centrales sur G à valeurs dans K est un sous-espace vectoriel de l'espace K^G des applications de G dans K. Sa base canonique est la famille (1_c)_c∊C des fonctions indicatrices des classes de conjugaison.

L'indicatrice d'une classe de conjugaison c se décompose dans la base canonique (δ_s)_s∊G de K^G en : 1_c=∑_s∊cδ_s.

Les propriétés des traces montrent que le caractère d'une représentation est une fonction centrale, de plus :

• La famille orthonormale des caractères irréductibles forme une base de l'espace des fonctions centrales à valeurs dans K.

On en déduit que le nombre de représentations irréductibles est égal au nombre h de classes de conjugaison du groupe.

Algèbre d'un groupe

Structure semi-simple

La théorie des représentations se fonde sur deux approches qui, sous des angles différents, permettent l'analyse des représentations d'un groupe. La première est couverte par le paragraphe précédent, les caractères, la deuxième se fonde sur des structures : celles d'algèbre et de module. Une des raisons de la richesse de la théorie est la complémentarité de ces deux points de vue dont le second fournit un cadre théorique général au premier.

On associe à G une K-algèbre associative, appelée la K-algèbre du groupe fini G et notée K[G], de la manière suivante. Sur l'espace vectoriel K^G on choisit, comme multiplication interne, la convolution, qui s'exprime dans la base canonique (δ_s)_s∊G par :

On obtient alors un dictionnaire complet entre représentations de G et K[G]-modules. En particulier les représentations irréductibles correspondent aux modules simples et leurs sommes directes aux modules semi-simples.

Dans ce contexte, le théorème de Maschke se reformule en disant que K[G] est un anneau semi-simple.

Théorème d'Artin-Wedderburn

Grâce aux résultats précédents, on démontre directement :

• L'algèbre K[G] est isomorphe à la somme directe des algèbres L_K(S_i) d'endomorphismes des K-espaces vectoriels S_i sous-jacents aux h représentations irréductibles de G :

(Sous l'hypothèse supplémentaire que K est algébriquement clos, une manière plus savante d'arriver au même résultat est d'utiliser le théorème d'Artin-Wedderburn pour les algèbres semi-simples de dimension finie.)

L'égalité des dimensions des deux membres de cet isomorphisme fournit une identité remarquable : g=∑d_i², où d_i désigne la dimension de S_i. On démontre par ailleurs que tous les d_i divisent g^{[réf. souhaitée]}.

Il résulte directement de la définition du produit de convolution que :

• Le centre de K[G] coïncide avec le sous-espace vectoriel des fonctions centrales.

Par ailleurs, un élément de K[G] appartient au centre si et seulement si, via l'isomorphisme ci-dessus, chacune de ses composantes est une homothétie. L'algèbre commutative des fonctions centrales (munie du produit de convolution) est donc isomorphe à l'algèbre produit K^h. On peut préciser cet isomorphisme :

• Pour toute fonction centrale f, le rapport de l'homothétie correspondante sur S_i vaut :

Représentation régulière

La représentation régulière de G est définie sur l'espace K^G comme cas particulier du deuxième exemple général : un élément u de G agit linéairement en permutant la base canonique :

Cette représentation correspond donc, via le « dictionnaire » mentionné précédemment, à la structure naturelle de K[G]-module à gauche de l'algèbre K[G]. Grâce à la décomposition ci-dessus de cette algèbre on a par conséquent :

• La représentation régulière est équivalente à la somme directe des h représentations irréductibles ρ_i répétées chacune un nombre de fois égal à son degré d_i.

et comme corollaire :

• Toute représentation irréductible de G est équivalente à une sous-représentation de la régulière.

Extension

Motivation

Un objectif important de la théorie des groupes finis est la classification. Elle se fonde sur deux concepts : un ensemble de briques élémentaires correspondant à des groupes finis facilement analysable et une extension qui permet, à l'aide des briques élémentaires de construire les groupes de la famille.

Dans le cas des groupes abéliens, les briques élémentaires sont constituées par les groupes cycliques, l'extension est celle du produit direct. Ainsi tout groupe abélien fini est produit direct de groupes cycliques.

Dans le cas général, les briques élémentaires sont les groupes simples et l'extension les produits directs et semi-directs.

Il est donc naturel de traduire en termes de représentations les deux grandes méthodes d'extension.

Produit tensoriel

Le produit tensoriel de deux représentations est une représentation. Plus précisément : le produit tensoriel d'une représentation d'un groupe G₁ et d'une représentation d'un groupe G₂ est une représentation du groupe produit G₁×G₂. Le caractère de la représentation obtenue est le produit tensoriel des caractères des deux représentations. On obtient de plus une bijection entre les couples de représentations irréductibles des deux groupes et les représentations irréductibles de leur produit.

Dans le cas particulier où les deux groupes sont égaux à un même groupe G, ce produit tensoriel de deux représentations de G fournit aussi, par composition avec le morphisme diagonal, une représentation de G. Son caractère est le produit des deux caractères, et elle possède deux sous-représentations naturelles, sur le sous-espace des tenseurs symétriques et celui des tenseurs antisymétriques.

Représentation induite

L'induction est un mode de construction d'une représentation d'un groupe G à l'aide d'une représentation d'un de ses sous-groupes H. Soit (W, θ) une représentation de H. Une représentation (V, ρ) de G est équivalente à la représentation induite par (W, θ) si et seulement si W est un sous-H-module de V et les différents sous-espaces ρ_cW, quand c parcourt un système de représentants des classes à gauche de G/H, sont en somme directe, et de somme égale à V.

En termes de G-module, la représentation induite s'exprime simplement :

Elle correspond à une extension des scalaires K[H] à l'anneau K[G] sur le H-module W.

La technique de la représentation induite est largement utilisée en théorie des groupes finis, par exemple pour l'étude des représentations de certains produits semi-directs (Serre, p. II - 18) et pour la caractérisation des groupes simples.

Les représentations induites sont le cadre de nombreux théorèmes. On peut citer l'un des plus anciens : la formule de réciprocité de Frobenius. Si ψ désigne le caractère de la représentation θ de H et χ celui d'une représentation σ de G, si Ind(ψ) désigne le caractère de la représentation induite par θ et Res(χ) le caractère de la restriction de σ à H, alors :

Références

Lien externe

Cours de représentation des groupes finis par Michel Broué de l'université Paris VII - Diderot

Bibliographie

• N. Bourbaki, Éléments de mathématique, Algèbre, chap. VIII, Paris, Hermann, 1958
• (en) Marshall Hall, Jr. (en), The theory of groups [détail des éditions]
• Serge Lang, Algèbre [détail des éditions]
• Jean-Pierre Serre, Représentations linéaires des groupes finis [détail des éditions] 

• Portail des mathématiques