Exercice 17, § 21
Étiquette 00OQ, permanente. À citer comme [Bourbaki, Tag 00OQ].
Algèbre, VIII, p. 418
Soient C une classe de conjugaison de une représentation irréductible de G, de degré .
a) Prouver que l’élément Card(C) de K est entier sur (raisonner comme dans la démonstration de la prop. 9 de VIII, p. 405).
b) On suppose que et Card(C) sont premiers entre eux ; prouver que l’élément est entier sur .
c) On suppose en outre . Prouver que tous les conjugués de sur sont de module ; déduire de l’exerc. 16 c) que est nul ou égal à . Conclure que si n’est pas nul, est une homothétie pour tout . En particulier si est fidèle et C non réduite à un élément, on a
Solution
Aucune solution n’a encore été écrite.