Corollaire 1

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

Avec les notations du n° 3, on a dans $\mathbf{Z}[X(T)]$

\left( \sum_{w \in W} \varepsilon(w) e^{w \rho} \right) \mathrm{Ch}[\lambda] = \sum_{w \in W} \varepsilon(w) e^{w \lambda} e^{w \rho} \quad \text{pour tout } \lambda \in X_{++}.

Cela résulte du théorème et de la commutativité du diagramme (2) (n° 3).

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.

Rien.