Proposition 49
Tag 0ABN, permanent. Cite it as [Bourbaki, Tag 0ABN].
Lie Groups and Lie Algebras, chapter III, § 3. Passage from a Lie group to its Lie algebra
Let A be a complete normable unital associative algebra. We identify A with . Then, if and , .
Recall that . Let be the mapping of A into A. The identity chart of into A transforms into . The tangent mapping at each point of to this mapping is equal to , whence the proposition.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.