这个代价会把最后得到的固定指数压得很小，却不会强迫它等于零。

江临把优化目标从【尽可能增大δ】改成【严格证明δ＞0】，随后将完全分裂素数的数量设为一。

十二条Frobenius关系从冲突图上依次消失，最后只剩一条。

符号搜索给出第一片可行区域时，k已经进入十八位数，候选δ则会缩进小数点后三十多位。

这样的指数在任何可实际画出的点集上都派不上用场。

埃尔德什猜想讨论的是n趋于无穷，一个固定正数只要拒绝跟着n一起缩回零，第三十八位和第一位便具有相同的否决权。

江临保存这一版参数，开始为那唯一一条Frobenius关系寻找能够承受它的塔。

五个允许分歧的奇素数最先进入证明。

相应的最大初等二扩张只能提供四个独立生成元，Shafarevich关系界再加上指定素数的分裂条件，关系数上界为五。

Golod—Shafarevich门槛是四的平方除以四，恰好等于四。

五越不过四，这条路到此为止。

江临加入第六个允许分歧素数。

生成元数由四变成五，关系数上界由五变成六，有限群必须支付的门槛则从四跳到了二十五除以四。

【生成元秩d(G)＝5】

【关系秩上界r(G)≤6】

【d(G)2／4＝6.

25】

参数表里第一次多出四分之一条关系的余量。

群表示当然容不下四分之一条关系。

要么添上完整的一条，把塔截断；要么让这四分之一一直空着，有限性便无法成立。

江临选取了六个最小而又能兼顾实处分裂条件的候选。

【t＝{3，5，7，11，13，17}】

它们生成的最大全实多二次子域可以写成：

【L_t＝q(√5，√13，√17，√21，√33)】

接下来还缺一个有理素数p。

它要在L_t中完全分裂，加入i以后仍需分裂，同时不能落进t。

筛选程序跑过一百以内的素数，又在第一百零一个位置停下。

【101≡1 mod 4】

【5，13，17，21，33均为模101二次剩余】

终端把五组平方根证书排在同一行。

【452≡5，352≡13，442≡17，182≡21，292≡33(mod 101)】

一百零一因此在L_t(i)中完全分裂。

江临把它加入S，要求其Frobenius元在整座塔中恒等于一。

【S＝{∞，101}】

无限实处的分裂条件保证塔层保持全实，101则贡献那唯一一条新增关系。

证明工程沿着群上同调重新计算生成元与关系秩，红色冲突从二十三处减到四处。
本章未完，请翻下一页继续阅读.........