Bourbaki

习题 19, § 21

标签 00OS,永久不变。引用为 [Bourbaki, Tag 00OS]。

代数, VIII, p. 429

It is set in small type as supplementary.

Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。

令π\pi为次数>1>1的G的不可约复形表示。证明G存在元素xx使得χπ(x)=0\chi_{\pi}(x) = 0。 (对于群 Gal(C/Q\mathbf{C}/\mathbf{Q}) 的作用,令{λ1,...,λs}\{\lambda_1, . . . , \lambda_s\}为G^\widehat{G}中π\pi的轨道,并令χ1,...,χs\chi_1, . . . , \chi_s为相应的特征标。令g∈Gg\in G;如果χ(g)≠0\chi (g)\not= 0,然后如习题 17, c) 证明我们有∣χ1(g)...χs(g)∣⩾1|\chi_1(g). . . \chi_s(g)|\geqslant 1,因此有∑i∣χi(g)∣2⩾s(\sum_i|\chi_i(g)|^2\geqslant s(FRV,III, §1, No. 1,p. 93,命题 2)。如果这对于每个g∈Gg\in G都成立,那么从正交关系对于特征标我们有等式,这会导致矛盾,取g=1.)∗g= 1.)*

解答

尚未写出解答。

被以下引用

无。

引用了

  • FRV, III, §1, No. 1, p. 93, Proposition 2 not yet on this site: FVR III
  • Exercise 17
Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。