Bourbaki

Definition 3

Tag 09W2, permanent. Cite it as [Bourbaki, Tag 09W2].

Lie Groups and Lie Algebras, chapter I, § 3. Representations

Let gg be a Lie algebra and MM a gg-module. An element m∈Mm \in M is called invariant (with respect to the gg-module structure on MM or with respect to the corresponding representation of gg) if xM⋅m=0x_M \cdot m = 0 for all x∈gx \in g.

Let GG be a connected real Lie group, gg its Lie algebra, θ\theta an analytic representation of GG on a finite-dimensional real vector space EE and ρ\rho the corresponding representation of gg on EE. Let m∈Em \in E. The element mm is invariant with respect to ρ\rho if and only if θ(g)⋅m=m\theta(g) \cdot m = m for all g∈Gg \in G. 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.

Transcribed from the printed volume. Not translated.