请输入您要查询的字词:

 

单词 HerbrandsTheorem
释义

Herbrand’s theorem


Let (ζp) be a cyclotomic extension of , with p an odd prime, let A be the Sylow p-subgroupMathworldPlanetmathPlanetmath of the ideal class groupPlanetmathPlanetmathPlanetmath of (ζp), and let G be the Galois group of this extension. Note that the character group of G, denoted G^, is given by

G^={χi0ip-2}

For each χG^, let εχ denote the corresponding orthogonal idempotent of the group ringMathworldPlanetmath, and note that the p-Sylow subgroup of the ideal class group is a [G]-module under the typical multiplication. Thus, using the orthogonal idempotents, we can decompose the module A via A=i=0p-2Aωii=0p-2Ai.

Last, let Bk denote the kth Bernoulli numberMathworldPlanetmathPlanetmath.

Theorem 1 (Herbrand).

Let i be odd with 3ip-2. Then Ai0pBp-i.

Only the first direction of this theorem () was proved by Herbrand himself. The converse is much more intricate, and was proved by Ken Ribet.

随便看

 

数学辞典收录了18232条数学词条,基本涵盖了常用数学知识及数学英语单词词组的翻译及用法,是数学学习的有利工具。

 

Copyright © 2000-2023 Newdu.com.com All Rights Reserved
更新时间:2025/5/4 23:16:20