Corollary 2
Tag 0AB2, permanent. Cite it as [Bourbaki, Tag 0AB2].
Lie Groups and Lie Algebras, chapter III, § 3. Passage from a Lie group to its Lie algebra
Let be as in Proposition 39. Let be a subset of . The set of such that for all is a Lie subgroup of and its Lie algebra is the set of such that for all .
We apply Proposition 39 with and the vector subspace of generated by .
Let be analytic linear representations of . Clearly the direct sum of the (Algebra, Chapter VIII, § 13, no. 1) is an analytic linear representation of and is the direct sum of (Chapter I, § 3, no. 1).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.