Alg1 Avec Couverture

2011_2012
_
ENSEIGNEMENT
DPARTEMENT DE MATHMATIQUES ET APPLICATIONS
L3
ALGBRE 1
NOTES DE COURS
Olivier Biquard
Universits Paris VI,VII,IX,XI,XIII & cole normale suprieure
ENS DMA ENSEIGNEMENT 45 rue dUlm 75230 Paris cedex 05 - Tl : 01 44 32 31 72 - Fax : 01 44 32 20 80 - Ml : mfa@ens.fr
5 septembre 2011
L3
ALGBRE 1
NOTES DE COURS
TABLE DES MATIRES
Rfrences bibliographiques. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1. Groupes. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.1. Gnralits sur les groupes. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.2. Groupes oprant sur un ensemble. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
1.3. Produit semi-direct . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
1.4. Groupes abliens de type ni . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
1.5. Groupes simples et suites de composition. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
2. Groupes classiques. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
Prliminaires sur les corps. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
2.1. Le groupe linaire. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
2.2. Formes sesquilinaires. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
2.3. Orthogonalit. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
2.4. Le thorme de Witt . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
2.5. Le groupe symplectique. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
2.6. Le groupe orthogonal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
2.7. Le groupe unitaire. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
2.8. Quaternions. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
3. Algbre tensorielle. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
3.1. Produit tensoriel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
3.2. Algbre tensorielle. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
3.3. Algbre extrieure. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62
3.4. Pfafen. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
3.5. Algbre symtrique. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
4. Reprsentations des groupes nis. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
4.1. Reprsentations. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
4.2. Caractres. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74
4.3. Structure de K[G] . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 78
6 TABLE DES MATIRES
4.4. Proprits dintgralit. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 80
4.5. Le thorme de Burnside. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 82
4.6. Reprsentation induite. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 84
RFRENCES BIBLIOGRAPHIQUES 7
Rfrences bibliographiques
On pourra sappuyer utilement sur les ouvrages suivants :
Daniel Perrin Cours dalgbre (Chapitres 1, 2) : louvrage le plus accessible
Jean Dieudonn La gomtrie des groupes classiques (Chapitre 2) : tout sur les groupes
classiques, plus difcile lire
Anthony Knapp Basic Algebra (Tous chapitres) : trs bon manuel, disponible en ligne
depuis lcole http://www.springerlink.com/content/k7g576/
Jean-Pierre Serre Reprsentations linaires des groupes nis (Chapitre 4) : rfrence sur
le chapitre 4
CHAPITRE 1
GROUPES
1.1. Gnralits sur les groupes
1.1.1. Groupes et morphismes. Un groupe G est la donne dun ensemble G, muni
dune loi de composition
GGG, (g, h) gh,
satisfaisant les proprits suivantes :
1 associativit : pour tous g
1
, g
2
, g
3
G, (g
1
g
2
)g
3
g
1
(g
2
g
3
) ;
2 existence dun lment neutre (ncessairement unique) : il existe e G, tel que ge
eg g pour tout g G;
3 inverse : tout lment g G admet un inverse (ncessairement unique), cest--dire
un lment g
1
G tel que g g
1
g
1
g e.
On dit quun groupe G est ablien si, pour tous g, h G, on a gh hg. Dans ce cas, on
note gnralement la loi de groupe additivement (g +h), llment neutre 0, et linverse de
g est appel loppos, not g.
Un morphisme de groupes est la donne dune application f : G
1
G
2
entre deux
groupes, satisfaisant, pour tous g, h G,
f (gh) f (g) f (h).
Si f est bijective, alors f
1
est aussi un morphisme et on dit que f est un isomorphisme.
Si en outre G
1
G
2
G, alors on dit que f est un automorphisme de G.
Exemples. 1 (R, +) et (R
, ) sont des groupes ; la mme chose reste vraie en rempla-

ant R par le corps des complexes C, ou plus gnralement par nimporte quel corps
(1)
K; encore plus gnralement, pour un anneau commutatif A, on a le groupe multiplicatif
(A
, ) des units de A (les lments de A inversibles dans A).

2 Lapplication exponentielle est un morphisme de groupes, exp : (C, +) (C
, ).
3 (Z/nZ, +) est un groupe dordre n (lordre dun groupe ni G est son cardinal, not
[G[).
1. Dans ces notes, un corps est toujours commutatif, sauf mention expresse du contraire.
10 CHAPITRE 1. GROUPES
4 Le groupe didral D
n
des symtries et rotations du plan prservant un polygone r-
gulier n cts est un groupe dordre 2n.
5 Le groupe symtrique S
n
des bijections dun ensemble n lements est un groupe
dordre n!
6 Le groupe orthogonal O(n, R) des transformations orthogonales de R
n
.
7 Si Kest un corps, alors les matrices inversibles nn coefcients dans Kforment le
groupe gnral linaire GL(n, K) ; le dterminant det : GL(n, K) K
est un morphisme ;
si E est un K-espace vectoriel de dimension n, alors le groupe des applications linaires
bijectives de E dans E est isomorphe GL(n, K).
8 Plus gnralement, si A est un anneau commutatif, alors on peut former le groupe
GL(n, A) des matrices inversibles coefcients dans A : il sagit exactement des matrices
M telles que det M A
; par exemple le groupe GL(n, Z) est constitu des matrices coef-

cients entiers, de dterminant 1.
9 Si G
1
et G
2
sont deux groupes, alors on peut former un groupe appel produit direct
G
1
G
2
, en munissant ce produit de la loi interne (g
1
, g
2
)(h
1
, h
2
) (g
1
h
1
, g
2
h
2
).
10 Lensemble des automorphismes dun groupe G, muni de la composition, est un
groupe not Aut G.
1.1.2. Sous-groupes, gnrateurs. Une partie H dun groupe G est appele un sous-
groupe si la loi de composition de G se restreint H et en fait un groupe, ce qui est qui-
valent aux proprits suivantes :
1 e H;
2 pour tous h
1
, h
2
H, on a h
1
h
2
H;
3 pour tout h H, on a h
1
H.
Exemples. 1 Lintersection de sous-groupes est un sous-groupe.
2 Les sous-groupes de Z sont les nZ pour n N.
3 aZ est un sous-groupe de R pour tout a R (on obtient ainsi tous les sous-groupes
non denses).
4 Si f : GG
t
est un morphisme de groupes, alors le noyau et limage de f ,
ker f {g G, f (g) e}, im f { f (g), g G},
sont des sous-groupes de G et G
t
respectivement ; le morphisme f est injectif si et seule-
ment si ker f {e}.
5 La signature : S
n
{1} est un morphisme, dont le noyau est le groupe altern A
n
.
6 Le noyau du dterminant det : GL(n, K) K
est le groupe spcial linaire des ma-

trices de dterminant 1, il est not SL(n, K) ; exercice : montrer que, si KF
q
, corps ni
q lments, alors les ordres de ces groupes sont
[GL(n, F
q
)[ (q
n
1)(q
n
q) (q
n
q
n1
), (1)
[SL(n, F
q
)[ (q
n
1)(q
n
q) (q
n
q
n2
)q
n1
. (2)
7 Le noyau du dterminant sur le groupe didral D
n
est le sous-groupe des rotations
dangle multiple de
2
n
.
8 Le centre dun groupe G,
Z(G) {g G, g x xg pour tout x G}
1.1. GNRALITS SUR LES GROUPES 11
est un sous-groupe de G; le groupe G est ablien si et seulement si Z(G) G; par exemple,
le centre de GL(n, K) est constitu des homothties, et le centre de SL(n, K) des homoth-
ties de rapport une racine n-ime de lunit dans le corps K.
9 Si g G, on peut considrer le morphisme de groupes
g
: ZG, n g
n
; (3)
limage de
g
est le plus petit sous-groupe de G contenant g, on lappelle le sous-groupe
engendr par g et on le note g ; sil est inni (ce qui se produit si g
n
/1 pour tout n /0),
on dit que lordre de g est inni, sinon lordre de g est par dnition lordre de g.
Ce dernier exemple se gnralise de la manire suivante :
1.1.3. Proposition. Soit une partie A dun groupe G. Alors il existe un plus petit sous-
groupe de G contenant A. On lappelle sous-groupe engendr par A, et on le note A.
Dmonstration. Il y a deux constructions quivalentes. La premire consiste dnir
A comme lintersectionde tous les sous-groupes de Gcontenant A. La seconde construc-
tion consiste en la description explicite :
A {x
1
1
x
2
2
x
n
n
, n N, x
i
A,
i
1}.
1.1.4. Proposition. Le sous-groupe engendr par un lment g Gest isomorphe Zsil
est inni, Z/nZ sil est ni, o n est lordre de g.
Dmonstration. Le morphisme
g
considr en (3) a pour image g. Si lordre de g est
inni, alors
g
est injectif, donc on obtient un isomorphisme
g
: Zg. Si lordre de g
est ni, alors ker
g
nZ, et lapplication

g
: Z/nZ g, m g
m
, est bien dnie, est
un morphisme de groupes, par dnition injectif et surjectif, donc un isomorphisme.
Une partie A de Gest une partie gnratrice de G, ou engendre G, si A G. Un groupe
est monogne sil est engendr par un seul lment, cyclique sil est de plus ni.
Exemples. 1 Le groupe didral est engendr par la rotation r dangle
2
n
et la symtrie s
par rapport laxe horizontal : alors sr s r
1
et D
n
{r
k
, 0 <k <n1}{sr
k
, 0 <k <n1}.
2 Voici trois ensembles diffrents de gnrateurs pour le groupe symtrique S
n
:
toutes les transpositions ;
les transpositions (12), (23), . . . , ((n 1)n) ;
la transposition (12) et le cycle (12 n) .
3 Le groupe altern A
n
est engendr par les 3-cycles (abc), car (ab)(ac) (acb) et
(ab)(cd) (acb)(acd).
4 Pour n > 2, le groupe orthogonal O(n, R) est engendr par les rexions (symtries
par rapport un hyperplan), voir Chap. 2.
1.1.5. Classes gauche. Soit H un sous-groupe du groupe G. On dnit sur G une
relation dquivalence R par
xRy h H, y xh.
Les trois proprits caractristiques des relations dquivalence (rexivit, symtrie,
transitivit) se vrient immdiatement. La classe dquivalence dun lment x G est
xH {xh, h H}. Les xH pour x G sont appeles classes gauche de G, et lensemble
quotient de G par R, cest--dire lensemble des classes gauche, est not G/H. Si cet
ensemble est ni, son cardinal, not [G: H], est appel lindice de H dans G.
On peut dnir aussi les classes droite comme les ensembles Hx {hx, h H}, et
lensemble des classes droite est not H\G. Heureusement, il est peu prs indiffrent
dutiliser des classes droite ou gauche, car lapplication inverse : G G, x x
1
,
envoie xHsur Hx
1
, donc envoie classes gauche sur classes droite ; induisant ainsi une
bijection
G/HH\G.
Soit x G, alors lapplication HG, h xh, induit une bijection
HxH.
En particulier, si H est ni, alors le cardinal dune classe gauche xH est gal lordre de
H. Les classes gauche forment donc une partition de Gpar des classes de mme cardinal,
do :
1.1.6. Proposition (Thorme de Lagrange). Si G est ni et H est un sous-groupe de G,
alors
[G[ [H[[G: H].
En particulier, lordre dun sous-groupe de G divise lordre de G; lordre dun lment de G
divise lordre de G.
En particulier, un groupe dordre premier p est ncessairement isomorphe au groupe
cyclique Z/pZ.
1.1.7. Sous-groupes distingus. Soit g G, alors lapplication
g
: GG, x g xg
1
,
est un automorphisme de G. Un tel automorphisme de G est appel automorphisme in-
trieur de G, et
: GAut G
est un morphisme de groupes (dont le noyau est le centre Z(G)).
On dit quun sous-groupe H de G est distingu, et on note HG, sil est stable par tout
automorphisme intrieur, cest--dire : pour tous g G et h H, on a ghg
1
H.
Exemples. 1 Les sous-groupes triviaux {e} et G de G sont distingus.
2 Dans un groupe ablien, tous les sous-groupes sont distingus.
3 Si f : G G
t
est un morphisme de groupes, alors ker f G (attention, il est faux en
gnral que limage soit un sous-groupe distingu) ; plus gnralement, si H
t
G
t
, alors
f
1
(H
t
) G.
1.1.8. Quotient. Soit H un sous-groupe de G, on souhaite munir G/H dune structure
de groupe telle que la projection p : GG/H, x xH, dunlment sur sa classe gauche,
soit unmorphisme de groupes. Llment neutre de G/Hserait ncessairement eH, et donc
le noyau de p serait la classe de e, cest--dire H. Daprs lexemple 3 ci-dessus, il faut donc
que H soit distingu dans G. Cette condition est sufsante :
1.1.9. Thorme. Si H est un sous-groupe distingu de G, alors il existe sur G/H une
unique structure de groupe, telle que la projection p : G G/H soit un morphisme de
groupe.
Il est important de noter que si H est distingu, alors les classes droite sont gales aux
classes gauche : xH Hx pour tout x G, puisque xHx
1
H. Ainsi G/H H\G et on
obtient le mme groupe quotient en considrant les classes droite ou gauche.
Dmonstration. Pour que p soit un morphisme de groupes, il faut que la loi de groupe
sur G/H vrie
(xH)(yH) xyH. (4)
La premire chose faire est de vrier que cette formule ne dpend pas des choix de x et
y dans leurs classes : si x x
t
h et y y
t
h
t
, alors
xy x
t
hy
t
h
t
x
t
y
t
(y
t1
hy
t
)h
t
.
Puisque H est distingu, y
t1
hy
t
H donc xyH x
t
y
t
H. La formule (4) dnit donc bien
une loi de composition sur G/H. Il est immdiat de vrier quil sagit dune loi de groupe.
Si H est distingu, alors les groupes H, G et G/H sinsrent dans une suite exacte de
groupes :
1 H
i
G
p
G/H1,
oi : HGest linclusiondusous-groupe Hdans G. Cela signie que, dans le diagramme,
le noyau de chaque che est gal limage de la che prcdente (vrier ce que cela
veut dire chacun des 5 groupes du diagramme, o 1 dsigne le groupe {e}).
1.1.10. Thorme (Proprit universelle du quotient). Soit H un sous-groupe distin-
gu de G, et f : G G
t
un morphisme de groupes. Si ker f H, alors il existe un unique
morphisme

f : G/HG
t
tel que f

f p, cest--dire, le diagramme suivant est commuta-
tif :
G G
t
G/H
f
p
f
En outre, ker

f ker f /H et im

f im f .
Dmonstration. On veut poser

f (xH) f (x), cela a un sens condition que f (xh)
f (x) pour tout h H, cest--dire f (h) e, ce qui est prcisment le cas puisque ker f H.
Lapplication

f : G/HG
t
ainsi dnie est manifestement unique, on vrie immdiate-
ment que cest un morphisme, avec le noyau et limage indiqus.
1.1.11. Corollaire. Si f : GG
t
est un morphisme de groupes, alors

f : G/ker f im f
est un isomorphisme.
De manire quivalente, si on a une suite exacte de groupes
1 H
f
G
g
K 1,
alors g : G/HK est un isomorphisme.
Noter labus de notation trs courant : on a crit G/H au lieu de G/f (H), car comme f
est injective, on peut identier H son image f (H) G.
Dmonstration. On applique le thorme

f : Gim f , concidant avec f mais dont
on a restreint le but, et H ker f , donc on obtient

f : G/ker f im f , avec ker

f
ker f /ker f 1 et im

f im

f im f .
Exercice. La proprit universelle caractrise le quotient : sil existe (K, ), o K est un
groupe et un morphisme de groupes G K tel que ker H, et si (K, ) est universel
pour cette proprit (si ker f H, alors il existe un unique morphisme

f : K G
t
tel que
f

f ), alors (K, ) est uniquement isomorphe (G/H, p), ce qui signie quil existe un
unique isomorphisme : G/HK rendant le diagramme suivant commutatif :
G
G/H K
p

Exemples. 1 Le groupe Z/nZ est le quotient de Z par nZ. On peut en dduire les sous-
groupes de Z/nZ : leur image rciproque par la projection p : Z Z/nZ est un sous-
groupe de Zcontenant nZ, donc de la forme dZpour d[n, donc les sous-groupes de Z/nZ
sont exactement les sous-groupes cycliques engendrs par les entiers d tels que d[n.
Dans cet exemple, Z/nZest un anneau, et non seulement la loi additive passe au quotient,
mais aussi la loi multiplicative (car nZ est un idal : a(nZ) nZ pour tout a Z), donc
Z/nZ est un anneau, lanneau quotient de Z par lidal nZ.
2 Le groupe didral sinsre dans la suite exacte
1 Z/nZD
n
det
{1} 1,
o le premier groupe est le sous-groupe (cyclique) des rotations de D
n
; ainsi D
n
/(Z/nZ)
Z/2Z.
3 On a S
n
/A
n
Z/2Z, venant de la suite exacte
1 A
n
S
n
{1} 1.
4 Le morphisme : G Aut G, dni par (g)(x) g xg
1
, a pour noyau le centre Z(G)
et image le sous-groupe Int G des automorphismes intrieurs de G, donc Int GG/Z(G).
5 Si K H sont deux sous-groupes distingus de G, alors
(G/K)/(H/K) G/H;
en effet, en appliquant la proprit universelle au morphisme G G/H, on obtient un
morphisme G/K G/H, surjectif, dont le noyau est H/K.
1.1.12. Quotient despace vectoriel. Si E est un K-espace vectoriel, et F E un sous-
espace vectoriel, alors en particulier, pour la structure de groupe ablien, F est un sous-
groupe de E donc on peut former le quotient E/F. Dans ce cas, la structure de K-espace
vectoriel passe aussi au quotient, en dnissant pour x E la multiplication par le scalaire
Kdans E/F par (x +F) (x)+F : en effet, si on prend un autre reprsentant y x +f
( f F) de la classe de x dans E/F, alors y x +f reprsente bien la classe x +F E/F,
puisque f F. La projection
p : E E/F
est alors aussi une application linaire de noyau F, et la proprit de factorisation (tho-
rme 1.1.10) reste valable en remplaant les morphismes de groupe par des applications
linaires : si : E E
t
est une application linaire telle que kerF, alors elle se factorise,
de manire unique, par une applicationlinaire

: E/F E
t
telle que

p. nouveau,
cette proprit caractrise le quotient.
Si on choisit dans E un supplmentaire Gde F, de sorte que E FG, alors la projection
restreinte p[
G
: GE/F est un isomorphisme linaire. Via cet isomorphisme, lapplication
linaire induite au quotient,

, peut sidentier la restriction [
G
, mais ce nest pas in-
trinsque, car le supplmentaire G nest pas unique.
Attention, cette proprit est particulire aux espaces vectoriels : dans le cas des
groupes, si HG, alors en gnral G nest pas isomorphe au produit HG/H. Voir 1.3.
Finalement, en appliquant la proprit de factorisation aux formes linaires E K, on
observera lidentication bien utile du dual (E/F)
avec le sous-espace de E
des formes
linaires sannulant sur F : plus prcisment, la transpose de p fournit une application
linaire
p
t
: (E/F)
, f f p,
dont limage est constitue exactement des formes linaires sannulant sur F, savoir F
{ f E
, ker f F}. On obtient ainsi un isomorphisme

p
t
: (E/F)
. (5)
1.1.13. Groupe driv. Soit G un groupe, x, y G, alors x et y commutent si
xyx
1
y
1
e. On appelle commutateur un lment de G de la forme xyx
1
y
1
, et
le groupe engendr par tous les commutateurs,
D(G) xyx
1
y
1
, x, y G,
est appel groupe driv de G.
1.1.14. Proposition. Le groupe driv D(G) est un sous-groupe caractristique de G,
cest--dire stable par tout automorphisme de G. En particulier, il est distingu.
Le quotient G/D(G) est ablien, et cest le plus grand quotient ablien de G, au sens sui-
vant : si G/H est ablien, alors HD(G), et donc G/H est un quotient de G/D(G).
Dmonstration. Limage du commutateur xyx
1
y
1
par un automorphisme f est le
commutateur f (x) f (y) f (x)
1
f (y)
1
, donc f (D(G)) D(G).
Puisque xyx
1
y
1
D(G) pour tous x, y G, tous les commutateurs sont nuls dans
le quotient G/D(G), donc G/D(G) est ablien. Si G/H est ablien, alors tous ses commu-
tateurs sont triviaux, donc pour tous x, y G, il faut que xyx
1
y
1
H, ce qui impose
D(G) H.
1.2. Groupes oprant sur un ensemble
1.2.1. Action de groupe. Une action ( gauche) dun groupe G sur un ensemble X est
la donne dune application
: GX X, (g, x) g x,
telle que
1 pour tout x X, on a e x x ;
2 pour tous x X et g, g
t
G, on a g (g
t
x) (g g
t
) x.
Il rsulte de cette dnition que, si on pose
g
(x) g x, alors
e
Id
X
,
g
gh
,
donc une action du groupe G sur lensemble X est la mme chose quun morphisme de
groupes
GBij(X), g
g
,
o Bij(X) est lensemble des bijections de X. (On utilise parfois les actions droite, notes
(g, x) x g, et satisfaisant la relation (x g) g
t
x(g g
t
) : ce nest pas une action gauche,
puisque cela signie
g g
t
g
t
g
). Une action droite se ramne une action gauche
en considrant g x x g
1
.)
Exemples. 1 Le groupe symtrique S
n
agit sur lensemble {1, . . . , n}.
2 GL(n, K) opre sur K
n
.
3 O(n, R) opre sur la sphre S
n1
R
n
.
4 SL(2, R) opre sur le demi-plan de Poincar, H {z C, z >0}, par (
a b
c d
) z
az+b
cz+d
.
1.2.2. Orbites. Soit G un groupe oprant sur X, et x X. Le stabilisateur, ou groupe
disotropie de x est le sous-groupe de G dni par
G
x
{g G, g x x}.
Lorbite de x sous G est G x {g x, g G}. Lapplication
GG x, g g x,
se factorise en une bijection entre lespace des classes gauche de G
x
et lorbite de x :
G/G
x
G x. (6)
Lensemble des orbites de X sous G est le quotient de X par G, not G\X. (Le groupe est
gauche pour une action gauche. Pour une action droite, lorbite de x est en bijection
avec G
x
\G et le quotient est not X/G.)
1.2. GROUPES OPRANT SUR UN ENSEMBLE 17
Laction de G est transitive si G na quune seule orbite dans X. Par exemple, laction de
Gsur G/Hpar g (xH) (g x)Hest transitive. Cest le cas gnral, puisque par (6), si X entier
est une orbite, alors laction de G induit une bijection de G/G
x
avec X, pour tout x X.
Exemples. 1 Pour laction de O(n, R) sur R
n
, les orbites sont les sphres de rayon r >0,
ainsi que {0}. Le groupe disotropie dun point non nul est O(n 1), donc, par (6), on a
une bijection O(n 1)\O(n) S
n1
(cest en ralit un homomorphisme si on munit le
membre de gauche de la topologie quotient).
2 Le groupe R
agit sur R
n
{0}, et le quotient est
R
n
{0}/R
{droites relles de R
n
},
appel lespace projectif rel.
3 Si S
n
, on considre laction de G sur {1, . . . , n} ; alors {1, . . . , n} est la runion
disjointe des orbites :
{1, . . . , n}
r
1
O
i
;
on peut poser
i
(x)
_
(x) x O
i
,
x x O
i
;
alors
i
est un cycle de support O
i
, on a
i
j

j
i
, et
1

r
;
onretrouve ainsi que toute permutationse dcompose de manire unique comme produit
de cycles disjoints.
Laction de G est dle si
xX
G
x
{e}. Observons que le morphisme : GBij(X), in-
duit par laction, a prcisment pour noyau
xX
G
x
, donc lactionest dle si et seulement
si est injective. Sinon laction se factorise :
G Bij X
G/ker
On obtient donc une action dle du quotient G/ker sur X : toute action se factorise
ainsi en une action dle.
1.2.3. Exemple (Thorme de Cayley). Laction de G sur lui-mme par translation
gauche, g x g x, est dle. Si G est ni, on en dduit un morphisme injectif GS
[G[
.
1.2.4. Conjugaison. Il y a une autre action de G sur lui-mme, donne par le mor-
phisme G Aut G qui g associe lautomorphisme intrieur induit par g : donc g x
g xg
1
(action par conjugaison). Dans ce cas, le groupe disotropie dun lment x G est
appel le centralisateur de x, et not C(x).
Explicitons cette action dans le cas du groupe symtrique :
1.2.5. Proposition. Si S
n
est un cycle dordre p, donc (a
1
a
p
), et S
n
, alors
1
((a
1
) (a
p
)). (7)
Tous les cycles dordre p sont conjugus dans S
n
.
Plus gnralement, les classes de conjugaison de S
n
sont en bijection avec les partitions
de n :
n k
1
+ +k
r
, r N
, 1 <k
1
< <k
r
.
Dmonstration. Si x {(a
1
), . . . , (a
p
)}, alors
1
(x) {a
1
, . . . , a
p
} donc
1
(x) x.
Si en revanche x (a
i
) alors
1
(x) (a
i
) (a
i +1
). Cela prouve la premire partie
de la proposition.
Pour la seconde, crivons
1

r
comme produit de cycles disjoints de longueurs
(k
i
)
i 1,...,r
, quon peut ordonner de sorte que 1 <k
1
< <k
r
. Alors
1
(
1
1
) (
r
1
) (8)
est encore un produit de cycles disjoints de mmes longueurs (k
i
)
i 1,...,r
que ceux de ,
donc une classe de conjugaison dtermine bien une partition de n k
1
+ +k
r
. Rci-
proquement, compte tenu des formules (7) et (8), il est vident que deux permutations
correspondant la mme partition sont conjugues.
De manire gnrale, la conjugaison prserve toutes les proprits gomtriques dune
transformation. Par exemple, si S
n
admet un point xe p, alors (p) est un point xe
de
1
. Ou encore, si O(3, R) est une rotation autour dune droite D, et O(3, R),
alors
1
est une rotation de mme angle autour de (D).
1.2.6. Proposition (Formule des classes). Si G et X sont nis, alors
cardX
xR
[G: G
x
],
o RX est un ensemble contenant exactement un point de chaque orbite.
Dmonstration. La dmonstration est immdiate : X est la runion disjointe des or-
bites, et par (6), chaque orbite est enbijectionavec G/G
x
pour unlment x de lorbite.
Un point x X est un point xe de laction de G si g x x pour tout g G, et on note
X
G
lensemble des points xes de X sous G.
1.2.7. Proposition. 1 Si un p-groupe G (cest--dire un groupe dordre gal une puis-
sance du nombre premier p) agit sur X, alors
[X
G
[ [X[ mod p.
En particulier, si p [X[, alors laction de G sur X a au moins un point xe.
2 Si G est un p-groupe, alors le centre de G nest pas rduit {e}.
1.2.8. Corollaire. Si [G[ p
2
avec p premier, alors G est ablien.
Comme on le verra plus loin, il ny a que deux groupes abliens dordre p
2
, savoir
Z/p
2
Z et Z/pZZ/pZ.
Dmonstration de la proposition. Par la formule des classes,
[X[ [X
G
[ +
xRX
G
[G: G
x
].
1.2. GROUPES OPRANT SUR UN ENSEMBLE 19
Si x nest pas unpoint xe, alors G
x
IG, donc [G: G
x
] >1 et divise [G[ qui est une puissance
de p, donc p[[G: G
x
]. La premire partie de la proposition en rsulte.
La seconde partie sobtient en appliquant le rsultat laction de G sur lui-mme par
conjugaison : dans ce cas G
G
Z(G) donc [Z(G)[ [G[ mod p, ce qui impose [Z(G)[ >1.
Dmonstration du corollaire. Daprs la proposition, on a [Z(G)[ p ou p
2
. Si x G,
alors le centralisateur C(x) de x contient la fois Z(G) et x. Si x Z(G), on dduit que
[C(x)[ >[Z(G)[+1 >p+1, donc [C(x)[ p
2
et C(x) G, cest--dire x Z(G) : contradiction.
Donc il faut toujours que x Z(G), donc Z(G) G et G est ablien.
1.2.9. Les thormes de Sylow. Si G est un groupe ni, et p un facteur premier de [G[,
crivons [G[ p
m, avec p m. Un p-sous-groupe de Sylowde G(ou, plus brivement, un

p-Sylow) est un sous-groupe dordre p
de G.
1.2.10. Exemple. Si GGL(n, F
p
), considrons le sous-groupe Hdes matrices triangu-
laires suprieures, avec des 1 sur la diagonale (matrices unipotentes) :
_
_
_
_
_
_
_
1
0 1
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

0 0 1
_
_
_
_
_
_
_
.
Alors H est un p-Sylow de G. En effet, [H[ p
n(n1)
2
, alors que daprs (1), on a
n(n1)
2
.
Pour montrer lexistence dun p-Sylow dans tout groupe ni, nous avons besoin
dabord de passer dun groupe ses sous-groupes :
1.2.11. Lemme. Si S est un p-Sylow de G et HG, alors il existe g G tel que gSg
1
H
soit un p-Sylow de H.
Dmonstration. Le groupe Hagit gauche sur lensemble G/S des classes gauche par
h(gS) (hg)S ; le stabilisateur dune classe gS est H
gS
gSg
1
H. Puisque p m[G/S[,
la formule des classes (proposition 1.2.6) assure quil existe au moins une classe gS telle
que
p [H: H
gS
].
Mais puisque H
gS
gSg
1
qui est un p-groupe, H
gS
lui-mme est un p-groupe, et donc
un p-Sylow de H.
1.2.12. Thormes de Sylow. Soit G un groupe ni et p un facteur premier de G. cri-
vons [G[ p
m, avec p m. Alors :
1 G contient un p-Sylow;
2 tout p-sous-groupe de G est contenu dans un p-Sylow;
3 tous les p-Sylow sont conjugus dans G;
4 le nombre de p-Sylow divise m, et est congru 1 modulo p.
Il rsulte en particulier de 3 quun p-Sylow de G est distingu si et seulement si cest
lunique p-Sylow de G.
Dmonstration. 1 Le groupe G sinjecte dans un groupe symtrique S
N
(exemple
1.2.3), lequel sinjecte dans GL(N, F
p
), en envoyant une permutation S
N
sur lappli-
cation linaire u
permutant les lments de base (e

i
)
i 1,...,N
par , donc dnie par
u
(e
i
) e
(i )
. On peut ainsi considrer G comme un sous-groupe de GL(N, F
p
), qui admet
un p-Sylow par lexemple ci-dessus. Par le lemme 1.2.11, G admet un p-Sylow.
2-3 Si HG est un p-groupe et S G un p-Sylow, alors, toujours par le lemme 1.2.11,
il existe g G tel que gSg
1
H soit un p-Sylow de H, donc soit gal H puisque H est un
p-groupe. Donc HgSg
1
qui est un p-Sylow. Si en outre H tait dj un p-Sylow, alors il
a le mme ordre que gSg
1
, donc HgSg
1
.
4 Soit X lensemble des p-Sylow de G. On a donc une action transitive de G sur X par
conjugaison, ce qui implique que [X[ divise [G[. Restreignons en outre laction de G un
p-Sylowparticulier S. Pour montrer [X[ 1 mod p, daprs la proposition 1.2.7, il suft de
montrer que [X
S
[ 1. En ralit, on va montrer que S est le seul point xe de laction de S
sur X.
Pour le montrer, introduisons pour un sous-groupe quelconque HG son normalisa-
teur dni par
N(H) {g G, gHg
1
H}. (9)
Il sagit, pour laction de Gsur ses sous-groupes par conjugaison, du groupe disotropie de
H. Une proprit vidente, mais importante, est
HN(H).
Revenons maintenant la dmonstration : supposons que S
t
X
S
, donc sS
t
s
1
S
t
pour tout s S. Il en rsulte que S N(S
t
). Ainsi S et S
t
sont des p-Sylow de N(S
t
), alors
que S
t
N(S
t
) : donc S S
t
.
Les thormes de Sylow ont de nombreuses consquences, voir TD. En particulier :
1.2.13. Corollaire. Si le groupe G satisfait [G[ p
m avec p m, alors pour tout < il

existe un sous-groupe de G dordre p
. En particulier, G admet un lment dordre p.

Dmonstration. En regardant un p-Sylow, il suft de le montrer pour un p-groupe. Un
p-groupe admet videmment un lment dordre p. Comme le centre de Z(G) est non
trivial, on peut raisonner par rcurrence sur en se ramenant au quotient de G par un
sous-groupe dordre p de Z(G).
1.3. Produit semi-direct
1.3.1. Suite exacte scinde et produit semi-direct. Supposons quon ait une suite
exacte courte
1 H
i
G
p
K 1,
ce qui est quivalent dire que

H i (H) est un sous-groupe distingu de G et K G/H.
(Dans cette section, par souci de clart, on va distinguer le groupe H de son image

HG
par linjection i ). On dit aussi que G est une extension de H par K. On va tudier un cas
o lon peut reconstruire le groupe G partir de H et de K : on dit que la suite exacte est
scinde si elle admet une section, cest--dire un morphisme
r : K G, tel que p r Id
K
,
1.3. PRODUIT SEMI-DIRECT 21
ce qui peut se traduire par le diagramme commutatif :
1 H G K 1
i
p
r
Il est quivalent de dire quexiste un sous-groupe

K G tel que p[
K
:

K K soit un isomor-
phisme (la relation entre les deux est

K imr ). Dans ce cas, on a les proprits suivantes :

K

H{e} : en effet, imi

Hker p ;
lapplication

H

K G, (h, k) hk est une bijection : en effet, tout lment x G
scrit de manire unique x hk avec ncessairement k r p(x) et h xk
1
;
la loi de G scrit
(hk)(h
t
k
t
) (hkh
t
k
1
)(kk
t
) (h
k
(h
t
))(kk
t
),
(hk)
1
k
1 (h
1
)k
1
,
o k
k
dnit une application K Aut H, donc une action de K sur H par mor-
phismes de groupe (en fait, par automorphismes intrieurs de G, qui laissent bien
sr stable

H puisque

HG).
Rciproquement, tant donns deux groupes H et K, et une action de K sur H par mor-
phismes de groupes, cest--dire un morphisme
: K Aut H, k
k
,
alors on peut construire le produit semi-direct GHK par :
comme ensemble, GHK;
llment neutre de G est (e, e) ;
la loi de groupe est donne par (h, k)(h
t
, k
t
) (h
k
(h
t
), kk
t
).
On vrie facilement quon obtient ainsi un groupe, et quen outre, en dnissant i (h)
(h, 1) et p(h, k) k, on a la suite exacte
1 H
i
G
p
K 1.
On retrouve

H{(h, e)} et

K {(e, k)}.
On a nalement dmontr la proposition suivante :
1.3.2. Proposition. Soit G un groupe.
1 Si G contient deux sous-groupes H et K tels que HG, HK {e} et G HK, alors
GHK pour lopration k h khk
1
.
2 Si on a une suite exacte courte 1 HG K 1 admettant une section r : K G,
alors GHK pour lopration k h r (k)hr (k)
1
.
1.3.3. Remarque. Si G HK, alors les proprits suivantes sont quivalentes (exer-
cice) :
1 laction de K sur H est triviale ;
2 le produit semi-direct est un produit direct : GHK;
3

KG.
Exemples. 1 La suite exacte
1 Z/nZD
n
det
Z/2Z1
est scinde, une section est obtenue en envoyant 1 Z/2Z sur lune des symtries de D
n
,
donc D
n
Z/nZZ/2Z.
2 La suite exacte
1 A
n
S
n
Z/2Z1
est scinde, en envoyant 1 Z/2Z sur une transposition, donc S
n
A
n
Z/2Z; on remar-
quera que pour n 3 on dispose dun autre groupe, Z/6ZZ/3ZZ/2Z, sinsrant dans
une suite exacte avec A
3
Z/3Z et Z/2Z.
3 On a une suite exacte
0 Z/2Z
2
Z/4ZZ/2Z0,
qui nest pas scinde : sinon Z/4Zserait un produit semi-direct, mais puisquablien, tous
ses sous-groupes sont distingus et il serait forcment un produit Z/2ZZ/2Z.
4 La suite exacte
1 SL(n, K) GL(n, K)
det
K
1
est scinde, en envoyant K
sur la matrice diagonale dont le premier coefcient dia-

gonal est et les autres 1, donc GL(n, K) SL(n, K) K
.
5 Le groupe Aff(R
n
) des transformations afnes de R
n
admet la suite exacte scinde
1 R
n
Aff(R
n
) GL(n, R) 1,
o R
n
est le sous-groupe des translations, donc Aff(R
n
) R
n
GL(n, R).
1.3.4. Automorphismes des groupes cycliques. Rappelons sans dmonstration la
proposition suivante, consquence du thorme de Bezout :
1.3.5. Proposition. Soit n N
, s Z. Alors sont quivalents :

1 (s, n) 1 ;
2 s engendre le groupe additif Z/nZ;
3 s appartient au groupe des units (Z/nZ)
de lanneau Z/nZ.
Notons (n) lindicatrice dEuler de n,
(n) [(Z/nZ)
[ card{s [1, n], (s, n) 1}.

Si p est premier, alors (p) p 1, plus gnralement (p
) p
1
(p 1).
1.3.6. Proposition. 1 Le groupe des automorphismes du groupe additif Z/nZ est
(Z/nZ)
. Cest donc un groupe ablien dordre (n).

2 Si on dcompose n en facteurs premiers, n
i
i
, alors on a un isomorphisme dan-
neaux
Z/nZ
Z/p
i
i
Z,
et un isomorphisme de groupes
(Z/nZ)
(Z/p
i
i
Z)
.
3 (n)
i
1
i
(p
i
1) n
(1
1
p
i
).
1.3. PRODUIT SEMI-DIRECT 23
4 n
d[n
(d).
Dmonstration. 1 On a un morphisme de groupes
(Z/nZ)
Aut Z/nZ, a (x ax),

dont linverse associe f Aut Z/nZ sa valeur f (1) Z/nZ.
2 Cest une consquence immdiate du :
1.3.7. Lemme (Lemme chinois). Si p et q sont premiers entre eux, alors Z/pqZ
Z/pZZ/qZ comme anneaux.
Le morphisme danneau f : Z Z/pZZ/qZ, donn par f (n) (n, n), a exactement
pour noyaulidal pqZ. Il se factorise donc par unmorphisme injectif

f : Z/pqZZ/pZ
Z/qZ, qui est un isomorphisme puisque les deux membres ont mme cardinal. Cela d-
montre le lemme chinois. (Exercice : calculer explicitement linverse). Il est facile de le
gnraliser plusieurs facteurs Z/n
i
Z, o les n
i
sont premiers entre eux deux deux.
3 La formule rsulte immdiatement de 2 et de (p
) p
1
(p 1).
4 Le groupe Z/nZ admet exactement un sous-groupe dordre d pour chaque d[n, cy-
clique et engendr par
n
d
. Par consquent, les lments dordre d de Z/nZ sont exacte-
ment les gnrateurs de ce sous-groupe, donc sont au nombre de (d). On compte alors
les lments de Z/nZ suivant leurs ordres possibles, pour obtenir la formule voulue.
Pour p premier, Z/pZest un corps. Son groupe multiplicatif (Z/pZ)
est alors cyclique,

donc isomorphe Z/(p 1)Z, comme il rsulte du rsultat plus gnral suivant :
1.3.8. Proposition. Soit K un corps (commutatif ) et G un sous-groupe ni du groupe
multiplicatif K
. Alors G est cyclique.

Dmonstration. Soit n [G[. Lobservationde base est que si x Galors x
n
1. Comme
le polynme X
n
1 a au plus n racines dans K, on dduit que Gest exactement lensemble
des racines de X
n
1.
Par consquent, un lment de G dordre d engendre exactement le sous-groupe H
d

{x K
, x
d
1}. Donc, ou bien il ny a pas dlment dordre d dans G, ou bien ce sont
les lments dordre d dans le groupe cyclique H
d
, qui sont au nombre de (d). Ainsi le
nombre
d
dlments dordre d dans G est 0 ou (d). Comme n
d[n
(d)
d[n
d
, il
faut que
d
(d), en particulier
n
(n) >0, donc G est cyclique.
On termine dlucider la structure du groupe dautomorphismes de Z/nZ dans la pro-
position suivante :
1.3.9. Proposition. Soit p un nombre premier et >1.
1 Si p est impair, alors (Z/p
Z)
est cyclique.
2 Pour p 2, on a (Z/2Z)
{1}, (Z/4Z)
Z/2Z, et pour >3 on obtient (Z/2
Z)
Z/2
2
ZZ/2Z.
Dmonstration. On a la congruence suivante, pour k >0 :
(p +1)
p
k
1+p
k+1
mod p
k+2
.
La dmonstration de cette formule est laisse au lecteur. On en dduit :
(p +1)
p
2
1+p
1
mod p
,
(p +1)
p
1
1+p
mod p
+1
,
do rsulte que dans Z/p
Z on a (p +1)
p
2
/1 mais (p +1)
p
1
1. Lordre de p +1 dans
le groupe multiplicatif (Z/p
Z)
est donc p
1
.
Par ailleurs, ondispose dungnrateur x dugroupe (Z/pZ)
, donc dordre p1. Consi-

drant le morphisme danneau surjectif Z/p
ZZ/pZ, on peut relever x en un lment

x (Z/p
Z)
, dont lordre est un multiple de p 1. Donc une puissance y de x est dordre

exactement p 1 dans (Z/p
Z)
.
On dispose donc dans le groupe (Z/p
Z)
de llment p +1 dordre p
1
et dun l-
ment y dordre p 1. On applique alors le lemme suivant, variante du lemme chinois (la
dmonstration est laisse en exercice) :
1.3.10. Lemme. Si deux lments a et b dun groupe G ont des ordres r , s premiers entre
eux, et si ab ba, alors ab est dordre r s dans G.
Il rsulte du lemme que (p +1)y est dordre (p 1)p
1
dans (Z/p
Z)
, donc (Z/p
Z)
est cyclique.
Passons la seconde partie de la proposition. Elle sappuie sur la congruence, laisse
en exercice :
5
2
k
1+2
k+2
mod 2
k+3
.
Comme ci-dessus, on dduit que 5 est dordre 2
2
dans (Z/2
Z)
. On considre alors le
morphisme de groupes
f : (Z/2
Z)
(Z/4Z)
{1, 1}.
Son noyau est dordre 2
2
, et contient 5, dordre 2
2
: il est donc cyclique. On obtient
ainsi une suite exacte
1 Z/2
2
Z(Z/2
Z)
f
Z/2Z1.
Mais Z/2Z se relve en le sous-groupe {1} (Z/2
Z)
, donc la suite est scinde. Puisque

(Z/2
Z)
est ablien, il faut que ce soit un produit direct : (Z/2
Z)
Z/2
2
ZZ/2Z.
La connaissance des automorphismes de Z/nZ permet de construire des produits
semi-directs. Voici un exemple dapplication :
1.3.11. Thorme. Soit p <q deux nombres premiers, et G un groupe dordre pq. Alors :
ou bien p q 1, et G est cyclique ;
ou bien p[q 1, alors il y a, isomorphisme prs, deux possibilits pour G : un groupe
cyclique ou un produit semi-direct Z/qZZ/pZ.
Voir TD.
1.4. GROUPES ABLIENS DE TYPE FINI 25
1.4. Groupes abliens de type ni
Le but de cette section est le thorme 1.4.7 de structure des groupes abliens de type
ni. Cest un cas particulier du thorme de structure des modules de type ni sur un
anneau principal, qui sera vu en Algbre 2, car un groupe ablien est la mme chose quun
Z-module.
1.4.1. Engendrement ni. Un groupe est de type ni sil possde une partie gnra-
trice nie.
Si G est un groupe ablien de type ni, alors G est engendr par un nombre ni dl-
ments : Gx
1
, . . . , x
r
. Cela signie que le morphisme de groupes,
Z
r
G, (n
i
)
i 1,...,r

r
1
n
i
x
i
, (10)
est surjectif.
1.4.2. Proposition. 1 Si on a un morphisme entre deux groupes abliens, f : GH, tel
que ker f et im f soient niment engendrs, alors G est niment engendr.
2 Si G ablien est niment engendr, alors tout sous-groupe de G est niment engendr.
Dmonstration. 1 Soient y
1
f (x
1
), . . . , y
r
f (x
r
) H un ensemble de gnrateurs
pour im f . Soit x G, alors il existe des entiers n
i
tels que f (x)
r
1
n
i
y
i
, donc x
r
1
n
i
x
i

ker f . Fixant un ensemble de gnrateurs z
1
, . . . , z
s
pour ker f , on dduit que x
r
1
n
i
x
i

s
1
m
j
z
j
, donc G est engendr par la famille nie obtenue en runissant les (x
i
) et les (z
j
).
2 On raisonne par rcurrence sur le nombre n de gnrateurs de G. Si G est engendr
par n lments, on a un morphisme surjectif
Z
n
p
G0.
Soit K p(Z
n1
) et f : G G/K la projection. Soit H un sous-groupe de G : alors f (H)
est monogne (sous-groupe de G/K qui est monogne), et ker f [
H
HK est niment
engendr par lhypothse de rcurrence, donc H est niment engendr.
1.4.3. Groupes abliens libres de type ni. Un groupe ablien est libre sil est iso-
morphe un produit, ni ou inni, de copies de Z. Un groupe G ablien libre de type ni
est donc isomorphe un produit ni Z
r
. Cela signie quil existe r N et des lments
x
i
G pour i 1, . . . , r , de sorte que le morphisme (10) soit un isomorphisme. Un tel en-
semble (x
i
)
i 1,...,r
est appel une base de G. Plus gnralement, on dira quun ensemble
(x
i
)
i 1,...,r
dlments de G est linairement indpendant si (10) est injectif.
Tout notre traitement dans cette section repose sur le lemme fondamental suivant,
donnant la classication des matrices quivalentes coefcients entiers :
1.4.4. Lemme. Soit A une matrice mn coefcients dans Z. Alors il existe des matrices
P GL(m, Z) et Q GL(n, Z), telles que
PAQ
1
_
_
_
_
_
_
_
_
_
d
1
.
.
.
d
r
0
.
.
.
_
_
_
_
_
_
_
_
_
, (11)
o les d
i
sont des entiers positifs satisfaisant d
1
[ [d
r
, appels facteurs invariants. Ils sont
entirement dtermins par A.
Le lemme montre quune matrice coefcients entiers est dtermine, quivalence
prs, non seulement par son rang r (le seul invariant pour les matrices coefcients dans
un corps), mais aussi par les diviseurs d
i
.
Admettons pour le moment le lemme 1.4.4. On en dduit assez rapidement tous les
thormes importants de la thorie.
1.4.5. Thorme. Toutes les bases dun groupe ablien libre de type ni G ont le mme
nombre dlments, appel le rang de G.
Dmonstration. Il suft de montrer que si un groupe ablien libre G a une base
(x
i
)
i 1,...,n
, alors toute famille linairement indpendante dlments de G a au plus n
lments. Soit donc une famille (y
j
)
j 1,...,m
dlments de G: puisque (x
i
) est une base, on
obtient une matrice coefcients entiers A(A
i j
) dnie par y
j

i
A
i j
x
i
. Appliquant le
lemme 1.4.4, on dduit quexistent des matrices P et Q telles que PAQ
1
ait la forme (11),
ce qui signie que P(y
j
) d
j
Q(x
j
). Pour j >n on a ncessairement d
j
0, donc pour que
la famille (y
j
), ou de manire quivalente (P(y
j
)), soit linairement indpendante, il faut
que m<n.
1.4.6. Thorme. Un sous-groupe H dun groupe ablien G, libre de rang ni s, est libre
de rang r <s. En outre, il existe une base (e
1
, . . . , e
s
) de G et des entiers (d
1
, . . . , d
r
) tels que
1 (d
1
e
1
, . . . , d
r
e
r
) soit une base de H;
2 on ait les divisibilits d
1
[d
2
[ [d
r
.
Dmonstration. On prend une base (x
i
) de G, et un ensemble (y
j
) de gnrateurs de
H G. Alors chaque y
j
se dcompose sur la base : y
j

i
A
i j
x
i
. Appliquant le lemme
1.4.4, on dduit que dans la base (e
i
Q(x
i
)) de G, la partie gnratrice de H, donne par
les (P(y
j
)), est donne par (d
1
e
1
, . . . , d
r
e
r
, 0, . . .). Le thorme sen dduit immdiatement.
On dduit du thorme 1.4.6 le thorme de structure suivant :
1.4.7. Thorme. Soit G un groupe ablien de type ni. Alors il existe des entiers r et s,
des entiers naturels d
1
[d
2
[ [d
s
, tous uniquement dtermins par G, tels que
GZ
r
s
1
Z/d
i
Z
_
.
1.4. GROUPES ABLIENS DE TYPE FINI 27
Par le lemme chinois, le second morceau du produit scrit aussi comme
j
Z/p
j
j
Z, (12)
o les p
j
sont des nombres premiers, ventuellement rpts. Rciproquement, on rcu-
pre, de manire unique, les facteurs invariants d
i
partir de la collection des p
j
j
: le plus
grand facteur d
s
est le ppcmdes p
j
j
, et scrit d
s
j
t
j
t
, on enlve alors les j
t
de { j } pour
obtenir d
s1
comme le ppcm des p
j
j
restants, etc.
Dmonstration. Puisque G est de type ni, on dispose dun morphisme surjectif
Z
n
f
G0.
On applique le thorme 1.4.6 au noyau H ker f , donc il existe une base (e
i
)
i 1,...,n
de
Z
n
, telle que (d
1
e
1
, . . . , d
r
e
r
) soit une base de H. Cela identie H au sous-groupe
d
1
Z d
r
ZZ
n
.
Do GZ
n
/HZ/d
1
Z Z/d
r
ZZ
nr
.
Reste montrer lunicit de r , s et des d
i
. Le sous-groupe des lments de torsion,
T {x G, n N, nx 0}
est ncessairement le facteur
i
Z/d
i
Z, donc G/T Z
r
est un groupe ablien libre de rang
r , donc r est bien dtermin. Il reste donc montrer que, pour le groupe ni T, les d
i
sont uniquement dtermins, ou, ce qui est quivalent, les facteurs p
j
j
gurant dans (12).
En se limitant au sous-groupe des lments dont lordre est une puissance de p (cest le
p-Sylow de T), on est ramen au cas o les d
j
p
j
, donc
T Z/p
1
Z Z/p
s
Z,
1
< <
s
.
Considrons le sous-groupe T
j
{p
j
x, x T}. Alors [T
j
[
i
>j
p
i
j
, et en particulier
[T
j
/T
j +1
[ p
{i ,
i
>j }
. On rcupre ainsi les exposants
j
partir des sous-groupes T
j
,
compltement dtermins par T.
1.4.8. Dmonstrationdulemme 1.4.4. Commenons par lunicit des coefcients d
i
.
Il est clair que d
1
est le pgcd de tous les coefcients de A (les pgcd des coefcients de A et
PAQ
1
sont gaux), donc est dtermin par A. tendons cette observation de la manire
suivante. Notons
m
k
(A) pgcd des mineurs dordre k de A.
Pour k 1, on retrouve le pgcd des coefcients de A. Le point crucial est linvariance par
quivalence,
m
k
(PAQ
1
) m
k
(A), P GL(m, Z), Q GL(n, Z). (13)
Il en rsulte m
k
(A) d
1
d
k
, et donc les d
i
sont entirement dtermins par A.
Dmontrons donc (13). Il suft de montrer que, pour toute matrice P coefcients
entiers,
m
k
(A)[m
k
(PA). (14)
En effet, si P est inversible, cela implique m
k
(A)[m
k
(PA)[m
k
(P
1
PA) m
k
(A), donc
m
k
(PA) m
k
(A). Par passage la transpose, cela fournit aussi m
k
(AQ) m
k
(A) et donc
(13).
Finalement, on montre directement (14) en exprimant les mineurs de PA comme com-
binaisons linaires coefcients entiers des mineurs de A : les dtails sont laisss au lec-
teur.
Passons prsent lexistence de P et Q. Comme pour la classication quivalence
prs des matrices sur un corps, on fait agir des transformations lmentaires qui peuvent
sinterprter comme la multiplication droite ou gauche par une matrice lmentaire.
La diffrence avec le cas dun corps tant quon ne peut pas diviser.
Les oprations disponibles sont donc les suivantes :
la multiplication gauche par la matrice Id+aE
i j
permet dajouter la i -me ligne
la j -me ligne, multiplie par un entier a ;
la multiplication droite par la matrice Id+aE
i j
permet dajouter la j -me colonne
la i -me colonne, multiplie par un entier a ;
la multiplication gauche ou droite par une matrice de transposition permet
dchanger des lignes ou des colonnes.
La mthode utilise une rcurrence sur la taille de la matrice.
Soit le pgcd des coefcients de la premire colonne. On va appliquer des oprations
lmentaires sur les lignes pour obtenir une premire colonne dont tous les coefcients
sont nuls, sauf le coefcient a
11
qui sera gal . Faisons le sur les deux premiers coef-
cients a
11
et a
12
: si a
12
0, il ny a rien faire, sinon, effectuons la division euclidienne
a
11
ba
12
+c avec 0 <c <[a
12
[ ; en effectuant la transformation lmentaire dans laquelle
la seconde ligne, multiplie par b, est soustraite de la premire, puis la permutation de la
premire et de la seconde ligne, les coefcients (a
11
, a
12
) sont transforms en (a
12
, c). En
itrant, lalgorithme dEuclide nous indique quon nit par arriver au couple ((a
11
, a
22
), 0).
Il est maintenant clair quen rptant ce procd sur chaque ligne, on arrive la premire
colonne souhaite, (0 0).
La mme mthode peut alors tre applique la premire ligne, en utilisant des opra-
tions lmentaires sur les colonnes, pour obtenir une matrice de la forme
_
_
_
_
_
_
1
0 0
0
.
.
. B
0
_
_
_
_
_
_
.
On applique lhypothse de rcurrence sur B pour parvenir la matrice diagonale
_
_
_
1
.
.
.
r
_
_
_, o
2
[
3
[ [
r
.
Dans la construction, il ny a pas de raison a priori que
1
[
2
. En fait, on peut remplacer
le couple (
1
,
2
) par (d
1
, p
2
), o d
1
et p
2
sont les pgcd et ppcm de
1
et
2
: en effet, par
lapplication dune transformation lmentaire, puis du procd prcdent rpt deux
fois, on obtient successivement (en ncrivant que les deux premires lignes et colonnes,
1.5. GROUPES SIMPLES ET SUITES DE COMPOSITION 29
sur lesquelles les oprations ont lieu)
_
2
_
2

2
_
_
d
1

0
_
_
d
1
p
2
_
o le dernier coefcient est forcment le ppcm p
2
de d
1
et d
2
, car le dterminant de la
matrice reste inchang (au signe prs).
Appliquant le mme procd au couple (p
2
,
3
), on peut le remplacer par (d
2
, p
3
) avec
d
1
[d
2
. En itrant le procd, on remplace les coefcients (
1
, . . . ,
r
) par (d
1
, . . . , d
r
) avec
d
1
[ [d
r
.
1.5. Groupes simples et suites de composition
1.5.1. Groupes simples. Un groupe G est simple si ses seuls sous-groupes distingus
sont {e} et G. Un groupe simple est donc un groupe qui na pas de quotient non trivial,
on ne peut pas esprer le comprendre partir de groupes plus petits : les groupes simples
sont les blocs de base de la thorie des groupes.
Lexemple de base dun groupe simple non ablien est le groupe altern :
1.5.2. Thorme. Pour n /4, le groupe altern A
n
est simple.
Le thorme est faux pour n 4, en effet, le groupe A
4
contient le groupe de Klein des
doubles transpositions :
K {Id, (12)(34), (13)(24), (14)(23)},
qui est distingu, puisquune conjugaison doit envoyer une double transposition sur une
double transposition.
Limportance historique du thorme rside dans la consquence que le groupe sym-
trique S
n
nest pas rsoluble (voir 1.5.4) pour n >5. Par thorie de Galois, cela implique
que lquation gnrale de degr n >5 nest pas rsoluble par radicaux, voir le cours dAl-
gbre 2.
1.5.3. Corollaire. 1 Si n /4, les sous-groupes distingus de S
n
sont {e}, A
n
et S
n
.
2 Pour n >5 on a D(A
n
) A
n
. Pour n >2 on a D(S
n
) A
n
.
Dmonstration. La premire partie du corollaire est une consquence immdiate du
thorme, puisque si HS
n
, alors HA
n
A
n
, donc HA
n
A
n
ou {e}. Pour la seconde
partie, on utilise que D(A
n
) A
n
, donc est gal {e} ou A
n
pour n / 4 : mais la premire
hypothse signie que A
n
est ablien. De D(S
n
) S
n
et D(S
n
) A
n
(car la signature dun
commutateur est toujours 1) on dduit le second nonc pour n /4 ; le cas n 4 est laiss
au lecteur.
Dmonstration du thorme. Pour unsous-groupe distingu Hde G, onutilise les deux
faits suivants : si x G et y H alors
xyx
1
H (toute la classe de conjugaison de y est dans H) ;
xyx
1
y
1
H (donne un moyen de construire des lments de H dans dautres
classes de conjugaison).
La mthode de preuve consiste alors, partir dun lment dun sous-groupe distingu
H/{e} de A
n
, en fabriquer sufsamment pour assurer quen ralit HA
n
.
Premire tape : pour n >5 tous les 3-cycles sont conjugus dans A
n
. En effet, deux 3-
cycles sont toujours conjugus dans S
n
, par exemple crivons (123) c
1
, avec S
n
,
alors on a aussi (123)
t
c
t1
avec
t
(45), et au moins lun des deux lments ou
t
est dans A
n
. On dduit que si H contient un 3-cycle, alors il contient tous les 3-cycles,
et donc est gal A
n
qui est engendr par les 3-cycles.
Seconde tape : si H contient une double transposition, ou un 5-cycle, alors il contient
un 3-cycle car, si n >5, et a, b, . . . , e sont distincts,
(abc) (ae)(cd) (ad)(ce) (ab)(de),
(abd) (abc)(abcde)(abc)
1
(abcde)
1
.
Dans les deux cas, on en dduit que H A
n
. Cela rsoud compltement le cas n 5,
puisque A
5
ne contient que des doubles transpositions, des 3-cycles et des 5-cycles.
Troisime tape : on montre que si A
n1
est simple, alors A
n
est simple. On commence
par montrer que H contient toujours un lment non trivial envoyant 1 sur lui-mme :
supposons H, avec (1) i /1, on va corriger en un lment
t
Htel que
t
(1) 1 :
soit j {1, i } tel que ( j ) / j , et l , m {1, i , j , ( j )}. Alors llment de H
t
( j l m)
1
( j l m)
1
vrie
t
(1) 1 et
t
( j ) l / j . Donc
t
/e et
t
G
1
H, o
G
1
{ A
n
, (1) 1} A
n1
.
Ainsi HG
1
/ {e}. Or HG
1
G
1
donc, par lhypothse de rcurrence, HG
1
G
1
et H
contient donc un 3-cycle. Donc HA
n
.
1.5.4. Le thorme de Jordan-Hlder. La notion de suite de composition exprime
lide de casser en morceaux simples un groupe : une suite de composition dun groupe
G est une suite de sous-groupes embots,
GG
0
G
1
G
r
{e},
telle que G
i
G
i 1
et G
i
/G
i 1
soit simple.
1.5.5. Exemple. Le groupe symtrique S
4
admet la suite de composition suivante :
S
4
A
4
K Z/2Z1,
avec quotient successifs Z/2Z, Z/3Z, Z/2Z, Z/2Z.
Dans cet exemple, tous les quotients simples sont abliens. Un groupe dont tous les
quotients dans une suite de composition sont abliens est appel rsoluble.
Une autre suite de composition G G
t
0
G
t
1
G
t
s
{e} est dite quivalente la
premire si r s et il existe une permutation S
r
telle que G
(i )
/G
(i )1
G
t
i
/G
t
i 1
.
Le thorme suivant indique lexistence et lunicit des suites de composition : il dit
ainsi quen un certain sens tous les groupes sont construits partir de ces blocs de base.
La classication des groupes nis simples est un norme travail, achev dans les annes
80, donc ces blocs de base sont connus, mais cela nentrane pas du tout quon connaisse
tous les groupes nis en gnral !
1.5. GROUPES SIMPLES ET SUITES DE COMPOSITION 31
1.5.6. Thorme (Jordan-Hlder). Tout groupe ni admet une suite de composition.
Cette suite est unique, quivalence prs.
Dmonstration. Lexistence dune suite de composition est simple : on dnit G
1
comme un sous-groupe distingu non trivial maximal, alors G/G
1
est simple car un
sous-groupe distingu de G/G
1
remonterait en un sous-groupe distingu de G conte-
nant G
1
, qui ne saurait tre que G
1
ou G; dans le premier cas, le sous-groupe de G/G
1
est {e}, dans le second G/G
1
entier. On recommence le raisonnement partir de G
1
pour construire G
2
. La construction sarrte quelque part puisque les cardinaux des G
i
dcroissent strictement.
La dmonstration de lunicit va utiliser le lemme suivant :
1.5.7. Lemme. Si H
1
G et K
1
G sont deux sous-groupes distingus distincts, tels que
G/H
1
et G/K
1
soient simples, alors
G/H
1
K
1
/H
1
K
1
, G/K
1
H
1
/H
1
K
1
.
Admettons le lemme pour le moment. On raisonne par rcurrence : supposons le rsul-
tat vrai pour les groupes dont la suite de composition a une longueur infrieure ou gale
r 1. Alors, si G a deux suites de composition, (H
i
)
i <r
et (K
j
)
j <s
, on introduit une suite de
composition (L
k
)
2<k<t
pour H
1
K
1
:
H
1
H
2
H
r
{e}

G L
2
H
1
K
1
L
t
{e}

K
1
K
2
K
s
{e}
Compte tenu du lemme, tous les quotients apparaissant dans ce schma sont simples.
Par consquent, nous avons deux suites de composition pour H
1
, savoir (H
i
)
2<i <r
et
(L
k
)
2<k<t
. Par lhypothse de rcurrence, il faut que r t et, permutation prs, les quo-
tients (H
1
/H
2
, . . . , H
r 1
/H
r
) sont isomorphes aux quotients
(H
1
/H
1
K
1
G/K
1
, H
1
K
1
/L
3
, . . . , L
r 1
/L
r
). (15)
Puisquon dispose maintenant de la suite de composition (L
k
) de K
1
, de longueur r 1, on
peut appliquer aussi lhypothse de rcurrence K
1
pour obtenir que s t r , et que les
(K
1
/K
2
, . . . , K
r 1
/K
r
) sont isomorphes aux
(K
1
/H
1
K
1
G/H
1
, H
1
K
1
/L
3
, . . . , L
r 1
/L
r
). (16)
De la comparaison de (15) et (16) rsulte immdiatement que les deux suites de composi-
tion (H
i
) et (K
j
) de G sont quivalentes.
Dmonstration du lemme 1.5.7. Le noyau de la projection K
1
G
1
/H
1
est H
1
K
1
,
donc on a une injection
K
1
/H
1
K
1
G
1
/H
1
.
Comme K
1
est distingu dans G, on obtient que K
1
/H
1
K
1
est distingu dans G
1
/H
1
. Par
simplicit de ce dernier, il faut alors que K
1
/H
1
K
1
G
1
/H
1
.
CHAPITRE 2
GROUPES CLASSIQUES
Prliminaires sur les corps
Les groupes classiques quon tudie dans ce chapitre sont dnis sur des corps, et
quelques proprits de base de la thorie des corps seront utiles. Le but de cette section
prliminaire est de les rappeler. La thorie des corps sera vue dans le cours dAlgbre 2.
Soit Kun corps. On dispose dun morphisme danneau,
: ZK,
dni par
(n) n 1 1+ +1.
Alors le noyau de est un idal pZZ, et fournit un morphisme injectif
: Z/pZK.
Puisque K est un corps, Z/pZ doit tre intgre et donc p est un nombre premier sil est
non nul.
Le nombre p (un entier premier ou bien 0) est appel la caractristique de K, note
carK.
On obtient immdiatement les proprits suivantes :
Si carK p / 0, alors p 1 0 dans K, donc pour tout x K on a p x p(1 x)
(p 1)x 0.
Si Kest un corps ni, alors p carK>0 et KimF
p
, un sous-corps de Kappel
sous-corps premier. Comme K est un F
p
-espace vectoriel, il faut que [K[ p
o
dim
F
p
K. (Si carK0, alors K contient Q comme sous-corps, cest le sous-corps
premier de K).
Si carK p > 0, alors F : x x
p
est un morphisme de corps, appel morphisme de
Frobenius. En effet, par la formule du binme,
(x +y)
p
x
p
+C
1
p
x
p1
y + +y
p
x
p
+y
p
(17)
car p[C
i
p
pour 1 <i < p 1. Si K est ni, alors F est un automorphisme (il est nces-
sairement injectif, puisque son noyau est un idal, qui ne peut tre que 0 ou K, mais
34 CHAPITRE 2. GROUPES CLASSIQUES
F(1) 1 donc cest 0). Le sous-corps premier de Kest exactement
{x K, F(x) x}.
La dernire proprit dont nous aurons besoin est lgrement plus difcile, et nous ne
la dmontrerons pas, renvoyant au cours dAlgbre 2.
Proposition. Si q p
, o p est un nombre premier et un entier naturel, il existe,

isomorphisme prs, un et seul corps ni F
q
de cardinal q.
Puisque le groupe multiplicatif dun tel corps est dordre q 1, ses lments satisfont
x
q
x.
Les lments du corps cherch sont donc exactement les racines du polynme X
q
X.
Rciproquement, le corps F
q
sera construit comme le corps de rupture dupolynme X
q
X
sur F
p
, cest--dire le plus petit sur-corps de F
p
dans lequel le polynme X
q
X est racines
simples. Si on admet lexistence dune clture algbrique

F
p
de F
p
, alors le corps F
q
scrit
F
q
{x
F
p
, x
q
x}.
Cest un sous-corps de

F
p
car, de manire similaire (17), on a (x +y)
q
x
q
+y
q
.
2.1. Le groupe linaire
Soit Kuncorps (commutatif ), E unK-espace vectoriel de dimensionn, alors ondispose
du groupe GL(E) des transformations linaires inversibles de E. Par le choix dune base de
E, ce groupe sidentie au groupe GL(n, K) des matrices n n inversibles coefcients
dans K. On a vu dans le chapitre 1 la dcomposition en produit semi-direct
GL(n, K) SL(n, K) K
.
2.1.1. Gnrateurs. On tudie les lments de GL(E) les plus simples possibles, sa-
voir les transformations laissant xe un hyperplan de E. Soit donc u GL(E) laissant xe
lhyperplan HE, mais u /Id. Alors Dim(u Id) est une droite. Fixant un gnrateur a
de D, on dduit que u scrit
u(x) x + f (x)a, (18)
o f E
est une forme linaire telle que ker f H (autrement dit, f H
). Deux cas se
prsentent :
1 E HD, alors dans une base (e
1
, . . . , e
n
a) de E telle que (e
1
, . . . , e
n1
) soit une
base de H, on obtient la matrice diagonale
u
_
_
_
_
_
_
1
.
.
.
1
_
_
_
_
_
_
(19)
avec det u /1 puisque u /Id; on dit que u est une dilatation dhyperplan H, de
droite D, et de rapport ;
2.1. LE GROUPE LINAIRE 35
2 DH, alors on choisit une base (e
1
, . . . , e
n1
a, e
n
) de E telle que (e
1
, . . . , e
n1
) soit
une base de H et f (e
n
) 1 : dans cette base u scrit
u
_
_
_
_
_
_
1
1
.
.
.
1
1
_
_
_
_
_
_
; (20)
en particulier det u 1 et u nest pas diagonalisable ; on dit que u est une transvec-
tion de droite D et dhyperplan H.
Une transvection donne par la formule (18) sera note u ( f , a). Cette criture nest
pas unique, puisque ( f , a) (f ,
1
a).
On a
( f , a)(g, a) ( f +g, a)
donc lespace des transvections de droite donne (auxquelles on ajoute lidentit) est un
sous-groupe de GL(E) isomorphe lespace vectoriel dual E
. En particulier il est ablien.

Si g GL(E) alors
g( f , a)g
1
( f g
1
, g(a))
est une transvection de droite g(D) et dhyperplan g(H). On en dduit :
2.1.2. Proposition. Le centre de GL(E) est rduit aux homothties, donc Z(GL(E)) K
.
Le centre de SL(E) est SL(E) Z(GL(E)) { K,
n
1}.
Dmonstration. Si u GL(E) commute avec tout lment de SL(E), alors pour toute
transvection de droite D on a
uu
1
qui est une transvection de droite u(D), donc il faut que u(D) D. Donc u xe toutes les
droites de E, ce qui entrane que u est une homothtie.
2.1.3. Thorme. Les transvections engendrent le groupe SL(E). Les transvections et les
dilatations engendrent le groupe GL(E).
Dmonstration. La seconde partie de lnonc se ramne la premire, car si u GL(E)
et est une dilatation de rapport det u, alors
1
u SL(E), donc est un produit de trans-
vections : ainsi u est le produit de la dilatation et dun produit de transvections.
Reste montrer la premire partie. On commence par :
2.1.4. Lemme. Si x, y E{0} et dimE >2, alors il existe un produit u de transvections
tel que u(x) y.
Dmontrons le lemme : si x et y ne sont pas colinaires, on prend une base (e
i
) de E
telle que x e
n1
et y e
n1
+e
n
, alors la transvection (20) envoie bien x sur y ; si x et y
sont colinaires, soit z Kx, il suft de composer une transvection envoyant x sur z avec
une autre envoyant z sur y.
Revenons maintenant la dmonstration du thorme, que lon va faire par rcurrence
sur dimE. Pour dimE 1, il ny a rien montrer. Si dimE > 2, si v SL(E) et x E, alors,
quitte composer v par unproduit de transvections envoyant v(x) sur x, onpeut supposer
que v(x) x. Notons D la droite engendre par x, alors v induit une application linaire
v : E/DE/D, galement de dterminant 1 (si on choisit un supplmentaire F de D dans
E, alors dans E DF la matrice de v est triangulaire suprieure par blocs, et les deux
blocs diagonaux sont 1 et v). Par lhypothse de rcurrence, v
i
( x
i
, f
i
), avec x
i
E/D
et f
i
(E/D)
. Relevant x
i
en x
i
E, alors w
i
(x
i
, f
i
) satisfait :
w(x) v(x) x car f
i
D
cest--dire f
i
(x) 0 ;
le morphisme induit w SL(E/D) concide avec v.
Il en rsulte que im(w
1
v Id) D, donc w
1
v est ou bien lidentit, ou bien une trans-
vection de droite D. Ainsi v est un produit de transvections.
2.1.5. Conjugaison, commutateurs. partir des formes matricielles (19) et (20), il est
vident que deux dilatations sont conjugues dans GL(E) si et seulement si elles ont mme
rapport, et que deux transvections sont toujours conjugues dans GL(E). On en dduit :
2.1.6. Proposition. 1 Deux transvections de SL(E) sont toujours conjugues dans SL(E)
si dimE >3.
2 Si dimE 2, une transvection est toujours conjugue dans SL(E) une matrice (
1
0 1
),
o K
, et , K
dnissent deux transvections conjugues si et seulement si

est un
carr dans K.
Dmonstration. Si on a deux transvections u et v, alors il existe g GL(E) telle que
v gug
1
. On veut corriger g en g s SL(E) de sorte que v (g s)u(g s)
1
. Il suft donc de
trouver s GL(E), de sorte que det s (det g)
1
et sus
1
u. En se plaant dans une base
o u est de la forme (20), on voit quil suft de prendre pour s la dilatation
s
_
_
_
_
_
_
(det g)
1
1
.
.
.
1
_
_
_
_
_
_
,
ce qui est possible ds que dimE >3. Le cas de la dimension 2 est laiss en exercice.
2.1.7. Thorme. 1 On a D(SL(n, K)) SL(n, K) sauf si n 2 et KF
2
ou F
3
.
2 On a D(GL(n, K)) SL(n, K) sauf si n 2 et KF
2
.
On a GL(2, F
2
) SL(2, F
2
) S
3
(lisomorphisme se voit en considrant laction sur len-
semble des 3 droites de F
2
2
), dont le groupe driv est A
3
. Dautre part, on peut mon-
trer que SL(2, F
3
) H
8
Z/3Z, o H
8
est le groupe des quaternions, dordre 8, et que
D(SL(2, F
3
)) H
8
.
Dmonstration. Le dterminant dun commutateur est 1, donc le groupe driv est
toujours inclus dans SL(n, K). Pour montrer quil est gal, on fera trois raisonnements, qui,
ensemble, couvriront lensemble des cas. chaque fois, on montre que le groupe driv
contient les transvections, et donc tout le groupe SL(n, K).
Le premier raisonnement est le suivant. Soit une transvection; si carK/2, alors
2
/
Id est encore une transvection; si n > 3, les transvections sont conjugues dans SL(n, K),
donc
2
ss
1
pour un s SL(n, K) et ss
1
1
, donc D(SL(n, K)). Si n 2
les transvections sont conjugues dans GL(2, K) donc le mme raisonnement avec s
2.1. LE GROUPE LINAIRE 37
GL(2, K) montre que D(GL(n, K)). Le thorme est ainsi dmontr ds que carK / 2
et n >3 pour le groupe SL, et carK/2 et n quelconque pour le groupe GL (en particulier
on obtient le cas n 2 et KF
3
pour GL, alors que dans ce cas le thorme est faux pour
SL).
Le deuxime raisonnement dmarre par lobservation suivante : si s (
1
) et t
(
1 1
1
), alors st s
1
t
1
(
1
2
1
1
). On obtient ainsi une transvection si
2
1 /0, donc si
2
/
1, ce quon peut assurer si K/F
2
, F
3
. Fixant un tel , toute transvection admet une base o
elle scrit (
1
2
1
1
), donc est un commutateur dans SL(2, K). Cela stend immdiatement
en toute dimension, donc si K / F
2
, F
3
, toute transvection est un commutateur, et ainsi
D(SL(n, K)) SL(n, K).
Le troisime raisonnement utilise le calcul
s
_
_
1
1
1
_
_
, t
_
_
1 1
1
1
_
_
, alors t st
1
s
1
_
_
1 1
1 1
1
_
_
,
qui est encore une transvection. Cela couvre le cas n >3 pour un corps quelconque, et en
particulier pour le dernier cas manquant KF
2
.
2.1.8. Simplicit. On dnit lespace projectif KP
n1
K
n
{0}/K
des droites de K
n
.
Enparticulier, KP
1
{(x, 1), x K}{(1, 0)} K{}, appel droite projective, est constitu
dune copie de Ket dun point linni.
Lactionde GL(n, K) sur K
n
induit une actionsur KP
n1
. Le noyau de lactionest consti-
tu des transformations g GL(n, K) qui xent chaque droite, cest--dire des homoth-
ties. Par passage au quotient, on obtient ainsi une action dle sur KP
n1
du groupe pro-
jectif linaire PGL(n, K) GL(n, K)/Z(GL(n, K)). De manire analogue, on obtient une ac-
tion dle du groupe PSL(n, K) SL(n, K)/Z(SL(n, K)).
Dans le cas dun corps ni, on pourra vrier en exercice les cardinaux des groupes
ainsi construits :
[GL(n, F
q
)[ (q
n
1)(q
n
q) (q
n
q
n1
),
[SL(n, F
q
)[ [PGL(n, F
q
)[ (q
n
1)(q
n
q) (q
n
q
n2
)q
n1
,
[PSL(n, F
q
)[
[SL(n, F
q
)[
(n, q 1)
.
Le but de cette section est :
2.1.9. Thorme. Le groupe PSL(n, K) est simple sauf si n 2 et KF
2
ou F
3
.
Les exceptions ne sont effectivement pas simples : PSL(2, F
2
) SL(2, F
2
) S
3
comme
on la vu ci-avant, et on peut vrier que laction sur F
3
P
1
(qui compte 4 points) identie
PSL(2, F
3
) A
4
et PGL(2, F
3
) S
4
.
Ce nest pas par hasard que les exceptions sont les mmes dans les thormes 2.1.7 et
2.1.9. En effet, on va prsenter ici une dmonstration o le second thorme est dduit
du premier par la mthode dIwasawa, qui sappuie sur laction du groupe SL(n, K) sur
lespace projectif KP
n1
.
Plus gnralement, supposons quun groupe G agisse sur un ensemble X. On dira que
G agit primitivement sur X si
1 laction de G sur X est transitive ;
2 le stabilisateur G
x
dun point de X est un sous-groupe maximal de G.
Un cas particulier daction primitive est donne par une action 2-transitive, cest--dire
telle que pour tous x
1
, x
2
, y
1
, y
2
X, x
1
/ x
2
, y
1
/ y
2
, il existe g G tel que g x
1
y
1
et
g x
2
y
2
(cest--dire : laction de G sur X X , o {(x, x), x X}, par g (x, y)
(g x, g y), est transitive). En effet, il suft de vrier quun stabilisateur G
x
est forcment
un sous-groupe maximal, ce quon va obtenir en montrant que, pour tout g GG
x
, on
a GG
x
G
x
gG
x
. Fixons g GG
x
, soit y g x / x : si k GG
x
, alors, puisque G
x
est
transitif sur X {x}, il existe h G
x
tel que k x h y hg x, donc g
1
h
1
k G
x
donc
k G
x
gG
x
, ce quil fallait montrer.
Le thorme permettant de montrer la simplicit dun groupe partir dune action pri-
mitive est le suivant :
2.1.10. Thorme. Supposons que le groupe G agisse primitivement sur X. Si on se
donne, pour chaque x X, un sous-groupe T
x
G tel que :
1 T
x
est ablien;
2 T
gx
gT
x
g
1
pour tout g G et x X ;
3
xX
T
x
engendre G.
Alors tout sous-groupe distingu de G agissant non trivialement sur X contient D(G).
Commenons par voir comment cet nonc permet de dmontrer le thorme 2.1.9 :
Dmonstration du thorme 2.1.9. Laction de PSL(n, K) sur X KP
n1
est 2-transitive,
donc primitive. On applique le thorme 2.1.10 en utilisant pour x X le groupe des trans-
vections de vecteur x. Il satisfait les hypothses du thorme, donc un sous-groupe dis-
tingu de PSL(n, K), non rduit {Id}, doit contenir D(PSL(n, K)) PSL(n, K) daprs le
thorme 2.1.9.
Dmonstration du thorme 2.1.10. Soit N un sous-groupe distingu et x X. Puisque
G
x
est maximal, le sous-groupe NG
x
est gal G
x
ou G; dans la premire hypothse, il
faut que NG
x
donc, pour tout g G, on a NgNg
1
G
gx
, donc Nagit trivialement sur
X. On a donc montr que si Nnagit pas trivialement sur X, alors NG
x
G, et en particulier
N agit transitivement sur X.
On montre alors quen outre GNT
x
. En effet, si n N, alors
T
nx
nT
x
n
1
NT
x
;
puisque N est transitif sur X, on a T
y
NT
x
pour tout y X et donc G NT
x
puisque les
(T
y
)
yX
engendrent G.
Finalement, puisque T
x
est ablien, G/N est ablien donc ND(G).
2.2. Formes sesquilinaires
Soit E un K-espace vectoriel. Dans cette section, on introduit les trois types de formes
bilinaire ou sesquilinaire que lon va tudier.
2.2. FORMES SESQUILINAIRES 39
2.2.1. Formes bilinaires. Une forme bilinaire sur E est une applicationB: EE K
telle que, pour chaque y E, les applications partielles x B(x, y) et x B(y, x) soient
K-linaires. Une telle forme est symtrique si B(x, y) B(y, x) pour tous x, y E, anti-
symtrique si B(x, y) B(y, x) pour tous x, y E. Si carK/2, cette dernire condition est
quivalente au fait que B soit alterne, cest--dire que B(x, x) 0 pour tout x E.
Soit (e
i
) une base de E, suppos de dimension nie, et B une forme bilinaire. La ma-
trice M de B est donne par M
i j
B(e
i
, e
j
). Si deux lments de E sont donns par les
vecteurs colonnes X et Y, alors B(X, Y) X
t
MY. La forme B est (anti-)symtrique si la ma-
trice M est (anti-)symtrique. Si P est la matrice de passage de la base (e
i
) la base (e
t
i
),
alors on a une formule classique : la matrice de B dans la nouvelle base est donne par
M
t
P
t
MP.
Si det M/ 0, la valeur de det M dans le groupe multiplicatif K
/(K
)
2
est bien dnie, et
sappelle le discriminant de B. Quand det M 0, on convient que le discriminant est nul
aussi.
Associ une forme bilinaire symtrique on obtient la forme quadratique
q(x) B(x, x).
Supposons carK/2, alors on rcupre la forme B partir de q par la formule
B(x, y)
1
2
(q(x +y) q(x) q(y)).
2.2.2. Formes sesquilinaires. Il y a une variante des formes quadratiques quand le
corps est quipe dune involution Aut K. Lexemple principal sera KCavec (z) z,
et pour simplier les notations plus loin, on notera toujours linvolution sous la forme
()
, quel que soit le corps. La dcompositionCRi Rstend de la manire suivante

tout corps muni dune involution : on a une dcomposition
KK
0
K
1
,
o K
0
et K
1
sont les espaces propres de pour les valeurs propres 1 et 1. Ainsi K
0
est un
sous-corps de K, et si a K
1
alors a
2
K
0
puisque (a
2
) ((a))
2
a
2
. Choisissant un
a K
1
{0}, on dduit immdiatement que K
1
aK
0
donc KK
0
aK
0
.
2.2.3. Exemple. Si p est premier et q p
2
, alors le morphisme de Frobenius (x) x
p
est une involution de F
q
.
On dit alors quune application linaire u entre deux K-espaces vectoriels est -linaire
si u(x)
u(x) pour tout vecteur x et tout scalaire K. Une forme -sesquilinaire est
une application B : E E K telle que pour tout y E, lapplication x B(x, y) soit -
linaire et lapplication x B(y, x) soit linaire. La forme sesquilinaire B est hermitienne
si en outre B(x, y) B(y, x) pour tous x, y E.
Dans une base (e
i
) de E, la matrice M de E est donne par M
i j
B(e
i
, e
j
). Sur des vec-
teurs colonnes, on a alors B(X, Y)

X
t
MY, et la matrice de B dans une autre base est

P
t
MP,
o P est la matrice de passage. Le dterminant de M dnit donc un discriminant qui est,
ou bien nul, ou bien un lment du groupe multiplicatif
K
/{
kk, k K}.
Pour une forme sesquilinaire hermitienne, la matrice satisfait

M
t
M.
Associe une forme sesquilinaire hermitienne est la forme hermitienne
h(x) B(x, x).
On rcupre, si carK/2, la forme sesquilinaire partir de h par la formule
B(x, y)
1
4
_
h(x +y) h(x y) +
1
a
(h(x +ay) h(x ay))
_
.
2.3. Orthogonalit
Dans la suite, B dsignera lun des trois types de forme vus plus haut sur un espace
vectoriel E de dimension nie : une forme bilinaire alterne, une forme bilinaire sym-
trique, ou une forme sesquilinaire hermitienne. Dans les deux derniers cas, on supposera
toujours carK / 2. Dans le cas o lon parle dapplication -linaire, on crit implicite-
ment que dans les deux premiers cas Id
K
, alors -linaire se rduit linaire.
2.3.1. Premires proprits. On dit que deux vecteurs x et y sont orthogonaux si
B(x, y) 0. Lorthogonal dune partie F de E est le sous-espace vectoriel, not F
, des vec-
teurs de E orthogonaux tous les lments de F.
Le noyau de B sur E est le sous-espace E
. On dit que B est non dgnre si E
0.
2.3.2. Proposition. Les conditions suivantes sont quivalentes :
1 B est non dgnre ;
2 lapplication -linaire

B: E E
qui x E associe la forme linaire y B(x, y) est

un isomorphisme ;
3 la matrice de B dans une base est inversible.
Dmonstration. La premire condition est que

B soit injective, elle est donc quiva-
lente la seconde en dimension nie. Enn, la matrice de

B dans une base de E et sa base
duale dans E
est gale la matrice de B, ce qui donne la troisime condition.

Si B est dgnre, alors B induit une forme de mme type sur E/kerB, qui est non
dgnre. Une autre manire de raliser la forme sur le quotient est de choisir un sup-
plmentaire quelconque U de kerB dans E, alors la projection sur le quotient ralise un
isomorphisme isomtrique
(U, B[
U
)

(E/kerB, B).
Une forme dgnre se ramne ainsi toujours une forme non dgnre sur un quo-
tient, et dans la suite on supposera toujours les formes non dgnres, sauf mention expli-
cite du contraire.
2.3.3. Proposition. Si B est non dgnre, et si F E est un sous-espace de E, alors
dimF +dimF
dimE. En particulier, si F F
0 (ce qui est quivalent B[

F
est non
dgnre), alors E FF
.
2.3. ORTHOGONALIT 41
Dmonstration. Lapplication de restriction des formes linaires, r : E
, est sur-
jective. Donc
r
B: E F
, x B(x, ),
est -linaire surjective. Or ker(r
B) F
, do la formule sur la dimension en crivant

que la dimension de E est la somme des dimensions du noyau et de limage de r
B.
Formules sur lorthogonal (la seconde est vraie aussi en dimension innie) :
(F
F, (F+G)
, (FG)
+G
.
2.3.4. Groupe disomtries. Soit E et E
t
deux espaces vectoriels sur K, quips de
formes B et B
t
de mme type (pas forcment non dgnres). Un morphisme injectif
f : E E
t
est une isomtrie si pour tous x, y E on a
B
t
( f (x), f (y)) B
t
(x, y).
Si B et B
t
sont des formes bilinaires symtriques, ou sesquilinaires hermitiennes, il suft
que q
t
( f (x)) q(x) (resp. h
t
( f (x)) h(x)) pour tout x E.
Si Best non dgnre, alors linjectivit dcoule de la proprit disomtrie. Si en outre
(E
t
, B
t
) (E, B) alors une isomtrie doit tre unisomorphisme, et lensemble des isomtries
forme un groupe pour la composition. Lappellation habituelle de ce groupe est diffrente
suivant les cas :
pour une forme quadratique, le groupe orthogonal O(E, q) ;
pour une forme hermitienne, le groupe unitaire U(E, h) ;
pour une forme alterne, le groupe symplectique Sp(E, B).
Dans tous les cas, si M est la matrice de la forme B dans une base, alors une matrice A
reprsente une isomtrie si

A
t
MAM.
Dans le cas orthogonal, cela scrit A
t
MAMqui implique det(A)
2
1 donc det A1.
Le groupe spcial orthogonal est alors dni comme SO(E, q) O(E, q) SL(E).
Dans le cas unitaire, on obtient lquation

A
t
MAM qui implique det(A) det(A) 1. Le
groupe spcial unitaire est alors dni comme SU(E, h) U(E, h) SL(E).
Enn, le groupe symplectique na pas de forme spciale car il est dj inclus dans SL(E),
comme on le verra plus loin.
Exemples disomtries : symtries et quasi-symtries. On se place dans le cas dune
forme quadratique ou hermitienne. Si x E nest pas isotrope, et 1 dans le cas
quadratique (resp. K satisfait 1 dans le cas hermitien), alors une symtrie (resp.
quasi-symtrie) par rapport x
est une transformation de valeurs propres 1 et sur la

dcomposition
E x
Kx.
Il sagit manifestement dune isomtrie, donne explicitement par la formule
s(y) y +(1)
B(x, y)
B(x, x)
x.
Comme on le verra plus loin, les symtries engendrent le groupe orthogonal, et les quasi-
symtries engendrent le groupe unitaire.
2.3.5. Dcomposition en somme directe orthogonale : premier cas. Supposons B bi-
linaire symtrique ou sesquilinaire hermitienne. On dit quun vecteur x E est isotrope
si B(x, x) 0. Si B est non dgnre, il existe ncessairement un vecteur non isotrope x.
Dans ce cas, Kxx
0 donc E Kxx
, et la restriction de B x
est nouveau non d-

gnre. Par rcurrence sur la dimension, on obtient lexistence dune base orthogonale
(e
i
), cest--dire satisfaisant B(e
i
, e
j
) 0 si i / j . Posant
i
B(e
i
, e
i
), on obtient, dans le
cas symtrique,
q(x)
1
x
2
1
+ +
n
x
2
n
,
et dans le cas hermitien,
h(x)
1
x
1
x
1
+ +
n
x
n
x
n
.
Dans une base (
e
i
a
i
) o a
i
K
, les coefcients
i
deviennent
_
_
_
i
a
2
i
dans le cas symtrique,
i
a
i
a
i
dans le cas hermitien.
On remarquera que, dans le cas hermitien, puisque B(e
i
, e
i
) B(e
i
, e
i
), en fait
i
K
0
.
Exemples. 1 Si K C, ou plus gnralement un corps algbriquement clos, on peut
toujours trouver a
i
tel que a
2
i

i
. Il en rsulte que toute forme quadratique sur Kadmet
une base dans laquelle elle scrit
q(x) x
2
1
+ +x
2
n
.
Son groupe orthogonal est not O(n, C) ou O(n, K).
2 Si KR, alors on peut toujours trouver a
i
tel que a
2
i

i
. En rarrangeant la base,
on dduit que toute forme quadratique sur R admet une base dans laquelle elle scrit
q(x) x
2
1
+ +x
2
r
x
2
r +1
x
2
n
.
Le couple (r, s n r ) est la signature de q, on verra plus loin que cest un invariant de q.
Son groupe orthogonal est not O(r, s, R), ou le plus souvent O(r, s).
3 Si KF
q
, alors F
q
/(F
q
)
2
est dordre 2 (car le noyau de x x
2
dans F
q
est {1}). Donc
on peut ramener chaque
i
tre gal 1 ou un scalaire non nul (F
q
)
2
. En fait on
peut faire mieux, et cela donne toutes les formes quadratiques possibles sur F
q
:
2.3.6. Proposition. Pour K F
q
, toute forme quadratique non dgnre admet une
base o elle scrit sous lune des deux formes suivantes :
q(x) x
2
1
+ +x
2
n1
+x
2
n
,
q(x) x
2
1
+ +x
2
n1
+x
2
n
,
o est un scalaire non nul x qui nest pas un carr dans F
q
.
Notons que les deux formes proposes ne peuvent pas tre quivalentes, puisque leurs
discriminants sont 1 et , qui sont diffrents dans F
q
/(F
q
)
2
.
Dmonstration. Par rcurrence sur n. Si n > 2, on va montrer quil existe e
1
tel que
q(e
1
) 1. Alors E Ke
1
e
1
, et lhypothse de rcurrence montre le rsultat.
crivons q dans une base orthogonale : q(x)

i
x
2
i
. Contentons-nous du sous-
espace engendr par les deux premiers vecteurs, donc q(x)
1
x
2
1
+
2
x
2
2
. Puisquil y a
2.3. ORTHOGONALIT 43
q+1
2
carrs dans F
q
(en comptant 0), les quantits
1
x
2
1
et 1
2
x
2
2
dcrivent toutes deux
un ensemble
q+1
2
lments quand x
1
(resp. x
2
) dcrit F
q
. Mais puique q < 2
q+1
2
, il faut
quexiste (x
1
, x
2
) tels que
1
x
2
1
et 1
2
x
2
2
concident, cest--dire q(x) 1.
4 Si K C et est la conjugaison complexe, alors
i
R, et on peut trouver a
i
C tel
que a
i
a
i

i
. Ainsi, toute forme hermitienne sur C admet une base dans laquelle elle
scrit
h(x) x
1
x
1
+ + x
r
x
r
x
r +1
x
r +1
x
n
x
n
.
Son groupe unitaire est not U(r, s, C), ou le plus souvent U(r, s).
5 Si KF
p
2 et ()
p
, alors le morphisme
F
p
2
F
p
, x xx x
p+1
,
est surjectif (un gnrateur de F
p
2
, dordre p
2
1 (p1)(p+1) est envoy sur un lment
dordre p1, donc ungnrateur de F
p
). Il enrsulte que tout lment
i
F
p
peut scrire
a
i
a
i
, et donc toute forme hermitienne sur F
p
2 admet une base dans laquelle elle scrit
h(x) x
1
x
1
+ + x
n
x
n
.
Son groupe unitaire est not U(n, F
p
2 ).
2.3.7. Dcomposition en somme directe orthogonale : deuxime cas. Un plan hy-
perbolique est un sous-espace P de dimension 2 possdant une base (e
1
, e
2
) dans laquelle
B(e
1
, e
1
) B(e
2
, e
2
) 0, B(e
1
, e
2
) 1.
Bien sr, cela implique que e
1
et e
2
soient des vecteurs isotropes. Rciproquement :
2.3.8. Lemme. Si x est un vecteur isotrope, il existe un vecteur y tel que (x, y) soit la base
dun plan isotrope.
Dmonstration. En effet, on peut toujours trouver x
t
tel que B(x, x
t
) 1, puis on prend
y x
t
1
2
B(x
t
, x
t
)x qui satisfait les proprits voulues.
Par exemple, la forme quadratique en deux variables,
q(x
1
, x
2
) x
2
1
x
2
2
,
nest pas isotrope, donc est un plan hyperbolique. En effet, dans la base (e
1
+e
2
, e
1
e
2
),
on obtient pour q la formule
q(y
1
, y
2
) 2y
1
y
2
.
La base (e
1
+e
2
, e
1
e
2
) est donc une base hyperbolique.
Lavantage dun plan hyperbolique P sur un vecteur isotrope est que B[
P
est non dg-
nre, ou de manire quivalente PP
0. Il en rsulte que, pour un plan hyperbolique,

E PP
.
Plaons-nous nouveau dans les cas symtrique ou hermitien. Supposons que E ad-
mette un vecteur isotrope. Par le lemme, il admet alors un plan hyperbolique P, et E
P P
. La forme B est alors non dgnre sur P
, et on peut recommencer la mme

opration sur P
, si celui-ci admet un vecteur isotrope. Finalement, on fabrique une d-

composition
E P
1
F,
o les P
i
sont des plans hyperboliques, et F est un sous-espace anisotrope, cest--dire
dpourvu de vecteur isotrope. Lentier est lindice de la forme, on verra plus loin que
cest un invariant. Une somme orthogonale de plans hyperboliques comme ci-dessus P
1
est appele un sous-espace hyperbolique.

2.3.9. Dcomposition en somme directe orthogonale : troisime cas. On se place
maintenant dans le cas dune forme bilinaire alterne. Dans ce cas, deux vecteurs x et
y tels que B(x, y) /0 engendrent toujours un plan hyperbolique P, et E PP
. Puisque
B est non dgnre, E contient ncessairement un tel plan hyperbolique, et par cons-
quent, en itrant la construction, on obtient une dcomposition orthogonale :
E P
1
.
Choisissons alors une base (e
i
)
i 1,...,2
, de sorte que (e
i
, e
i +
) soit une base standard de P
i
.
Dans cette base, la matrice de B est
J
_
0 Id
Id
0
_
.
Ainsi, toutes les formes bilinaires alternes non dgnres admettent une base dans la-
quelle leur matrice est J
. En particulier, la dimension de lespace doit tre paire. Il ny a

donc, quivalence prs, quune seule forme alterne sur K-espace vectoriel de dimen-
sion n 2, et on notera son groupe Sp(, K).
2.4. Le thorme de Witt
Soit E muni dune forme B bilinaire symtrique ou alterne, ou dune forme sesquili-
naire hermitienne. On dit quun sous-espace F de E est isotrope si B[
F
est dgnre (ce
qui est quivalent kerB[
F
FF
/ 0). Dans ce cas, on obtient une forme induite, non

dgnre, sur F/FF
.
Le sous-espace F est totalement isotrope si B[
F
0 (ce qui est quivalent F F
).
Par exemple, si P
1
P
2
P
r
sont des plans hyperboliques orthogonaux, de base
(e
i
, f
i
), alors e
1
, . . . , e
r
est totalement isotrope. Cet exemple est en fait gnral, comme le
montre le :
2.4.1. Lemme. Soit F un sous-espace de E, et F
0
kerB[
F
FF
. Soit Gun supplmen-

taire de F
0
dans F, et (e
1
, . . . , e
r
) une base de F
0
. Alors il existe ( f
1
, . . . , f
r
) dans E tels que
P
i
e
i
, f
i
est un plan hyperbolique orthogonal G;

F G
P
i
) est non isotrope.
En outre, toute isomtrie f : F E
t
se prolonge en une isomtrie f :

F E
t
.
Dmonstration. Puisque B[
G
est non dgnre, en considrant G
on est ramen au
cas o G0, cest--dire au cas o F est totalement isotrope. Le cas o r 1 est le lemme
2.4. LE THORME DE WITT 45
2.3.8. On raisonne ensuite par rcurrence sur r : si F
1
e
2
, . . . , e
r
, alors soit H
1
un sup-
plmentaire de F
1
dans F
1
contenant e
1
, donc F
1
F
1
H
1
et B[
H
1
sidentie la forme
non dgnre induite sur F
1
/F
1
. On peut appliquer le lemme 2.3.8 au vecteur e
1
H
1
,
donc il existe f
1
H
1
tel que (e
1
, f
1
) soit une base dun plan hyperbolique P
1
, orthogonal
e
2
, . . . , e
r
puisque H
1
F
1
. On applique alors lhypothse de rcurrence au sous-espace
totalement isotrope F
1
de P
1
.
Lextension des isomtries se montre en tendant im f dans E
t
de la mme manire que
F.
2.4.2. Lemme. Si B(x, x) B(y, y) /0, il existe une isomtrie f telle que f (x) y.
Dmonstration. Commenons par le cas dune forme quadratique. De q(x +y) +q(x
y) 2(q(x)+q(y)) 4q(x), on dduit que lun au moins des deux vecteurs x +y et x y est
non isotrope, disons par exemple x+y. Alors la symtrie hyperplane par rapport (x+y)
envoie x sur y, et on la compose par Id.

Le cas hermitien est similaire : on peut supposer par exemple que x +y nest pas iso-
trope, et on cherche une quasi-symtrie par rapport (x +y)
,
s(z) z +(1)
B(x +y, z)
B(x +y, x +y)
(x +y),
avec 1. Le bon choix est
1
B(x +y, x +y)
B(x +y, x)

B(x +y, y)
B(x +y, x)

B(x +y, x)
B(x +y, x)
qui satisfait manifestement 1.
2.4.3. Thorme (Witt). Soient deux espaces isomtriques, (E, B) et (E
t
, B
t
). Soit F un
sous-espace de E et u : F E
t
une isomtrie. Alors il existe une isomtrie v : E E
t
telle
que v[
F
u.
Dmonstration. Par le lemme 2.4.1, on est ramen au cas o F est non isotrope.
Dans le cas dune forme alterne, le rsultat est alors immdiat en compltant F et u(F)
par des sommes de plans hyperboliques.
Dans le cas dune forme quadratique ou hermitienne, le cas o dimF 1 est fourni par
le lemme 2.4.2. En gnral, on raisonne par rcurrence sur dimF : si dimF > 2, on peut
dcomposer F F
1
F
2
avec F
1
et F
2
non isotropes ; par lhypothse de rcurrence, u[
F
1
se prolonge en une isomtrie v
1
: E E
t
, donc en particulier v
1
[
F
1
: F
1
u(F
1
)
est une
isomtrie ; on applique alors nouveau lhypothse de rcurrence u[
F
2
: F
2
u(F
1
)
pour le prolonger en une isomtrie v

2
: F
1
u(F
1
)
. On prend alors v u[
F
1
v
2
: F
1
1
E
t
u(F
1
) u(F
1
)
.
2.4.4. Corollaire. 1 Si F et G sont des sous-espaces isomtriques de E, alors F
et G
sont isomtriques.
2 Tous les sous-espaces totalement isotropes maximaux ont mme dimension , appele
lindice de B.
3 La dimension dun sous-espace hyperbolique maximal est 2; si H est un sous-espace
hyperbolique maximal, alors E H
G, avec G anisotrope.
4 Deux formes quadratiques ou hermitiennes sont quivalentes si et seulement si elles
ont mme indice et leurs restrictions G et G
t
sont quivalentes.
Dmonstration. On prouve la deuxime assertion. Si F et F
t
sont totalement isotropes
et dimF < dimF
t
, alors nimporte quel morphisme injectif u : F F
t
est une isomtrie,
donc stend en une isomtrie v de E. Donc F v
1
(F
t
) qui est aussi totalement isotrope,
donc F ntait pas maximal. Il en rsulte que tous les sous-espaces totalement isotropes
maximaux ont mme dimension.
Les autres assertions sont immdiates partir du thorme de Witt.
On notera quau vu de la troisime condition, il faut que <
1
2
dimE.
Dans le cas dune forme quadratique sur R, de signature (p, q), on voit que lindice est
inf(p, q), donc la signature est bien un invariant de la forme quadratique. La mme chose
est vraie des formes hermitiennes sur C.
2.5. Le groupe symplectique
Dans cette section, E est muni dune forme alterne, et on tudie le groupe symplec-
tique Sp(E). Remarquons que si dimE 2, alors dans une base hyperbolique de E on a
B((x
1
, x
2
), (y
1
, y
2
)) x
1
y
2
x
2
y
1
. Un morphisme u de E multiplie B par det u, do il rsulte
Sp(1, K) SL(2, K). (21)
Soit une transvection (x) x + f (x)a, o f E
et a ker f . Alors
B(x + f (x)a, y + f (y)a) B(x, y) B(a, x f (y) y f (x)).
Quand x et y dcrivent E, alors x f (y)y f (x) dcrit ker f , donc Sp(E) si et seulement si
a (ker f )
, ce qui signie f (x) B(a, x) pour un K. On dduit que les transvections

symplectiques sont de la forme
(x) x +B(a, x)a, a E, K.
2.5.1. Thorme. Les transvections symplectiques engendrent Sp(E).
Puisque les transvections sont de dterminant 1, il en rsulte :
2.5.2. Corollaire. On a linclusion Sp(E) SL(E).
On verra en 3.4 une dmonstration plus directe de ce corollaire.
Dmonstration du thorme. La dmonstration se fait par rcurrence sur la dimen-
sion, et est une consquence immdiate du :
2.5.3. Lemme. Si P x
1
, x
2
et Q y
1
, y
2
sont deux plans hyperboliques (B(x
1
, x
2
)
B(y
1
, y
2
) 1), alors il existe un produit de transvections symplectiques envoyant x
i
sur y
i
.
Dmontrons donc le lemme. Dans un premier temps, observons que si B(x
1
, y
1
) / 0,
alors on peut envoyer x
1
sur y
1
par la transvection symplectique
(x) x
B(y
1
x
1
, x)
B(x
1
, y
1
)
(y
1
x
1
).
2.5. LE GROUPE SYMPLECTIQUE 47
Si B(x
1
, y
1
) 0, en passant par un z tel que B(x
1
, z) / 0 et B(y
1
, z) / 0, on dduit quun
produit de 2 transvections symplectiques envoie x
1
sur y
1
.
Dans tous les cas, on a trouv un produit de transvections envoyant x
1
sur y
1
, donc on
est ramen au cas o x
1
y
1
; onveut donc envoyer x
2
sur y
2
enlaissant x
1
xe. nouveau,
la situation est plus simple si B(x
2
, y
2
) /0 : alors la transvection
(x) x
B(y
2
x
2
, x)
B(x
2
, y
2
)
(y
2
x
2
)
convient, car B(y
2
x
2
, x
1
) B(y
2
, y
1
)B(x
2
, x
1
) 0. Si B(x
2
, y
2
) 0, alors il faut nouveau
passer par un intermdiaire z, tel que B(x
2
, z) / 0, B(y
2
, z) / 0, mais aussi (pour xer x
1
),
B(x
1
, z x
2
) 0 et B(x
1
, z y
2
) 0, ce qui revient B(x
1
, z) 1. Mais z x
1
+y
2
satisfait
toutes ces conditions.
Ondduit duthorme que le centre de Sp(n, K) est rduit aux homothties de Sp(n, K),
savoir {Id}. On considre donc le groupe projectif associ, savoir le quotient
PSp(n, K) Sp(n, K)/1.
On nonce alors les deux thormes essentiels :
2.5.4. Thorme. On a D(Sp(n, K)) Sp(n, K), sauf si n 1 et KF
2
, F
3
, ou bien si n 2
et KF
2
.
2.5.5. Thorme. Le groupe PSp(n, K) est simple, sauf si n 1 et KF
2
ou F
3
, ou si n 2
et KF
2
.
Le nouveau cas exceptionnel ici (par rapport aux groupes SL) est celui de Sp(2, F
2
). On
peut montrer que PSp(2, F
2
) S
6
.
Dmonstration du thorme 2.5.4. Le cas n 1 rsulte de (21) et des rsultats sur le
groupe SL.
Si n > 2, donc dimE > 4, crivons E P P
pour un plan hyperbolique P ; par le cas

n 1, les transvections de P sont des commutateurs (sauf si KF
2
, F
3
), donc D(Sp(n, K))
contient les transvections symplectiques de droite contenue dans P, et par conjugaison
toutes les transvections : donc D(Sp(n, K)) Sp(n, K).
Si K F
3
et n > 2, en regardant une dcomposition E P
1
P
2
Q, on se ramne au
cas E P
1
P
2
, cest--dire Sp(2, F
3
). De mme, le cas Sp(n, F
2
) pour n > 3 se ramne
Sp(3, F
2
). Ces deux cas spciaux se font la main et on omet ici la dmonstration.
Dmonstration du thorme 2.5.5. Ce thorme se dduit du thorme 2.5.4, comme
dans le cas des groupes PSL, par la mthode dIwasawa, en considrant laction du groupe
sur lespace projectif KP
2n1
. Nous disposons en effet pour chaque droite x KP
2n1
du
groupe ablien (isomorphe K) des transvections symplectiques de droite x, et la seule
hypothse restant vrier pour appliquer le thorme 2.1.10 est que laction soit primi-
tive.
On a vu quun groupe agissant de manire 2-transitive sur un ensemble agit primitive-
ment, mais Sp(n, K) nagit pas 2-transitivement sur X KP
2n1
. En effet, daprs le tho-
rme de Witt, le groupe Sp(n, K) a trois orbites sur XX, savoir
1 la diagonale {x y} ;
2 lorbite O
1
des couples de droites (x, y) engendrant un plan hyperbolique ;
3 lorbite O
2
des couples de droites (x, y) engendrant un plan isotrope.
Pour montrer que laction est primitive, on doit montrer que le stabilisateur G
x
dun point
x X est maximal. Supposons donc G
x
HG.
Observons que si gHx g
t
Hx / alors il existe h, h
t
H tels que ghx g
t
h
t
x, donc
h
1
g
1
g
t
h
t
G
x
donc g
1
g
t
G
x
, ce qui implique gHx g
t
Hx. Ainsi la collection des
(gHx)
gG
ralise une partition de X, qui est G-invariante (laction de G envoie orbite sur
orbite).
Montrons quune telle partition est ncessairement triviale (il en rsulte Hx X, do
G H et laction est primitive). Le graphe G de la partition est lensemble des couples
(y, z) XX tels que y et z soient dans la mme classe. Ce graphe est invariant sous laction
de Sp(n, K), il est donc une runion dorbites de G dans X X, et il contient toujours la
diagonale . Le cas dune partition triviale correspond G ou GXX. Si la partition
nest pas triviale, on a donc G O
1
ou O
2
. Le premier cas correspond dire que
y et z sont dans une mme classe sils engendrent un plan hyperbolique, cest--dire si
B(y, z) / 0. Mais si B(y, z) 0 alors il existe t tel que B(y, t ) / 0 et B(t , z) / 0, donc y et z
sont aussi dans la mme classe, contradiction avec lhypothse GO
1
. Le second cas
est cart de la mme manire.
2.5.6. Remarque. On a implicitement utilis la caractrisation suivante dune action
primitive : laction de G sur X est primitive si et seulement si toute relation dquivalence
G-invariante sur X est triviale.
2.6. Le groupe orthogonal
On tudie ici quelques proprits de base du groupe orthogonal.
2.6.1. La dimension 2. Si dimE 2, alors, une constante multiplicative prs, toute
forme quadratique scrit
q(x) x
2
1
+Dx
2
2
.
Il y a cas deux cas, suivant que le discriminant de q est gal on non 1 dans K
/(K
)
2
,
cest--dire suivant que D est un carr ou non dans K. Dans les deux cas, on crit O(q)
SO(q)O
(q), o O
(q) consiste des transformations orthogonales de dterminant 1, et

on donne une description complte des deux morceaux.
Dans le cas o D est un carr, alors la forme q admet des vecteurs isotropes, et donc
E est un plan hyperbolique pour q : il existe une base (e
1
, e
2
) de E dans laquelle
q(x
1
, x
2
) 2x
1
x
2
.
Les droites engendres par e
1
et e
2
tant les seules directions isotropes, elles sont ou bien
prserves, ou bien changes par un lment du groupe orthogonal O(q). On en dduit
que les lments de O(q) sont de la forme (
0
0
1
) ou (
0
1
0
), pour K
. Compte tenu de
leur dterminant, il rsulte nalement
SO(q)
_
(
0
0
1
), K
_
, O
(q)
_
(
0
1
0
), K
_
.
2.6. LE GROUPE ORTHOGONAL 49
Les transformations de O
(q) sont toutes des symtries (par rapport la droite engendre

par e
1
+e
2
). Le groupe SO(q) est ablien.
Exemple. On a SO(1, 1) R
et SO(2, C) C
.
Dans le secondcas oDnest pas uncarr, alors la forme q est anisotrope, et onvrie
par un calcul direct que SO(q) et O
(q) sont dcrits par :

SO(q) {(
a cD
c a
), a
2
+c
2
D1}, O
(q) {(
a cD
c a
), a
2
+c
2
D1}.
nouveau, le groupe SO(q) est ablien, et O
(q) est constitu de symtries.

(1)
2.6.2. Centre et gnrateurs. Rappelons que si D est une droite non isotrope, on dis-
pose dune symtrie orthogonale s
D
par rapport D
. De mme, si P est un plan non

isotrope, alors E PP
, et le renversement r
P
par rapport P
, dni par r
P
(1) 1,
est aussi une transformation orthogonale, lment de SO(q).
Si u O(q), il est immdiat que us
D
u
1
s
u(D)
et ur
P
u
1
r
u(P)
.
2.6.3. Proposition. Le centre de O(q) est {Id}, et si dimE > 3 le centre de SO(q) est
trivial si dimE est impaire, {Id} si dimE est paire.
Dmonstration. Si u Z(O(q)), alors us
D
u
1
s
D
pour toute symtrie s
D
, donc u pr-
serve toutes les droites non isotropes. Mais pour montrer que u est une homothtie, il faut
montrer que u prserve toutes les droites isotropes, et on va procder diffremment en
traitant la fois le cas du centre de O(q) et de SO(q).
Si dimE 2, la description explicite de O(q) vue en 2.6.1 donne le rsultat. On peut
donc supposer dimE >3.
Si u O(q) commute aux lments de SO(q), alors ur
P
u
1
r
P
pour tout plan non
isotrope P, donc u prserve les plans non isotropes. Pour montrer quil prserve toutes les
droites, il suft de montrer que toute droite est intersection de deux plans non isotropes.
Soit donc une droite D Kx. Si D est non isotrope, alors E DD
, donc en prenant
deux lments y et z dune base orthogonale de D
, les plans P DKy et Q DKz

conviennent. Si D est isotrope, on inclut D dans un plan hyperbolique P, et on complte x
en une base hyperbolique (x, y) de P. Puisque E PP
, on peut choisir z P
non nul.
Alors QDK(y +z) est encore un plan hyperbolique et DPQ.
Le quotient de SO(q) par son centre est le groupe projectif orthogonal :
PSO(E) SO(E)/Z(SO(E)).
2.6.4. Thorme. Les symtriques hyperplanes engendrent O(q).
Dmonstration. Onraisonne par rcurrence sur la dimension. Soit u O(q), x
1
E non
isotrope, et x
2
u(x
1
). Puisque q(x
1
+x
2
)+q(x
1
x
2
) 4q(x
1
) /0, lun au moins des deux
lments x
1
+x
2
et x
1
x
2
est non isotrope :
1. Anticipant sur le cours dAlgbre 2, le groupe O(q) sinterprte simplement en terme du corps de rupture de
q, savoir K[
_
D] K
_
DK: la forme quadratique q fournit une norme N sur K[
_
D] satisfaisant N(xy)
N(x)N(y), SO(q) est le groupe des units pour cette norme, et O(q) est engendr par SO(q) et la conjugaison de
Galois. Dans le cas rel, ce corps est C, le groupe des units est le cercle (les rotations), la conjugaison de Galois
la conjugaison complexe.
si x
1
x
2
est non isotrope, alors s
x
1
x
2
(x
1
) x
2
donc s
x
1
x
2
u(x
1
) x
1
;
si x
1
+x
2
est non isotrope, alors s
x
2
s
x
1
+x
2
s
x
2
(x
2
) x
2
donc s
x
1
+x
2
s
x
2
u(x
1
) x
1
.
Dans les deux cas, on est ramen au cas o u xe un vecteur non isotrope x
1
, et on ap-
plique lhypothse de rcurrence dans x
1
.
2.6.5. Remarque. Cette dmonstration montre que toute isomtrie est produit dau
plus 2n symtries (n dimE). Le thorme de Cartan-Dieudonn afrme quil suft dau
plus n symtries.
2.6.6. Thorme. Les renversements engendrent SO(q) si dimE >3.
Dmonstration. Par le thorme prcdent, tout lment de SO(q) est produit dun
nombre pair de symtries. Il suft donc de montrer quun produit s
x
1
s
x
2
de deux symtries
est toujours un produit de renversements.
Si dimE 3, alors s
x
1
s
x
2
(s
x
1
)(s
x
2
), et loppos dune symtrie est unrenversement,
do le rsultat.
Si dimE >3, on peut supposer x
1
et x
2
non colinaires (et bien sr non isotropes), po-
sons L x
1
, x
2
, alors dimLL
<1 donc, par le lemme 2.4.1, il existe L

t
L de dimension
3, tel que L
t
L
t
0. Alors s
x
1
s
x
2
agit par lidentit sur L
t
, donc nagit non trivialement
que sur L
t
, de dimension 3. On est ainsi ramen la dimension 3 : sur L
t
, cest le produit
des renversements s
x
1
[
L
t et s
x
2
[
L
t ; on obtient alors s
x
1
s
x
2
comme produit de leurs ex-
tensions sur E par lidentit sur L
t
, qui sont encore des renversements.
La question de la simplicit du groupe orthogonal est beaucoup plus complique que
pour le groupe symplectique, et on ne la traitera pas dans ce cours. Il y a deux cas :
si (q) 0, cest--dire la forme q est anisotrope, il ny a pas de rsultat gnral ; dans
le cas particulier K R, on montre que PSO(n, R) est simple ds que n 3 ou n > 5
(cf. livre de Perrin), alors que PSO(4, R) nest pas simple
(2)
, voir 2.8 ;
si (q) >0, cest--dire q a des vecteurs isotropes, onmontre que pour n >5 le groupe
P(D(SO(q))) est simple (cf. Dieudonn).
Exemple. Le groupe SO(1, n) agit sur R
n+1
, sur lequel on choisit des coordonnes
(x
0
, . . . , x
n
) dans lequel la forme quadratique scrit
x
2
0
x
2
1
x
2
n
.
Le groupe laisse globalement invariante la quadrique {q(x) 1}. Or celle-ci a deux com-
posantes connexes, {x
1
>0} et {x
1
<0}. On peut montrer que SO(1, n) a deux composantes
connexes, dune part le sous-groupe SO
o
(1, n) qui prserve chaque composante connexe,
dautre part les transformations qui les changent. Il est clair que D(SO(1, n)) SO
o
(1, n),
en fait on peut montrer quil y a galit, et que PSO
o
(1, n) est simple sauf pour n 1.
2. Ce fait fondamental est lorigine de proprits spciales importantes de la topologie et de la gomtrie de
dimension 4.
2.7. LE GROUPE UNITAIRE 51
2.7. Le groupe unitaire
Rappelons que dans ce cas, le corps K, quon supposera de caractristique diffrente
de 2, est muni dune involution (x) x, de sorte que K K
0
IK
0
, o

I I et I
2
K
0
.
Nos deux exemples standards sont C et F
p
2 .
2.7.1. Proposition. Supposons dimE 2 et E hyperbolique pour la forme hermitienne
h. Alors SU(2, E) SL(2, K
0
).
Exemples. On a donc SU(1, 1) SL(2, R) et SU(2, F
p
2 ) SL(2, F
p
).
Dmonstration. Dans une base hyperbolique la matrice de la forme hermitienne est
H(
0 1
1 0
). Alors u (
a b
c d
) SU(2, K) si det u 1 et u
t
Au A, qui mne aux quations
ad bc 1, a c + ac 0, b c + ad 1, b

d +
bd 0.
Cela se rsoud en a a,

d d, c c,

d d et ad bc 1. Choisissons I K tel que
I I. Alors on obtient a, d, Ib, Ic K

0
et ad bc 1, soit encore v (
a Ib
I
1
c d
) SL(2, K
0
).
On vrie que lapplication u v est bien un morphisme de groupes.
(3)
2.7.2. Produit scalaire hermitien. Dans cette section uniquement, on se place sur
KC, et on regarde une forme hermitienne dnie positive sur E, cest--dire satisfaisant
h(x) >0, avec galit si et seulement si x 0. Une telle forme est un produit scalaire her-
mitien. Comme on a vu, il existe alors une base orthonormale, cest--dire dans laquelle
la forme scrit
h(x) [x
1
[
2
+ +[x
n
[
2
.
Dans ce cas, les lments du groupe U(h) jouissent dune rduction particulirement
simple, similaire celle, vue en classe prparatoire, des endomorphismes orthogonaux
pour un produit scalaire euclidien dni positif.
Un endomorphisme u de E admet toujours un adjoint u
, dni par
B(x, u(y)) B(u
(x), y)
pour tous x, y E. Dans une base orthonormale, si u a pour matrice A, alors u
a pour
matrice A

A
t
. Ainsi u U(h) si A
AId.
Plus gnralement, on dit que u est normal si u
u uu
. Cette notion inclut la

fois les endomorphismes unitaires, les endomorphismes autoadoints (u
u) et anti-
autoadjoints (u
u).
2.7.3. Proposition. Tout endomorphisme normal pour un produit scalaire hermitien se
diagonalise dans une base orthonorme.
3. On peut dcrire plus intrinsquement le morphisme SL(2, K
0
) SU(2, E). Soit K considr comme K
0
-
espace vectoriel de dimension 2, et E End
K
0
K; E sidentie K
2
par (a, b) K
2
a + b E, et devient
ainsi un K-espace vectoriel, o la multiplication par I sidentie la composition droite par I. Le dterminant
det : E K
0
scrit det(a, b) aa
bb, donc est une forme hermitienne sur E, hyperbolique. Donc on dispose
dun morphisme SL(2, K
0
) SU(2, E) en envoyant un morphisme u SL(2, K
0
) sur le morphisme de E donn
par v u v.
Les valeurs propres doivent tre de module 1 pour les endomorphismes unitaires,
relles pour les endomorphismes autoadjoints, et imaginaires pures pour les endomor-
phismes anti-autoadjoints.
En particulier, si lon dispose dune seconde forme hermitienne h
t
, alors on peut
dnir un endomorphisme de E par h
t
(x, y) h(x, u(y)). Puisque h(x, y) h(y, x), on
a aussi h
t
(x, y) h(u(x), y), et il en rsulte u
u. Donc u se diagonalise en une base

h-orthonorme, ce qui signie que dans cette base, la forme h
t
a une matrice diagonale :
h
t
_
_
_
1
.
.
.
n
_
_
_,
i
R.
Bien sr la seconde forme h
t
est dnie positive si les coefcients
i
sont strictement po-
sitifs.
Dmonstration. Soit u un endomorphisme normal de E. Soit une valeur propre de u
et E
lespace propre associ. Si x E
, alors uu
x u
ux u
x, donc u
x E
. Ainsi
u
(E
) E
. On en dduit que si y E
et x E
, alors B(uy, x) B(y, u
x) 0, donc
on a u(E
) E
. Une rcurrence montre alors que E est somme directe orthogonale des
espaces propres de u.
2.7.4. Proprits des groupes unitaires. Dans cette dernire partie, on revient au cas
gnral dun corps gnral Ket on nonce sans dmonstration les proprits de base dun
groupe unitaire sur le corps K.
Centre : Le centre de U(q) est constitu des homothties de rapport tel que

1.
Le centre de SU(q) est constitu des homothties de rapport satisfaisant en outre
n
1. On notera
PSU(q) SU(q)/Z(SU(q)).
Gnrateurs : Les quasi-symtries engendrent le groupe unitaire U(E).
Simplicit : Si la forme hermitienne h est dindice non nul, alors PSU(n, K) est simple,
lexception du groupe PSU(2, F
9
) PSL(2, F
3
). Si lindice est nul, donc la forme
anisotrope, il ny a pas de rsultat gnral. Nanmoins PSU(n, C) est simple ds que
n > 2 : en fait, comme on le verra en 2.8, PSU(2, C) SO(3, R) qui est simple, et
lnonc pour n >2 sen dduit.
Les noncs sur le centre et les gnrateurs se dmontrent de manire similaire celui
ducas orthogonal. Le rsultat de simplicit dans le cas dindice nonnul vient de lexistence
de transvections unitaires par rapport aux droites isotropes, qui permet grosso modo dap-
pliquer la mthode dIwasawa laction du groupe PSU(h) sur lespace des droites iso-
tropes. On renvoie au livre de Dieudonn pour les dtails.
2.8. Quaternions
Le corps des quaternions, H, est un corps non commutatif, contenant comme sous-
corps R, et de dimension 4 comme espace vectoriel sur R. On peut le dcrire comme une
2.8. QUATERNIONS 53
algbre de matrices 22 complexes :
H
__

_
, , C
_
. (22)
Laddition et la multiplication dans H sont celles des matrices. Puisque le dterminant est
[[
2
+[[
2
, seule la matrice nulle nest pas inversible, et on obtient un corps.
On distingue les lments particuliers suivants :
1
_
1 0
0 1
_
, i
_
i 0
0 i
_
, j
_
0 1
1 0
_
, k
_
0 i
i 0
_
.
Les multiples rels de 1 fournissent le sous-corps R H. La famille (1, i , j , k) est une base
de Hvu comme espace vectoriel sur R. On observe que
i
2
j
2
k
2
1, i j k 1,
relations desquelles ondduit aisment les autres multiplications des lments de la base :
i j j i k, j k k j i , ki i k j .
Un quaternion q x
0
+x
1
i +x
2
j +x
3
k, o les x
R, correspond la matrice complexe

donne par ( x
0
+i x
1
, x
2
+i x
3
), et peut scrire aussi
q +j .
Dans cette criture, on fera attention que et j ne commutent pas, en fait j

j . Len-
semble {x
0
+i x
1
, x
0
, x
1
R} est un sous-corps de H isomorphe C. Ce nest pas le seul car
les rles de i , j et k sont interchangeables dans H.
Le centre de Hest R : en effet si q Z(H), crivons q +j , alors de qi i q on dduit
0, et de j j j on dduit R.
Le conjugu dun quaternion q x
0
+x
1
i +x
2
j +x
3
k est
q x
0
x
1
i x
2
j x
3
k.
La conjugaison a les proprits suivantes, immdiatement vriables :
1 q
1
q
2
q
2
q
1
;
2 N(q) :q q qq x
2
0
+x
2
1
+x
2
2
+x
2
3
R, en particulier q
1
q
N(q)
.
Un quaternion est rel si et seulement si q q, imaginaire pur si q q. Lensemble
des quaternions imaginaires purs est (H) {x
1
i +x
2
j +x
3
k}. La partie relle et la partie
imaginaire dun quaternion sont respectivement
q+ q
2
R et
q q
2
(H).
Lemme. La norme N: H
+
est un morphisme de groupes multiplicatifs. Son noyau
kerN{q H, N(q) 1} est un groupe isomorphe SU(2).
Dmonstration. On a
N(q
1
q
2
) q
2
q
1
q
1
q
2
q
2
N(q
1
)q
2
N(q
1
)N(q
2
),
la dernire galit tant vraie car N(q
1
) RZ(H).
La description matricielle (22) donne immdiatement linterprtation du noyau
comme le groupe SU(2).
Bien sr N sidentie la norme euclidienne usuelle dans H R
4
, et donc le groupe
SU(2) est homomorphe la sphre de R
4
.
Soit q un quaternion tel que N(q) 1, considrons la conjugaison
q
: HH, x qxq
1
.
(En exercice, le lecteur pourra montrer que tous les automorphismes du corps H sont de
ce type). Alors
q
(x) q xq
1
,
donc
q
prserve la dcomposition HRH. En outre,
N(
q
(x)) qxq
1
q xq
1
N(x),
donc
q
agit par isomtries. En restreignant
q
H, on obtient ainsi un morphisme de
groupes
: SU(2) O(3), dni par (q)
q
[
H
.
Comme le groupe SU(2), homomorphe la sphre de R
4
, est connexe, limage de est
connexe donc incluse dans SO(3).
2.8.1. Thorme. Le morphisme ainsi dni satisfait :
1 {1} SU(2)

SO(3) 1.
Par consquent, SO(3) SU(2)/{1} PSU(2).
Dmonstration. Le noyau de est constitu des quaternions q de norme 1 tels que
qxq
1
x pour tout x H, soit qx xq pour tout x H. Comme cest toujours vrai
pour x R, cela implique qx xq pour tout x H, donc q Z(H) R. Donc q 1.
Soit q Htel que q q 1, alors q
2
1, et
q
(q) q,
2
q
(x) q
2
xq
2
x pour x H,
donc
q
ne peut tre que le renversement daxe Rq H. Donc limage de contient les
renversements, et donc est surjective par le thorme 2.6.6.
Lisomorphisme entre PSU(2) et SO(3) a t montr entrouvant, grce aux quaternions,
une action de SU(2) sur R
3
. On peut aussi regarder laction de SU(2) SU(2) sur R
4
H,
dnie enassociant uncouple de quaternions (q
1
, q
2
), chacunde norme 1, le morphisme
q
1
,q
2
(x) q
1
x q
2
q
1
xq
1
2
.
2.8.2. Thorme. 1 On obtient ainsi une suite exacte
1 {1} SU(2) SU(2)

SO(4) 1,
donc SO(4) SU(2) SU(2)/1.
2 On a un isomorphisme PSO(4) SO(3) SO(3).
En particulier PSO(4) nest pas simple.
2.8. QUATERNIONS 55
Dmonstration. 1 nouveau, on a N(
q
1
,q
2
(x)) q
1
xq
1
2
q
2
xq
1
1
N(x) donc limage
de est bien contenue dans O(4, R), et donc par connexit de limage dans SO(4, R).
Le noyau est constitu des (q
1
, q
2
) tels que q
1
xq
1
2
x pour tout x H donc q
1
x xq
2
.
Faisant x 1 on dduit q
1
q
2
, forcment lment de Z(H), donc q
1
q
2
1.
Pour montrer que est surjective, onprend u SO(4, R), donc u(1) q tel que N(q) 1.
Alors
q,1
u(1) qq1 1, donc
q,1
u SO(3, R), donc par le thorme prcdent, il
existe q
t
tel que
q,1
u
q
t
,q
t .
2 En composant par la projection sur PSO(4), on obtient un morphisme
: SU(2) SU(2) PSO(4).
Ce morphisme est surjectif, puisque est surjectif. Son noyau est constitu des (q
1
, q
2
)
tels que q
1
x xq
2
pour tout x H, o 1. Pour 1 on rcupre le noyau de ,
pour 1 on obtient (faisant x 1) q
2
q
1
puis q
1
x xq
1
pour tout x H, donc
q
1
1, ce qui rajoute au noyau les lments (1, 1) et (1, 1). Finalement le noyau de
est constitu des quatre lments (1, 1), donc
PSO(4) SU(2) SU(2)/(Z/2ZZ/2Z) PSU(2) PSU(2).
CHAPITRE 3
ALGBRE TENSORIELLE
3.1. Produit tensoriel
3.1.1. Construction du produit tensoriel. Soient V et W deux K-espaces vectoriels.
Un produit tensoriel de V et W est la donne dun espace vectoriel T et dune application
bilinaire t : V W T, satisfaisant la proprit universelle suivante : si f : V W E
est une application bilinaire, alors il existe une unique application linaire

f : T E qui
factorise f par T, cest--dire telle que f

f t . Cela se traduit par le fait que le diagramme
suivant soit commutatif :
VW E
T
f
t
f
Une telle paire (T, t ) est ncessairement unique, unique isomorphisme prs, au sens sui-
vant :
3.1.2. Thorme (Existence et unicit). tant donn deux K-espaces vectoriels V et W,
il existe un produit tensoriel (T, t ) de V et W, unique au sens suivant : si (T, t ) et (T
t
, t
t
) sont
des produits tensoriels de V et W, alors ils sont isomorphes, cest--dire quil existe un iso-
morphisme : T T
t
, unique, tel que le diagramme suivant soit commutatif :
VW
T T
t
t t
t
On parle ainsi du produit tensoriel de V et W, not V W. Lapplication bilinaire t : V

WV W est note (v, w) v w. Un lment de V W de type v w est appel tenseur
dcompos (ou pur) ; les tenseurs dcomposs engendrent VW.
58 CHAPITRE 3. ALGBRE TENSORIELLE
Dmonstration. Commenons par lunicit. On applique la proprit universelle pour
T t
t
: V W T
t
, pour dduire lexistence de : T T
t
unique telle que t
t
t . La
proprit universelle pour T
t
fabrique aussi : T
t
T tel que t t
t
. Appliquant luni-
cit dans la proprit universelle lapplication bilinaire t : V W T, on dduit que
Id
T
. De manire analogue Id
T
t .
Reste lexistence du produit tensoriel. Compte tenu de lunicit, nimporte quelle
construction ferait laffaire, en voici une. Soit K[V W] lespace vectoriel engendr par
les symboles (v, w) pour v V et w W. Un lment de K[V W] est donc une somme
nie

f
v,w
(v, w). crivons maintenant les relations que devraient satisfaire les lments
de K[V W] pour devenir un produit tensoriel : pour v, v
t
V, w, w
t
W, , K, les
quantits suivantes devraient tres nulles :
((v +v
t
), w) (v, w) (v
t
, w), (23)
(v, w+w
t
) (v, w) (v, w
t
). (24)
Soit S le sous-espace vectoriel de K[V W] engendr par les expressions (23) et (24).
Puisque dans le produit tensoriel, les lments de S doivent tre nuls, on pose
T K[VW]/S.
On dnit aussi lapplication bilinaire t : V W T en associant (v, w) la classe de
(v, w) dans le quotient T. Puisque K[V W] est engendr par les lments de type (v, w),
son quotient T est engendr par les lments de type t ((v, w)), cest--dire par les tenseurs
dcomposs.
Pour montrer quon a ainsi obtenu le produit tensoriel de V et W, il reste montrer la
proprit universelle : si on a une application bilinaire f : VWE, alors on peut dnir
une application linaire g : K[V W] E par g((v, w)) f (v, w). Puisque f est bilinaire,
g sannule sur le sous-espace S, et donc passe au quotient pour donner une application
linaire

f : T E. Lidentit f

f t est claire, et lunicit de

f provient du fait que T est
engendr par les t ((v, w)), or limage de t ((v, w)) par

f est dtermine, puisque ce doit tre
f (v, w).
3.1.3. Corollaire. Soient V, W et E des K-espaces vectoriels. Alors lespace des applica-
tions bilinaires VWE est isomorphe Hom(VW, E). Enparticulier, lespace des formes
bilinaires sur VW est isomorphe (VW)
.
On remarquera que lespace des applications bilinaires VWE est aussi isomorphe
Hom(V, Hom(W, E)). Le corollaire scrit donc aussi
Hom(V, Hom(W, E)) Hom(VW, E). (25)
Dmonstration. Lisomorphisme est obtenu en passant dune application bilinaire f :
V W E

f Hom(V W, E) par la proprit universelle. Dans lautre direction, on
obtient f partir de

f par restriction aux tenseurs dcomposs.
3.1.4. Proposition (Fonctorialit). Si on a des applications linaires f : V
1
V
2
et g :
W
1
W
2
, alors il existe une et une seule application linaire f g : V
1
W
1
V
2
W
2
telle
que f g(v w) f (v) g(w) pour tous v, w.
En outre, ( f
1
g
1
) ( f
2
g
2
) ( f
1
f
2
) (g
1
g
2
).
3.1. PRODUIT TENSORIEL 59
Dmonstration. Il sagit de complter le diagramme commutatif :
V
1
W
1
V
2
W
2
V
1
W
1
V
2
W
2
f g
t t
t
f g
Il suft dappliquer la proprit universelle t
t
( f g).
La seconde assertion rsulte de lunicit de ( f
1
f
2
) (g
1
g
2
) quand on applique la pro-
prit universelle, les dtails sont laisss au lecteur.
3.1.5. Proprits du produit tensoriel. Soient V, W, Z des K-espaces vectoriels, alors
KV

V k v kv,
(VW) Z

VZWZ (v +w) z v z +wz,
VW

WV v w wv,
V(WZ)

(VW) Z v (wz) (v w) z.
Comme consquence de ces proprits, on obtient en particulier que si (v
i
) et (w
j
)
sont des bases de V et W, alors (v
i
w
j
) est une base de V W. En effet, on a V
i
Kv
i
et W
j
Kw
j
, et KK K. Dveloppant par rapport aux sommes, on obtient V W
i , j
Kv
i
w
j
. En particulier,
dimVW(dimV)(dimW).
Dmonstration. Dans le premier cas, lapplication KV V donne par (k, v) kv
est bilinaire, donc il y a une application induite KV V, cest elle qui est note k v
kv. Linverse est v 1v, do lisomorphisme.
Les autres cas sont similaires. Attention labus de notation, par exemple dans le troi-
sme cas, lapplication bilinaire VWWV donne par (v, w) wv fournit, par la
proprit universelle, une application V WWV qui est note abusivement v w
wv, alors quil y a dans VW des tenseurs qui ne scrivent pas sous la forme v w.
Exemples. 1 Il y a une application linaire
f : V
WHom(V, W), w (v (v)w).

Cette application, toujours injective, est un isomorphisme si dimV <. En effet, dans ce
cas, on peut choisir une base (e
i
) de V, et soit (e
i
) sa base duale, alors linverse est fourni
pour u Hom(V, W) par la formule
f
1
(u)
i
e
i
u(e
i
).
Cette formule na de sens que pour une somme nie.
2 Extension des scalaires. Si on a un corps L K, et V est un K-espace vectoriel, alors
puisque L est un K-espace vectoriel, on peut former
V
L
V
K
L.
On peut donner V
L
une structure de L-espace vectoriel de la manire suivante : si
L, alors la multiplication m
par est un endomorphisme K-linaire de L, donc on peut

dnir la multiplication par sur V
L
comme 1m
. Les proprits de L-espace vectoriel

sont immdiates. On dit que V
L
est obtenu partir de V par extension des scalaires de K
L.
Par exemple, si K R et L C, alors V
C
V
R
C est la complexication de lespace
vectoriel rel V. Un endomorphisme u End
R
(V) stend en sa complexication u
C
u
1 End
C
(V
C
). Si u a une matrice A dans une base relle (e
i
) de V, alors u
C
a la mme
matrice A dans la base complexe (e
i
1) de V
C
.
3.2. Algbre tensorielle
On a vu dans la section prcdente que (V
1
V
2
) V
3
et V
1
(V
2
V
3
) sont canoni-
quement isomorphes. Aussi notera-t-on gnralement sans parenthse V
1
V
2
V
3
. Par
rcurrence, sont canoniquement quivalents tous les choix pour tendre cette dnition
un produit tensoriel
V
1
V
2
V
n
de n espaces vectoriels.
Une autre manire familire de voir lunicit est dexprimer V
1
V
n
et lapplication
(v
1
, . . . , v
n
) v
1
v
n
(26)
comme solution dun problme universel. Une application n-linaire V
1
V
n
E est
une application qui est linaire par rapport chacun des facteurs V
i
.
3.2.1. Lemme. Lapplication V
1
V
n
V
1
V
n
dnie par (26) est n-linaire,
et elle est universelle pour cette proprit.
Limage de cette application est nouveau constitue des tenseurs dcomposs.
Dmonstration. Notons Mult
n
(V
1
V
n
, E) lespace des applications n-linaires de
V
1
V
n
vers E. On a clairement
Mult
n
(V
1
V
n
, E) Hom(V
1
, Mult
n1
(V
2
V
n
, E)).
Il sagit de montrer que Hom(V
1
V
n
, E) Mult
n
(V
1
V
n
, E), o lisomorphisme
est donn par la composition avec (26). On raisonne par rcurrence sur n. En appliquant
(25) on obtient
Hom(V
1
V
n
, E) Hom(V
1
, Hom(V
2
V
n
, E))
Hom(V
1
, Mult
n1
(V
2
V
n
), E)
Mult
n
(V
1
V
n
, E).
De la mme manire que pour le produit tensoriel, si on a des applications linaires
f
i
: V
i
W
i
alors on obtient une application linaire unique
f
1
f
n
: V
1
V
n
W
1
W
n
3.2. ALGBRE TENSORIELLE 61
telle que sur les tenseurs dcomposs
f
1
f
n
(v
1
v
n
) f
1
(v
1
) f
n
(v
n
).
3.2.2. Algbre tensorielle. Rappelons quune K-algbre est un K-espace vectoriel A
muni dun produit qui est une application bilinaire AA A. Le produit doit tre en
outre associatif, cest--dire
(xy)z x(yz) pour tous x, y, z A.
Lalgbre est gradue si elle est munie dune dcomposition despace vectoriel
AA
n
, telle que A
n
A
m
A
n+m
.
Ondnit les puissances tensorielles dunespace vectoriel V par T
0
V K, et pour n >1
T
n
V VV V (n facteurs V).
Lalgbre tensorielle de V est dnie par
TV
nN
T
n
V. (27)
Pour en faire une algbre, nous devons dnir un produit sur TV. Nous avons en effet un
produit
T
n
VT
m
V T
n+m
V, (v
1
v
n
, v
n+1
v
n+m
) v
1
v
n+m
.
Compte tenu des proprits du produit tensoriel vues plus haut, ce produit est associatif
et fait de TV une algbre, munie dune unit puisque 1 KT
0
V TV. La dcomposition
(27) en fait une algbre gradue. Noter la prsence dune injection canonique : V TV
puisque T
1
V sidentie V.
Si V a pour base (e
i
)
i I
, alors TV a pour base les e
i
1
e
i
n
pour n Net (i
1
, . . . , i
n
) I
n
.
3.2.3. Proposition (Proprit universelle). Lalgbre tensorielle TV satisfait la pro-
prit suivante : si f : V A est une application linaire vers une algbre avec unit A,
alors il existe un morphisme dalgbres,

f : TV A, unique, tel que f

f , cest--dire le
diagramme suivant est commutatif :
V A
TV
f
f
Dmonstration. La commutation dit
f (v
1
v
2
v
n
) f (v
1
) f (v
2
) f (v
n
).
La proprit universelle de T
n
V V
n
permet dtendre cette formule en une application
linaire unique

f : T
n
V A. Reste vrier quon obtient ainsi un morphisme dalgbres :
il suft de le vrier sur les tenseurs dcomposs, qui engendrent TV, or
f ((v
1
v
n
) (v
n+1
v
n+m
)) f (v
1
) f (v
n
) f (v
n+1
) f (v
n+m
)

f (v
1
v
n
)

f (v
n+1
v
n+m
).
Comme dans tous les cas prcdents, la proprit universelle implique la fonctorialit
de la construction : si on a un morphisme f : V W, alors il y a un morphisme dalgbres,
unique, Tf : TV TW, tel que le diagramme suivant soit commutatif :
V W
TV TW
f

Tf
Le morphisme Tf nest autre que T
n
f . En outre, on a la proprit
T( f g) Tf Tg.
3.3. Algbre extrieure
On a introduit dans la section prcdente lalgbre tensorielle TV T
n
V, o T
n
V est
canoniquement le dual de Mult
n
(V
n
, K) (les formes n-linaires sur V). Dans cette section,
nous faisons une construction analogue pour lespace Alt
n
(V) des formes n-linaires al-
ternes sur V, cest--dire satisfaisant (v
1
, . . . , v
n
) 0 ds que deux des vecteurs (v
i
) sont
gaux. Si carK / 2, cela est quivalent ce que la forme n-linaire soit antisymtrique,
cest--dire satisfasse pour toute permutation S
n
lidentit
(v
(1)
, . . . , v
(n)
) ()(v
1
, . . . , v
n
).
Lalgbre extrieure V, avec une inclusion : V V, sera la solution du problme
universel pour les applications f : V A de V vers une algbre avec unit A, satisfaisant
lidentit
f (v)
2
0. (28)
Compte tenu de la proprit universelle de lalgbre TV, linjection doit se factoriser via
TV ; en mme temps, comme dans les cas prcdents, V sera engendre par les images
des tenseurs purs, donc il est lgitime de chercher V comme quotient de TV,
V TV/I.
(Comme pour les anneaux, on peut dnir le quotient dune algbre A par un idal I, cest-
-dire un sous-espace vectoriel I A satisfaisant AI I et IAI. On forme alors le quotient
comme espace vectoriel A/I et les proprits AI I et IA A sont exactement ce quil faut
pour que la multiplication passe au quotient).
Il faut mettre dans lidal I tout ce dont onna pas besoinpour factoriser les applications
satisfaisant (28). Les lments de la forme v v sont de ce type, puisquils sont envoys
sur 0. Il est alors naturel de dnir I TV comme lidal engendr par les lments de type
v v, pour v V, et lalgbre extrieure comme V TV/I. La composition de V TV
TV/I fournit lapplication : V V.
3.3.1. Proposition. Lalgbre extrieure satisfait la proprit universelle suivante : si f :
V A est un morphisme vers une algbre avec unit, telle que f (v)
2
0 pour tout v, alors f
se factorise de manire unique en f

f , o

f : V A est un morphisme dalgbres :
3.3. ALGBRE EXTRIEURE 63
V A
V
f
f
Dmonstration. Par la proprit universelle de TV, on a une factorisation de f par
g : TV A. Puisque g(v v) f (v)
2
0, il faut que g sannule sur lidal I donc g passe
au quotient pour fournir un morphisme dalgbres

f : V TV/I A. Il est manifeste-
ment unique puisque V est engendre par les tenseurs dcomposs. La dmonstration
se rsume ainsi par le diagramme suivant :
V A
TV
V
f
f
Comme consquence de la proprit universelle, ou consquence du mme nonc
pour le produit tensoriel, on obtient :
3.3.2. Proposition. Si f : V W est un morphisme, alors il induit un morphisme dal-
gbres f : V W, tel que
W
f f
V
. En outre, ( f g) f g.
Dcrivons maintenant de manire plus concrte lalgbre V. Pour cela, remarquons
que I est un idal homogne de TV, cest--dire
I
n
I T
n
V.
Cest une consquence du fait que I soit engendr par des lments homognes de degr
2 : un lment de I est une somme nie dlments de type a v v b, pour a, b TV ;
quitte dvelopper a et b, on peut supposer que a et b sont eux-mmes homognes de
degr k et l , donc a v v b T
k+l +2
V I et ainsi I se dcompose bien sur la somme
n
I T
n
V.
Il en rsulte que
V
n
T
n
V/(T
n
VI) :
n
n
V,
o
n
V est appele la puissance extrieure n-ime de V.
Puisque lidal I est engendr par les lments v v, il ne coupe pas T
0
V et T
1
V V,
donc
0
V K,
1
V V.
Le morphisme : V V est donc une injection. Le produit dans V est appel produit
extrieur et not . Ainsi V est-elle engendre par les v
1
v
n
pour n N et v
i
V.
Le fait que lidal soit homogne implique
n
V
m
V
n+m
V donc V est aussi une
algbre gradue. Si f : V W est un morphisme, il sensuit que
f
n
f , avec
n
f :
n
V
n
W.
3.3.3. Proposition. Lalgbre V est anticommutative, cest--dire que si
n
V et
m
V alors (1)
mn
.
Dmonstration. Il suft de le montrer sur les produits dlments de V. Pour n m1,
lidentit v w wv pour v, w V rsulte immdiatement de v v 0. Le cas gnral
sen dduit.
3.3.4. Proprits de
n
V. 1 Lapplication n-linaire
(v
1
, . . . , v
n
) v
1
v
n
de V
n
vers
n
V satisfait la proprit universelle suivante : si on a une application n-linaire
alterne f : V V E, alors il existe un unique morphisme

f :
n
V E telle que le
diagramme suivant soit commutatif :
V V E
n
V
f
f
En particulier, Alt
n
(V) (
n
V)
.
2 Si (e
i
)
i I
est une base de V, alors (e
i
1
e
i
n
)
i
1
<<i
n
est une base de
n
V. En parti-
culier, si d dimV <, alors
n
V 0 pour n >d, et
dim
n
V C
n
d
.
3 Si V est de dimension nie, alors
n
(V
) (
n
V)
( Alt
n
V) par la dualit
n
(V
n
V Kdonne par
1

n
, v
1
v
n
det(
i
, v
j
)
1<i , j <n
.
4 Si V est de dimension nie d, alors dim
d
V 1, donc si f End(V), lendomorphisme
d
f End(
d
V) est un scalaire : en fait
d
f det f .
Le troisime nonc sera utilis notamment dans le cours de Gomtrie Diffrentielle :
les applications de R
d
dans
n
(R
d
)
sont en effet les formes diffrentielles sur R

d
.
Dmonstration. 1 Par la proprit universelle de T
n
V, lapplicationn-linaire f se fac-
torise en f g i , o g Hom(T
n
V, E) et i est lapplication n-linaire canonique V T
n
V.
Mais, parce que f est alterne, g sannule sur I T
n
V, donc se factorise travers le quo-
tient
n
V en une application f Hom(
n
V, E). Lunicit de f provient du fait que
n
V est
engendre par les v
1
v
n
.
2 On sait dj que les (e
i
1
e
i
n
)
i
1
<<i
n
engendrent
n
V, il reste voir quils sont
libres. Pour cela on va exhiber une forme linaire qui vaut 1 sur un lment de la fa-
mille et 0 sur tous les autres. Soit (e
i
) la base duale des e
i
. Fixons a
1
< < a
n
, alors la
3.4. PFAFFIEN 65
forme n-linaire sur V donne par f (v
1
, . . . , v
n
) det(e
a
i
, v
j
) est alterne, donc fournit
f (
n
V)
. Or f (e
i
1
e
i
n
) 1 si a
j
i
j
et 0 sinon.
3 Compte tenu des proprits dantisymtrie du dterminant, la formule propose est
antisymtrique en les
i
et en les v
i
, et donc fournit une application bilinaire b :
n
(V
n
V K. Si (e
i
) est une base de V et (e
i
) la base duale, alors b(e
i
1
e
i
n
, e
j
1
e
j
n
) 1
ou 0 suivant que i
k
j
k
ou non. Ainsi la forme b est non dgnre, et on obtient une
dualit dans laquelle (e
i
1
e
i
n
) est la base duale de (e
i
1
e
i
n
).
4 Ona
d
f (e
1
e
d
) f (e
1
) f (e
d
) (
f
i 1
e
i
) (
f
i d
e
i
) (det f )e
1
e
d
aprs dveloppement.
3.3.5. Tenseurs antisymtriques. Supposons carK 0. Dans ce cas, on peut raliser
n
V comme sous-espace vectoriel de T
n
V de la manire suivante. Si S
n
, alors induit
un endomorphisme de T
n
V, dni sur les tenseurs dcomposables par
(v
1
v
n
) v
(1)
v
(n)
.
Un tenseur t T
n
V est dit antisymtrique si (v) ()v pour toute permutation S
n
,
et on notera a
n
V T
n
V lespace des n-tenseurs antisymtriques.
Lapplication n-linaire p : V
n
T
n
V, dnie par
p(v
1
, . . . , v
n
)
1
n!
S
n
()v
(1)
v
(n)
,
stend en une application linaire p : T
n
V T
n
V, dimage incluse dans a
n
V, et appele
antisymtrisation : par exemple p(v
1
v
2
)
1
2
(v
1
v
2
v
2
v
1
).
3.3.6. Lemme. Lantisymtrisation satisfait p
2
p, et ker p I T
n
V. Donc p est une
projection sur a
n
V, et on a une dcomposition
T
n
V (I T
n
V) a
n
V,
dans laquelle a
n
V
n
V par passage au quotient.
On fera attention quen revanche,
n
a
n
V nest pas une sous-algbre de TV, donc on ne
peut pas dcrire la structure dalgbre de V ainsi.
Dmonstration. Un calcul direct montre que p
2
p, donc p est une projection sur
a
n
V. Manifestement IT
n
V ker p, donc p se factorise en un morphisme p :
n
V a
n
V.
Si est la projection T
n
V
n
V, alors [
a
n
V
est surjective, do on dduit p Id
n
V
.
Donc p est injective et I T
n
V ker p.
3.4. Pfafen
Soit une matrice 2n 2n valeurs dans le corps K, antisymtrique, A (a
i j
). On lui
associe
(A)
i <j
a
i j
e
i
e
j

2
K
2n
.
Alors (A)
n

2n
K
2n
. Soit (e
1
, . . . , e
2n
) une base standard de K
2n
, alors on dnit le pfaf-
en de A par la formule :
(A)
n
n! Pf(A)e
1
e
2n
. (29)
A priori, cette formule ne dnit Pf(A) que si carK0. Nanmoins, en dveloppant (A)
n
,
on saperoit que, pour carK 0, le pfafen Pf(A) est un polynme coefcients entiers
en les coefcients de la matrice A :
Pf Z[a
i j
]. (30)
Pour un corps quelconque, on utilise le morphisme danneau : Z K pour obtenir
partir de (30) le pfafen Pf K[a
i j
].
Exemple. Considrons la matrice
A
_
_
_
_
_
_
_
_
0
1
1
0
.
.
.
0
n
n
0
_
_
_
_
_
_
_
_
. (31)
Alors (A)
i

i
e
2i 1
e
2i
, et Pf(A)
i

i
.
3.4.1. Lemme. Pour toute matrice P, on a (P
t
AP)
2
P((A)).
Dmonstration. Par calcul direct : si P (p
i j
), A (a
i j
), alors P
t
AP (
k,l
p
ki
a
kl
p
l j
),
et
(P
t
AP)
i <j
kl
p
ki
a
kl
p
l j
e
i
e
j

1
2
i j kl
p
ki
a
kl
p
l j
e
i
e
j
1
2
kl
a
kl
P(e
k
) P(e
l
)
k<l
a
kl
P(e
k
) P(e
l
)
2
P((A)).
3.4.2. Lemme. On a lidentit Pf(P
t
AP) (det P) Pf(A).
(1)
Dmonstration. Il sagit dune identit entre polynmes coefcients entiers en les
coefcients de A et P, quil suft de tester pour K Q. Mettant lgalit du lemme 3.4.1
la puissance n, on obtient
n! Pf(P
t
AP)e
1
e
2n
2n
P((A)
n
) (det P)n! Pf(A)e
1
e
2n
.
Notons que la dmonstration utilise lidentit, pour tout
2
,
2
P()
n
2n
P(
n
),
consquence de lidentit plus gnrale, pour
1
, . . . ,
n

2
,
2
P(
1
)
2
P(
n
)
2n
P(
1

n
).
1. En particulier, pour P SO(2n), on a P
t
P
1
et on obtient Pf(P
1
AP) Pf(A). Vous verrez plus tard que
les matrices anti-symtriques sont lalgbre de Lie du groupe SO(2n), donc le pfafen est un polynme sur cette
algbre de Lie, invariant sous la conjugaisonpar les lments dugroupe SO(2n). Ces polynmes invariants jouent
un rle important en thorie des groupes et algbres de Lie, lexemple le plus simple tant les ATr(A
k
) qui sont
des polynmes invariants par conjugaison sous le groupe gnral linaire.
3.5. ALGBRE SYMTRIQUE 67
Cette dernire identit se montre enconstatant que les deux membres sont multi-linaires
en (
1
, . . . ,
n
), donc il suft de la tester sur des vecteurs dcomposs
i
x
i
y
i
, et on
voit que dans ce cas les deux membres sont gaux P(x
1
) P(y
1
) P(x
n
) P(y
n
).
3.4.3. Thorme. On a lidentit Pf(A)
2
det(A).
Dmonstration. Le thorme est vrai sur les matrices de type (31), puisque le pfafen
est

i

i
et le dterminant

i

2
i
. Or, par la thorie des formes alternes, toute matrice
anti-symtrique scrit sous la forme P
t
AP, o P est inversible et A de la forme (31), avec
i
1 ou 0. (Il suft de dcomposer K
2n
FG, avec F ker A, et de choisir une base
hyperbolique de G). Le thorme dcoule alors du lemme 3.4.2.
Comme consquence, on obtient une seconde dmonstration du fait que les transfor-
mations symplectiques sont de dterminant 1 :
3.4.4. Corollaire. On a linclusion Sp(n, K) SL(2n, K).
Dmonstration. Soit A la matrice anti-symtrique dune forme alterne dans une base,
alors
Sp(n, K) {P M
2n
(K), P
t
AP A}.
Ncessairement, un lment P Sp(n, K) satisfait det(P) Pf(A) Pf(A), ce qui implique
det(P) 1 puisque A est inversible.
3.5. Algbre symtrique
On sera ici trs bref car la construction est entirement parallle celle de lalgbre
extrieure. Le problme universel rsoudre ici est celui pour les morphismes f : V Ao
A est une algbre commutative avec unit. Lalgbre solution de ce problme est lalgbre
symtrique SV, obtenue comme le quotient
SV TV/J,
o J est lidal de TV dans lequel on a mis exactement ce quil faut pour que le quotient
soit commutatif, donc J est lidal engendr par les lments du type
v wwv.
Lidal J est nouveau homogne, donc se dcompose en J
n
J T
n
V, et on a une d-
composition
SV S
n
V, S
n
V T
n
V/(J T
n
V).
En particulier, S
0
V K et S
1
V V, do linjection canonique V SV. Le produit dans
lalgbre symtrique est not sans signe particulier : par exemple v
1
v
2
v
2
v
1
.
Un morphisme f : V W donne un morphisme S f : SV SW, avec S f
n
S
n
f . On a
bien sr la proprit S( f g) S f Sg.
Les proprits de S
n
V sont les suivantes :
1 Lapplication n-linaire symtrique de V
n
vers S
n
V, dnie par (v
1
, . . . , v
n
)
v
1
v
n
, est universelle pour cette proprit (une application n-linaire f est
symtrique si f (v
(1)
, . . . , v
(n)
) f (v
1
, . . . , v
n
) pour tout S
n
) ; en particulier
(S
n
V)
Sym
n
V, lespace des formes n-linaires symtriques sur V.
2 Si (e
i
)
i I
est une base de V, alors une base de S
n
V est donne par les (e
k
1
i
1
. . . e
k
r
i
r
) pour
tout r -uplet i
1
< <i
r
et entiers k
i
tels que k
1
+ k
r
n ; si dimV d, on a
dimS
n
V C
d1
n+d1
.
En particulier, SV est toujours de dimension innie, contrairement V.
3 Lalgbre SV est isomorphe lalgbre de polynmes K[X
1
, . . . , X
d
] : si (e
1
, . . . , e
d
) est
une base de V, un isomorphisme est obtenu en envoyant e
i
sur X
i
.
4 Si carK 0, on peut raliser S
n
V lintrieur de T
n
V comme le sous-espace s
n
V
des tenseurs symtriques, cest--dire des tenseurs t satisfaisant (t ) t pour tout
S
n
; en effet, on dispose alors dune symtrisation q : T
n
V T
n
V
q(v
1
v
n
)
1
n!
S
n
v
(1)
v
(n)
,
vriant q
2
q, donc est une projection sur s
n
V, de noyau J T
n
V. Ainsi,
T
n
V (J T
n
V) s
n
V, s
n
V S
n
V.
5 Pour n 2, si carK/2, on peut toujours crire
v w
1
2
(v wwv) +
1
2
(v w+wv) p(v w) +q(v w),
donc on obtient une dcomposition de tout 2-tenseur en somme dun tenseur anti-
symtrique et dun tenseur symtrique :
T
2
V a
2
Vs
2
V. (32)
CHAPITRE 4
REPRSENTATIONS DES GROUPES FINIS
4.1. Reprsentations
Soit G un groupe et V un K-espace vectoriel. Une reprsentation linaire de G dans V
est un morphisme de groupes
: GGL(V).
On notera la reprsentation (V, ), ou simplement, en labsence dambigut, ou V. Lac-
tion dun lment g G sur V sera souvent note g v ((g)(v)).
Exemples. 1 Si V C, alors une reprsentation de G dans V est un morphisme : G
C
; si G est ni, limage est un groupe cyclique.

2 Si (e
1
, . . . , e
n
) est une base de K
n
, on obtient une reprsentation de S
n
dans K
n
en po-
sant ()(e
i
) e
(i )
. Une telle reprsentation est appele reprsentation de permutation,
les () sont des matrices de permutation.
3 Si G est dni comme un sous-groupe de GL(V) (ce qui est le cas de tous les groupes
classiques), alors linclusion GGL(V) est appele la reprsentation standard.
4.1.1. Algbre de groupe. Soit G un groupe ni. partir du groupe G on construit une
lalgbre du groupe, K[G], qui est une K-algbre avec unit. Comme K-espace vectoriel,
on a
K[G] G
K
{ f : GK}.
Le produit sur K[G] est le produit de convolution, dni par
f g(x)
yG
f (y)g(y
1
x).
Une autre descriptionde ce produit peut tre donne de la manire suivante : unlment
g G on associe
g
K[G] la fonction caractristique de {g} (
g
(h) 1 si g h et 0 sinon).
Alors (
g
)
gG
est une base de K[G], et la multiplication est dnie par
g
t
g g
t .
Lapplication
GK[G]
, g
g
,
70 CHAPITRE 4. REPRSENTATIONS DES GROUPES FINIS
est donc un morphisme de groupes, injectif. Il identie G une partie de K[G], et on iden-
tiera dornavant g et
g
. Ainsi tout lment f de K[G] scrit-il
f
gG
f
g
g, f
g
K.
4.1.2. Lemme (Proprit universelle de K[G]). Si on a une application : GA, o A
est une K-algbre avec unit, telle que im A
et : G A
est un morphisme, alors il

existe un unique morphisme dalgbres : K[G] A rendant le diagramme suivant com-
mutatif :
G A
K[G]

Dmonstration. Il suft de poser (
g
f
g
g)
g
f
g
(g).
Exemples. 1 Si on a une reprsentation linaire de G dans V, on peut appliquer le
lemme pour produire un morphisme dalgbres f : K[G] EndV :
G EndV
K[G]
f
On obtient ainsi une action de K[G] sur V par
u K[G], v V, u v f (u)(v).
Lespace V est ainsi un K[G]-module gauche (cest--dire lapplication K[G] V V
est bilinaire et satisfait a (b v) (ab) v). Rciproquement, si V est un K[G]-module
gauche, alors on obtient une reprsentation de G dans V par restriction G, donc une
reprsentation de G dans V est la mme chose que la donne sur V dune structure de
K[G]-module gauche.
2 En particulier, K[G] est une reprsentation de G appele reprsentation rgulire.
On peut voir aussi directement cette reprsentation de G quand on dcrit K[G] comme
espace des fonctions de GK, alors laction de g G sur une fonction f est par
(g f )(x) f (g
1
x).
4.1.3. Vocabulaire et proprits. Soit (V, ) une reprsentation de G.
La reprsentation est dle si est injective.
Le degr de la reprsentation est dimV.
Une sous-reprsentation est un sous-espace WV stable sous laction de G, on parle
dun sous-espace G-invariant. Dans ce cas, on a une reprsentation induite sur le quotient
V/W.
4.1. REPRSENTATIONS 71
Exemples. 1 Le sous-espace des vecteurs xes sous G,
V
G
{v V, g v v pour tout g G}
est un sous-espace G-invariant.
2 Si V, de base (e
1
, . . . , e
n
), est une reprsentation de permutation du groupe S
n
, alors
V
0
_
i
x
i
e
i
, x
i
K,
i
x
i
0
_
est une sous-reprsentation de V.
Unmorphisme entre deux reprsentations V
1
et V
2
est une applicationlinaire f : V
1
V
2
telle que pour tout g G, on ait
f
1
(g)
2
(g) f .
Cest quivalent dire que f est K[G]-linaire. Dans ce cas, ker f et im f sont des sous-
reprsentations de V
1
et V
2
, et f induit un isomorphisme de reprsentations
f : V
1
/ker f

im f .
Lespace des morphismes entre V
1
et V
2
est not Hom
G
(V
1
, V
2
), ou Hom(
1
,
2
).
Si V et W sont des reprsentations de G, alors on peut former les reprsentations sui-
vantes :
VW pour (g) (
V
(g),
W
(g)) ;
VW pour (g)
V
(g)
W
(g) ;
V
pour (g) (g
1
)
t
;
Hom
K
(V, W) V
W pour (g)( f )
W
(g) f
V
(g)
1
; en particulier lespace des
morphismes de reprsentations de V vers W est
Hom
G
(V, W) Hom
K
(V, W)
G
;
T
k
V,
k
V, S
k
V sont aussi des reprsentations de G; en particulier on notera que,
comme reprsentation, par (32),
VV
2
VS
2
V.
Enn, la reprsentation V est irrductible si ses seules sous-reprsentations sont 0 et
V.
Exemples. 1 Si G est ablien et K C (ou un corps algbriquement clos), alors les
(g) se diagonalisent simultanment, donc les seules reprsentations irrductibles de G
sont de degr 1. Ainsi les reprsentations irrductibles de Z/nZ dans C sont donnes par
limage dun gnrateur, qui doit tre une racine n-ime de lunit dans C. On obtient ainsi
les n reprsentations irrductibles
j
( j 0, . . . , n 1), donnes par
j
(k) exp(k j
2i
n
).
2 La reprsentation standard du groupe didral D
n
dans R
2
, et donc dans la complexi-
cation C
2
, est irrductible.
4.1.4. Supplmentaire G-invariant. Si W est une sous-reprsentation de V, il nexiste
pas en gnral de supplmentaire G-invariant W
t
de W dans V.
Exemple. Le groupe des matrices triangulaires suprieures T GL(2, F
p
),
T
__

0
__
,
se reprsente dans V F
2
p
(reprsentation standard). Alors W Ke
1
est une sous-
reprsentation dpourvue de supplmentaire T-invariant. En particulier, la reprsenta-
tion standard F
2
p
nest pas isomorphe la reprsentation WV/W.
Nanmoins, il y a quand mme un rsultat gnral dexistence de supplmentaire G-
invariant :
4.1.5. Thorme. Si Gest un groupe ni tel que carK [G[, et V est une reprsentation de
G, alors tout sous-espace G-invariant admet un supplmentaire G-invariant.
4.1.6. Corollaire. Si carK [G[, alors toute reprsentation de G de dimension nie est
somme directe de reprsentations irrductibles.
On va donner deux dmonstrations du thorme, une premire particulire KR ou
C, mais qui est valable aussi pour certains groupes non nis ; et une seconde traitant tous
les corps.
Premire dmonstration. Supposons KR ou C. On choisit un produit scalaire ou un
produit scalaire hermitien dni positif sur V, not ., .
0
. Puis on dnit un autre produit
scalaire par
v, w
1
[G[
gG
g v, g w
0
. (33)
Ce nouveau produit scalaire est G-invariant : pour tous g G, on a
g v, g w v, w,
si bien que est valeurs dans O(V) ou U(V). En particulier, si W est G-invariant, alors W
est aussi G-invariant et fournit le supplmentaire voulu.

Lingrdient essentiel de cette dmonstration consiste fabriquer un produit scalaire
G-invariant par moyennisation dun produit scalaire quelconque donn. Si G est un
groupe compact, il est muni dune mesure de probabilit G-invariante, la mesure de
Haar : en remplaant (33) par lintgration sur le groupe, la dmonstration stend ce
cas.
Seconde dmonstration. On commence par traiter le cas particulier o W V
G
. Pour
x V on dnit
(x)
1
[G[
gG
g x.
Sous lhypothse sur carK, cette formule a un sens, et est une projection G-invariante sur
WV
G
. Donc ker est le supplmentaire souhait de W.
En gnral, on choisit une projection quelconque p sur W, donc p Hom(V, W). Appli-
quant la projection dans la reprsentation Hom(V, W), on fabrique
(p)
1
[G[
gG
W
(g) p
V
(g)
1
Hom
G
(V, W) (34)
4.1. REPRSENTATIONS 73
est encore une projection sur W donc ker(p) est un supplmentaire G-invariant de W.
4.1.7. Lemme de Schur. 1 Si
1
et
2
sont deux reprsentations irrductibles de G, alors
tout morphisme non nul f :
1
2
est inversible.
2 Si en outre
1

2
et K est algbriquement clos, alors lalgbre des endomor-
phismes de est rduite aux homothties.
Dmonstration. 1 Les sous-espaces ker f et im f sont G-invariants, donc triviaux.
2 Si f End() a une valeur propre , alors ker(u ) est G-invariant, donc gal V
tout entier. Donc f est une homothtie.
Exemple. Sous les hypothses du thorme, on a
K[G] R
i
,
avec R
i
reprsentation irrductible. Si V est une reprsentation irrductible de G, et v
0
/0,
alors lapplication
: K[G] V, u u v
0
,
est un morphisme de reprsentations, donc est ncessairement surjectif. Par le lemme de
Schur, il y a au moins un i tel que [
R
i
soit un isomorphisme. Donc V est isomorphe lune
des reprsentations R
i
, et on en dduit :
4.1.8. Corollaire. Si carK [G[, alors, isomorphisme prs, il ny a quun nombre ni de
reprsentations irrductibles de G, et chacune est de degr <[G[.
4.1.9. Corollaire. Sous la mme hypothse, soient R
1
, . . . , R
k
les reprsentations irrduc-
tibles de G, alors toute reprsentation se dcompose en V n
i
R
i
, o les entiers naturels n
i
sont uniquement dtermins par la reprsentation.
Une dmonstration plus simple de ce corollaire sera vue en 4.2 si carK0, laide de
la thorie des caractres, mais la dmonstration qui suit est gnrale.
Dmonstration. Par rcurrence sur la dimension de V. Supposons V V
i
W
i
, o
les V
i
et les W
i
sont des reprsentations irrductibles, ventuellement rptes. On va
montrer qu permutation prs, les (V
i
) et les (W
i
) sont le mme ensemble de reprsenta-
tions. On dispose donc dun isomorphisme de reprsentations
f : V
i
W
i
,
dont on notera linverse g. Notons p
i
: V V
i
et q
i
: V W
i
les projections. Alors Id
V
1

p
1
g[
W
i
q
i
f [
V
1
, donc lun des facteurs est non nul, quitte rarranger les W
i
on peut sup-
poser que cest le premier, donc p
1
g[
W
1
q
1
f [
V
1
/0. Par le lemme de Schur, cest un isomor-
phisme, donc
p
1
g[
W
1
: W
1
V
1
et q
1
f [
V
1
: V
1
W
1
sont aussi des isomorphismes. Pour appliquer lhypothse de rcurrence, il suft de mon-
trer que
(1q
1
) f [
i >2
V
i
:
i >2
V
i

i >2
W
i
est encore un isomorphisme. En effet, si x
i >2
V
i
est dans le noyau, alors f (x) W
1
, et
p
1
g( f (x)) p
1
(x) 0, donc, p
1
g[
W
1
tant un isomorphisme, f (x) 0 donc x 0.
4.2. Caractres
Dans cette section, on suppose Kalgbriquement clos et carK [G[.
Si (V, ) est une reprsentation de G, on appelle caractre de la fonction
: G K
dnie par
(g) Tr(g).
En particulier,
(1) dimV, donc le caractre dtermine le degr de la reprsentation (on

verra plus tard que si KC, il dtermine tout entier).
On calcule
(ghg
1
) Tr
_
(g)(h)(g)
1
_
Tr
_
(h)
_
(h).
On dit que
est une fonction centrale, ou encore invariante par conjugaison. Lespace

de toutes les fonctions centrales sur le groupe G sera not C(G).
Exemples. 1 Le caractre de la reprsentation rgulire est
reg
(g)
_
[G[ g e,
0 g /e.
2 Le caractre de la reprsentation standard de D
n
dans C
2
est donn par
(r
k
) 2cos
_
2k
n
_
, (sr
k
) 0.
4.2.1. Proprits. 1 Deux reprsentations isomorphes ont mme caractre.
2
V
(g)
V
(g
1
).
3
VW
V
+
W
; si WV alors
V
W
+
V/W
.
4
VW
W
.
Dmonstration. Tout est vident, sauf la quatrime proprit qui dcoule de lidentit
Tr(u v) Tr(u) Tr(v)
que lon peut vrier dans une base.
On introduit sur K[G] { f : GK} la forme bilinaire symtrique
f , g
1
[G[
xG
f (x
1
)g(x).
En particulier,
x
, f
1
[G[
f (x
1
), donc cette forme est non dgnre.
Si K C, on a vu que la reprsentation V admet un produit hermitien invariant par G.
Alors (g) U(V), et donc (g
1
) (g)
, qui implique
(g
1
)
(g). (35)
Ainsi, sur les caractres, ,
t
est le produit scalaire hermitien standard de C[G].
4.2.2. Thorme. Les caractres des reprsentations irrductibles forment une base or-
thonorme de C(G), lespace des fonctions centrales sur G.
La dmonstration du thorme va utiliser les deux lemmes suivants :
4.2. CARACTRES 75
4.2.3. Lemme. Soit : Hom
K
(V, W) Hom
G
(V, W) Hom
K
(V, W) la projection dnie
par (34), alors
Tr
V
,
W
.
Dmonstration. Plaons-nous dans des bases de V et W, soit E
i j
la matrice lmentaire
dont tous les termes sont nuls, sauf le terme dordre (i , j ), gal 1. Alors
_
W
(g) E
i j
V
(g)
1
_
kl

W
(g)
ki
V
(g
1
)
j l
. (36)
Appliquant au cas particulier i k et j l , on calcule
Tr
i j
(E
i j
)
i j

1
[G[
gG
i j
W
(g)
i i
V
(g
1
)
j j
1
[G[
gG
_
i
W
(g)
i i
__
j
V
(g
1
)
j j
_
1
[G[
gG
W
(g)
V
(g
1
).
4.2.4. Lemme. Soit (V, ) une reprsentation de G. Si f est une fonction centrale sur G,
dnissons
f
1
[G[
G
f (g)(g
1
) End
K
(V).
Alors f
End et Tr( f
) f ,
.
Dmonstration. On calcule, puisque f est centrale,
(x)
1
f
(x)
1
[G[
gG
f (g)(x
1
g
1
x)
1
[G[
gG
f (g)(g
1
) f
.
Donc f
End, et sa trace est

Tr f
1
[G[
gG
f (g)(g
1
) f ,
.
Dmonstration du thorme 4.2.2. Soient V et W deux reprsentationirrductibles. Par
le lemme de Schur, on a
Hom
G
(V, W)
_
0 V et W non isomorphes,
K V et W isomorphes.
Par le lemme 4.2.3,
V
,
W
Tr vaut 0 dans le premier cas, 1 dans le second. Donc la fa-
mille (
V
) pour V irrductible est orthonormale, il reste voir quelle engendre tout C(G).
Observons que si est irrductible, alors par le lemme 4.2.4 appliqu la fonction cen-
trale
, on dduit que f
est une homothtie, et Tr f
(deg) f
1, do en
particulier deg est inversible dans K.
Pour une fonction centrale f et une reprsentation irrductible quelconques, f
est
une homothtie de rapport
f ,
deg
. Si f est orthogonale tous les caractres, alors f

0 pour toutes les reprsentations irrductibles, et donc pour toutes les reprsentations.
Appliquons la reprsentation rgulire :
f
reg

1
[G[
G
f (g)g
1
0
dans K[G], ce qui entrane f 0.
4.2.5. Corollaire. 1 Le nombre de reprsentations irrductibles de Gest gal au nombre
de classes de conjugaison de G.
2 Soient
1
,. . . ,
les reprsentations irrductibles de G. On note [g] la classe de conju-

gaison de g dans G. Alors
i
(g
1
)
i
(h)
_
[G[
[[g][
si h [g],
0 sinon.
Dmonstration. La dimension de C(G) est gale au nombre de classes de conjugaison
dans G, do le premier nonc. Pour le second, soit f 1
[g]
la fonction caractristique de
la classe de conjugaison de g, alors f est une fonction centrale qui se dcompose sur les
caractres
i
des reprsentations irrductibles :
f
f ,
i
i
, f ,
i

1
[G[
[[g][
i
(g
1
).
Il en rsulte
1
[g]
(h) f (h)
[[g][
[G[
i
(g
1
)
i
(h),
ce qui est exactement le rsultat voulu.
4.2.6. Corollaire. Si carK0, alors, en notant
1
,. . . ,
les reprsentations irrductibles

de G :
si
1
n
i
i
, alors n
i

i
et
i
n
2
i
; en particulier, et
t
sont quiva-
lentes si et seulement si
t ;
la reprsentation rgulire se dcompose en K[G]

1
(dim
i
)
i
, en particulier
1
(dim
i
)
2
[G[.
Remarques. Le premier nonc donne une autre dmonstration du corollaire 4.1.9 si
carK 0. Si carK p / 0, il est faux que le caractre dtermine la reprsentation, par
exemple le caractre de pV est nul. En revanche, le second nonc reste vrai si carK/0.
On verra en 4.3 quon a un isomorphisme dalgbres K[G]
1
End(V
i
), alors que le
second nonc du corollaire ne donne que lgalit des dimensions.
Une autre contrainte importante sur les dimensions des reprsentations irrductibles
est que leurs dimensions divisent lordre du groupe. Ce thorme plus difcile sera vu en
4.4.
Dmonstration. Si

1
n
i
i
alors
1
n
i
i
donc n
i

i
. Ainsi
dtermine-t-il les n
i
et donc toute la reprsentation , et
l
1
n
2
i
.
Appliquons cela la reprsentation rgulire : puisque
reg
[G[1
{e}
, on obtient
reg
,
i

i
(e) deg
i
, do il rsulte que la reprsentation rgulire est isomorphe
1
(deg
i
)
i
.
4.2. CARACTRES 77
4.2.7. Proposition. Le groupe G est ablien si et seulement si toutes ses reprsentations
irrductibles sont de degr 1.
Dmonstration. Un groupe G est ablien si et seulement sil a exactement [G[ classes
de conjugaison, donc [G[ reprsentations irrductibles. Or [G[
1
(deg
i
)
2
, donc < [G[
avec galit si et seulement si toutes les reprsentations irrductibles sont de degr 1.
4.2.8. Corollaire. Si G A un sous-groupe ablien, alors toute reprsentation irrduc-
tible de G est de degr infrieur ou gal
[G[
[A[
.
Dmonstration. Soit V une reprsentation irrductible de G et W V une sous-
reprsentation de dimension 1 de A. Alors V
t

G
g W

G/A
g W est une sous-
reprsentation de V, donc V
t
V. Mais dimV
t
<[G/A[.
4.2.9. Table des caractres. On xe KC. Les contraintes obtenues sur les caractres
sont dj sufsantes pour obtenir une description complte des reprsentation irrduc-
tibles du groupe G dans certains cas. On traite ici deux exemples.
Le groupe S
3
. Il possde trois classes de conjugaison, celle de llment neutre e, celle
3 lments dune transposition , et celle 2 lments dun 3-cycle . Il y a donc trois
reprsentations irrductibles de S
3
, dont nous noterons les caractres
1
,
2
et
3
.
Les reprsentations de degr 1 se dterminent toujours de la manire suivante : ce sont
des morphismes GC
, donc, abliennes, elles se factorisent par G/Z(G) (et rciproque-

ment, une reprsentation dun quotient G/H remonte toujours en une reprsentation de
G), donc les reprsentations de degr 1 sont exactement les reprsentations du groupe
ablien G/Z(G), savoir dans notre cas S
3
/A
3
Z/2Z. Il y en a donc deux, facilement identi-
es : la reprsentation triviale (disons
1
) et la signature (disons
2
). Par le corollaire 4.2.6,
la somme des carrs des dimensions des reprsentations fait [S
3
[ 6, soit 1+1+4 6 donc
deg
3
2. On peut alors dresser la table des caractres, qui donne la valeur de chaque
caractre sur chaque classe de conjugaison :
e
1
1 1 1
2
1 1 1
3
2 0 1
La premire colonne donne juste les dimensions des reprsentations. La troisime ligne, a
priori inconnue, est obtenue en appliquant le corollaire 4.2.5 qui dit que les colonnes sont
orthogonales ; une autre mthode pour dterminer la troisime ligne est dcrire (corol-
laire 4.2.6)
1
+
2
+2
3
reg
61
{e}
do on dduit galement
3
.
On a ainsi dtermin le caractre de la troisime reprsentation sans la connaitre, mais
on peut aussi la dcrire explicitement : S
3
est le groupe de symtries dun triangle qui-
latral, et cela donne une reprsentation dans R
2
, et par complexication dans C
2
. Dans
cette reprsentation, les transpositions sont envoyes sur des symtries ( trace nulle), et
les cycles sur des rotations dangle
2
3
, donc de trace 1.
La table des caractres peut tre utilise pour calculer la dcomposition en compo-
santes irrductibles dune reprsentation donne, grce au corollaire 4.2.6. Par exemple,
dcomposons le produit tensoriel C
2
C
2
, o C
2
est la reprsentation irrductible dordre
2. Son caractre est
2
3
(401)
1
+
2
+
3
. Donc
C
2
C
2
C
2
C
triv
C
sig
.
Remarquons quon connaissait dj, par (32), la dcomposition C
2
C
2
S
2
C
2
2
C
2
.
Le second morceau, de dimension 1, est C
sig
(cest le dterminant), tandis que le premier
morceau se dcompose en deux.
Le groupe D
4
. Le groupe de symtries du carr est engendr par une rotation r dangle
2
et une symtrie s. On a sr
k
s r
k
et r sr
1
sr
2
, ce qui donne 5 classes de conjugaison :
{e}, {r
2
}, {r, r
3
}, {s, r
2
s}, {r s, r
3
s}. Le sous-groupe Z/2Z{e, r
2
Id} est distingu, et dans
le quotient les trois lments distincts r , s et r s sont dordre 2, donc
D
4
/(Z/2Z) Z/2ZZ/2Z.
Cela nous donne donc 4 reprsentations de degr 1, la cinquime doit donc tre dordre 2.
Appliquant la mme mthode que prcdemment, on obtient le tableau des caractres :
e r
2
{r, r
3
} {s, r
2
s} {r s, r
3
s}
1 1 1 1 1 1
1
1 1 1 1 1
2
1 1 1 1 1
2
1 1 1 1 1
C
2
2 2 0 0 0
La reprsentation de degr 2 ici nest autre que la reprsentation standard dans C
2
.
4.3. Structure de K[G]
Dans la suite du chapitre, K[G] est un corps algbriquement clos, de caractristique nulle.
Dans le cas o le groupe est ablien, les reprsentations complexes, de degr 1, siden-
tient leur caractre : G C
. En particulier, lensemble des caractres est un groupe

multiplicatif, appel groupe des caractres, et not

G. Si f est une fonction sur G, alors on
peut dnir
f :

GC,

f () , f . (37)
Le thorme 4.2.2 sinterprte comme une transforme de Fourier entre fonctions sur Get
fonctions sur

G, avec la formule dinversion
f
f ().
Cest la mme transforme de Fourier que celle que vous connaissez sur dautres groupes
abliens comme S
1
ou R. En revanche, pour un groupe non ablien, le thorme 4.2.2 ne
fournit une telle transforme que pour les fonctions centrales. Dans cette section, on va
voir ce qui se passe pour les fonctions gnrales.
Soit V une reprsentation de G. Choisissant une base de V, le terme
V
(g)
i j
de la ma-
trice
V
(g) est appel un coefcient de la reprsentation V.
4.3. STRUCTURE DE K[G] 79
4.3.1. Lemme. Soient V et W deux reprsentations irrductibles, alors
1
[G[
V
(g)
ki
W
(g
1
)
j l

_
0 (V, i , j ) /(W, j , l ),
1
dimV
(V, i , k) (W, j , l ).
(38)
Dmonstration. Entermes de la projection: Hom(V, W) Hom
G
(V, W) Hom(V, W),
par la formule (38), le membre de gauche est (E
i j
)
kl
. Si V nest pas isomorphe W, alors
(E
i j
) 0 et cest ni. Si V W, alors est la projection sur les homothties, donc (E
i j
)
0 si i / j , et (E
i i
)
1
dimV
Id
V
, ce qui achve la dmonstration du lemme.
4.3.2. Corollaire. Les coefcients
V
(g)
i j
des reprsentations irrductibles forment une
base de K[G].
Dmonstration. Puisque

(deg)
2
dimG, on a le bon nombre de coefcients, et le
lemme implique quils sont linairement indpendants.
Pour K C, choisissons des bases orthonormales des reprsentations, de sorte que
les (g) soient unitaires, alors
W
(g
1
)
j l

W
(g)
l j
. Donc les coefcients des reprsen-
tations forment une base orthogonale de C[G], lespace des fonctions complexes sur G.
Cela donne lextension au cas non ablien de la transforme de Fourier.
On peut prciser encore la structure dalgbre de K[G] :
4.3.3. Proposition. Soient V
1
,. . . ,V
les reprsentations irrductibles de G. Alors

: K[G]
1
EndV
i
,
obtenu en faisant agir K[G] sur chaque V
i
, est un isomorphisme dalgbres.
Remarques. Ce thorme stend tous les groupes compacts (thorme de Peter-
Weyl), en remplaant C[G] par lalgbre des fonctions L
2
, et en prenant une somme hil-
bertienne (innie) dans le second membre. Les coefcients des reprsentations irrduc-
tibles de dimension nie forment une base hilbertienne, cest la gnralisation des sries
de Fourier aux groupes compacts.
Dmonstration. Lapplication est un morphisme entre deux algbres de mme
dimension. Il suft donc de montrer quil est injectif. Si (
G
x
g
g) 0, cest--dire
G
x
g
V
i
(g) 0 pour tout i , alors pour tous les indices ( j , k) ona encore
G
x
g
V
i
(g)
j k
0.
Puisque les coefcients des reprsentations engendrent K[G], cela implique

G
x
g
(g)
0 pour toute fonction : GK, et donc nalement tous les x
g
0.
Cette proposition donne le centre de K[G], mais nous aurons besoin plus loin de la
description suivante : soit c G une classe de conjugaison, et
e
c

gc
g K[G].
4.3.4. Proposition. 1 Le centre de K[G] est le sous-espace vectoriel engendr par les e
c
.
2 Le sous-groupe ablien engendr par les e
c
est un sous-anneau commutatif de K[G].
Dmonstration. 1 Si h G et u
G
u
g
g, alors huh
1
G
u
h
1
gh
g donc u Z(K[G])
si et seulement si u
h
1
gh
u
g
pour tous h, g G, cest--dire u est constante sur les classes
de conjugaison.
2 Le sous-groupe ablien engendr par les e
c
contient 1, il reste voir quil est stable
par multiplication : or
e
c
e
c
t
gc,g
t
c
t
g g
t
,
mais hg g
t
h
1
hgh
1
hg
t
h
1
donc {g g
t
} est une runion de classes de conjugaison, donc
e
c
e
c
t
c
n
c
e
c
pour des n
c
Z.
4.3.5. Le cas de caractristique non nulle. Tous les rsultats dmontrs dans cette
section restent vrais si la caractristique de K est non nulle, pourvu quon ait toujours la
condition carK [G[. Dans ce cas, on ne peut plus sappuyer sur la thorie des caractres
pour afrmer que [G[
(deg
i
)
2
, il faut utiliser un peu plus de thorie de reprsentation
des algbres pour montrer directement la proposition 4.3.3.
4.4. Proprits dintgralit
Dans cette section on dmontre que le degr dune reprsentation irrductible divise
lordre du groupe. La dmonstration ncessite danticiper lgrement sur le cours dAl-
gbre 2.
4.4.1. Introduction aux entiers algbriques. Soit A un anneau commutatif. On dit
que x A est un entier algbrique sur Z sil existe a
i
Z tels que
x
n
+a
1
x
n1
+ +a
n
0.
4.4.2. Remarque. Si x Q est un entier algbrique, alors x Z. En effet, si x
p
q
avec
(p, q) 1 et q >0, alors p
n
+a
1
p
n1
q + +a
n
q
n
0 qui implique q[p
n
donc q 1.
4.4.3. Proposition. Soit x A anneau commutatif, alors sont quivalents :
1 x est un entier algbrique ;
2 le sous-anneau Z[x] engendr par x est un groupe ablien de type ni ;
3 il existe un sous-groupe ablien de type ni de A contenant Z[x].
Dmonstration. Le premier nonc implique le deuxime : si x
n
+a
1
x
n1
+ +a
n
0,
alors Z[x] est engendr, comme groupe ablien, par (1, x, x
2
, . . . , x
n1
).
Le passage dudeuxime autroisime nonc est vident. Reste passer dutroisime au
premier : soit A
n
le groupe ablien engendr par (1, x, . . . x
n1
). Il faut montrer que la suite
croissante (A
n
) devient stationnaire : il existe n tel que A
n
A
n1
, cest--dire x
n
A
n1
,
ou encore x
n
a
1
x
n1
+ +a
n
.
Pour montrer que la suite est stationnaire, utilisons que Z[x] G sous-groupe ablien
de type ni. Ainsi A
n1
A
n
B
n
A
n
G. Puisque Gest de type ni, sonsous-
groupe ablien B aussi, donc il est engendr par des lments b
1
, . . . , b
k
, tous lments
dun A
n
pour un n assez grand. Alors A
n+1
A
n
.
4.4.4. Corollaire. Lensemble des entiers algbriques de A est un sous-anneau de A.
4.4. PROPRITS DINTGRALIT 81
Dmonstration. Si x et y sont des entiers algbriques de A, alors Z[x] est engendr
(comme groupe ablien) par 1, x, . . . , x
p
, et Z[y] par 1, y, . . . , y
q
. Alors Z[x, y] est engendr,
comme groupe ablien par les x
i
y
j
pour i <p et j <q, donc est de type ni. Or il contient
x +y et xy qui sont donc aussi des entiers algbriques.
4.4.5. Proprit du degr des reprsentations. On peut maintenant passer la d-
monstration que le degr dune reprsentation irrductible divise lordre du groupe.
4.4.6. Lemme. Si u
G
u
g
g Z(K[G]) avec u
g
Kentier sur Z, alors u est entier sur Z.
Dmonstration. En effet u
u
c
e
c
, o la somme est sur les classes de conjugaison de
G. Il suft que e
c
soit entier sur Z, ce qui dcoule des propositions 4.3.4 et 4.4.3.
4.4.7. Proposition. Si V est une reprsentation irrductible de G de caractre , et u
G
u
g
g Z(K[G]) avec u
g
entier sur Z, alors
1
deg
G
u
g
(g) est un entier algbrique sur Z.
Dmonstration. Utilisons le morphisme induit par la reprsentation, : K[G] EndV.
Puisque u est central et V irrductible, (u) est une homothtie de trace
G
u
g
(g), donc
(u)
1
deg
G
u
g
(g).
Comme u est un entier sur Z, son image (u) aussi.
4.4.8. Thorme. Si V est irrductible, alors dimV
[G[.
Dmonstration. Les (g) sont des entiers algbriques (puisque les valeurs propres des
(g) sont racines de X
[G[
1), donc u
G
(g
1
)g est entier sur Z. Par la proposition,
1
dimV
G
(g
1
)(g)
[G[
dimV
est un entier algbrique, et donc un entier, do le rsultat.
La contrainte donne par le thorme est trs forte. Par exemple, en combinant avec le
corollaire 4.2.6, on dduit immdiatement quun groupe dordre p
2
ne peut avoir que des
reprsentations de degr 1, donc est ablien.
On peut rafner un peu le thorme :
4.4.9. Proposition. Si V est irrductible, alors dimV
[G: Z(G)].
Dmonstration (J. Tate). Le groupe G
m
G G a une reprsentation
m
dans
V
m
, donne par
m
(g
1
, . . . , g
m
)
1
(g
1
)
m
(g
m
). Son caractre est
m
(g
1
, . . . , g
m
)
(g
1
) (g
m
), donc
m
,
m
1 et
m
est irrductible. Si g
i
Z(G) alors (g
i
) est une
homothtie, donc si en outre g
1
g
m
e alors
m
(g
1
, . . . , g
m
) Id. Soit
S {(g
1
, . . . , g
m
) Z(G)
m
, g
1
g
m
e}.
Alors on peut factoriser la reprsentation
m
:
G
m
GL(V
m
)
G
m
/S
m

m
Ainsi dimV
m
(dimV)
m
divise [G
m
/S[
[G[
m
[Z(G)[
m1
, donc pour tout m>2,
[Z(G)[
m1
_ [G[
dimV
_
m
, qui implique [Z(G)[
[G[
dimV
.
4.5. Le thorme de Burnside
Le but ici est de dmontrer le thorme suivant, d Burnside :
4.5.1. Thorme. Si p et q sont premiers entre eux, tout groupe dordre p
a
q
b
est rso-
luble.
Pour dmontrer le thorme, il suft de prouver quun tel groupe ne peut pas tre
simple, sauf tre ablien. En effet tous les quotients dune suite de composition du
groupe sont aussi dordre p
a
t
q
b
t
: simples, ils doivent alors tre abliens.
La dmonstration de ce rsultat de thorie des groupes fait appel la thorie des carac-
tres. Dans toute cette section, on se limite au corps KC.
4.5.2. Complments sur les entiers algbriques. Si est un entier algbrique, alors
lidal I {P Q[X], P() 0} est engendr par un polynme unitaire , appel polynme
minimal de . Les autres racines de sont les conjugus de , donc tout polynme
coefcients rationnels sannulant sur sannule aussi sur ses conjugus. Observons les
proprits suivantes :
1 est aussi le polynme minimal des conjugus de ;
2 est racines simples ;
3 est coefcients entiers ;
4 n
degP
P(
X
n
) est le polynme minimal de n.
La premire proprit est vidente, sinon nest pas minimal. Pour la seconde, si a une
racine double, alors
t
sannule aussi sur cette racine, donc nest pas minimal ; les coef-
cients de sont des rationnels, mais aussi des entiers algbriques (puisque les fonctions
symtriques des conjugus de ), donc des entiers ; le dernier item est vident.
Si le polynme minimal de
1
est (x) x
p
+a
1
x
p1
+ +a
p
, alors cest aussi le poly-
nme caractristique de la matrice
A
_
_
_
_
_
_
0 a
p
1
.
.
.
.
.
.
1 a
1
_
_
_
_
_
_
,
4.5. LE THORME DE BURNSIDE 83
donc les conjugus
2
,. . . ,
p
de
1
sont raliss comme les valeurs propres de la matrice
A. Si on a un autre entier algbrique
1
, on ralise de mme ses conjugus (
j
)
j <q
comme
valeurs propres dune matrice B. Alors les valeurs propres de
A1+1B
sont les
i
+
j
.
(1)
En particulier, les conjugus algbriques de
1
+
1
sont de la forme
i
+
j
(mais ne sont pas ncessairement tous ces nombres). Cela donne le cas n 2 du
lemme suivant, duquel on dduit immdiatement le cas gnral :
4.5.3. Lemme. Si
1
,. . . ,
n
sont des entiers algbriques, alors les conjugus algbriques
de
1
+ +
n
sont de la forme
t
1
+ +
t
n
, o
t
i
est un conjugu algbrique de
i
.
La dmonstration du thorme de Burnside utilisera la proposition suivante :
4.5.4. Proposition. Si
1
,. . . ,
n
sont des racines de lunit dans C, et
1
n
i
est un entier
algbrique, alors
1

n
ou
n
1

i
0.
Dmonstration. Les conjugus algbriques de
i
sont de la forme
t
i
, o les
t
i
sont
des conjugus algbriques des
i
, donc galement des racines de lunit. Il en rsulte que
les conjugus algbriques de a
1
n
i
sont de la forme a
t

1
n
t
i
. Par consquent, ils
satisfont [a
t
[ <1. Si les
i
ne sont pas tous gaux, alors [a[ <1, donc
a
t
conjugu de a
a
t
<1.
Mais
a
t
Z, donc a 0.
4.5.5. Dmonstration du thorme de Burnside. Le thorme de Burnside sera une
consquence de deux thormes, que nous commenons par dmontrer.
4.5.6. Thorme. Si V est une reprsentation irrductible, et c une classe de conjugaison
de G telle que (dimV, [c[) 1, alors pour tout g c ou bien
V
(g) 0 ou bien
V
(g) est une
homothtie.
Dmonstration. Soit n dimV et
1
,. . . ,
n
les valeurs propres de
V
(g). Par la propo-
sition 4.4.7,
1
n
[c[(g) est un entier algbrique ; puisque (n, [c[) 1, en appliquant Bezout,
1
n
(g)

1
+
n
n
est un entier algbrique. Par la proposition 4.5.4, ou bien (g) 0 ou bien
1

n
, cest--dire (g) est une homothtie.
4.5.7. Thorme. Si c est une classe de conjugaisonde G, dordre p
k
avec p premier, alors
G contient un sous-groupe distingu non trivial.
Dmonstration. Soient (V
i
,
i
)
i 1,...,
les reprsentations irrductibles de G. Onva trou-
ver un sous-groupe distingu non trivial de G comme lun des ker
i
. Soit g c, par ortho-
gonalit
i
(e)
i
(g)
1
(dimV
i
)
i
(g) 0. (39)
1. Cest une autre manire de montrer que les entiers algbriques forment un anneau. La somme de deux
entiers algbriques est obtenue comme valeur propre de A1+1B, et le produit de AB.
Posons
{1, . . . , r } I
1
I
2
I
3
,
o I
1
{1} ne contient que la reprsentation triviale, et I
2
contient les i tels que p[ dimV
i
,
et I
3
les i /1 tels que p dimV
i
.
Si i I
2
, alors
dimV
i
p

i
(g) est un entier algbrique, donc a
i I
2
dimV
i
p

i
(g) aussi. De
(39) on tire
1
(g) +
i I
2
(dimV
i
)
i
(g) +
i I
3
(dimV
i
)
i
(g) 1+pa +
i I
3
(dimV
i
)
i
(g) 0.
Puisque a est un entier algbrique, il ne peut pas tre gal
1
p
, donc la dernire somme
est non nulle. Donc il existe i I
3
tel que
i
(g) / 0. Puisque p dimV
i
, par le thorme
4.5.6, il faut que
i
(g) soit une homothtie, ncessairement la mme pour tous les l-
ments de la classe de conjugaison c. Donc, prenant g
1
/g
2
dans c, on obtient
i
(g
1
1
g
2
)
Id
V
i
. Ainsi ker
i
est non trivial.
Dmonstration du thorme de Burnside. Il sagit de montrer que si G nest pas ab-
lien, il nest pas simple. Si le centre nest pas trivial, il ny a rien dmontrer. Si Z(G) {e},
par le thorme 4.5.7, G ne contient pas de classe de conjugaison dordre p
k
ou q
k
, donc
toutes les classes de conjugaison diffrentes de {e} ont un ordre divisible par pq. Mais cela
contredit le compte des lments de G :
p
a
q
b
1+
c
[c[.
4.6. Reprsentation induite
Soit Hun sous-groupe du groupe G, alors une reprsentation V de Gse restreint en une
reprsentation de H, quon notera Res
G
H
V. Le caractre de cette restriction est la restriction
[
H
du caractre de G.
On va construire une opration dans lautre sens, associant une reprsentation V de
H une reprsentation de G, appele reprsentation induite, et note Ind
G
H
V.
4.6.1. Point de vue des reprsentations. On dnit la reprsentation induite par
Ind
G
H
V { f : GV, f (hx)
V
(h) f (x) x G, h H},
avec laction de G donne par
g( f )(x) f (xg).
On obtient bien une reprsentation de G, car
(2)
g(g
t
( f ))(x) g
t
( f )(xg) f (xgg
t
) (g g
t
)( f )(x).
2. Il existe une interprtation plus intrinsque, mais que nous nutiliserons pas au niveau de ce cours, de la
reprsentation induite en termes de produit tensoriel de modules sur une algbre. Si L (resp. M) est un module
gauche (resp. droite) sur lalgbre A, alors on peut dnir un produit tensoriel L
A
M, dans lequel (am)
(a) m. Alors
Ind
G
H
V K[G]
K[H]
V,
4.6. REPRSENTATION INDUITE 85
Exemple. Si H{e} et V K, alors Ind
G
{e}
KK[G].
Un lment f Ind
G
H
V est dtermin par une valeur sur chaque classe droite Hx, do
il rsulte que
dim
K
Ind
G
H
V [G: H] dim
K
V.
Exercice. Si E HG sont des sous-groupes, et V est une reprsentation de E, alors
(3)
Ind
G
E
V Ind
G
H
Ind
H
E
V.
4.6.2. Point de vue des caractres. Si H G on dnit une application entre les es-
paces de fonctions centrales,
C(H) C(G), f f
G
.
On part de lextension nave, f
0
: GK, dnie par
f
0
(x)
_
f (x) x H,
0 sinon,
quon rend invariante par conjugaison :
f
G
(g)
xH\G
f
0
(xg x
1
)
1
[H[
xG
f
0
(xg x
1
).
4.6.3. Thorme. Soit V une reprsentation de HG de caractre , alors Ind
G
H
V a pour
caractre
G
.
Dmonstration. Soit Hx
une classe droite, et

V
{ f Ind
G
H
V, f (x) 0 si x }.
Alors
Ind
G
H
V
H\G
V
et g V
V
g
1 .
Dans le calcul de la trace de (g), seuls interviennent les V
tel que g V
, cest--dire
tels que g
1
, soit x
g x
1
H. Sous cette hypothse, calculons la trace de laction de

g sur V
, en identiant
V
V par f f (x
).
Alors g f f (x
g) f (x
g x
1
) (x
g x
1
) f (x
) donc la trace de g[
V
est (x
g x
1
).
o K[G] { f : GK} est un K[H]-module droite (par ( f h)(x) f (hx)), et aussi un K[G]-module gauche (par
( f g)(x) f (xg)), ce qui induit sur le produit tensoriel la structure de K[G]-module gauche. Ainsi la reprsen-
tation induite sobtient-elle par une construction similaire lextension des scalaires vue en 3.1 : ici on tend
les scalaires de K[H] K[G].
3. En termes du produit tensoriel,
K[G]
K[H]
(K[H]
K[E]
V) (K[G]
K[H]
K[H])
K[E]
V K[G]
K[E]
V.
Exemple. D
n
Z/nZZ/2Z Z/nZ est engendr par une rotation r et une symtrie
s, telles que sr s
1
r
1
. Le caractre de la reprsentation standard est
(r
k
) e
2i
k
n
+e
2i
k
n
, (r
k
s) 0.
Il est induit du caractre de Z/nZ,
(r
k
) e
2i
k
n
.
Exercice : en utilisant la dnition, reconstruire directement la reprsentation induite
partir de celle de Z/nZ.
4.6.4. Rciprocit de Frobenius.
4.6.5. Thorme (Point de vue des reprsentations). Soit H G, V une reprsentation
de G, W une reprsentation de H, alors
Hom
G
(V, Ind
G
H
W) Hom
H
(Res
G
H
V, W).
4.6.6. Thorme (Point de vue des caractres). Soit une fonction centrale sur G, et
une fonction centrale sur H. Alors
,
G
[
H
, .
Le lien entre les deux thormes est le suivant : soient
1
, . . . ,
r
les caractres irrduc-
tibles de G. Si V et V
t
sont des reprsentations de G, alors
n
i
i
,
W
n
t
i
i
,
o n
i
et n
t
i
sont les multiplicits de V
i
dans V et V
t
. Alors
V
,
V
t
n
i
n
t
i
dimHom
G
(V, V
t
).
En appliquant le second thorme aux caractres
V
et
W
de V et W, on trouve
V
,
G
W

V
[
H
,
W
, cest--dire lgalit des dimensions des deux espaces vecto-
riels Hom
G
(V, Ind
G
H
W) et Hom
H
(Res
G
H
V, W). Le premier thorme exhibe en outre un
isomorphisme naturel entre ces deux espaces vectoriels (voir la dmonstration).
Cas particulier important :
4.6.7. Corollaire. Si V et W sont irrductibles, la multiplicit de V dans Ind
G
H
W est gale
la multiplicit de W dans Res
G
H
V.
4.6. REPRSENTATION INDUITE 87
Dmonstration du thorme 4.6.6. Par un calcul direct :
,
g

1
[G[
xG
(x
1
)
G
(x)
1
[G[
xG,yH\G
(x
1
)
0
(yxy
1
)
1
[G[
xG,yH\G
(yx
1
y
1
)
0
(yxy
1
)
1
[H[
hH
(h
1
)(h)
[
H
, .
Dmonstration du thorme 4.6.5. On veut identier E Hom
G
(V, Ind
G
H
W) avec E
t

Hom
H
(Res
G
H
V, W). On dnit deux morphismes :
F : E E
t
G: E
t
E

_
F()v (v)(e)
_

_
(G()v)(x) (xv)
_
Le fait que F et G soient bien dnis et inverses lun de lautre est laiss en exercice.
Exemple : le groupe du ttradre T. Le groupe du ttradre sidentie au groupe
altern A
4
par laction sur les sommets. On a [T[ 12, et les classes de conjugai-
son sont O
1
{e}, O
2
{(12)(34), (13)(24), (14)(23)}, O
3
{(123), (214), (341), (432)},
O
4
{(132), (241), (314), (423)}.
Comme TK Z/2ZZ/2ZO
1
O
2
, le groupe de Klein, avec T/K Z/3Z, on obtient
trois reprsentations de degr 1, de caractres
1
,
2
et
3
. La quatrime reprsentation est
donc de degr 3, et a pour caractre
4
. On obtient ainsi la table des caractres de T :
O
1
O
2
O
3
O
4
1
1 1 1 1
2
1 1 j j
2
3
1 1 j
2
j
4
3 1 0 0
Une autre manire de voir la reprsentation de degr 3 est la suivante : soit V la repr-
sentation de K de degr 1 telle que
V
((12)(34))
V
((13)(24)) 1, alors par la rciprocit
de Frobenius, Ind
T
K
V, de dimension 3, ne saurait contenir lune des trois reprsentations
de degr 1 comme composante, puisque toutes se restreignent K en la reprsentation
triviale. Par consquent, Ind
T
K
V est irrductible. Le calcul de son caractre par le thorme
4.6.3 donne
(g)
0
V
(g) +
0
V
(g
1
) +
0
V
(
2
g
2
),
o T engendre le quotient T/K. Cela redonne immdiatement
4
.
Exemple : le groupe de loctadre ou du cube O. Le groupe du cube sidentie S
4
par
action sur les grandes diagonales. En inscrivant un ttradre dans un cube, on obtient
OT, avec O/T Z/2Z.
Les classes de conjugaison sont :
O
1
: la classe triviale O
1
{e} ;
O
2
: les symtries autour des axes des faces, [O
2
[ 3 ;
O
3
: les rotations dangle
2
3
autour des grandes diagonales, [O
3
[ 8 ;
O
4
: les rotations dangle
2
des faces, [O
4
[ 6 ;
O
5
: les symtries daxe joignant les milieux de deux artes opposes, [O
5
[ 6.
Seules les trois premires classes intersectent T.
Trouvons les cinq reprsentations irrductibles : deux reprsentations de degr 1, V
1
et V
2
, proviennent du quotient Z/2Z, et la reprsentation standard V
3
donne une repr-
sentation de degr 3. Les deux reprsentations restantes sont de degr p et q satisfaisant
p
2
+q
2
13, ce qui impose p 2 et q 3.
La reprsentation irrductible de degr 2 peut se construire de la manire suivante :
soit V la reprsentation de T de caractre
V
(11j j
2
), et S Ind
O
T
V, donc degS 2. Par
rciprocit de Frobenius, V
1
et V
2
ne sont pas facteurs de S donc S est irrductible, de
caractre
S
(g)
0
V
(g) +
0
V
(g
1
) pour un T.
Cela donne la table de caractres suivante, o la dernire ligne est obtenue par orthogo-
nalit :
O
1
O
2
O
3
O
4
O
5
1
1 1 1 1 1
2
1 1 1 1 1
3
3 1 0 1 1
4
2 2 1 0 0
5
3 1 0 1 1
On observe que
5

2
3
, do il rsulte que V
5
V
2
V
3
qui est donc irrductible. Cela
nit de fournir une interprtation toutes les reprsentations irrductibles.

Alg1 Avec Couverture

Transféré par

Informations du document

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Alg1 Avec Couverture

Transféré par

Droits d'auteur :

Formats disponibles

2011_2012

, ) sont des groupes ; la mme chose reste vraie en rempla-

, ) des units de A (les lments de A inversibles dans A).

; par exemple le groupe GL(n, Z) est constitu des matrices coef-

est le groupe spcial linaire des ma-

, ker f F}. On obtient ainsi un isomorphisme

m, avec p m. Un p-sous-groupe de Sylowde G(ou, plus brivement, un

permutant les lments de base (e

m avec p m, alors pour tout < il

. En particulier, G admet un lment dordre p.

sur la matrice diagonale dont le premier coefcient dia-

, s Z. Alors sont quivalents :

[ card{s [1, n], (s, n) 1}.

. Cest donc un groupe ablien dordre (n).

Aut Z/nZ, a (x ax),

est alors cyclique,

. Alors G est cyclique.

Z/2Z, et pour >3 on obtient (Z/2

, donc dordre p1. Consi-

ZZ/pZ, on peut relever x en un lment

, dont lordre est un multiple de p 1. Donc une puissance y de x est dordre

, donc la suite est scinde. Puisque

est ablien, il faut que ce soit un produit direct : (Z/2

, o p est un nombre premier et un entier naturel, il existe,

est une forme linaire telle que ker f H (autrement dit, f H

. En particulier il est ablien.

dnissent deux transvections conjugues si et seulement si

, quel que soit le corps. La dcompositionCRi Rstend de la manire suivante

. On dit que B est non dgnre si E

qui x E associe la forme linaire y B(x, y) est

est gale la matrice de B, ce qui donne la troisime condition.

0 (ce qui est quivalent B[

, do la formule sur la dimension en crivant

est une transformation de valeurs propres 1 et sur la

est nouveau non d-

0. Il en rsulte que, pour un plan hyperbolique,

. La forme B est alors non dgnre sur P

, et on peut recommencer la mme

, si celui-ci admet un vecteur isotrope. Finalement, on fabrique une d-

est appele un sous-espace hyperbolique.

. En particulier, la dimension de lespace doit tre paire. Il ny a

/ 0). Dans ce cas, on obtient une forme induite, non

. Soit Gun supplmen-

envoie x sur y, et on la compose par Id.

pour le prolonger en une isomtrie v

, ce qui signie f (x) B(a, x) pour un K. On dduit que les transvections

pour un plan hyperbolique P ; par le cas

(q) consiste des transformations orthogonales de dterminant 1, et

(q) sont toutes des symtries (par rapport la droite engendre

(q) sont dcrits par :

(q) est constitu de symtries.

. De mme, si P est un plan non

, les plans P DKy et Q DKz

<1 donc, par le lemme 2.4.1, il existe L

I I. Alors on obtient a, d, Ib, Ic K

. Cette notion inclut la

u. Donc u se diagonalise en une base

lespace propre associ. Si x E

, alors B(uy, x) B(y, u

R, correspond la matrice complexe

On parle ainsi du produit tensoriel de V et W, not V W. Lapplication bilinaire t : V

WHom(V, W), w (v (v)w).

par est un endomorphisme K-linaire de L, donc on peut

. Les proprits de L-espace vectoriel