Bourbaki

Exercise 7, § 21

Tag 00OG, permanent. Cite it as [Bourbaki, Tag 00OG].

Algebra, VIII, p. 425

For any representation V of G of finite dimension, we denote by φ(V)\varphi (V) the dimension of the subspace of V fixed by G; we extend φ\varphi by linearity to a Z\mathbf{Z}-linear form on RK(G)R_K(G). Let (Vλ)λ∈G^(V_{\lambda})_{\lambda\in\widehat{G}} be the family of irreducible representations of G, and let ω\omega be the element ∑λ∈G^[Vλ][Vλ∗]\sum_{\lambda\in\widehat{G}}[V_{\lambda}] [V_{\lambda}^*] of RK(G)R_K(G). Prove the formula φ(ωn)=∑Cd(C)n−1\varphi (\omega^n) =\sum_Cd(C)^{n-1} for every integer n⩾0n\geqslant 0 (apply Proposition 8 of VIII, p. 415 and the second orthogonality relation for characters).

Solution

No solution has been written yet.

Cited by

Nothing.

Cites

Transcribed from the printed volume. Not translated.