Bourbaki

Proposition 16

Tag 0AJ3, permanent. Cite it as [Bourbaki, Tag 0AJ3].

Lie Groups and Lie Algebras, chapter III, § 9. Commutators, centralizers and normalizers in a Lie group

Let GG be a finite-dimensional nilpotent Lie group over R\mathbf{R} or C\mathbf{C} and AA an integral subgroup of GG distinct from GG. Then NG(A)N_G(A) is a connected Lie subgroup of GG distinct from AA.

NG(A)≠AN_G(A) \neq A (Algebra, Chapter I, § 6, Corollary 1 to Proposition 8). By Proposition 11 of no. 4, we need only prove that NG(A)N_G(A) is connected. Let g∈NG(A)g \in N_G(A). There exists x∈L(G)x \in L(G) such that g=exp⁡xg = \exp x (Proposition 14). Let EE be the vector subspace of L(L(G))\mathscr{L}(L(G)) consisting of the u∈L(L(G))u \in \mathscr{L}(L(G)) such that u(L(A))⊂L(A)u(L(A)) \subset L(A). Then Ad gn∈E\mathrm{Ad}\, g^n \in E and hence exp⁡(ad nx)∈E\exp(\mathrm{ad}\, nx) \in E for all n∈Zn \in \mathbf{Z}. Hence exp⁡(ad λx)∈E\exp(\mathrm{ad}\, \lambda x) \in E for all λ∈K\lambda \in K, that is exp⁡(λx)∈NG(A)\exp(\lambda x) \in N_G(A) for all λ∈K\lambda \in K.

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Cites

Transcribed from the printed volume. Not translated.