Bourbaki

Proposition 2

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

Lie Groups and Lie Algebras, chapter II, § 4. Central filtrations

The set Γ\Gamma is a subgroup of A∗A^* and (Γα)(\Gamma_\alpha) is a central filtration on Γ\Gamma.

Γ=⋃α>0Γα\Gamma = \bigcup_{\alpha > 0} \Gamma_\alpha by construction and the relation Γα=⋂β<αΓβ\Gamma_\alpha = \bigcap_{\beta < \alpha} \Gamma_\beta follows from Aα=⋂β<αAβA_\alpha = \bigcap_{\beta < \alpha} A_\beta.

We show that Γα\Gamma_\alpha is a subgroup of A∗A^*. Now 1∈Γα1 \in \Gamma_\alpha; let x,yx, y be in Γα\Gamma_\alpha, whence x−1∈Aα,y−1∈Aαx - 1 \in A_\alpha, y - 1 \in A_\alpha. As AαA_\alpha is a two-sided ideal of AA, the formulae

(21)xy−1=(x−1)(y−1)+(x−1)+(y−1), (21) \quad xy - 1 = (x - 1)(y - 1) + (x - 1) + (y - 1),
(22)x−1−1=−x−1(x−1), (22) \quad x^{-1} - 1 = -x^{-1}(x - 1),
imply xy−1∈Aαxy - 1 \in A_\alpha and x−1−1∈Aαx^{-1} - 1 \in A_\alpha, whence xy∈Γαxy \in \Gamma_\alpha and x−1∈Γαx^{-1} \in \Gamma_\alpha.

As Γ=⋃α>0Γα\Gamma = \bigcup_{\alpha > 0} \Gamma_\alpha, this is a subgroup of A∗A^*.

Finally let α>0,β>0,x∈Γα\alpha > 0, \beta > 0, x \in \Gamma_\alpha and y∈Γβy \in \Gamma_\beta. Let x−1=ξx - 1 = \xi and y−1=ηy - 1 = \eta. Then

(23)(x,y)−1=x−1y−1(ξη−ηξ); (23) \quad (x, y) - 1 = x^{-1}y^{-1}(\xi \eta - \eta \xi);
by hypothesis, ξ∈Aα\xi \in A_\alpha and η∈Aβ\eta \in A_\beta, whence ξη−ηξ∈Aα+β\xi \eta - \eta \xi \in A_{\alpha + \beta}. As Aα+βA_{\alpha + \beta} is a two-sided ideal of AA, (x,y)−1∈Aα+β(x, y) - 1 \in A_{\alpha + \beta}, whence (x,y)∈Γα+β(x, y) \in \Gamma_{\alpha + \beta}.

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.