Représentation induite d'un groupe fini

• La représentation induite par une représentation θ du sous-groupe H de G est la représentation de G, notée ρ = Ind^G
  _H θ, ou simplement Ind(θ) s'il n'y a pas de risque d'ambiguïté, telle que :
  • θ est une sous-représentation de la restriction Res^G
    _H(ρ) de ρ à H ;
  • pour toute représentation σ de G, le morphisme naturel suivant est un isomorphisme entre espaces des morphismes de représentations :${\displaystyle \hom _{G}(\mathrm {Ind} _{H}^{G}\theta ,\sigma ){\overset {\sim }{\to }}\hom _{H}(\theta ,\mathrm {Res} _{H}^{G}\sigma )}$.

Son unicité (à isomorphisme près) est garantie par cette propriété universelle d'adjonction, et son existence est assurée par la construction ci-dessous.

• Si ψ désigne le caractère de θ, celui de ρ dépend uniquement de ψ. Il est donc appelé caractère induit par ψ et noté Ind(ψ) ou encore Ind^G
  _H (ψ) si un risque d'ambiguïté existe.

Soit W le K[H]-module sous-jacent à la représentation θ de H, et soit ρ la représentation de G associée au K[G]-module

${\displaystyle V=K[G]\otimes _{K[H]}W.}$

Alors ρ = Ind^G
_H θ, puisque :

• W = K[H]⊗_K[H]W est bien un sous-K[H]-module de V ;
• pour tout K[G]-module E, on a un isomorphisme naturel :${\displaystyle \hom _{K[G]}(V,E){\overset {\sim }{\to }}\hom _{K[H]}(W,E)}$qui peut se « déduire de la formule Hom(A,Hom(B,C))=Hom(A⊗B,C) » (Serre, p. II - 7) ou se détailler de façon plus élémentaire (Serre, p. II - 6) en vérifiant la bijectivité de l'application linéaire qui, à tout G-morphisme f de V dans E, associe le H-morphisme restriction de f à W.

• Si H = G, alors Ind^G
  _H θ = θ.
• Si θ est la représentation triviale de H, alors Ind^G
  _H θ est la représentation par permutations associée à l'action naturelle de G sur G/H.
• Si θ est la représentation régulière de H, alors Ind^G
  _H θ est la représentation régulière de G[1].

• Une représentation (V,ρ) de G est équivalente à Ind^G
  _H θ si et seulement si :
  • W est un sous-K[H]-module de V ;
  • V = ⊕_c∊G/H cW, où la notation cW signifie : ρ_s(W) pour n'importe quel élément s de la classe à gauche c. (Un tel ρ_s(W) ne dépend pas du choix de s dans c puisque si tH = c =sH alors t est de la forme sh pour un certain élément h de H, si bien que ρ_t(W) = ρ_s(ρ_h(W)) = ρ_s(W).)

• Pour toute sous-représentation θ' de θ, Ind^G
  _H (θ') est une sous-représentation de Ind^G
  _H (θ).
• Pour toutes représentations θ₁ et θ₂ de H, on a : Ind^G
  _H (θ₁⊕θ₂) = (Ind^G
  _H θ₁)⊕(Ind^G
  _H θ₂).

• Le caractère χ de la représentation (V,ρ) = Ind^G
  _H θ s'exprime en fonction du caractère ψ de (W, θ) par la formule suivante, dans laquelle C désigne une transversale à gauche de H dans G, et h l'ordre de H :${\displaystyle \forall t\in G\quad \chi (t)=\sum _{c\in C \atop c^{-1}tc\in H}\psi (c^{-1}tc)={\frac {1}{h}}\sum _{s\in G \atop s^{-1}ts\in H}\psi (s^{-1}ts).}$

Démonstration

L'élément ρ_t définit un automorphisme de V qui permute les ρ_cW, donc sa trace χ(t) = Tr(ρ_t) est la somme des traces des restrictions de cet automorphisme aux ρ_cW qu'il laisse invariants, ce qui équivaut pour c à la relation c⁻¹tc ∊ H. D'où :

${\displaystyle \chi (t)=\sum _{c\in C \atop c^{-1}tc\in H}\mathrm {Tr} ((\rho _{t})_{|\rho _{c}W}).}$

Or si c⁻¹tc ∊ H, on a :

${\displaystyle \forall w\in W\quad \rho _{c^{-1}}\circ \rho _{t}\circ \rho _{c}(w)=\theta _{c^{-1}tc}(w)\quad {\text{donc}}\quad \mathrm {Tr} ((\rho _{t})_{|\rho _{c}W})=\mathrm {Tr} (\theta _{c^{-1}tc})=\psi (c^{-1}tc),}$

ce qui démontre la première formule.

Pour la deuxième (qui n'a de sens que si h est inversible dans K) il suffit de remarquer que pour tout s ∊ cH, s⁻¹ts est conjugué de c⁻¹tc par un élément de H, et d'utiliser que ψ est centrale.

On étend cette formule aux fonctions centrales par la définition suivante :

• Soient f une fonction centrale sur H à valeurs dans K et C une transversale à gauche de H dans G, alors la fonction Ind^G
  _H (f ) est définie par :${\displaystyle \forall t\in G\quad \mathrm {Ind} _{H}^{G}f(t)=\sum _{c\in C \atop c^{-1}tc\in H}f(c^{-1}tc).}$

On suppose que la caractéristique de K ne divise pas l'ordre de G. La formule de réciprocité de Frobenius s'exprime alors par :

• Pour tout caractère ψ d'une représentation de H et tout caractère χ d'une représentation de G, les deux scalaires suivants sont égaux :

${\displaystyle \langle \mathrm {Ind} _{H}^{G}\;\psi \mid \chi \rangle _{G}=\langle \psi \mid \mathrm {Res} _{H}^{G}\;\chi \rangle _{H}.}$

Cette formule est une conséquence de la propriété d'adjonction qui définit la représentation induite. Elle s'étend linéairement aux fonctions centrales.