Definition 3

Tag 01D4, permanent. Cite it as [Bourbaki, Tag 01D4].

Lie Groups and Lie Algebras, chapter IX, § 4. Root system associated to a compact group

A framing of $(G,T)$ is a pair $(B,(U_{\alpha})_{\alpha\in B})$ , where B is a basis of $R(G,T)$ (Chap. VI, §1, no. 5, Def. 2) and where, for all $\alpha \in B,U_{\alpha}$ is an element of $V(\alpha )$ such that $K(U_{\alpha}) =-1$ .

A framing of G is a maximal torus T of G together with a framing of $(G,T)$ .

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

Lemma 1, § 5

Cites

Chap. VI, §1, no. 5, Def. 2 not in this corpus