Definition 1
Tag 012N, permanent. Cite it as [Bourbaki, Tag 012N].
Lie Groups and Lie Algebras, chapter VIII, § 6. Modules over a split semi-simple Lie algebra
Let V be a -module and . Then is said to be a primitive element of V if and satisfies the conditions of Lemma 1.
A primitive element belongs to one of the . For all denotes the set of such that . Thus, the primitive elements of weight are the non-zero elements of .
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
Nothing.