BSD猜想。设 formula_1 是定义在代数数域 formula_2 上的椭圆曲线，formula_3 是 formula_1 上的有理点的集合，已经知道 formula_3 是有限生成交换群。记 formula_6 是 formula_1 的L函数，则此猜想如下：