MAT 731: Groupes et représentations des groupes 3. Alg`ebres de

MAT 731: Groupes et repr´esentations des groupes
3. Alg`ebres de groupes
Partout dans ce cours, on se fixe kun corps alg´ebriquement clos et Gun groupe fini avec
identit´e 1. Soit kG ={PgGλgg|λgk}le k-espace vectoriel ayant pour base G. Alors
kG est une k-alg`ebre de dimension |G|pour la multiplication suivante:
(X
gG
λgg)(X
hG
µhh) = X
g,hG
λgµg(gh).
´
Evidemment kG est commutative si et seulement si Gest commutative.
Soit Vun k-espace vectoriel de dimension finie. Remarquons que Autk(V) est un groupe.
Or Vest un kG-module `a gauche si, et seulement si, il existe un homomorphisme de groupes
φ:GAut(V). Dans ce cas, pour tout gG, x V, on a que g·x=φ(g)(x) et
(X
gG
λgg)·x=X
gG
λg(g·x).
En particulier kest un kG-module pour la multiplication gλ =λ, pour tous gG, λ k
(c’est-`a-dire, induite de l’homomorphisme trivial GAutk(k) : g7→ 1Ik). On appelle kle
kG-module trivial. Ceci est ´evidemment simple car il est de dimension 1.
Remarque. Un homomorphisme de groupes finis φ:GHinduit un homomorphisme
d’alg`ebres
Φ : kG kH :X
gG
λgg7→ X
gG
λgφ(g).
En outre, kH a une kG-module structure induite de Φ de sorte que Φ soit kG-lin´eaire.
3.0. Lemme. Posons ∆(G) = {PgGλgg|PgGλg= 0}. Alors ∆(G) est un id´eal
bilat`ere de kG tel que kG/∆(G)
=ken tant que k-alg`ebre ainsi que kG-module.
D´emonstration. L’homomorphisme trivial de groupes G→ {1}:g7→ 1 induit un
´epimorphisme d’alg`ebres
Φ : kG k:X
gG
λgg7→ X
gG
λg.
1
On a kerΦ = ∆(G). Donc ∆(G) un id´eal bilat`ere de kG et kG/∆(G)
=ken tant que
k-alg`ebre. En outre, kG/∆(G) = (kG)¯
1, o`u ¯
1 = 1 + ∆(G), en tant que kG-module. Et pour
tout gG, on a g¯
1 = g·1 = 1 + (g1) = ¯
1 car g1∆(G). Ainsi kG/∆(G)
=k.
3.1. Th´eor`eme de Mackey. L’alg`ebre kG est semisimple si et seulement si la car-
act´eristique de kne divise pas l’ordre de G.
D´emonstration. D’abord supposons que car(k) = p > 0 et p||G|. Supposons que kG
serait semisimple. Soit {e1, e2, . . . , en}un ensemble orthogonal complet d’idempotents primi-
tifs de kG. Alors (kG)e1,(kG)e2, . . . , (kG)ensont les kG-modules simples `a isomorphisme
pr`es et
kGkG = (kG)e1(kG)e2 · · · (kG)en.
On peut supposer que (kG)e1
=k. On pr´etend que (kG)ei6
=k, pour tout 1 < i n.
Supposons que (kG)e2serait aussi trivial. Posons e1=PgGλgget e2=PgGµgg. Or
e1=e1e1=PgGλg(ge1) = PgGλge1= (PgGλg)e1.De mˆeme e2= (PgGµg)e2. En outre
0 = e2e1= (PgGµg)e1entra¨ıne que PgGµg= 0, et donc e2= 0, une contradiction. Donc
kapparaˆıt une seule fois dans {(kG)e1,(kG)e2, . . . , (kG)en}, les facteurs de composition de
la suite de composition
0(kG)e1(kG)e1(kG)e2 · · · (kG)e1(kG)e2 · · · (kG)en=kG.
Ainsi kapparaˆıt une seule fois dans les facteurs de composition de toute suite de composition
de kG. D’apr`es le lemme 3.0, ∆(G) est un sous-module de kG tel que kG/∆(G)
=k. Posons
σ=PgGg. Remarquons σ∆(G) car p| |G|.´
Evidemment g·σ=σ. Donc kσ est un
sous-module de kG et kσ
=k. Comme kG/∆(G)
=k, la suite
0kσ ∆(G)kG
peut ˆetre raffin´ee en une suite de composition de kG dont les facteurs de composition
comptent au moins deux fois le module trivial k. Cette contradiction implique que kG
n’est pas semisimple.
Supposons maintenant que la caract´eristique de kne divise pas |G|. Alors |G|est in-
versible dans k. Soit Uun kG-module `a gauche de dimension finie. On montrera que tout
2
sous-module Vde Uest un facteur direct de U. D’abord Vest un facteur direct de Uen
tant que k-espace vectoriel. Donc il existe un idempotent πEndk(U) tel que π(U) = V.
Posons
ε=1
|G|X
gG
gπg1Endk(U).
Ici on consid`ere gAutk(U). En particulier, g1(U) = Uet g(V) = Vcar Vest un sous
kG-module de U. Or
ε(U) = 1
|G|X
gG
gπg1(U) = 1
|G|X
gG
gπ(U) = 1
|G|X
gG
g(V) = 1
|G|X
gG
V=V.
En plus, pour tout xV, on a g1(x)V, et donc
ε(x) = 1
|G|X
gG
gπg1(x) = 1
|G|X
gG
gg1(x) = 1
|G|X
gG
x=x.
Par cons´equent ε2=ε. Enfin, pour tout hG, y U, on a
ε(hy) = 1
|G|X
gG
gπg1(hy) = 1
|G|X
gG
h(h1g)gπ(h1g)1(y) = h1
|G|X
gG
gπg1(y) = h(ε(y)).
Ainsi εEndkG(U). Par cons´equent, Vest un facteur direct de Uen tant que kG-module.
Donc Uest semisimple. Par cons´equent, kG est une alg`ebre semisimple. La preuve s’ach`eve.
On ´etudiera le nombre de kG-modules simples. On sait que kG et kG/rad(kG) ont mˆeme
nombre de modules simples. Comme kest alg´ebriquement clos,
kG/rad(kG)
=Mn1(k)⊕ · · · ⊕ Mnr(k),
o`u Mn(k) est l’alg`ebre des matrices de type n×nsur k. Dans ce cas, on voit que rest le
nombre de kG-modules simples.
3.2. Proposition. Si kG est semisimple, alors le nombre de kG-modules simples est
´egal au nombre de classes de conjugu´e de G.
D´emonstration. Supposons que kG est semisimple. Posons kG =A1 · · · Ar, o`u
AikG et Ai
=Mni(k). Alors rest le nombre de kG-modules simples. Or le centre de kG
est
Z(kG) = Z(A1)⊕ · · · ⊕ Z(Ar).
3
Remarquons que Z(Ai) se compose des matrices scalaires, et donc dimkZ(Ai) = 1. Par
cons´equent, dimkZ(kG) = r, le nombre de kG-modules simples. Il suffit de montrer que r
est le nombre de classes de conjugu´e de G.
Soient C1, C2, . . . , Csles classes de conjugu´e de G. Posons γi=PgCig, i = 1, . . . , s. On
voit ais´ement que γ1, . . . , γskG sont lin´eairement ind´ependants sur k. Pour tout gG,
comme gCig1=Ci, on a gγig1=γi, c’est-`a-dire, γiZ(kG), i= 1, . . . , s. D’autre part,
supposons que a=PgGλggZ(kG). On se fixe hG. Alors
X
gG
λgg=a=hah1=X
gG
λg(hgh1) = X
gG
λhgh1g.
D’o`u, λg=λhgh1,pour tous gG. Donc λgest constant sur chaque classe Ci, disons,
λg=λi,pour tout gCi.Ceci donne
a=X
gG
λgg=
s
X
i=1 X
gCi
λgg=
s
X
i=1
λiX
gCi
g=
s
X
i=1
λiγi.
Ainsi γ1, . . . , γsest une base de Z(G). Donc s=dimkZ(kG) = r. Ceci ach`eve la d´emonstration.
Exemple. Si Gest commutatif dont l’ordre n’est pas divisible par la caract´eristique de
k, alors kG admet exactement |G|modules simples `a isomorphisme pr`es.
On ´etudiera le cas en´eral. Soit Aune k-alg`ebre de dimension finie. Pour tous a, b A,
posons [a, b] = abba. Alors [a, b] = 0 si et seulement si ab =ba. On voit ais´ement que [,]
est bilin´eaire. Posons [A, A] le sous k-espace de Aengendr´e par les ´el´ements [a, b], a, b A.
Alors Aest commutatif si et seulement si [A, A] = 0. Si A=A1 · · · Ar, o`u Aiest un
id´eal bilat`ere de A, alors [A, A] = [A1, A1] · · · [Ar, Ar], car [Ai, Aj] = 0 lorsque i6=j.
Soit X= (aij)Mn(k). Alors la trace de Xest tr(X) = Pn
i=1 aii. Rappelons que
tr(λX +µY ) = λtr(X) + µtr(Y) et tr(XY ) = tr(Y X). En particulier, tr(Y XY 1) = tr(X)
si Yest inversible. Comme kest alg´ebriquement clos, Xest semblable `a une matrice de
Jordan. Ainsi tr(X) = λ1+· · ·+λn, o`u λ1, . . . , λnsont les valeurs propres de Xen comptant
les multiplicit´es alg´ebriques.
3.3. Lemme. Soit Mn(k) l’alg`ebre des matrices de type n×nsur k.
(1) [Mn(k), Mn(k)] = {XMn(k)|tr(X) = 0}.
4
(2) dimkMn(k)/[Mn(k), Mn(k)] = 1.
(3) Si car(k) = p > 0, alors X[Mn(k), Mn(k)] si et seulement si Xpi[Mn(k), Mn(k)]
pour un i0.
D´emonstration. On peut supposer que n > 1. Posons V={XMn(k)|tr(X) = 0},
qui est ´evidemment un sous-espace de Mn(k). Soit Eij Mn(k) la matrice dont le terme
en position (i, j) est 1 et les autres sont tous nuls. On sait que {Eij |1i, j n}est
une k-base de Mn(k). Remarquons que {Eij , Ess E11 |i6=j, s > 1}est une famille libre
contenue dans V. D’autre part, si X= (aij )V, alors Pn
i=1 aii = 0. Or
X=X
i,j
aijEij =X
i6=j
aijEij +
n
X
i=1
aiiEii (
n
X
i=1
aii)E11 =X
i6=j
aijEij +
n
X
i=2
aii(Eii E11).
Ainsi {Eij, Ess E11 |i6=j, s > 1}est une k-base de V. Ainsi dimkV=n21.
On montrera que [Mn(k), Mn(k)] = V. D’abord, pour toutes X, Y Mn(k),tr[X, Y ] =
tr(XY Y X) = tr(XY )tr(Y X) = 0. Donc [Mn(k), Mn(k)] V. D’autre part, Ess E11 =
Es1E1sE1sEs1= [Es1, E1s], et pour i6=j, on a Eij =Ei1E1jE1jEi1= [Ei1, E1j]. Ainsi
V[Mn(k), Mn(k)], et donc [Mn(k), Mn(k)] = V. En particulier, dimk[Mn(k), Mn(k)] =
n21 = dimkMn(k)1, et donc (2) est valide.
Enfin supposons que car(k) = p > 0. On pr´etend que (tr(X))p= tr(Xp),pour tout
XMn(k). En effet, soit June forme de Jordan de X, qui est triangulaire sup´erieure dont
les termes diagonaux sont λ1, . . . , λn. Donc Xpest semblable `a Jpdont les termes diagonaux
sont λp
1, . . . , λp
n. Ainsi
tr(Xp) = λp
1+· · · +λp
n= (λ1+· · · +λn)p= (tr(X))p,
d’o`u tr(Xpi) = tr(X)pi, pour tout i0. Maintenant X[Mn(k), Mn(k)] si et seulement
si tr(X) = 0 si et seulement si (tr(X))pi= 0 pour un i0 si et seulement si tr(Xpi) = 0,
pour un i0 si et seulement si Xpi[Mn(k), Mn(k)] pour un i0. Ceci ach`eve la
d´emonstration.
3.4. Lemme. Soit car(k) = p > 0. Posons T= [kG, kG].
(1) Pour tout a, b kG, (a+b)pap+bp(mod T).
(2) Si aT, alors apT.
5
1 / 82 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 !