Groupesym´etrique S3
Notons r=(123), s=(12). Le groupesym´etrique S3est isomorphe au groupe
de pr´esentation hr,s;r3,s2,rsrsi.Unerepr´esentation ρ:S3→GLn(k)est
d´efinie par deux matrices inversibles ρ(r)=R,ρ(s)=S,qui satisfontles
relations
R3=S2=(RS)2=I.
Pour k=Cet n=2, R= j0
0j2!,et S= 0 1
1 0!conviennentet d´efinissent
une repr´esentation de degr´e2irr´eductible.
10.2 R´eductibilit´eet lemme de Schur
Th´eor`eme 10.2.1 (Maschke).Soit Gun groupefini et ρ:G→GL(V)une
k-repr´esentation de degr´efini. Si la caract´eristique du corps de base kest
nulle ou ne divise pas l’ordrede G,alors pour tout sous-module Wil existe
un sous-module W′telle que W⊕W′=V(sous-module compl´ementaire).
Corollaire 10.2.2. Soit Gun groupefini et ρ:G→GL(V)une
repr´esentation de degr´efini. Si la caract´eristique du corps de base kest
nulle ou ne divise pas l’ordrede G,alors Vest semi-simple (compl`etement
r´eductible).
Lemme 10.2.3 (de Schur).Soient Vet V′deux k-repr´esentations
irr´eductibles d’un groupefini G.
a) Si T:V→V′est k[G]-lin´eaire, alors soit Test nulle, soit Test un
isomorphisme.
b) Si kest un corps alg´ebriquement clos, alors toute application k[G]-lin´eaire
T:V→Vest un multiple de l’identit´e:
Endk[G](V)=kId .
Exercice10.2.4.Montrer que si Vest un k[G]-module pour lequel tout k[G]-
endomorphisme est multiple del’identit´e, alors Vest simple.
Exercice10.2.5.Montrer que si Gest un groupeab´elien fini, toute
repr´esentation irr´eductible de degr´efini de Gest de degr´e1.
54