56
donc h−1f(x) = h−1s−1(x−1
1x)−1sf(x1) = h−1
1f(x) pour l’action de Hsur V. Alors l’application
f7→ ˜
f´etait bien-d´efinie.
On a une inclusion Ws−→ ResG
KIndG
HVde kH-modules si on ´etend une application f:KsH
−→ Vvers une fonction f:G−→ Vo`u on d´efinit f(x) = 0 si x6∈ KsH. Si Ks1Het Ks2Hsont
disjoints, alors Ws1∩Ws2={0}. De l’autre cˆot´e chaque f:G−→ Vest uniquement d´etermin´ee
par ses restrictions sur tous les double-translat´es KsH.
Si s1, . . . , sr∈Gsont des repr´esentants des double-translat´es K\G/H on obtient une bijection
⊕r
i=1Wsi'ResG
KIndG
HV. Et la preuve est compl`ete.
On obtient le crit`ere d’irr´eductibilit´e de Mackey, en prenant K=H.
Corollaire 10.3. Soit Hun sous-groupe du groupe fini Get Vun CH-module.
Alors IndG
HVest un CG-module simple si et seulement si
(i) Vest simple comme CH-module, et
(ii) Pour chaque s∈G\Hles deux CHs-modules Vs(d´efini plus haut) et ResH
HsVsont disjoint
(c-`a-d, il n’existe pas un CHs-module simple qui apparaˆıt dans ces deux CHs-modules).
Preuve. On utilise la r´eciprocit´e de Frobenius plusieurs fois. Soient s1, . . . , srdes repr´esentants des
double-translat´es H\G/H, en supposant que s1=1. Nous avons Hs1=H, et donc V=Vs1=
ResH
HV.
(IndG
HχV,IndG
HχV)G= (ResG
HIndG
HχV, χV)H=X
i
(IndH
HsiχVsi, χV)H=
= (χV, χV)H+X
i>1
(χVsi,ResH
HsχV)Hs
Il suit que IndG
HVest simple ⇐⇒ (IndG
HχV,IndG
HχV)G= 1 ⇐⇒ (χV, χV)H= 1 et pour
chaque i > 1: (χVsi,ResH
HsχV) = 0. Et on obtient le r´esultat voulu.
Si Vest un kH-module, HCG, alors pour chaque s∈Gon obtient un kH-module Vs,son
module conjugu´e, par g·v:= sgs−1v.
Corollaire 10.4. Soit HCGun sous-groupe normal du groupe fini Get Vun CH-module.
Alors IndG
HVest un CG-module simple si et seulement si
(i) Vest simple comme CH-module, et
(ii) Pour chaque s∈G\Hle module conjugu´e Vsn’est pas isomorphe `a V.
Exemple 10.4.Consid´erons Alt5CS5. Ils existent deux repr´esentations simples complexes pour
Alt5de degr´e 3, disons χ2(avec CAlt5-module V) et χ3. Soit g1= (1,2,3,4,5) et g2= (2,1,3,4,5) =
(12)g1(12)−1, alors g1et g2ne sont pas conjugu´es dans Alt5. On a χ2(g2) = χ3(g1)6=χ2(g1), donc
V(12) n’est pas isomorphe `a V(mais `a l’autre CAlt5-module de dimension 3). Alors IndS5
Alt5Vest
un CSn-module simple de dimension 6.
11. Entiers alg´
ebriques
On rappelle que a∈Cest un entier alg´ebrique s’il existe un polynˆome unitaire
f(T) = Tn+m1Tn−1+. . . +mn−1T+mn