Théorie des représentations d'un groupe fini
De Wikipédia, l'encyclopédie libre
De Wikipédia, l'encyclopédie libre
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 particulier où G est un groupe fini.
Cet article traite de l'aspect mathématique et, de même que l'article de synthèse « Représentations d'un groupe fini », n'aborde que les représentations linéaires de G (par opposition aux représentations projectives ou affines (en)). Ce sont les actions linéaires de G sur un espace vectoriel V de dimension finie, ou encore, les morphismes de G vers le groupe général linéaire GL(V) des automorphismes de V.
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é ℂ.
On supposera toujours que la caractéristique de K ne divise pas g 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). 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 ?].
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]
Le groupe symétrique S3 est constitué des six permutations de l'ensemble E = {1, 2, 3}. Nous noterons (V, ρ) la représentation associée sur le corps ℚ des rationnels, et (e1, e2, e3) la base canonique de V = ℚE ≃ ℚ3.
Pour tout élément s de S3, ρ(s) envoie (e1, e2, e3) sur (es(1), es(2), es(3)), donc fixe chaque élément de la droite vectorielle V1 engendrée par le vecteur e1 + e2 + e3 et laisse globalement stable le plan vectoriel supplémentaire V2 constitué des vecteurs dont la somme des coordonnées est nulle. (V, ρ) est donc la somme directe de deux représentations (V1, ρ1) et (V2, ρ2).
Puisque ρ1 est triviale, la représentation ρ2 est, tout comme ρ, fidèle. Toute représentation fidèle de S3 est de degré supérieur ou égal à 2 (en effet S3 est non abélien, alors que toute représentation de degré 0 ou 1 a pour image un groupe abélien). On démontre que toute représentation fidèle de S3 de degré 2 est isomorphe à ρ2.
Chacun des six éléments ρ(s) permute évidemment les trois vecteurs e2 + e3 – 2e1, e1 + e3 – 2e2 et e1 + e2 – 2e3. Or ces trois vecteurs sont de somme nulle et deux quelconques d'entre eux forment une base de V2. Il y a donc exactement six endomorphismes de ce plan qui permutent ces trois vecteurs, et ce sont les ρ2(s).
Comme pour toute représentation d'un groupe fini ou même d'un groupe compact, il existe pour ρ au moins un produit scalaire sur V tel que tous les ρ(s) soient des isométries. Mais on peut se passer ici de ce résultat théorique : le produit scalaire canonique convient, puisque toute matrice de permutation est orthogonale.
Pour ce produit scalaire, les ρ2(s) apparaissent alors comme les six isométries laissant invariant le triangle équilatéral suivant (choisi inscrit dans le cercle unité, ce qui nécessite d'étendre le corps de base) : u = (e2 + e3 – 2e1)/√6, v = (e1 + e3 – 2e2)/√6, w = (e1 + e2 – 2e3)/√6.
La figure de droite illustre une interprétation graphique de la représentation (en prenant comme base orthonormée de V2, par exemple : (u, (v – w)/√3)). Les lignes rouges représentent les trois axes de symétrie des trois transpositions.
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 :
Cette propriété est illustrée dans l'exemple de la représentation standard du groupe S3. La droite fixe engendrée par le vecteur e1 + e2 + e3 possède un plan supplémentaire stable. 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 :
Connaître toutes les représentations d'un groupe fini revient donc à connaître ses représentations irréductibles, les autres s'obtiennent par somme directe.
Il existe une décomposition canonique, elle se fonde sur la définition suivante :
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.
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.
C'est un cas particulier du lemme d'unitarisation pour les groupes compacts (tout groupe discret fini est compact, et sa mesure de Haar est la mesure de comptage).
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.
L'indicatrice d'une classe de conjugaison c se décompose dans la base canonique (δs)s∊G de KG en : 1c=∑s∊cδs.
Les propriétés des traces montrent que le caractère d'une représentation est une fonction centrale, de plus :
On en déduit que le nombre de représentations irréductibles est égal au nombre h de classes de conjugaison du groupe.
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 KG 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.
Grâce aux résultats précédents, on démontre directement :
(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=∑di2, où di désigne la dimension de Si. On démontre par ailleurs que tous les di divisent g[1].
Il résulte directement de la définition du produit de convolution que :
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 Kh. On peut préciser cet isomorphisme :
La représentation régulière de G est définie sur l'espace KG 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 :
et comme corollaire :
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.
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 G1 et d'une représentation d'un groupe G2 est une représentation du groupe produit G1×G2. 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.
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 :
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.