Exercice 7, § 2
Groupes et algèbres de Lie, I
Soit une -algèbre de Lie sur un anneau tel que ( premier). On dit qu’une dérivation et est une -dérivation si on a pour tout . Toute dérivation intérieure est une -dérivation.
a) Si est une -algèbre associative, toute dérivation de est une -dérivation lorsque est considérée comme -algèbre de Lie. (Utiliser la formule (2) de l’exerc. 19 du § 1.)
b) Supposons que ait une base. Pour qu’une dérivation de soit une -dérivation, il faut et il suffit qu’elle puisse se prolonger en une dérivation de l’algèbre enveloppante restreinte de . En déduire que les -dérivations de forment une -sous-algèbre de Lie de la -algèbre des dérivations de .
c) Si est une -dérivation de , le noyau de est une -sous-algèbre de .
d) Pour toute dérivation de , appartient au centre de pour tout (utiliser la formule (2) de l’exerc. 19 du § 1, appliquée à ).
Solution
Aucune solution n’a encore été écrite.