Proposition 14
Tag 0A9Q, permanent. Cite it as [Bourbaki, Tag 0A9Q].
Lie Groups and Lie Algebras, chapter III, § 3. Passage from a Lie group to its Lie algebra
(i) Let and be the mapping of X into X. If , then .
(ii) Let and be the mapping of G into X. If , then .
This can be proved as is Proposition 3 of no. 1.
In particular, if and , and are equal to the products and defined in § 2, no. 2.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
- § 3. Passage from a Lie group to its Lie algebra
- Definition 3, § 3
- Proposition 22, § 3
- Proposition 38, § 3