Proposition 7
Tag 0131, permanent. Cite it as [Bourbaki, Tag 0131].
Lie Groups and Lie Algebras, chapter VIII, § 6. Modules over a split semi-simple Lie algebra
Let , E a -module generated by a primitive element of weight the central character of E, and the Harish-Chandra homomorphism from to V. Then, for all in the centre of U.
Let be a primitive element of E of weight , and an element of the centre of U. There exist and such that . Then
Bourbaki sets the proof directly after the statement, and the corpus does not separate them, so what is above is the statement and its proof together.
Cited by
Cites
Nothing.