Bourbaki

Exercice 5, § 7

Groupes et algèbres de Lie, I

Bourbaki marks this one as harder than the rest.

Soient K un corps de caractéristique p>0p > 0, g une algèbre de Lie de dimension finie n sur K, U l’algèbre enveloppante de g.

a) On appelle pp-polynôme (à une indéterminée) sur K tout polynôme de K[X]K[X] dont les seuls termes ≠0\neq 0 ont un degré qui est une puissance de pp. Montrer que, pour tout polynôme f(X)≠0f(X) \neq 0 de K[X]K[X], il existe g(X)∈K[X]g(X) \in K[X] tel que f(X)g(X)f(X)g(X) soit un pp-polynôme (considérer les restes des divisions euclidiennes des XpkX^{p^k} par f(X)f(X)).

b) Montrer que, pour tout élément z∈gz \in g, il existe un polynôme non nul f(X)∈K[X]f(X) \in K[X] tel que f(z)f(z) appartienne au centre C de U. (Considérer le polynôme minimal de l’endomorphisme ad zz, et appliquer a) à ce polynôme, ainsi que la formule (1) de l’exerc. 19 du § 1.)

c) Soit (ei)1≤i≤n(e_i)_{1 \leq i \leq n} une base de g. Pour chaque ii, soit fi≠0f_i \neq 0 un polynôme de K[X]K[X] tel que fi(ei)∈Cf_i(e_i) \in C; soit did_i son degré, et soit L l’idéal bilatère de U engendré par les yi=fi(ei)y_i = f_i(e_i). Montrer que les classes mod. L des éléments e1x1…enxne_1^{x_1} \ldots e_n^{x_n}, où 0≤xi<di0 \leq x_i < d_i forment une base de U/LU/L.

d) Montrer que g admet une représentation linéaire fidèle de dimension finie (choisir les fif_i de sorte que di>1d_i > 1 pour tout ii).

e) Montrer que, si g≠{0}g \neq \{0\}, il existe une représentation linéaire de dimension finie de g non semi-simple. (Supposant les fif_i de degrés di>1d_i > 1, remplacer les fif_i par fi2f_i^2 dans la définition de L, et remarquer qu’il existe alors des éléments nilpotents ≠0\neq 0 dans le centre de U/LU/L, donc que U/LU/L n’est pas semi-simple.)

Solution

Aucune solution n’a encore été écrite.

Transcrit du volume imprimé. Non traduit.