Exercise 4, § 8

Show that, in Cor. 2 of Prop. 2, and in Th. 1 (ii), we can restrict ourselves to representations $\rho$ whose weights are radical weights (remark that Prop. 1 remains valid when $k[P]^W$ is replaced by $k[Q]^W$, where Q is the group of radical weights).