Definition 3
Tag 09W2, permanent. Cite it as [Bourbaki, Tag 09W2].
Lie Groups and Lie Algebras, chapter I, § 3. Representations
Let be a Lie algebra and a -module. An element is called invariant (with respect to the -module structure on or with respect to the corresponding representation of ) if for all .
Let be a connected real Lie group, its Lie algebra, an analytic representation of on a finite-dimensional real vector space and the corresponding representation of on . Let . The element is invariant with respect to if and only if for all . This justifies the use of the word "invariant".
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Cites
Nothing.