Proposition 8
Tag 013T, permanent. Cite it as [Bourbaki, Tag 013T].
Lie Groups and Lie Algebras, chapter VIII, § 7. Finite dimensional modules over a split semi-simple Lie algebra
Assume that is simple. Denote by the elements of B. Let be the corresponding fundamental weights. Let = be the highest root of , and J the set of such that . Let -- . Then conditions (i), (ii) and (iii) of Prop. 6 are equivalent to each of the following conditions:
(v) ;
(vi) there exists such that .
The , for , form a system of representatives in P(R) of the non-zero elements of .
Let , where are integers and not all zero. Then and , which gives the equivalence of (v) and (vi) immediately. On the other hand, sup, and since is a non-zero element of . Hence
condition (v) is equivalent to the condition for all , in other words to condition (iii) of Prop. 6.
The last assertion of the proposition follows from Chap. VI, §2, no. 3, Cor. of Prop. 6.
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
- Chap. VI, §2, no. 3, Cor. of Prop. 6 not in this corpus
- Prop. 6