Bourbaki

Exercise 10, § 21

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

Algebra, VIII, p. 426

Let (M,π)(M, \pi ) be an irreducible representation of G and H a normal subgroup of G. a) Suppose that H is equal to the center of G. Prove that the degree of π\pi divides the index of H in G. (For m⩾1m\geqslant 1, let HmH_m be the subgroup of HmH^m consisting of the elements (h1,...,hm)(h_1, . . . , h_m) such that h1...hm=1h_1. . . h_m= 1. Observe that the representation π×m:Gm→\pi^{\times m}: G^m\rightarrow EndK(M⊗m)_K(M^{\otimes m}) defines an irreducible representation of Gm/HmG^m/H_m, and apply Corollary 2 of Proposition 10 (VIII, p. 420) to it.)

b) Suppose that H is commutative. Prove that the degree of π\pi divides (G : H). (Using Exercise 9, a), and reasoning by induction on the cardinal of G, reduce to the case when the restriction of π\pi to H is isotypical. Prove that π(H)\pi (H) is central in π\pi(G), and apply a).)

Solution

No solution has been written yet.

Cited by

Nothing.

Cites

Transcribed from the printed volume. Not translated.