Remark 4
Tag 0189, permanent. Cite it as [Bourbaki, Tag 0189].
Lie Groups and Lie Algebras, chapter VIII, § 12. Chevalley orders
By Prop. 5 of §4, no. 4, there exists a unique automorphism of such that and for all , and for all ; we have . By construction of , we see that the automorphism of that extends leaves stable.
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.