Corollary 2
Tag 0AF6, permanent. Cite it as [Bourbaki, Tag 0AF6].
Lie Groups and Lie Algebras, chapter III, § 6. Real and complex Lie groups
Let be a Lie group, an integral subgroup of and . Consider the following conditions: (i) ; (ii) for all . Then (i) (ii). If the topology of admits a countable base, then (i) (ii). Let be the canonical injection of into . If , then
Hence (i) (ii). The converse when has a countable base follows from Proposition 3.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.