第一处质疑t中六个素数是否真的提供五个独立二次方向，最大多二次子域给出了秩为五的Frattini商。

第二处质疑强制101分裂会不会同时削掉一个生成元，101在初等商中已经完全分裂，它的Frobenius落在Frattini子群内，只增加关系而不减少生成元。

第三处落在实无限位，塔的定义已经把所有实位置列入分裂集合，有限层不会长出复嵌入。

最后一处是Golod—Shafarevich不等式的严格方向。

江临把原始定理、Shafarevich关系界和当前群表示并排展开，一项项统一生成元与关系数的定义。

任何有限pro-2群若以五个生成元作最小表示，关系秩必须严格大于二十五除以四。

关系秩是整数，最低只能取七。

当前群的关系秩至多为六。

江临在证明页上写下最后一行。

【6＜25／4】

红色命题框变成绿色。

【G_t^S为无限群】

【存在次数无界的全实有限子扩张L_j】

【101在每个L_j中完全分裂】

屏幕右下角的运行时间停在二百七十三天十一小时。

江临把那页证明打印出来，夹进工作台边缘的透明板里，接下来的三天照常处理多机班组的再资格记录和oUtER cAchE-07校验缺口。

每次从控制室回来，他都会重新检查一次那条不等式。

六仍旧小于六点二五。

第四天早晨，他才允许证明工程把【塔存在】作为已知条件送入几何构造。

对每个L_j加入i，便得到cm域K_j＝L_j(i)。

塔内新增的分歧始终被限制在固定集合t，加入i只额外带来素数二的固定成本，因此K_j的次数可以不断增长，根判别式却被同一个常数压住。

江临将这个常数记为R?

。

【R?

＝2x3x5x7x11x13x17＝】

数字很大，好在它以后不会再随塔层增长。

若[L_j：q]＝f_j，一百零一便会在K_j中裂成f_j对互为复共轭的素理想。

江临从每一对p_a与p?

_a中分配总指数k，分给p_a的指数可以取零到k中的任意一个整数，另一边自动得到剩余部分。

一对素理想给出k＋1种选择，f_j对便给出(k＋1)的f_j次方种理想。

它们拥有完全相同的范数。

类群会把其中一部分不同组合压进同一个理想类，鸽巢原理则保证至少有(k＋1)的f_j次方除以h(K_j)个组合挤在同一格里。

取同类理想之比，主理想的生成元记作a，再构造u＝a／ā。

对K_j的每一个复嵌入σ，都有：

【|σ(u)|＝|σ(a)／σ(ā)|＝1】

十一年前让三次数域不断漏出窗口的共轭坐标，这一次全被拴在各自的单位圆上。
本章未完，请翻下一页继续阅读.........