Sur la résolution injective minimale de l'algèbre enveloppante d'une algèbre de Lie résoluble. (On the minimal injective resolution of the enveloping algebra of a solvable Lie algebra) (Q1059140)

Let U denote the enveloping algebra of a finite-dimensional solvable Lie algebra \({\mathfrak g}\) over a field k of characteristic 0. In the course of investigating \(H^ p({\mathfrak g},M)\), for M a finite-dimensional \({\mathfrak g}\)-module, \textit{J. L. Koszul} constructed a certain \({\mathfrak g}\)-module V(\({\mathfrak g})\) [Am. J. Math. 76, 535-554 (1954; Zbl 0055.021)]. The authors prove that if k is algebraically closed then V(\({\mathfrak g})\) is an injective left U-module and is in fact isomorphic to the last term E in a minimal injective resolution of the left U-module U. Moreover, E can be given the structure of a (U-U) bimodule and, as a right U-module, E is isomorphic to V(\({\mathfrak g})\). The proofs occupy the whole paper and are detailed, involving both categorical and homological techniques as well as properties of the ring U, and it is not really possible to give details in a short review.