Remark 4
Tag 0124, permanent. Cite it as [Bourbaki, Tag 0124].
Lie Groups and Lie Algebras, chapter VIII, § 5. Automorphisms of a semi-simple Lie algebra
Let be a splittable semi-simple Lie algebra, the set of parabolic subalgebras of , a set on which Aut operates. Retain the notations of Remark 2. Let be a subset of . Giving is equivalent to giving, for every , a subset of B, such that takes to for any . Let be the parabolic subalgebra of corresponding to (§3, no. 4, Remark). The orbit of under Aut is the set of for . This defines a map from to Aut. This map is surjective by the Remark of §3, no. 4, and injective by Prop. 7.
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.