Théorème de Maschke

Théorème de Maschke
Heinrich Maschke

En mathématiques et plus précisément en algèbre, le théorème de Maschke est un des théorèmes fondamentaux de la théorie des représentations d'un groupe fini.

Ce théorème établit que si la caractéristique du corps ne divise pas l'ordre du groupe, alors toute représentation se décompose en facteurs irréductibles. Il se reformule en termes de modules sur l'algèbre d'un groupe fini et possède une généralisation partielle aux groupes compacts.

Ce théorème doit son nom au mathématicien allemand Heinrich Maschke (de) (1853 1908).

Sommaire

Énoncé

Précisons le vocabulaire et les propriétés utilisés dans les trois formulations du théorème.

  • Une représentation (V, ρ) est dite complètement réductible si V est somme directe de sous-espaces irréductibles. En termes matriciels, cela signifie qu'il existe une unique décomposition optimale, en somme de sous-espaces vectoriels, de l'espace vectoriel V, telle que tous les automorphismes de la représentation s'écrivent sous forme diagonale par blocs suivant cette décomposition ; l'optimalité étant choisie dans le sens qu'aucune décomposition plus fine ne conserverait la propriété d'écriture diagonale par blocs des automorphismes considérés.
  • Cette propriété se reformule via le dictionnaire entre les représentations d'un groupe et les G-modules, c'est-à-dire les modules sur son algèbre : une représentation est complètement réductible si et seulement si le G-module correspondant est semi-simple, c'est-à-dire somme directe de modules simples.
  • Un anneau A est dit semi-simple s'il est semi-simple en tant que module sur lui-même ou, ce qui est équivalent, si tous les A-modules sont semi-simples.

Théorème de Maschke (trois formulations équivalentes) — Soient G un groupe fini et K un corps dont la caractéristique ne divise pas l'ordre de G. Alors :

  • toute représentation de G sur K est complètement réductible ;
  • tout G-module sur K est semi-simple ;
  • la K-algèbre de G est semi-simple.
Démonstration

Puisqu'un module est semi-simple si et seulement si tout sous-module est facteur direct, il suffit, pour prouver que la représentation (V,ρ) est complètement réductible, de démontrer que tout sous-espace vectoriel stable W possède un sous-espace supplémentaire stable. Pour cela, notons p un projecteur quelconque sur W. On a donc p∘ρt∘p=ρt∘p pour tout t∊G. Considérons alors l'application linéaire r définie par :

r=\frac 1g\sum_{t\in G}\rho_t \circ p \circ \rho_t^{-1},

où g désigne l'ordre du groupe G (c'est pour diviser par g qu'on a besoin de l'hypothèse sur la caractéristique).

On vérifie que p∘r=r et r∘p=p, ce qui prouve que r est un projecteur de même image que p. Il est de plus invariant par conjugaison par ρu pour tout élément u de G. En effet,

\rho_u\circ r\circ\rho_u^{-1}=\frac1 g\sum_{t\in G}\rho_u\circ(\rho_t\circ p\circ\rho_t^{-1})\circ\rho_u^{-1}=\frac1 g\sum_{t\in G}\rho_{ut}\circ p\circ\rho_{ut}^{-1}=\frac 1g\sum_{s\in G}\rho_s\circ p\circ\rho_s^{-1}=r.

De cette invariance de r par conjugaison on déduit que son noyau est stable par la représentation. En effet, ρu∘r=r∘ρu donc pour tout vecteur v de Ker r, r(ρu(v))=ρu(r(v))=ρu(0)=0 donc ρu(v) appartient à Ker r.

Ker r est un supplémentaire de W (car c'est le noyau d'un projecteur sur W) et il est stable par la représentation ; le théorème est donc démontré.

L'article « Groupe compact » détaille une généralisation partielle du théorème à certains groupes topologiques : les groupes compacts, grâce à l'existence d'une mesure positive finie compatible avec la loi du groupe et appelée mesure de Haar : pour un groupe compact, toute représentation continue de dimension finie sur ℝ ou ℂ est complètement réductible.

Histoire

Le théorème voit le jour dans le contexte du développement de la théorie des représentations d'un groupe fini. Le mois d'avril 1896 voit dans trois réponses[1] épistolaires de Frobenius à Dedekind la naissance de cette théorie. Frobenius comprend immédiatement qu'il est à l'origine d'une vaste théorie. Le 16 juillet, il publie un premier article[2]. On peut y lire[3] je développerai ici le concept [de caractère pour un groupe fini quelconque] avec la croyance que, à travers cette introduction, la théorie des groupes sera substantiellement enrichie.

L'école de mathématiques de l'université de Chicago étudie aussi ce sujet, avec un accent particulier sur les corps finis, un de ses membres, Heinrich Maschke, élève de Felix Klein, travaille sur le cas des caractères du groupe symétrique. En 1898, il démontre un cas particulier de ce qui deviendra son théorème[4]. Il trouve la preuve générale l'année suivante et elle est publiée[5] dans les Mathematische Annalen que dirige Klein. Un mathématicien allemand Alfred Loewy (en) énonce, sans preuve, un résultat analogue au théorème en 1896.

En 1907, à Édimbourg, Joseph Wedderburn publie son article[6] peut-être le plus célèbre, classifiant toutes les algèbres semi-simples ; la formulation du théorème s'en trouve modifiée.

Applications

  • Ce théorème simplifie la théorie des représentations d'un groupe fini ou de sa K-algèbre. En effet, il suffit de se limiter aux représentations irréductibles. Les autres se déduisent directement par somme directe.
  • Ce théorème permet de démontrer simplement que tout groupe abélien fini est un produit de groupes cycliques. Le lemme de Schur prouve que sur ℂ, les représentations irréductibles sont de degré un. Il suffit alors de considérer la représentation régulière et d'appliquer le théorème de Maschke pour conclure.

Exemple le groupe symétrique d'indice trois

Article détaillé : Représentations du groupe symétrique d'indice trois.

Soit (V, ρ) la représentation régulière du groupe S3 du groupe symétrique d'un ensemble de trois éléments. Le groupe S3 contient six éléments et trois classes de conjugaison, la première ne contient que l'identité noté 1, la deuxième les transpositions t1 = (23), t2 = (13) et t3 = (12) et la troisième les deux cycles d'ordre trois c1 = (123) et c2 = (132). Si V est l'espace vectoriel de la représentation régulière, alors (1, c1, c2, t1, t2, t3) est la base canonique de la représentation, à l'ordre près.

On remarque l'existence de deux vecteurs propres pour toutes les images de ρ :

f_1=1+c_1+c_2+t_1+t_2+t_3 \quad et \quad f_2=1+c_1+c_2 - t_1 - t_2 - t_3 \;

Toute permutation laisse f1 invariant, toute permutation paire laisse f2 invariant et toute permutation impaire transforme f2 en -f2.

Tout sous-espace vectoriel stable possède un supplémentaire stable, le théorème de Maschke indique une méthode pour le trouver. Soit F l'espace vectoriel engendré par f1 et f2 et p le projecteur sur F parallèlement à l'espace engendré par c1, c2, t1, t2, alors le projecteur p0 défini par l'égalité suivante possède un noyau stable par toutes les images de ρ.

p_0=\frac{1}{6}\sum_{t\in G}\rho_t \circ p \circ \rho_t^{-1}

Dans la base canonique, on obtient les matrices P et Ps des deux projecteurs :

P=\begin{pmatrix} 1 & 0 & 0 & 0 & 0 & 0 \\ 1 & 0 & 0 & 0 & 0 & 0 \\ 1 & 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & 1 \\ 0 & 0 & 0 & 0 & 0 & 1 \\ 0 & 0 & 0 & 0 & 0 & 1 \end{pmatrix} ,\quad P_0=\begin{pmatrix} 1 & 1 & 1 & 0 & 0 & 0 \\ 1 & 1 & 1 & 0 & 0 & 0 \\ 1 & 1 & 1 & 0 & 0 & 0 \\ 0 & 0 & 0 & 1 & 1 & 1 \\ 0 & 0 & 0 & 1 & 1 & 1 \\ 0 & 0 & 0 & 1 & 1 & 1 \end{pmatrix}

Notons G le noyau de p0 si j désigne la racine cubique de l'unité, alors on obtient la base suivante de G

g_1=1+j.c_1+j^2.c_2\quad g_2=1+j^2.c_1+j.c_2\quad g_3=t_1+j.t_2+j^2.t_3\quad g_4=t_1+j^2.t_2+j.t_3

Considérons alors la représentation (G, φ) où φ est la restriction de ρ à G. Si Gx est la matrice de φx dans la base (gi) pour x élément de S3, on obtient :

G_1=\begin{pmatrix} 1 & 0 & 0 & 0 \\ 0 & 1 & 0 & 0 \\ 0 & 0 & 1 & 0 \\ 0 & 0 & 0 & 1 \end{pmatrix},\quad G_{c_1}=\begin{pmatrix} j^2 & 0 & 0 & 0 \\ 0 & j & 0 & 0 \\ 0 & 0 & j & 0 \\ 0 & 0 & 0 & j^2 \end{pmatrix},\quad G_{c_2}=\begin{pmatrix} j & 0 & 0 & 0 \\ 0 & j^2 & 0 & 0 \\ 0 & 0 & j^2 & 0 \\ 0 & 0 & 0 & j \end{pmatrix}


G_{t_1}=\begin{pmatrix} 0 & 0 & 1 & 0 \\ 0 & 0 & 0 & 1 \\ 1 & 0 & 0 & 0 \\ 0 & 1 & 0 & 0 \end{pmatrix},\quad G_{t_2}=\begin{pmatrix} 0 & 0 & j & 0 \\ 0 & 0 & 0 & j^2 \\ j^2 & 0 & 0 & 0 \\ 0 & j & 0 & 0 \end{pmatrix},\quad G_{t_3}=\begin{pmatrix} 0 & 0 & j^2 & 0 \\ 0 & 0 & 0 & j \\ j & 0 & 0 & 0 \\ 0 & j^2 & 0 & 0 \end{pmatrix}

On peut vérifier ensuite que les sous-espaces H1=<g1+g4,g2+g3> et H2=<g1-g4,g2-g3> sont des sous-espaces stables, supplémentaires dans G. La décomposition en sous-espaces irréductibles prédite par le théorème de Maschke est alors :

V=<f_1>\oplus<f_2>\oplus H_1\oplus H_2

Notes et références

Notes

  1. ↑ (en) T. Hawkins (de), The origins of the theory of group characters, Archive Hist. Exact Science 7, 1971, p. 142-170
  2. ↑ (de) Von G. Frobenius, « Über Gruppencharaktere », dans Sitzungsber. K. Pr. Akad. Wiss. Berlin, 1896 
  3. ↑ (en) John J. O’Connor et Edmund F. Robertson, « Ferdinand Georg Frobenius », dans MacTutor History of Mathematics archive, université de St Andrews [lire en ligne] .
  4. ↑ (de) H. Maschke, « Über den arithmetischen Charakter der Coefficienten der Substitutionen endlicher linearer Substitutionsgruppen », dans Mathematische Annalen, vol. 50, n° 4, 1898, 492-498
  5. ↑ (de) H. Maschke, « Beweiss des Satzes, dass diejenigen endlichen linearen Substitutionsgruppen… », dans Mathematische Annalen, vol. 52, 1899, p. 363-368 [texte intégral] 
  6. ↑ (en) J. Wedderburn, On hypercomplex numbers, Proc. London Mathematical Society, 1907

Liens externes

Ouvrages

v · Représentations d'un groupe fini
Théorie des représentations d'un groupe fini et de leurs caractères | Algèbre d'un groupe fini | Fonction centrale | Représentation régulière | Produit tensoriel | Représentation induite | Groupe symétrique d'indice trois | Groupe symétrique d'indice quatre | Groupe des quaternions | Théorème de Maschke | Lemme de Schur | Réciprocité de Frobenius | Critère d'irréductibilité de Mackey | Théorème de Burnside (groupe résoluble) | Théorème de Burnside (problème de 1902)

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Théorème de Maschke de Wikipédia en français (auteurs)

Игры ⚽ Поможем написать курсовую

Regardez d'autres dictionnaires:

  • Theoreme de Maschke — Théorème de Maschke Heinrich Maschke En mathématiques et plus précisément en algèbre, le théorème de Maschke est un des théorèmes fondamentaux de la théorie de la représentation des groupes. Ce théorème permet, si la caractéristique du corps est… …   Wikipédia en Français

  • Théorème de maschke — Heinrich Maschke En mathématiques et plus précisément en algèbre, le théorème de Maschke est un des théorèmes fondamentaux de la théorie de la représentation des groupes. Ce théorème permet, si la caractéristique du corps est soit nulle soit… …   Wikipédia en Français

  • Theoreme d'Artin-Wedderburn — Théorème d Artin Wedderburn En mathématiques et plus particulièrement en algèbre le Théorème d Artin Wedderburn traite de la structure d algèbre ou d anneau semi simple. Il correspond au théorème fondamental des structures semi simples et permet… …   Wikipédia en Français

  • Théorème d'artin-wedderburn — En mathématiques et plus particulièrement en algèbre le Théorème d Artin Wedderburn traite de la structure d algèbre ou d anneau semi simple. Il correspond au théorème fondamental des structures semi simples et permet d expliciter exactement leur …   Wikipédia en Français

  • Theoreme de Burnside (probleme de 1902) — Théorème de Burnside (problème de 1902) William Burnside En mathématiques, et plus précisément dans le contexte de la théorie des groupes finis, le théorème de Burnside traite des représentations d un groupe répondant aux critères du problème de… …   Wikipédia en Français

  • Théorème de Burnside (problème de Burnside 1902) — Théorème de Burnside (problème de 1902) William Burnside En mathématiques, et plus précisément dans le contexte de la théorie des groupes finis, le théorème de Burnside traite des représentations d un groupe répondant aux critères du problème de… …   Wikipédia en Français

  • Théorème de burnside (problème de 1902) — William Burnside En mathématiques, et plus précisément dans le contexte de la théorie des groupes finis, le théorème de Burnside traite des représentations d un groupe répondant aux critères du problème de Burnside. Ce théorème stipule que toute… …   Wikipédia en Français

  • Theoreme de Burnside (groupe resoluble) — Théorème de Burnside (groupe résoluble) William Burnside En mathématiques, et plus précisément dans le contexte de la théorie des groupes finis, le théorème de Burnside traite des groupes résolubles. Ce théorème stipule que, si p et q sont deux… …   Wikipédia en Français

  • Théorème de burnside (groupe résoluble) — William Burnside En mathématiques, et plus précisément dans le contexte de la théorie des groupes finis, le théorème de Burnside traite des groupes résolubles. Ce théorème stipule que, si p et q sont deux nombres premiers et n et m deux …   Wikipédia en Français

  • Théorème d'Artin-Wedderburn — En mathématiques et plus particulièrement en algèbre le Théorème d Artin Wedderburn traite de la structure d algèbre ou d anneau semi simple. Il correspond au théorème fondamental des structures semi simples et permet d expliciter exactement leur …   Wikipédia en Français

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”