Cours ALGEBRE M1 Automne 2012 Parties I et II: GROUPES ET

Cours ALGEBRE M1
Automne 2012
Parties I et II: GROUPES ET CORPS
Vadim Schechtman
1
2
NOMS
Carl Friedrich GAUSS (1777 - 1855)
Evariste GALOIS (1811 - 1832)
Ferdinand Georg FROBENIUS (1849 - 1917)
Issai SCHUR (1875 - 1941)
3
Partie I. GROUPES
§Rep. Repr´esentations lin´eaires des groupes finis
Rep. 1. On va travailler sur le corps de nombres complexes C.
Soient Gun groupe fini d’ordre n.Une repr´esentation de Gest un couple
(ρ, V ) o`u Vest un C-espace vectoriel et ρ:GGL(V) un homomorphisme.
On dit aussi que ρest une repr´esentation de Gdans V.
Une d´efinition ´eqivalente: une repr´esentation de Gdans Vest une action
gauche de Gsur Vtelle que pour tout gGle morphisme de multiplication
g·:VV, x 7→ gx
est C-lin´eaire.
Toutes les repr´esentations seront de dimension dim Vfinie; elle est appel´ee
aussi le degr´e de ρ.
Sous-repr´entations. Irr´eductibles.
Sommes et produits tensoriels de repr´esentations.
Si ρi:GGL(Vi), i = 1,2 sont deux repr´esentations, l’espace HomC(V1, V2)
admet une structure d’une repr´esentation par la r´egle
(g·f)(x) = gf(g1x)
On a
HomC(V1, V2)G=HomG(V1, V2)
Rep. 2. Moyennisation. Si Vest une repr´esentation de G,n=|G|,
m:VVG, m(x) = 1
nX
gG
gx
D’o`u:
m:HomC(V1, V2)HomG(V1, V2)
Rep. 3. Th´eor`eme. Soit Vune G-repr´esentation, i:W ֒Vune sous-
repr´esentation. Alors il existe une sous-repr´esentation (dite ”suppl´ementaire”)
WVtelle que
WW
V
4
Preuve. Choisissons un projecteur C-lin´eaire p:VW,pi= IdWet
posons p=m(p). Alors
pi(x) = 1
nX
g
gpg1i(x) = 1
nX
g
gpig1(x) = x,
i.e. pest un projecteur Gequivariant. On pose W= Ker(p).
Rep. 4. Exercice. Soit ρune repr´esentation dans l’espace V. Choisissons
un produit scalaire hermitien (,)sur V. Posons
(x, y) = 1
nX
g
(gx, gy)
Montrez que (,) est un produit scalaire hermitien G-invariant, i.e. (x, y) =
(gx, gy) pour tous g. (Notez que ”d´efini positif” implique ”non degener´e”.)
En utilisant le compl´ement orthogonal, donnez une autre preuve du Thm Rep.
3.
Corollaire:
Rep. 5. Th´eor`eme de Maschke. Chaque repr´esentation de Gest une
somme directe des repr´esentations irr´eductibles.
Rep. 6. Th´eor`eme (lemme de Schur). Soit ρ, ρdeux repr´esentations
irr´eductibles. (i) Chaque G-homomorphism est soit 0, soit un isomorphisme.
(ii) Chaque G-isomorphisme f:ρ
ρest une homoth´etie (une multiplica-
tion par un scalaire). Donc dimCHom(ρ, ρ) = 1.
Preuve. Soient ρ:GGL(V), λune valeur propre de f,WVle
sous-espace propre corr´espondant. Si xW,
f(gx) = gf(x) = λgx,
donc West une sous-repr´esentation, d’o`u W=V.
Issai Schur (1875, Mogilev - 1941, Tel Aviv) Un grand math´ematicien alle-
mand, un el`eve de Georg Frobenius (1849 - 1917). Membre correspondant de
l’Acad´emie de Sciences de l’URSS (1929).
Caract`eres.
Rep. 7. D´efinition. Soit ρune repr´esentation de G.
χρ(g) = T rρ(g)
Propri´et´es ´el´ementaires.
5
(a)
χρ(hgh1) = χρ(g)
(b) Si ρ1
=ρ2,χρ1=χρ2.
(c) χρπ=χρ+χπ.
(d) Toutes les valeurs propres de ρ(g) sont des racines n-`emes de l’unit´e, n=
|G|. Donc
χρ(g1) = χρ(g)
Rep. 8. Soient ρi:GViirr´eductibles, fHomC(V1, V2).
Rappelons que
m(f)(x) = 1
nX
g
ρ2(g)f(ρ1(g1)x)
C’est un op´erateur Gequivariant (on dit aussi ”d’entrelacement”).
8.1. Lemme. (a) m(f) = 0 si ρine sont pas isomorphes.
(b) Si ρ1=ρ2,V=V1=V2alors m(f)est une multiplication par T r(f)/d,
o`u d= dim V.
En effet, (a) est clair d’apr`es le lemme de Schur. Dans le cas (b) m(f) est une
multiplication par λ. Or
=T r(m(f)) = nT r(f),
d’o`u l’assertion.
´
Ecrivons cela sous une forme matricielle. Fixons des bases dans V1et V2; par
rapport aux ces bases ρi(g), fsont repr´esent´es par les matrices ρi(g)pq,frs. Alors
m(f) est repr´esene par la matrice
m(f)ij =1
nX
g
ρ2(g)ipfpqρ1(g1)qj
(la r`egle d’Einstein: la sommation sur les indices ep´et´es est sous-entendue).
8.2. Lemme. Sous les hypoth`eses du Lemme 8.1, dans le cas (a) on a
1
nX
g
ρ2(g)ipρ1(g1)qj = 0 (Rep.8.1)
pour tous i, j, p, q.
Dans le cas (b)
1
nX
g
ρ2(g)ipρ1(g1)qj =1
dδijδpq (Rep.8.2)
1 / 20 100%
La catégorie de ce document est-elle correcte?
Merci pour votre participation!

Faire une suggestion

Avez-vous trouvé des erreurs dans linterface ou les textes ? Ou savez-vous comment améliorer linterface utilisateur de StudyLib ? Nhésitez pas à envoyer vos suggestions. Cest très important pour nous !