Exercise 17, § 21
Tag 00OQ, permanent. Cite it as [Bourbaki, Tag 00OQ].
Algebra, VIII, p. 428
Let C be a conjugacy class of G and an irreducible representation of G of degree .
a) Prove that the element Card(C) of K is integral over (reason as in the proof of Proposition 9 of VIII, p. 415).
b) Suppose that and Card(C) are mutually prime integers. Prove that the element is integral over .
c) Suppose, moreover, . Prove that all conjugates of over have absolute value . Deduce from Exercise 16, c) that is zero or equal to . Conclude that if is not zero, then is a homothety for every . In particular, if is faithful and C is not reduced to one element, then we have
Solution
No solution has been written yet.