Bourbaki

Remarque 4

Étiquette 0E8I, permanente. À citer comme [Bourbaki, Tag 0E8I].

Lie Groups and Lie Algebras, chapter III, § 5. Calculs formels dans les groupes de Lie

Notons ψp,m(x)\psi_{p,m}(x) et ht,m(x)h_{t,m}(x) les composantes homogènes de degré mm de ψp(x)\psi_p(x) et de x[t]x^{[t]}. On a ψp,m=0\psi_{p,m} = 0 pour m<pm < p. D’autre part, la prop. 2 (ii) donne

ht,m(x)=∑p≤mt(t−1)…(t−p+1)p!ψp,m(x) h_{t,m}(x) = \sum_{p \leq m} \frac{t(t-1)\ldots(t-p+1)}{p!} \psi_{p,m}(x)

c’est-à-dire

ht,m(x)=∑1≤r≤mtrφr,m(x) h_{t,m}(x) = \sum_{1 \leq r \leq m} t^r \varphi_{r,m}(x)

où les φr,m\varphi_{r,m} sont des applications polynomiales homogènes de degré mm de KnK^n dans KnK^n. On a en particulier, d’après (23),

φ1,m(x)=∑p≤m(−1)p−1pψp,m(x) \varphi_{1,m}(x) = \sum_{p \leq m} \frac{(-1)^{p-1}}{p} \psi_{p,m}(x)
φm,m(x)=1m!ψm,m(x). \varphi_{m,m}(x) = \frac{1}{m!} \psi_{m,m}(x).

Bourbaki place la démonstration juste après l’énoncé : ce qui précède est l’énoncé avec sa démonstration.

Cité par

Rien.

Cite

Rien.

Transcrit du volume imprimé. Non traduit.