Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Master de Mathmatiques
2
2
5
10
.
.
.
.
12
12
14
16
20
21
21
22
4 Reprsentations linaires
4.1 Dfinitions et exemples . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.2 Caractres des reprsentations complexes . . . . . . . . . . . . . . . . . . .
4.3 Reprsentations induites et caractres induits . . . . . . . . . . . . . . . .
26
26
33
39
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Master de Mathmatiques
1 Gnralits
1.1 Groupes. Sous-groupes. Morphismes. Quotients
1.1.1 Dfinition. Un groupe est un ensemble muni dune loi de composition interne, c--d une application
GG G
,
(x, y) 7 xy
satisfaisant de plus les proprits suivantes :
associativit : pour tous x, y, z G, on a (xy)z = x(yz) quon peut donc noter xyz.
existence dun lment neutre e tel que x G, ex = xe = x.
existence dinverses : x G, y G, xy = yx = e. On vrifie immdiatement quun
tel y est unique, on lappelle inverse de x et on le note x1 .
La loi peut tre note par diffrents symboles comme (x, y) 7 x y ou x y ou x y.
Lorsque le groupe est commutatif, on la note volontiers x + y (et linverse de x est alors
not x et appel aussi oppos de x). ce sujet, rappelons que :
deux lments x, y de G commutent si xy = yx
le groupe G est ablien (ou commutatif ) si cest le cas pour tout x, y G.
Lorsque G est un ensemble fini, son cardinal (i.e. le nombre dlments de G) est appel
lordre de G, et est not |G|.
1.1.2 Dfinition. Un sous-groupe H de G (notation : H < G ) est une partie H
contenant e , stable sous la loi de groupe de G et sous linversion, ou, de faon quivalente,
telle que xy 1 H pour tout x, y H.
On vrifie facilement quune intersection de sous-groupes est encore un sous-groupe.
Soit alors S G un sous-ensemble quelconque de G. Lintersection hSi des sous-groupes
de G contenant S est appel sous-groupe engendr par S. Cest le plus petit sous-groupe
de G contenant S. Lorsque S = {x} est un singleton, on note simplement hxi := h{x}i le
sous-groupe engendr par x. Lordre |hxi| sappelle lordre de x, et est parfois not ord(x).
On dit que G est monogne sil est engendr par un seul lment, et que G est cyclique
sil est monogne et dordre fini.
1.1.3 Dfinition. Un homomorphisme dun groupe G vers un groupe G0 est une
application f : G G0 telle que f (xy) = f (x)f (y) pour tout (x, y) G G .
On a alors f (e) = e0 et f (x1 ) = f (x)1 pour tout x. On dit aussi morphisme au lieu
de homomorphisme. On parle dendomorphisme si G = G0 , disomorphisme sil existe un
homomorphisme g de G0 dans G tel que f g = idG0 , g f = idG , dautomorphisme si f
est la fois un endomorphisme et un isomorphisme.
On vrifie immdiatement que limage f (H) dun sous-groupe de G est un sous-groupe
de G0 . Cest en particulier le cas pour f (G) que lon note aussi Im(f ).
Master de Mathmatiques
G G/H, x 7 xH
dont les fibres sont justement les classes gauche modulo H.
Supposons G fini. Le cardinal de G/H est not [G : H] et est appel lindice de H
dans G. On dfinit de mme lensemble H \ G des classes droite Hx ; il a encore [G : H]
lments (considrer lapplication g 7 g 1 ).
Lorsque G est fini, toutes les classes gauche modulo H ont le mme nombre dlments,
savoir |H|. Comme deux classes distinctes sont disjointes, on obtient la relation :
1.1.6 Proposition. |G| = |H| [G : H].
Ainsi, si G est fini, |H| divise |G| (thorme de Lagrange) ; en particulier, lordre de
tout lment de G divise lordre de G.
1.1.7 Dfinition. On dit que H est distingu dans G (ou normal) si pour tout x G
on a xH = Hx. Ceci quivaut x G, xHx1 = H, ou encore plus explicite :
x X, h H, xhx1 H.
On note souvent H / G pour souligner quun sous-groupe H < G est distingu.
1.1.8 Proposition. Supposons H distingu. Il existe alors une unique structure de
groupe sur lensemble G/H telle que la surjection canonique : G G/H : x 7 xH soit
un homomorphisme de groupes.
3
Master de Mathmatiques
Le groupe G/H obtenu dans la proposition est appel quotient de G par H. Il est aussi
caractris par la proprit suivante :
f
f : G G/H G0 .
Appliquant ceci au noyau de f , on obtient la dcomposition canonique dun homomorphisme :
1.1.10 Proposition. Soit f : G G0 un homomorphisme de groupes. Alors Ker(f )
est un sous groupe distingu de G et le morphisme f de la proposition prcdente applique
H = Ker(f ) induit un isomorphisme
f : G/ Ker(f ) Im(f )
qui sinsre dans la factorisation suivante de f :
f
f : G G/ Ker(f ) Im(f ) G0
o est la projection canonique et i linclusion de Im(f ) dans G.
En particulier, pour des groupes finis on a lgalit |G| = | Ker(f )|.| Im(f )|. Enfin, les
deux noncs suivant seront dmontrs en TD.
1.1.11 Proposition. Soient G un groupe, H un sous-groupe distingu de G, et K
un sous-groupe de G. Alors, KH = HK est un sous-groupe de G, H est un sous-groupe
distingu de KH, H K est un sous-groupe distingu de K, et lapplication x 7 (x) = xH
induit un isomorphisme K/K H ' KH/H.
1.1.12 Proposition. Soient G un groupe, H un sous-groupe distingu de G. Lapplication : G G/H tablit une bijection entre lensemble des sous groupes A de G
contenant H et lensemble des sous-groupes A/H de G/H, pour laquelle on a A / G
A/H /G/H ; dans ce cas, lapplication xH 7 xA induit un isomorphisme (G/H)/(A/H) '
G/A.
1.1.13 Produits directs. Somme directes. Soient G, G0 deux groupes. On dfinit une
structure de groupes sur G G0 en posant (x, x0 )(y, y 0 ) := (xy, x0 y 0 ). Plus gnralement,
soit I un ensemble, et {Gi ; i I} une collection
de groupes. On dfinit une structure
Q
de groupe, appele produit (direct) et note iI Gi ) sur le produit des ensembles Gi , en
posant (xi )iI .(yi )iI = (xi yi )iI . Si tous les Gi sont gaux un G , ce groupe, not GI (ou
Gn si card(I) = n est fini), sidentifie au groupe des applications de I dans G. La notion
duale de coproduit fournit,
Q lorsque les Gi sont abliens, celle de somme directe : cest le
sous-groupe iI Gi de, iI Gi form par les (xi )iI tels que xi = ei sauf pour un nombre
fini dindices i I.
4
Master de Mathmatiques
On remarque ainsi que lensemble des isomorphismes Z/nZ G est en bijection avec
lensemble des gnrateurs de G. Ceci nous amne au rappel suivant :
Lemme. Lensemble des gnrateurs de Z/nZ est le sous-ensemble (Z/nZ) des
classes modulo n dentiers premiers n. Cest aussi le sous-groupe des units de lanneau
Z/nZ (i.e. le groupe des inversibles pour la multiplication, cf plus bas).
5
Master de Mathmatiques
Dmonstration. Pour x Z, notons x son image dans Z/nZ. Supposons x premier n. Par
Bezout, il existe deux entiers a, b tels que ax + bn = 1. On a donc ax = 1 dans Z/nZ, ce qui
montre dune part que x est inversible dinverse a, et dautre part que hxi h1i = Z/nZ.
Rciproquement, supposons que x engendre Z/nZ. Alors il existe un entier a tel que ax = 1
dans Z/nZ. Autrement dit, ax 1 modulo n, donc x est premier n, et x est inversible
dinverse a.
1
(1 ).
p
p premier,p|n
Puisque lordre dun lment divise lordre du groupe, on a pour tout entier x premier
n, x(n) 1 (mod n), et en particulier (petit thorme de Fermat) :
p premier, x t.q. p 6 | x : xp1 1 mod p.
Soient G un groupe cyclique, et n son ordre. Le premier lemme ci-dessus montre que
tout sous-groupe de G est cyclique (et son ordre divise n).
Exercice. Inversement, montrer que pour tout diviseur d de n, G admet un unique
sous-groupe (forcment cyclique) dordre d.
En particulier, un groupe cyclique (ou, plus gnralement, un groupe fini et ablien)
est simple si et seulement son ordre est un nombre premier.
Master de Mathmatiques
1.2.2 Groupes dunits. Bien que lon ait dj utilis cette notion, on rappelle quun
anneau (unitaire) A est un groupe ablien (de loi note additivement), muni dune loi de
composition interne AA A : (x, y) 7 xy associative, distributive par rapport la loi +
et admettant un lment neutre not 1 . On appelle unit de A tout lment x de A tel quil
existe y A vrifiant xy = yx = 1 (y est alors unique, et not x1 ). Lensemble des units
dun anneau non nul A forme un groupe (pour la loi multiplicative), not A . Si A1 et A2
sont deux anneaux, on munit (en calculant coordonne par coordonne comme pour les
groupes) le produit A1 A2 dune structure danneau. On a : (A1 A2 ) = (A1 ) (A2 ) .
Nous avons dj rencontr le groupe des units (Z/nZ) de lanneau Z/nZ. Le groupe
Z des units de lanneau Z est rduit {1}. Cest un groupe cyclique, dordre 2. Le
groupe des units
de lanneau Z[i] est cyclique dordre 4. En revanche, le groupe des units
de lanneau Z[ 2] est infini.
Remarque. On montre en thorie des nombres que le groupe des units de lanneau
des entiers dun extension finie de Q est un groupe ablien de type fini. Un tel groupe
est (non canoniquement) isomorphe au produit de son sous-groupe fini maximal et dun
groupe Zr . La proposition suivante montre que le sous-groupe fini maximal est toujours
cyclique.
Rappelons quun corps est un anneau non nul K tel que K = K \ {0}. Il est dit
algbriquement
clos si tout polynme P (X) K[X] est scind, i.e. de la forme P (X) =
Q
c i (X i ) pour des lments i dans K. On rappelle quune clture algbrique dun
corps K est un corps algbriquement clos K contenant K, et dont tous les lments sont
algbriques sur K (i.e. satisfont une quation polynmiale coefficients dans K). On admet
ici que tout corps admet une clture algbrique, et on rappelle que celle-ci nest unique qu
isomorphisme prs.
Le rsultat suivant est bien connu des agrgatifs.
Proposition. Soit K un corps. Tout sous-groupe fini G du groupe multiplicatif K
est cyclique.
Dmonstration. Condidrons le polynme X |G| 1 K[X]. Il a au plus |G| racines distinctes. Or, tout lment de G en est une racine. Donc G est exactement lensemble de ses
racines. En dautre termes, G est le groupe des racines |G|-mes de lunit. On est donc
ramen prouver que ce groupe est cyclique, i.e. quil existe une racine primitive (dordre
exactement |G|). Notons dabord que |G| est premier la caractristique de K (sinon le
polynme ci-dessus ne serait pas sparable et on naurait pas autant de racines).
On prouve lexistence dune racine primitive d-me de lunit par rcurrence divisorielle sur le diviseur d de |G|. Si d est premier, comme il est diffrent de car(K), on sait
que le polynme X d 1 a d racines distinctes dans une clture algbrique de K, et ces
racines tant racines de X |G| 1, elles appartiennent K. Toute racine d-me diffrente
de 1 est alors primitive. Maintenant, soit p un diviseur premier de |G| et soit d := |G|/p.
Supposons quon ait une racine d-me primitive de lunit x. Alors toute racine de X p x
dans une clture algbrique de K est une racine primitive |G|-me de lunit (et appartient
ncessairement G).
7
Master de Mathmatiques
Si lon applique ce rsultat un corps fini K, on constate que K est un groupe cyclique.
Cependant, il nest pas facile dexhiber un gnrateur. Rappelons ce propos le rsultat
suivant de thorie des corps.
1.2.3 Thorme. Si K est un corps fini, son cardinal est une puissance dun nombre
premier p. Rciproquement, pour tout premier p et tout entier n, il existe un corps de
cardinal pn , unique isomorphisme prs. On le note Fpn .
Dmonstration. On pourrait admettre ce rsultat dans le prsent cours. Voici un rsum
des arguments, en admettant lexistence des cltures algbriques.
Soit K un corps fini ; limage du morphisme danneaux canonique Z K est un
anneau intgre et fini, donc de la forme Fp := Z/pZ pour un premier p. Ainsi, K est
canoniquement un Fp -espace vectoriel, ncessairement de dimension finie d, donc son cardinal est pd . Choisissons un plongement de K dans une clture algbrique Fp de Fp . Par la
proposition prcdente, limage de K est exactement lensemble des racines du polynme
d
X p X. En particulier, tout autre corps de cardinal pd est isomorphe K.
Rciproquement, fixons p et n comme dans lnonc. Considrons lensemble K des
n
racines du polynmes X p X dans Fp . Il est de cardinal pn . Montrons que cest un
n
n
n
corps. Il contient 0 et 1. Pour x, y K, on a (x y)p = xp y p = x y donc K
n
est un sous-groupe additif. Pour x, y K , on a (xy 1 )p = xy 1 donc K est bien un
sous-corps.
Exemple. F4 = F2 [X]/(X 2 + X + 1).
Soient K un corps commutatif, n un entier > 0 et Mn (K) lanneau des matrices carres
dordre n coefficients dans K. Son groupe des units (Mn (K)) := GLn (K) est form
des matrices de dterminant non nul. Plus gnralement, pour tout anneau commutatif
A, le groupe GLn (A) des units de lanneau Mn (A) des matrices carres dordre n coefficients dans A est form des matrices x de dterminant det(x) A . Le quotient de
GLn (A) par le sous-groupe A In des matrices scalaires (qui en forme le centre) est not
PGLn (A). Lapplication det : GLn (A) A est un homomorphisme de groupes, dont on
note SLn (A) = {x Mn (A), det(x) = 1} le noyau. Par exemple, SLn (Z) est un sous-groupe
(normal) dindice 2 de GLn (Z). On note PSLn (A) limage de SLn (A) dans PGLn (A).
Remarque. Pour toute puissance q dun nombre premier, le groupe Ln (q) := PSLn (Fq )
est simple (sauf pour n = 2, q = 2, 3). On ne prouvera pas ce rsultat ici.
1.2.4 Groupe symtrique. Soit X un ensemble. Lensemble des bijections de X sur
lui-mme (appeles aussi permutations de X) forme un groupe pour la composition des
applications : cest le groupe symtrique SX de X. Si, comme nous le supposons maintenant,
X est de cardinal fini n, ou, de faon quivalente, X = {1, 2,
..., n}, on le note simplement
1
2
...
n
Sn . Il a pour ordre n!. Ses lments gnraux se notent :
.
(1) (2) ... (n)
Master de Mathmatiques
Master de Mathmatiques
Master de Mathmatiques
On conclut par une rcurrence sur |G| : soit G[a1 ] le sous-groupe de G form des lments
dordre divisant a1 . Pour tout i > 1, (Z/ai Z)[a1 ] = aa1i Z/ai Z, donc G/G[a1 ] admet pour
facteurs invariants ( aa21 , ..., aa1s ). Lhypothse de rcurrence entrane quils ne dpendent que
de G. Il en est donc de mme des facteurs invariants (a1 , ..., as ) de G.
11
Master de Mathmatiques
Master de Mathmatiques
Les deux notations H \ G (1.1.5 et 2.1.2) sont donc compatibles. Idem avec G/H, pour
laction de H sur G par translation droite. Pour chacune de ces actions, le fixateur de
tout lment est rduit {1}.
(ii) laction ( gauche) (g, x) 7 gxg 1 de G sur X = G donne par lhomomorphisme
= Int sappelle laction par conjugaison de G sur G. Deux lments de G sont dit
conjugus sils sont dans une mme orbite. Les orbites Cx := {gxg 1 , g G} sappellent
les classes de conjugaison (des lments) de G. Lensemble des classes de conjugaison de G
sera not C`(G), ou encore G/adG ; son cardinal c`(G) sappelle le nombre de classes de G.
Pour toute partie Y de G, le fixateur ZG (Y ) = {g G, y Y, gy = yg} de Y sappelle le
centralisateur (ou commutant) de Y (dans G). Le sous-groupe NG (Y ) = {g G, gY = Y g}
sappelle le normalisateur de Y (dans G). Le centralisateur de G lui-mme est le centre
Z(G) = ZG (G) de G.
(iii) soit S(G) lensemble des sous-groupes de G. Pour tout g G, H S(G), H 0 =
gHg 1 est encore un sous-groupe de G, et cela munit S(G) dune action de G. Deux sousgroupes de G sont dit conjugus sils sont dans une mme orbite. Les orbites sappellent
les classes de conjugaison de sous-groupes de G. Pour H S(G), le fixateur de H nest
autre que son normalisateur NH (G) ; cest le plus grand sous-groupe de G dans lequel H
est normal. Par exemple, H / G NH (G) = G..
2.1.5 Soit G un groupe agissant sur un ensemble X. Pour tout x X, lapplication
g 7 gx induit une bijection de G/Gx sur G.x (dans laquelle la classe de 1 senvoie sur x).
En particulier,
|G.x| = [G : Gx ].
Si on remplace x par x0 = gx G.x, alors Gx est remplac par le sous-groupe Gx0 = gGx g 1 ,
et inversment. Donc la donne de X o G agit transitivement quivaut celle de la classe
de conjugaison dun stabilisateur dans G. Par exemple, pour tout corps K, le groupe
G = Af f 1 (K) des similitudes x 7 ax + b, a K , b K de la droite affine X = A1 (K)
agit transitivement sur X ; pour tout x X, le stabilisateur de x est le sous-groupe des
homothties centres en x, et on peut identifier X la classe de conjugaison du sous-groupe
GL1 (K) = K de G.
2.1.6 Soient G un groupe fini agissant sur un ensemble fini X, et x1 , ..., xm un systme
de reprsentants des orbites de X sous G. Autrement dit, m est le cardinal de G \ X, et
et
X = i=1,...m Gxi (runion disjointe). Donc |X| = i=1,...,m [G : Gxi ] = i=1,...,m |G|G|
x |
i
|X| X 1
=
.
|G|
|G
|
x
i
i=1
Appliquons cette formule des classes laction de G sur lui-mme par conjugaison.
Dans ce cas, m = c`(G) est le nombre de classes de conjugaison de G, chaque Gxi est le
centralisateur ZG (xi ) de xi dans G (par exemple, la classe de x1 = 1, qui est rduite un
13
Master de Mathmatiques
1=
X
i=1
1
.
|ZG (xi )|
Master de Mathmatiques
do srk s = rk pour tout entier k. Ainsi, Dn est un groupe dordre 2n, isomorphe au
produit semi-direct Cn {1}, pour laction de {1} sur Cn donne par (1)(a) := a1 .
Les lments dordre 2 de Dn sont les n symtries srk , ainsi que, pour n pair, la rotation
rn/2 . Pour n = 2, le produit est direct, et le groupe D2 , isomorphe C2 C2 , est souvent
not V (Vierergruppe ; il apparat comme sous-groupe distingu dindice 3 de A4 , qui est
donc rsoluble). Le groupe D3 est isomorphe au groupe symtrique S3 .
2.2.6 Extensions. Une suite de morphismes de groupes
p
A , E C
avec i injective, p surjective, et Im(i) = Ker(p) est appele suite exacte courte. On dit aussi
que (E, i, p) est une extension de C par A. Un produit semi-direct de C par A est donc en
particulier une extension de C par A. On aimerait savoir quelle condition une extension
est un produit-semidirect pour une action convenable, et quel point cette action est
Master de Mathmatiques
Master de Mathmatiques
Master de Mathmatiques
F (S) G qui sen dduit (cf prop. prcdente) induise un isomorphisme hS|Ri G.
Tout groupe admet une prsentation. Concrtement, soit S une partie gnratrice de G,
i.e. telle que hSi = G. Lhomomorphisme : F (S) G (induisant lidentit sur S) qui sen
dduit par proprit universelle de F (S) est alors surjectif, et induit un isomorphisme
F (S)/ Ker() G. Il suffit alors de prendre pour R toute partie de Ker() telle que le
plus petit sous-groupe distingu de F (X) contenant R soit Ker().
On notera quune telle prsentation nest aucunement unique. En fait cette notion,
relativement simple dfinir, est trs subtile. Par exemple, les questions (vagues) suivantes
sont toujours lobjet de recherches actuelles.
tant donn G trouver une prsentation aussi simple que possible de G.
tant donn (S, R), calculer le groupe hS|Ri (estimer son ordre, son exposant, etc.).
Pour illustrer la seconde, le lecteur pourra vrifier que le groupe prsent sur deux gnrateurs h{a, b}|{a4 , b3 , a2 bab1 }i est cyclique dordre 3 et que le groupe prsent sur trois
gnrateurs h{a, b, c}|{a1 bab2 , b1 cbc2 , c1 aca2 }i est... trivial.
2.3.4 Exemples. ({a} | {an }) est une prsentation de Cn ; ({a, b} | {an , b2 , abab}) est
une prsentation de Dn ; ({a, b} | {a4 , a2 b2 , ab1 ab}) est une prsentation de H8 . Notons
qu chaque fois il est facile de trouver un morphisme surjectif du groupe prsent annonc
sur le groupe dont on prtend donner une prsentation. Montrer que le noyau est nul est
plus difficile. Nanmoins, pour les petits groupes comme ci-dessus, un simple argument de
comptage fait laffaire.
2.3.5 Exemple : groupe symtrique. Dans Sn notons si la permutation (i, i + 1) pour
i = 1, , n 1. On sait que les si engendrent Sn . On a les relations suivantes :
s2i = e (relations quadratiques)
(si sj )2 = e pour |i j| > 1 et (si si+1 )3 = e (relations de tresse).
Posant S = {si , i = 1, n 1} et R0 = {s2i , i = 1, n 1} et R1 = {(si si+1 )3 , (si sj )2 }
comme ci-dessus, on montre que la paire (S|R0 R1 ) est une prsentation du groupe Sn .
On pourrait aussi prsenter Sn partir du n-cycle et dune permutation. Mais ce nest pas
la prsentation la plus intressante. En effet, en modifiant un peu les relations ci-dessus, on
obtient deux familles de groupes trs intressantes et trs tudies : les groupes de tresses
et les groupes de Coxeter.
2.3.6 Groupes de tresses. Avec les notations ci-dessus, on dfinit Bn comme le groupe
prsent hS|R1 i. Cest un groupe infini, appel groupe de tresses qui a une grande importance en physique thorique. Ses lments peuvent tre reprsents par des tresses,
cest--dire des manires de relier bijectivement, laide de n ficelles, deux ensembles de
n-points-aligns mis en regard (des points physiques et des vraies ficelles, cf article wikipe1
18
Master de Mathmatiques
dia braid groups). Il y a aussi une interprtation topologique rigoureuse, comme groupe
fondamental de lespace de configurations de n points distincts dans le plan complexe.
2.3.7 Groupes de Coxeter. Un groupe de Coxeter est un groupe prsent hS, Ri pour
lequel lensemble de relations R est de la forme R = {(st)mst , s, t S}, o les (mst )s,tS
sont des entiers (ventuellement infinis) tels que pour tout s on ait mss = 1, et pour tous
s 6= t, on ait mst = mts > 2. On a donc en particulier s2 = e pour tout s ; le groupe W
est donc engendr par des lments dordre 2. La condition mst = signifie simplement
quon nimpose pas de relation entre s et t. La condition mst = 2 quivaut demander que
s et t commutent.
Ces prsentations ont la particularit dtre irredondantes : on montre en effet que
lapplication S hS, Ri est injective et que les lments st sont dordre mst dans hS, Ri
(ce qui nest pas vident a priori, cf exemples plus haut).
Les groupes symtriques en sont des cas particuliers (prendre S = {1, , n 1},
mi,i+1 = mi+1,i = 3 et mij = 2 pour |j i| > 1). Les groupes didraux aussi : Dm est
obtenu pour S = {s, t} et mst = mts = m. En gnral un groupe de Coxeter nest pas
ncessairement fini, mme lorsque S et les mst sont tous finis.
Coxeter lui-mme a dtermin lesquels de ses groupes sont finis. Pour cela, il associe
la donne (S|R) un graphe dont lensemble des sommets est S et dont deux sommets s, t
sont relis par mst 2 artes. Il a alors fait la liste de tous les graphes finis tels que le
groupe associ soit fini. Ds que |S| > 3, il ny a quun nombre fini de tels graphes ayant
pour ensemble de sommets S.
On a vu que les groupes didraux sont les groupes de symtrie des polygones rguliers du
plan euclidien. Plus gnralement, les groupes de Coxeter finis avec |S| = n sont les groupes
de symtrie de certains polytopes (semi)-rguliers dun espace euclidien de dimension n.
Par exemple, pour |S| = 3, ces polytopes sont les solides de Platon (ttradre, cube,
octahdre, dodcadre, icosadre). Le groupe disomtrie du premier est isomorphe S4 ,
celui des deux suivants est isomorphe au produit semi-direct {1}4 o S4 , et celui des deux
derniers est A5 .
2.3.8 Groupes de rflexions. Soit K un corps. Un automorphisme P GLn (K) est
appel rflexion sil est diagonalisable, dordre fini, et si 1 est valeur propre avec multiplicit
n1 (lunique autre valeur propre est alors une racine de lunit). Lhyperplan Ker(P In )
est laxe de la rflexion, et la droite Im(P In ) en est la direction. On dit quun sous-groupe
G GLn (K) est un groupe de rflexions sil est engendr par des rflexions.
Lorsque K = R, une rflexion est une symtrie hyperplane, et donc dordre 2. On
montre alors que tout sous-groupe de rflexions dans GLn (R) admet une prsentation de
Coxeter. Inversement, tout groupe de Coxeter hS, Ri peut tre vu comme sous-groupe de
rflexions de GL|S| (R). Si on se restreint aux groupes finis, on peut mme remplacer dans
ces deux assertions GLn (R) par On (R) (groupe orthogonal, voir plus bas). En dautres
termes, on peut imposer que les rflexions soient orthogonales (i.e. laxe est orthogonal
la direction) pour un produit scalaire euclidien.
19
Master de Mathmatiques
Master de Mathmatiques
Master de Mathmatiques
ii) (resp. iii) Appliquer le lemme au cas o H est un p-Sylow (resp. un p-sous-groupe)
de G.
3.1.5 Corollaire. G est toujours un groupe fini.
i) Pour tout nombre premier p divisant |G|, G admet des lments dordre p.
ii) G est un p-groupe si et seulement si tous ses lments sont dordre une puissance de
p.
3.1.6 Proposition. Si |G| = pn m avec (p, m) = 1, le nombre s = card(S) de
p-sous-groupes de Sylow de G divise m, et vrifie s 1 mod p.
Dmonstration. Daprs le Thorme, G agit par conjugaison sur S, et ce de faon transitive. Or le fixateur dans G dun lment S de S est NG (S), qui contient S. Par consquent,
s = [G : NG (S)], qui divise [G : S] = m. Faisons maintenant agir S sur S par conjugaison,
et montrons que la seule orbite un lment est celle de S lui-mme : si sS 0 s1 = S 0 pour
tout s S, alors SS 0 est un sous-groupe de G, dont tous les lments sont dordre une
puissance de p ; daprs le corollaire 1.ii, cest donc un p-groupe, do par maximalit des
p-Sylow : SS 0 = S = S 0 . Les autres orbites ont un cardinal distinct de 1 et diviseur de |S|,
donc divisible par p. Ainsi, s 1 mod p.
Master de Mathmatiques
quotients successifs Di G/Di+1 G sont abliens, et quon appelle la suite drive de G. Elle
vrifie clairement la proprit de minimalit suivante : soit {Gi , i = 0, 1, ...} une suite
dcroissante de sous-groupes tels que G0 = G, Gi+1 / Gi et que Gi /Gi+1 soit ablien pour
tout i. Alors, Di G est contenu dans Gi pour tout i.
3.2.5 Groupes rsolubles. On dit que G est rsoluble sil existe un entier n tel que
D G = {1}. Ceci quivaut lexistence dune suite dcroissante G0 = G G1
Gn = {1} de sous-groupes tels que Gi+1 / Gi et que Gi /Gi+1 soit ablien pour tout i.
Pour un groupe rsoluble, le plus petit des entiers n tels que Dn G = {1} sappelle la
classe de rsolubilit de G. Cest aussi le plus petit des entiers n tels quil existe une suite
G0 = G G1 Gn = {1} dcroissante de sous-groupes tels que Gi+1 / Gi et que
Gi /Gi+1 soit ablien pour tout i.
Par exemple, un groupe ablien est rsoluble de classe 1. Le groupe didral Dn (stabilisateur dans O2 (R) dun polygone rgulier n cts) est rsoluble de classe 2. Plus
gnralement, il rsulte des propositions 1.1.11 et 1.1.12 que
n
3.2.6 Proposition. i) tout sous-groupe (resp. tout quotient) dun groupe rsoluble
est rsoluble ;
ii) soit H un sous-groupe distingu dun groupe G ; si H et G/H sont rsolubles (de
classes de rsolubilit n1 , n2 ), G est rsoluble (de classe de rsolubilit 6 n1 + n2 ).
Un peu dhistoire : pour n > 5 , le groupe altern An est simple et non ablien, de sorte
que le groupe Sn nest pas rsoluble ; en revanche, S2 , S3 , S4 sont rsolubles. On montre
en thorie de Galois quune quation algbrique est rsoluble par radicaux si et seulement
si son groupe de Galois est rsoluble ; on en dduit que pour n > 5, lquation gnrale
de degr n nest pas rsoluble par radicaux, tandis quelle lest pour n = 2 (formule du
trinme), n = 3 (formules de Cardan), n = 4 (formules de Ferrari).
3.2.7 Suite centrale descendante. Posons C 0 G = G et pour tout entier i > 0, C i+1 G =
[G, C i G]. Les C i G forment une suite dcroissante de sous-groupes caractristiques de G,
quon appelle la suite centrale descendante de G. Pour tout i > 0, on a C i (G) Di (G),
et C i+1 (G) est le plus petit sous-groupe distingu N de G contenu dans C i (G) et tel que
C i (G)/N soit contenu dans le centre Z(G/N ) de G/N .
3.2.8 Groupes nilpotents. On dit que G est nilpotent sil existe un entier n tel que
C n (G) = {1}. Le plus petit de ces entiers n sappelle la classe de nilpotence de G. Un
groupe G est nilpotent si et seulement sil admet une suite de sous-groupes G0 = G
G1 ... Gm = {1} telle que [G, Gi ] Gi+1 pour tout i (puisqualors, C i (G) Gi pour
tout i). Cette condition quivaut demander que Gi /Gi+1 Z(G/Gi+1 ) pour tout i.
On en dduit que tout sous-groupe et tout quotient dun groupe nilpotent est nilpotent.
Inversement, siH est un sous-groupe de G contenu dans le centre Z(G) de G et si G/H est
nilpotent, alors G est nilpotent.
Le centre dun groupe nilpotent est toujours non trivial. Dailleurs, pour savoir si un
23
Master de Mathmatiques
groupe fini est nilpotent, on peut calculer son centre, puis le centre du quotient de G par
son centre, etc. Si un moment on tombe sur un groupe de centre trivial, alors G nest
pas nilpotent.
3.2.9 Exemples. Un groupe ablien est nilpotent. Un groupe nilpotent est rsoluble.
Mais S3 est rsoluble sans tre nilpotent (son centre est trivial). De mme, pour tout
corps commutatif k, le sous-groupe B de G = GLn (k) form par les matrices triangulaires
suprieures ( coefficients diagonaux quelconques) est rsoluble, mais (si k 6= F2 ) pas
nilpotent. Le sous-groupe S de B form par les matrices triangulaires suprieures strictes
est, lui, nilpotent.
3.2.10 Proposition. i) tout p-groupe G est nilpotent.
ii) Soit G un groupe nilpotent. Tout sous-groupe propre H de G est strictement inclus
dans son normalisateur NG (H) ; en particulier, tout sous-groupe de G dindice premier est
distingu dans G.
iii) Soient G un groupe fini, et S un p-Sylow de G. Pour tout sous-groupe H de G
contenant NG (S), on a H = NG (H).
Dmonstration. i) daprs la formule des classes pour laction de G par conjugaison sur
lui-mme, le centre Z de G est non trivial (si |G| > 1). On conclut par une rcurrence sur
|G|. On peut aussi montrer cet nonc en plongeant, pour n assez grand, G dans GLn (Fp ),
puis en notant que les p-Sylow de G sont conjugus au groupe triangulaire strict S, qui est
nilpotent.
ii) Rcurrence sur la classe de nilpotence n de G. Lnonc est clair si n = 1. Si n > 1,
le sous-groupe A = C n1 (G) de G est contenu dans le centre de G, et G/A est nilpotent
de classe n 1. Alors, NG (H) contient A, et on a gagn si H ne contient pas A. Sinon,
lhypothse de rcurrence entrane que H/A est strictement inclus dans NG/A (H/A), donc
H 6= NG (H).
iii) Soit n un lment de NG (H). Alors, S et nSn1 nHn1 = H sont des p-Sylow
de H, donc sont conjugus dans H : il existe h H tel que hSh1 = nSn1 . Donc
h1 n NG (S) H, et n H.
3.2.11 Thorme. Soit G un groupe fini. Les conditions suivantes sont quivalentes :
i) G est nilpotent ;
ii) pour tout sous-groupe propre H de G, H 6= NG (H) ;
iii) pour tout nombre premier p, G admet un unique p-Sylow ;
iv) G est isomorphe au produit direct de ses sous-groupes de Sylow.
v) deux lments de G dordres premiers entre eux commutent ;
Dmonstration. On a dj vu i) ii). Montrons ii) iii). Soit S un p-Sylow de G.
Daprs lhypothse ii) et le iii) de la proposition prcdente, NG (S) = G, i.e. S est distingu dans G. Comme on sait que les p-Sylows sont tous conjugus (thorme 3.1.3 ii)),
24
Master de Mathmatiques
on en dduit que S est lunique p-Sylow de G. Passons iii) iv). Lunique p-Sylow
Sp est ncessairement distingu. Il sensuit que pour tout autre premier ` 6= p, on aura
[Sp , S` ] Sp S` = {1}, do un morphisme injectif du produit des Sp vers G, qui pour
des raisons dordre est aussi bijectif. Limplication iv) v) est claire, et sa rciproque
aussi. Limplication iv) i) dcoule du point i) de la proposition prcdente et du fait
que C i (G1 G2 ) = C i (G1 ) C i (G2 ).
Si G est ablien, son unique p-Sylow sappelle la composante p-primaire G(p) de G. On
peut noncer :
3.2.12 Corollaire. Tout groupe ablien fini G est isomorphe au produit direct
p G(p) de ses composantes p-primaires, o p parcourt lensemble des diviseurs premiers
de |G|.
Il est dailleurs facile de dduire cet nonc de la dcomposition de G donne par ses
facteurs invariants (voir chap. II, S2).
25
Master de Mathmatiques
4 Reprsentations linaires
4.1 Dfinitions et exemples
Soient G un groupe, et K un corps commutatif.
4.1.1 Dfinition. Une reprsentation linaire de G coefficients dans K est une
paire (, V ) forme dun K-espace vectoriel V et dun morphisme de groupes : G
GLK (V ).
On dit aussi que est une reprsentation despace sous-jacent V . On remarquera que se
donner quivaut se donner une action gauche de G sur V compatible avec la structure
de K-espace vectoriel sur V .
On commet souvent labus raisonnable de dsigner une reprsentation (, V ) simplement
par , et parfois celui moins dfendable de la dsigner par V ... On note alors simplement
g.v pour ce quon devrait noter (g)(v), i.e. limage dun vecteur v de V sous laction (via
) dun lment g de G. On a donc g(v + v 0 ) = gv + gv 0 , (gg 0 )v = g(g 0 v), 1G v = v pour
tout g, g 0 G, v, v 0 V, K.
4.1.2 Exemples.
i) Reprsentation triviale. Pour tout K-ev V , la reprsentation triviale 1V sur V est
dfinie par 1V (g) = idV pour tout g G. Pour V = K, la reprsentation triviale 1K
sappelle la reprsentation unit de G (relativement au corps K).
ii) Reprsentations standard. Quand G est dj dfini comme un sous-groupe de GL(V )
(par exemple le groupe didral Dn dans GL(2, C)), V est une reprsentation de G,
dite souvent reprsentation naturelle, ou reprsentation standard.
iii) Reprsentations de permutation. Soit X un ensemble muni dune action gauche de
G. La reprsentation de permutation associe est le K-espace vectoriel V = KX de
base {ex , x X}, muni de laction dfinie par K-linarit partir
P des conditions
g.ex = eg.x . Ainsi un lment e dans KX scrit de manire unique x x ex pour une
famille presque nulle (x )xX dlments de K (ce qui signifie que tous les x sont
nuls sauf un nombre fini dentre eux), et on a
X
X
g.e = g.(
x ex ) =
x egx .
x
26
Master de Mathmatiques
hG
hG
Master de Mathmatiques
Sous-reprsentation. Cest un K-ss-ev W de V qui est stable (on dit aussi : invariant)
sous laction de G. Ceci signifie que pour tout v W et tout g G, on a gv W . Pour
bien faire, on devait la noter (, W ) (, V ).
Reprsentation quotient. Si W est un sous-espace stable de V , lespace vectoriel quotient
V /W est naturellement muni dune structure de reprsentation de G, appele reprsentation
quotient de V par W . Pour toute classe v + W , on pose simplement g(v + W ) := gv + W ,
qui ne dpend pas du choix de v puisque W est suppos stable.
4.1.4 Dfinition. Un morphisme (, V ) (, W ) entre deux reprsentations de
G est un homomorphisme K-linaire : V W tel que (g.v) = g.(v) pour tout
(g, v) G V .
On parle aussi de G-morphisme, ou encore dapplication linaire G-quivariante. Comme
dhabitude on a les variantes monomorphisme = G-morphisme injectif, pimorphisme =
G-morphisme surjectif, isomorphisme = G-morphisme bijectif (on dit alors que les reprsentations V et W sont isomorphes, ou encore quivalentes), endomorphisme si V = W et
automorphisme=endomorphisme bijectif.
Par ailleurs, limage dun G-morphisme : V W est une sous-reprsentation de
W , et le noyau est une sous-reprsentation de V . Comme pour les espaces vectoriels,
Master de Mathmatiques
Master de Mathmatiques
On vrifie que p est toujours un projecteur de V sur W , et cette fois, quil est invariant
sous G. Donc son noyau W 0 = Ker(p) est un supplmentaire de W dans V , stable sous
G.
4.1.12 Corollaire. Soit G un groupe fini dordre inversible dans K.
i) toute reprsentation indcomposable est irrductible.
ii) toute reprsentation se dcompose en une somme directe = 1 k de
reprsentations irrductibles.
En regroupant dans le ii) les reprsentations irrductibles isomorphes entre elles, on
obtient une dcomposition
= a11 al l ,
o ai est un entier non nul, ai i dsigne la somme directe i i i de ai copies
de i , et les i sont deux--deux non isomorphes. Une telle dcomposition est appele
dcomposition isotypique. Le lemme suivant dit que les facteurs directs i et les entiers ai
dune dcomposition isotypique ne dpendent que de (et pas du procd inductif utilis
pour obtenir la dcomposition).
a0
a0
Master de Mathmatiques
4.1.14 Dfinition. Les reprsentations irrductibles apparaissant dans une dcomposition comme ci-dessus sont appels facteurs de Jordan-Hlder ou sous-quotients irrductibles. Lentier ai associ est appel multiplicit.
On voit donc que la thorie des reprsentations dun groupe fini G coefficients dans
un corps algbriquement clos de caractristique trangre |G| revient essentiellement
classifier les reprsentations irrductibles. Si la caractristique divise |G|, la thorie est
beaucoup plus complique car il faut aussi comprendre les extensions non-scindes entre
irrductibles, et plus gnralement les reprsentations indcomposables. Il savre (hors
programme !) que pour un groupe aussi simple que (Z/pZ)2 il ny a aucun espoir darriver
une classification raisonnable des reprsentations indcomposables...
4.1.15 Exemple. Regardons la reprsentation rgulire du groupe G = Z/2Z. Elle a
une base (e0 , e1 ) sur laquelle le gnrateur de G agit par .e0 = e1 et .e1 = e0 . Si K nest
pas de caractristique 2, on voit que les vecteurs e+ = e0 + e1 et e = e0 e1 sont propres
pour (de valeurs propres 1 et 1) donc engendrent des droites L+ et L stables sous G.
On vrifie alors immdiatement que KG = L L+ . Si par contre K est de caractristique
2, alors e+ = e , et L+ = L est la seule droite stable sous G dans KG.
4.1.16 Contragrdiente (ou reprsentation duale). Soient (V, ) une reprsentation de
G, et V = Hom(V, K) le dual du K-espace vectoriel V . On munit V dune structure
de reprsentation de G en posant, pour toute forme linaire f sur V et tout g dans G :
(g)(f ) = f (g 1 ) (en abrg : g.f = f g 1 ), de sorte que pour tout (g, f, v) G
V V , on a : hg.f |g.vi := h (g)(f )|(g)(v)i = hf |vi ; autrement dit, (g) EndK (V )
est la transpose de (g 1 ) EndK (V ). On dit que est la reprsentation duale , ou
contragrdiente, de .
4.1.17 Hom internes. Plus gnralement, soient (, V ) et (, W ) deux reprsentations
de G. Lespace HomK (V, W ) des homomorphismes K-linaires de V dans W est naturellement muni dune structure de reprsentation de G : pour tout g dans G et tout K-homom.
: V W , on pose
g. := (g) (g 1 ).
Une application linaire fixe sous cette action nest autre quun G-morphisme. Lensemble
HomK (V, W )G des G-morphismes est donc un K-sev, traditionnellement not HomKG (V, W ).
Si V = W , EndKG (V ) est une sous-K-algbre de EndK (V ), parfois appele algbre commutante de G dans V .
Voici deux cas particuliers : la reprsentation V sidentifie HomK (V, 1K ) tandis que
la reprsentation W sidentifie HomK (1K , W ).
4.1.18 Produits tensoriels. Nous rappelons (ou expliquons) une construction qui fait le
lien entre lalgbre bilinaire et lalgbre linaire. Fixons deux K-espaces vectoriels V, W .
Master de Mathmatiques
Pour cela, remarquons dabord que si E E 0 est une application K-linaire, alors
: V W E 0 est encore K-bilinaire.
4.1.19 Proposition. Il existe un espace vectoriel, unique isomorphisme prs, not
V K W et appel produit tensoriel de V et W sur K, muni dune application K-bilinaire
: V W V K W, (v, w) 7 x w et qui satisfait la proprit universelle suivante :
pour toute application K-bilinaire : V W E, il existe une unique application
K-linaire : V K W E telle que (v, w) = (v w) pour tous (v, w) V W .
Ainsi une application bilinaire : V W E comme ci-dessus dtermine et est
dtermine par une unique application K-linaire : V K W E.
La structure de K-ev de V K W peut tre source derreurs. Cest pourquoi il est bon
de remarquer explicitement les proprits suivantes, imposes par lhypothse de bilinarit
de (v, w) 7 v w :
(v+v 0 )w = vw+v 0 w et v(w+w0 ) = vw+vw0 pour tous v, v 0 V, w, w0 W .
(v) w = v (w) = (v w) pour tout K.
En tout tat de cause on gardera lesprit que (v + v 0 ) (w + w0 ) 6= v w + v 0 w0 .
Dmonstration. Une fois lexistence prouve, on en dduit lunicit comme pour toute
solution dun problme universel. Pour lexistence, on peut procder comme suit : soit
{ei ; i I}, {j ; j J} des bases respectives de V, W . Considrons lespace vectoriel E ayant
pour base les symboles ei j , pour i I, j J. On dfinit une application K-bilinaire
E V W E
P
(v, w) 7
i,j (vi wj )ei j
P
P
o v = i vi ei et w = j wj j sont les dcompositions de v, resp. w, dans la base (ei )i , resp
(j )j . Pour toute application K-bilinaire comme dans lnonc, on dfinit : E E
en posant (ei j ) = (ei , j ). Il est clair que = E . Il est aussi clair que
est lunique application K-linaire E E vrifiant cette proprit, puisquune forme
bilinaire de source V W est uniquement dtermine par ses valeurs sur les couples
(ei , j ) pour i I, j J
De la preuve on dduit comment fabriquer des bases de V K W , et en particulier que si
V et W sont de dimension finie, alors V K W aussi, et on a dim(V W ) = dim(V ) dim(W ).
Supposons maintenant que V, W soient les espaces de reprsentations , du groupe
G. Alors, V K W est lespace dune reprsentation de G, note et dfinie par la
condition ()(g)(v w) := (g)(v)(g)(w) = gv gw pour tout (g, v, w) GV W .
On lappelle produit tensoriel des reprsentations et .
32
Master de Mathmatiques
4.1.20 Exemple. Si et sont irrductible, cela nest souvent plus vrai pour .
Par exemple pour G = Dn et la reprsentation standard sur C2 , on montre que
contient encore .
4.1.21 Produits tensoriels et Hom internes.. Soit V le dual de V . Par la proposition
prcdente, lapplication bilinaire W V HomK (V, W ) : (w, f ) 7 { : v 7 (v) :=
f (v)w} dfinit un homomorphisme canonique
: W K V HomK (V, W ).
4.1.22 Lemme. Lhomomorphisme est injectif. De plus,
i) il est bijectif si V et W sont de dimension finie.
ii) il est G-quivariant, si V et W sont des reprsentations, et si W K V et HomK (V, W )
sont munis des reprsentations produit tensoriel et Hom internes.
Remarque : de manire gnrale, limage de est forme des homomorphismes : V
W de rang fini, i.e. tels que (V ) soit un sous-espace de dimension finie de W .
Si (, V ) et (, W ) sont des reprsentations de dimension finie, la reprsentation sur
HomK (V, W ) est donc isomorphe .
Voici un cas particulier utile : V = W avec dimK (V ) finie. Alors est un isomorphisme
P
v` f`
G K
g 7 V (g) = Tr((g))
33
Master de Mathmatiques
On en dduit donc
V (g) =
X
X
hgei , ei i =
hei , g 1 ei i = V (g 1 ),
iI
iI
jJ
34
Master de Mathmatiques
X
X
hgei , ei ihgj , j i
hgei gj , ei j i =
i,j
i,j
!
=
!
X
hgj , j i
hgei , ei i
= V (g)W (g).
Master de Mathmatiques
gG
36
Master de Mathmatiques
une
P homothtie, et puisque sa trace |G|(f, V ) est nulle , V = 0. Donc lendomorphisme
gG f (g)R(g) de lespace F(G, C) de la reprsentation rgulire est identiquement nul.
Ses vecteurs R(g)(e1 ) = eg tant C-linirement indpendantes, f (g) est bien nul pour tout
g dans G .
4.2.10 Remarque. Le fait que les caractres des irrductibles forment une base de
lespace des fonctions centrales est encore vrai sur un corps de coefficients K, pourvu que
|G| soit inversible dans K et que K contienne une racine primitive |G|-me de lunit.
Sinon, il y a des contre-exemples. Le plus spectaculaire est quand K est de caractristique
p et G est un p-groupe. Dans ce cas le caractre de toute reprsentation est constant !
Le fait quune reprsentation est dtermine par son caractre ( isomorphisme prs)
est encore vrai sur un corps de caractristique nulle. Mais il est toujours faux si K est
de caractristique positive `. Par exemple la reprsentation triviale de dimension ` a un
caractre nul ! Aussi les caractres ne voient pas la diffrence entre et une extension
non scinde de par .
4.2.11 Table des caractres. Par ce qui prcde, on peut associer un groupe fini G un
tableau de nombres complexes dont les lignes sont indexes par les classes de reprsentations
irrductibles de G, et les colonnes sont indexes par les classes de conjugaison c dans G.
la ligne et la colonne c on associe (x) o x est un lment quelconque de c. Voici
quelques exemples.
Le groupe cyclique G = Z/nZ. Ce groupe tant commutatif, ses classes de conjugaison
sont des singletons, i.e. simplement {0}, , {n 1}. Par ailleurs on a dj vu que les
reprsentations irrductibles de G sont de dimension 1, et donns par les homomorphisme
i : j G 7 ji o est une racine n-me primitive de lunit fixe, et i dcrit les entiers
modulo n. La table est alors simplement donne par les formules i (j) = ij . Remarquons
tout de mme que la manire dont on a crit cette table dpend du choix de . Changer
induira une permutation des lignes de la table.
Le groupe S3 . Les classes de conjugaison sont {e}, c2 = {(1, 2), (2, 3), (1, 3)}, et c3 =
{(1, 2, 3), (2, 1, 3)}. Il nous faut trouver 3 reprsentations irrductibles. On connait dj la
triviale 1, et le caractre signature Sgn : S3 {1}. Pour trouver la troisime, on peut
penser au fait que S3 = D3 est le groupe des isomtries prservant un triangle quilatral,
do une reprsentation standard de dimension 2 Std : S3 = D3 O2 (R) GL2 (R)
GL2 (C). On peut maintenant dresser la table :
1
Sgn
Std
{e} c2 c3
1
1
1
1 1 1
2
0 1
37
Master de Mathmatiques
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
Std 2
2
0
0
0
Le groupe H8 . On vrifie facilement que les classes de conjugaison sont {1}, {1}, {i},
{j} et {k}. Par ailleurs H8 /{1} est isomorphe Z/2Z Z/2Z avec pour gnrateurs
les images de i et de j (par exemple). On en dduit 4 caractres de dimension 1 : 1, , ,
et , dfinis par (i) = 1, (j) = 1, et (i) = 1, (j) = 1. Reste trouver la dernire
reprsentation irrductible. Considrons H = C Cj comme un C-espace vectoriel de
dimension 2, de base 1, j, et faisons agir H8 sur H par multiplication gauche : (g)(x) :=
xg 1 . On obtient ainsi une reprsentation C-linaire (noter que la multiplication droite
ne serait pas C-linaire mais seulement R-linaire). On peut alors dresser la table.
{1} {1} {i} {j} {k}
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
H
2
2
0
0
0
Remarque 1 : si on ne trouve pas la dernire reprsentation irrductible, on peut toujours
dduire la dernire ligne de la table de caractre partir du corollaire 4.2.8 iii). Celui-ci dit
en effet que le carr de la norme euclidienne de la premire colonne est le cardinal de G,
tandis que les autres colonnes sont orthogonales la premire. Inversement, cette relation
permet de dtecter dventuelles erreurs dans une table.
Remarque 2 : les deux exemples prcdents montrent que deux groupes non-isomorphes
G, G0 peuvent avoir des tables de caractres isomorphes au sens o il existe une bijection
des classes de conjugaison de G sur celles de G0 , resp. des classes dirrductibles de G
sur celles de G0 , telles que les tables obtenues soient les mmes. Il existe nanmoins deux
manires de distinguer deux groupes ayant la mme table, partir de la table, condition
de se rappeler de quelques structures.
38
Master de Mathmatiques
(xgx
)
=
(xgx1 ).
|H| xG
xH\G
G
Ainsi, G
est une fonction centrale sur G et (g) = 0 si g nest pas conjugu un lment
de H. Dans le thorme suivant, on note h., .iG le produit scalaire sur F(G, C), et h., .iH
celui sur F(H, C).
39
Master de Mathmatiques
hG
, f iG =
a , on en dduit que G
est le caractre de la reprsentation
Le caractre G
sappelle caractre induit de G.
Exemples :
i) Le caractre de la reprsentation rgulire CG est le caractre induit de la reprsentation triviale 1 du sous-groupe trivial H = {e}. Ce que lon peut crire CG = G
1{e} .
ii) Plus gnralement, le caractre de la reprsentation de permutation CX o X est
un G-ensemble transitif de la forme G/H est le caractre induit de la reprsentation
triviale 1H de H. Cest--dire CX = G
1H .
iii) Soit G = Dn = hri o hsi. On a vu que le caractre standard std de G est nul en
dehors du sous-groupe cyclique hri et donn par
std (rk ) = 2 cos(2k/n) = e2ik/n + e2ik/n
pour tout k. Soit alors le caractre (irrductible de dimension 1) du groupe hri
donn par (rk ) := e2ik/n . Comme srk s1 = rk , on voit que std est le caractre
induit de , i.e. std = G .
Le troisime exemple invite chercher un critre pour que le caractre induit dun
caractre irrductible soit encore irrductible. On disposerait alors dun outil pratique pour
fabriquer des caractres irrductibles.
Supposons pour simplifier que H est distingu dans G, et soit = un caractre
irrductible de H. Pour tout x G, la fonction x : h 7 (xhx1 ) est une fonction centrale
sur H. Cest le caractre de la reprsentation (W, x ) dfinie par x (h) := (xhx1 ), laquelle
est irrductible, comme (W, ). Le caractre x est appel caractre conjugu de par x.
40
Master de Mathmatiques
4.3.2 Point de vue des reprsentations. Comme prcdemment, partons dune reprsentation (W, ) dun sous-groupe H de G. On pose
IndG
H (W ) := {f : G W, h H, x G, f (hx) = (h)f (x)} .
On munit cet espace vectoriel de laction par translations droite (gf )(x) := f (xg). On
obtient ainsi une reprsentation note IndG
H ( ).
G
Exercice : montrer que le caractre de IndG
H ( ) est gal au caractre induit .
Lavantage du point de vue des reprsentations sur celui des caractres est quil fonctionne pour tout corps de coefficients K, mme de caractristique positive.
41