Representation induite d'un groupe fini

Representation induite d'un groupe fini

Représentation induite d'un groupe fini

En mathématiques une représentation induite est une méthode de construction d'une représentation d'un groupe. Cet article traite le cas des groupes finis.

Une représentation induite permet de construire à l'aide d'un sous-groupe une représentation du groupe.

Sommaire

Définitions et exemples

Définitions

Dans tout l'article, G désigne un groupe fini d'ordre g, (V, ρ) une représentation de G dans un espace vectoriel sur un corps K de caractéristique différente de deux et tel que les caractères irréductibles de G forment une base orthonormale des fonctions centrales à valeur dans K. On peut prendre par exemple pour K le corps des nombres complexes. H désigne un sous-groupe de G et (W, θ) une sous-représentation de la restriction de ρ à H.G/H désigne l'ensemble des classes à gauche modulo H.

Une première remarque est nécessaire avant d'établir la définition d'une représentation induite :

  • Soit s et t deux éléments de G choisis dans une même classe à gauche modulo H, les espaces vectoriels image de W par ρs et ρt sont égaux.

En effet, il existe un élément u de H tel que t = su, et donc si o désigne la composition de fonctions, alors ρt est égal à ρsoρu. Or l'image de W par ρu est égal à W, car ρu est un automorphisme laissant W stable.

Soit c une classe à gauche de G/H, Wc désigne l'image par ρs, où s est un élément de c, de W. Il devient alors possible d'exprimer la définition d'une représentation induite :

  • La représentation (V, ρ) est dite induite par celle de (W, θ) si et seulement si V est la somme directe des espaces Wc quand c parcourt G/H. Dans ce cas, la représensation ρ est noté Ind (θ) ou encore IndHG (θ) si un risque d'ambiguïté existe.
  • Le caractère de ρ est appelée caractère induit de G par la représentation θ. Si χ désigne le caractère de θ, celui de ρ est noté Ind (χ) ou encore IndHG (χ) si un risque d'ambiguïté existe.

Ces définitions possèdent un sens car il existe une et une unique représentation de G induite par θ. La démonstration est donnée à la suite dans cet article.

L'induction possède une réciproque, elle correspond à la restriction de la représentation au sous-groupe H. Cette restriction est noté Res (ρ) ou encore ResHG (ρ) si un risque d'ambiguïté existe.

Exemples

Les deux articles Représentations du groupe symétrique d'indice trois et Représentations du groupe des quaternions utilisent les représentations induites pour construire une représentation irréductible.

  • Si H est le sous-groupe trivial de G, alors, la représentation induite sur G par la représentation triviale de H - qui est la seule représentation irréductible de H - est la représentation régulière.
  • Soit (W, θ) la représentation régulière de H, La représentation régulière de G possède comme base canonique une base partionnée par les classes à gauche de H. En conséquence, la représentation régulière de G est induite par (W, θ).
  • Si H=G, alors l'induction de H à G est une opération triviale.

Propriétés

Premières propriétés

Les représentations induites héritent ce certaines propriétés immédiates :

  • Soit (W, θ) une représentation du sous-groupe H, (V, ρ) la représentation induite sur G et E un sous-espace stable de ρ. Alors la restriction de ρ à E est induite par la restriction de θ à E.

En effet, soient c une classe à gauche, Wc l'image de W à gauche par ρs si s est un élément de c et Ec l'intersection de Wc et E. Les intersections deux à deux des Ec, si c décrit l'ensemble des classes à gauche est réduite au vecteur nulle car celles des Wc le sont. Leur somme génère bien l'espace E car celle des Wc est égale à V, ce qui démontre la proposition.

  • Soient (W1, θ1) et (W2, θ2) deux représentations de H, (V1, ρ1) et (V2, ρ2) deux représentations de G induites par les précédentes, alors la représentation somme directe de V1 et V2 est induite par la représentation somme directe de W1 et W2.

La démonstration est analogue à la précédente.

Il existe une propriété fondamentale sur les représentations induites :

  • Il existe une et une seule représentation induite de G par (W, θ) à un isomorphisme près.

Si W est identifié à un H-module et si (V, ρ) est la représentation induite, alors, en identifiant V à un K[G]-module, on obtient l'égalité tensorielle :

V=K[G]\otimes_{K[H]}W \;

De plus la structure d'origine et celle induite disposent d'une analogie forte :

  • Si (V, ρ) est la représentation induite par (W, θ) et si (E, σ) est une représentation de G, les deux algèbres HomH (W, Res E) et HomG (V, E) sont isomorphes.

Cette propriété est l'équivalence, entre terme de morphismes de la loi de réciprocité de Frobenius.


Critère d'irréductibilité de Mackey

Une double application de la formule de réciprocité de Frobenius décrite ci dessous permet de démontrer le résultat suivant, connu sous le nom de critère d'irréductibilité de Mackey. Quelques définitions sont nécessaire pour l'exprimer. Ht désigne ici le sous-groupe intersection du sous-groupe conjugué de H par t avec S, \scriptstyle H_t = tHt^{-1}\cap S et si t est un élément de G, θt désigne la représentation de Ht dans W définie par :

\forall t \in G \quad \forall u \in H_t \quad \forall w \in W \quad \theta^t_u(w)=\theta_{t^{-1}ut}(w)

Le critère s'applique avec une double classe sur H.

Il s'énonce de la manière suivante :

  • La représentation (V, ρ) est irréductible si et seulement si θs et la restriction de θ à Hs sont disjointes quand s est un élément de G - H.

Il existe un corollaire, dans le cas où le groupe H est distingué :

  • La représentation induite de G par celle de H (W, θ) est irréductible si et seulement si (W, θ) est irréductible et n'est isomorphe à aucune représentation conjuguée θs.

Les définitions utilisées et les démonstrations sont présentes dans l'article associé.

Caractère

Formule du caractère

Soit (W, θ) une représentation de H sur le corps K, Ind (θ) ou IndHG (θ) désigne la représentation induite de G par (W, θ), et ψ désigne le caractère de θ. Soit (V, ρ) une représentation de G sur le corps K, La restriction de cette représentation à H est notée Res (ρ) ou ResHG (ρ) et son caractère χ :

  • Si s est un élément de G, ψ désigne le caractère de θ, la représentation de H, C un système de représentants des classes de conjugaison (c’est-à-dire un représentant dans chaque classe) et h l'ordre de H, alors la valeur du caractère χ au point t de G est donnée par la formule :
\forall t \in G \quad \chi(t)=\sum_{c\in C / c^{-1}tc \in H} \psi(c^{-1}tc) = \frac 1h \sum_{s\in G / s^{-1}ts \in H} \psi(s^{-1}ts)\;

Il est possible de généraliser la fonction IndHG à l'espace vectoriel des fonctions centrales de H de la manière suivante :

  • Soit f une fonction centrale de H à valeur dans K et C un système de représentants des classes à gauche, alors la fonction IndHG (f ) est définie de la manière suivante :
\forall s \in G \quad Ind_H^G \; f(s) = \sum_{c\in C \, c^{-1}sc \in H} f(c^{-1}sc) \;

La démonstration est donnée dans l'article Réciprocité de Frobenius.

Réciprocité de Frobenius

Article détaillé : Réciprocité de Frobenius.

Avec les notations du paragraphe précédent, la formule de réciprocité de Frobenius s'exprime par :

  • Les deux scalaires suivants sont égaux :
<Ind_H^G \;\psi\; |\; \chi>_G=<\psi\; |\; Res_H^G\; \chi>_H

Il est possible de généraliser la formule :

  • Soit f une fonction centrale de H et g une fonction centrale de G, alors l'égalité suivante est vérifiée :
<Ind_H^G \; f\; |\;g>_G=<f\; |\;Res_H^G \; g>_H

Une autre manière d'exprimer cette propriété est la suivante :

  • L'application IndHG est l'adjointe de ResHG.

Notes et références

Notes

Liens externes

Références

  • Jean-Pierre Serre, Représentations linéaires des groupes finis [détail des éditions]
  • (en) Marshall Hall, The theory of groups [détail des éditions]
  • Serge Lang, Algèbre, Dunod, 2004, 926 p. (ISBN 2100079808) [détail des éditions]
  • N. Bourbaki Algèbre, Chapitre VIII Paris, Hermann 1958
  • Portail des mathématiques Portail des mathématiques
Ce document provient de « Repr%C3%A9sentation induite d%27un groupe fini ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Representation induite d'un groupe fini de Wikipédia en français (auteurs)

Игры ⚽ Поможем сделать НИР

Regardez d'autres dictionnaires:

  • Représentation induite d'un groupe fini — En mathématiques une représentation induite est une représentation d un groupe canoniquement associée à une représentation de l un de ses sous groupes. L induction est adjointe à gauche de la restriction (en). Cette propriété intervient dans …   Wikipédia en Français

  • Theorie des representations d'un groupe fini — Théorie des représentations d un groupe fini Ferdinand Georg Frobenius, fondateur de la théorie de la représentation des groupes. En mathématiques et plus précisément en théorie des groupes, la théorie des représentations d un groupe fini est un… …   Wikipédia en Français

  • Caractere d'une representation d'un groupe fini — Caractère d une représentation d un groupe fini Fichier:Ferdinand Georg Frobenius.jpg Ferdinand Georg Frobenius fondateur de la théorie des caractères En mathématiques le caractère d une représentation d un groupes finis est un outil utilisé pour …   Wikipédia en Français

  • Caractère D'une Représentation D'un Groupe Fini — Fichier:Ferdinand Georg Frobenius.jpg Ferdinand Georg Frobenius fondateur de la théorie des caractères En mathématiques le caractère d une représentation d un groupes finis est un outil utilisé pour analyser les représentations d un groupe fini.… …   Wikipédia en Français

  • Caractères d'une représentation d'un groupe fini — Caractère d une représentation d un groupe fini Fichier:Ferdinand Georg Frobenius.jpg Ferdinand Georg Frobenius fondateur de la théorie des caractères En mathématiques le caractère d une représentation d un groupes finis est un outil utilisé pour …   Wikipédia en Français

  • Théorie des caractères d'un groupe fini — Caractère d une représentation d un groupe fini Fichier:Ferdinand Georg Frobenius.jpg Ferdinand Georg Frobenius fondateur de la théorie des caractères En mathématiques le caractère d une représentation d un groupes finis est un outil utilisé pour …   Wikipédia en Français

  • Théorie des caractères d'une représentation d'un groupe fini — Caractère d une représentation d un groupe fini Fichier:Ferdinand Georg Frobenius.jpg Ferdinand Georg Frobenius fondateur de la théorie des caractères En mathématiques le caractère d une représentation d un groupes finis est un outil utilisé pour …   Wikipédia en Français

  • Caractère d'une représentation d'un groupe fini — En mathématiques le caractère d une représentation d un groupe fini est un outil utilisé pour analyser les représentations d un groupe fini. Le caractère d une représentation (V, ρ) d un groupe G correspond à l application de G dans le corps de l …   Wikipédia en Français

  • Théorie des représentations d'un groupe fini — Ferdinand Georg Frobenius, fondateur de la théorie de la représentation des groupes. 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 …   Wikipédia en Français

  • Representation irreductible — Représentation irréductible En mathématiques, une représentation irréductible est un concept utilisé dans le cadre de la théorie des représentation d un groupe. Une représentation irréductible est une représentation qui n admet qu elle même et la …   Wikipédia en Français

Share the article and excerpts

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