Corollary
Tag 01CJ, permanent. Cite it as [Bourbaki, Tag 01CJ].
Lie Groups and Lie Algebras, chapter IX, § 4. Root system associated to a compact group
The set of such that is the union of a finite number of closed analytic submanifolds of G distinct from G.
Indeed, put ; we have and . Hence, there exists such that §2, no. 2, Th. 2), which implies that . Denote by the finite (Cor. 1) set of closed subgroups of G containing T and distinct from G, and put X = ; this is a finite union of closed submanifolds of G, distinct from G. If , then , and belongs to X. Conversely, if (T), with , then contains C(H), so (Prop. 13).
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.