江临把白板上原来的六擦掉。

“那你为什么把五留着？”

“它已经由另一套基算出来。”

顾明澈咬了一口包子，决定把这种区别留给数学共同体消化。

关系秩的重算一直拖到晚上。

周教授把每个允许分歧处可能贡献的局部关系逐项送进上界，又将实处分裂条件还原到原定理使用的窄范围。

101所在的那一栏花的时间最长。

原稿把有理素数101加入分裂集合以后，后续有限层会出现越来越多位于它上方的素位，若把每个高层素位都重新当成独立输入，关系数当然会跟着塔层一起失控。

可塔的定义约束的是底层分解群的闭包，高层全部分裂是这个闭包被商掉后的结果，并不要求在每一层重复添加同一批关系。

周教授仍然把完整共轭轨道重新写了一遍。

他沿群作用检查轨道生成的关系模，又核对101的Frobenius在最大初等商中的像，确认它落在Frattini子群内。

这项分裂条件增加关系预算，却不削掉已经得到的五个生成元。

晚上十点十三分，电话重新打进办公室。

“作者文件里那句‘101贡献一条关系’写得太短，我把轨道模展开成了十一页。”

周教授报出新文件的哈希。

“展开以后还是一条独立关系，不是把底层同一个闭包条件按高层素位数重复收费。”

授课老师问：“实无限位呢？”

“已经进入Shafarevich上界，没有漏，也没有算两遍。”

“所以r是多少？”

“我目前得到r(G)不超过六。”

老师把白板上被擦掉的数字重新写了回去。

【d(G)＝5】

【r(G)≤6】

【d(G)2／4＝6.

25】

周教授的重算顺序、基和局部条件展开方式都与江临不同，最后仍走到同一条严格不等式前。

他拒绝在q-001后面签完整通过。

“我只完成了一条路线。”

“第二条由谁做？”

“我已经把定理陈述和原始输入转给另一位做受限分裂类域塔的人，他只能看到你们的参数，暂时看不到我的十一页展开。”

“需要多久？”

“他什么时候算完，什么时候算完。”

周教授挂断电话以前又补了一句。

“江临这份稿子至少不是靠计算器显示六点二五撑起来的，前面的关系界确实承担了全部重量。”

办公室里那三只包子吃掉了两只。

第三只被顾明澈放进纸袋，准备带回去当作自己今天仍然拥有正常生活的证据。
本章未完，请翻下一页继续阅读.........