On appelle repr´esentation lin´eaire de Gun homomorphisme de groupes
ρ:G−→ GL(V).
Ainsi, ρassocie `a tout g∈Gun automorphisme gV:V→Vdu C-espace vecto-
riel V, de telle sorte que 1V=IdVet que, pour g, g0∈G, on ait (gg0)V=gV◦g0
V
(le produit dans Gcorrespond donc `a la composition des automorphismes). Dans
cette d´efinition on ne suppose pas que l’homomorphisme ρest injectif, si bien
qu’il ne permet en g´en´eral pas de «repr´esenter »Gcomme un sous-groupe
du groupe lin´eaire contrairement `a ce que le terme (ancien) laisserait suppo-
ser. Cependant, dans bien des cas, le groupe Gest d´efini comme sous-groupe
d’un groupe lin´eaire ou d’un groupe sym´etrique particuliers, c’est-`a-dire qu’il
est donn´e a-priori avec une de ses repr´esentations. Par exemple, partant d’un
sous-ensemble fini Xd’un vectoriel V, qui l’engendre (penser aux sommets d’un
poly`edre !), on peut consid´erer le sous-groupe G⊂GL(V) form´e des gtels que
gX =X; il est fini puisque c’est aussi un sous-groupe du groupe des permuta-
tions de X.
Lorsque gV=Id pour tout g∈G, on parle de repr´esentation triviale.
La tradition impose d’appeler degr´e d’une repr´esentation lin´eaire Vde Gla
dimension de V.
Le terme G-module (qui fait allusion `a la structure de C[G]-module `a gauche),
est exactement synonyme de repr´esentation lin´eaire ; il est plus court.
Soit Vune repr´esentation lin´eaire de G. On note VGle sous-espace form´e
des ´el´ements invariants :
VG={x∈V, ∀g∈G, gV(x) = x}.
On d´esigne par V→VGle plus grand quotient de Vsur lequel Gagit trivia-
lement ; c’est donc le quotient par le sous-espace engendr´e par tous les ´el´ements
de la forme x−gV(x), avec x∈Vet g∈G.
Lemme 1.1.1. Soit Vune repr´esentation de G. Consid´erons l’endomor-
phisme ede Vd´efini par
e=1
|G|X
g∈G
gV.
Alors :
i) Pour tout g∈G, on a gV◦e=e◦gV=e; en particulier, eest un
idempotent.
ii) Im(e) = VG.
iii) Ker(e)est en gendr´e par les ´el´ements de la forme x−gV(x), avec x∈V
et g∈G; par passage au quotient, edonne un isomorphisme ¯e:VGg−→ VG.
iv) L’application compos´ee VG→VVGest bijective.
D´emonstration : i) Pour gfix´e, les applications g07→ gg0et g07→ g0gsont des
bijections de G.
ii) Les ´egalit´es gVe=emontrent l’inclusion Im(e)⊂VG; l’autre est claire.
4