arXivDaily arXiv每日学术速递 周一至周五更新
北美退伍军人节(Veterans Day),12 日无更新
arXiv 1604.06930math.NT
收藏

五级类域三级塔

Three stage towers of 5-class fields

Daniel C. Mayer

摘要:

当K=Q((3812377)^(1/2))时,我们给出了具有5类塔的代数数域的第一个例子,塔的精确长度为L(5,K)=3.利用p-群生成算法进行严格证明,证明了存在唯一的有限亚阿贝尔5-群G,其阿贝尔化[5,5]具有Artin的核(M(1),G^5)和目标([25,5,5,5],[5,5]^5),将T(i):G-->M(i)/M(i)'转移到它的6个极大子群M(i),由K的算术不变量指定.因此,G必须是实二次域K的第二个5级群G(5,2,K),但不能是它的5级塔群G(5,K),因为关系秩d(2,G)=4太大。我们证明了G的五个非同构扩张H具有所需的关系秩d(2,H)=3和导出长度dl(H)=3,它们的亚阿贝尔化H/H“同构于G.因此,G(5,K)必须是五个非亚阿贝尔群H之一。

英文摘要:

With K=Q((3812377)^(1/2)) we give the first example of an algebraic number field possessing a 5-class tower of exact length L(5,K)=3. The rigorous proof is conducted by means of the p-group generation algorithm, showing the existence of a unique finite metabelian 5-group G with abelianization [5,5] having the kernels (M(1),G^5) and targets ([25,5,5,5],[5,5]^5) of Artin transfers T(i):G-->M(i)/M(i)' to its six maximal subgroups M(i), prescribed by arithmetical invariants of K. Thus, G must be the second 5-class group G(5,2,K) of the real quadratic field K but cannot be its 5-class tower group G(5,K), since the relation rank d(2,G)=4 is too big. We provide evidence of exactly five non-isomorphic extensions H of G having the required relation rank d(2,H)=3 and derived length dl(H)=3 whose metabelianization H/H'' is isomorphic to G. Consequently, G(5,K) must be one of the five non-metabelian groups H.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑