有理点被理解为F的F-有理点,在F上定义了一些相关的椭圆曲线E。
根据Pierre Parent在Merel Loïc、Barry Mazur、Andrew Ogg和其他人的工作基础上建立的结果,第n项有效地受65*(3^n-1)*(2n)^6的限制。
用素数(m)表示至多为m的所有素数的集合,它认为对于n次数域,作为椭圆曲线有理点的阶数无限次实现的所有素数集是1<=n<=8的素数(a(n))。目前尚不清楚这种模式是否会继续。
根据Derickx、Kamienny等人(第2页),该序列中数字的计算是计算某些模曲线的正方性的结果。Derickx和van Hoeij原则上描述了一种计算此类角系数的算法,但在备注4(第14页)中,他们评论了计算n>=9的这些角系数的难度。
|