656章 有限群！（求月票）（2/5）

计算机屏幕上显示：

l（e，1）≠0→r（e）0，sha（e）＜∞……r（e）1，sha（e）＜∞→ords1l（e，1）1……

sha（e）表示椭圆曲线e的shafarevichtate群的阶数，这个群十分神秘，包括此群的提出者沙法列维奇、约翰泰特在内，数学家们连这个群是不是有限群都没整明白。

当然了，如果你先承认bsd猜想，那么shafarevichtate群则必然是有限群。

赵天、小云、曾寒三人非常激动，计算机验算结果很有信服力的显示：基于欧叶算法，shafarevichtate群是有限群！

这无疑是证明bsd猜想的一个有力证据，是一个重要的前置步骤！

“这是我们的一小步，这是人类的一大步！”

“叶子姐牛批！”

“啊哈哈哈，真的牛批！”

赵天和小云相拥庆祝，一向沉默寡言的曾寒亦热血沸腾。

他们为啥这么激动，因为在他们看来，他们团队此刻所取得的研究成果，非常接近于安德鲁怀尔斯在证明费马大定理之前，先证明了谷山志村猜想。

“沙法列维奇、约翰泰特两位大神没有搞定的问题，被我们搞定了！叶子姐万岁！小曾弟弟，把验算结果保存一下，然后发给叶子姐。”赵天迫不及待想把这个好消息告诉欧叶。

沙法列维奇，前苏联著名数学家，他编写的代数几何、代数数论、代数学教材，是新中国成立后最早被引入国内的高校数学专业的数学教材之一。欧叶本科阶段的老师，都是学的沙法列维奇版教材。