Proposition 2
Tag 01JI, permanent. Cite it as [Bourbaki, Tag 01JI].
Lie Groups and Lie Algebras, chapter IX, § 4. Root system associated to a compact group
— Let H be a commutative compact Lie group, and a family of elements of ; the generate if and only if the intersection of the reduces to the identity element.
By Spectral Theories, Chap. II, §1, no. 7, Th. 4, the orthogonal complement of the kernel of is the subgroup of generated by ; by loc. cit., Cor. 2 of Th. 4, the orthogonal complement of is the subgroup of generated by the , hence the proposition.
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
Cites
- *Spectral Theories*, Chap. II, §1, no. 7, Th. 4 not in this corpus: TS II