Proposition 16
Tag 0AV7, permanent. Cite it as [Bourbaki, Tag 0AV7].
Lie Groups and Lie Algebras, chapter VI, § 1. Root systems
Let be a basis of , and the subgroup of consisting of the elements leaving stable. Then is a normal subgroup of and is the semi-direct product of and .
If and , then ; since is generated by the , we see that is a normal subgroup of . By transport of structure, transforms a basis of to a basis of . Since acts simply-transitively on the set of bases, every element of can be written uniquely in the form , where and .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Cites
Nothing.