Exercice 1, § 1

On suppose k de caractéristique $p > 0$. Soient V un espace vectoriel, S un ensemble fini. Pour qu'une application $r : S \to \mathrm{End}(V)$ vérifie la condition (PC), il faut et il suffit qu'il existe une puissance q de p telle que $[s^q, {s'}^q] = 0$ quels que soient $s, s' \in S$. (Utiliser I, § 1, exerc. 19, formule (1)).