Bourbaki

Remarque 5

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

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

Si KK est de caractéristique >0> 0, les résultats des n° 1 et 2 restent valables à condition de définir eαe_\alpha, au n° 2, par ⟨eα,∑βλβxβ⟩=λα\langle e_\alpha, \sum_\beta \lambda_\beta x^\beta \rangle = \lambda_\alpha. Au n° 3, si on définit les ψj\psi_j comme ci-dessus, le raisonnement fait prouve encore que x[t]=∑i=0∞(ti)ψi(x)x^{[t]} = \sum_{i=0}^\infty \binom{t}{i} \psi_i(x) si t∈Nt \in \mathbf{N}.

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.