早在公元前3世纪，欧几里得就用反证法证明了素数有无穷多个，并寻求过勾股定理的通解。
五六百年后，大约相在三国时期，丢番图（Diophantus）集中研究了有理系数多项式构成的不定方程，讨论了它们的有理数解。
他所著的《算术》是人类第一本系统阐述代数方程的著作，讨论了很多相关问题，因而不定方程也被称为丢番图方程。
在此后的近两千年，人们使用了各种方法试图解决这些问题，得到了一些成果，但也有很多局限性。
近代以来，数学家们逐渐提出了更加复杂而深刻的办法，借用了很多其他数学分支的工具，一定程度上推进了有关问题的理解，但还有很多问题悬而未决。
BSD猜想就是一个不定方程问题的例子。”
周易依旧先简单的介绍了里面的来龙去脉，縂
“近代椭圆曲线理论出现以后，这个孤立的古老的问题变成了一个更深刻的现代理论的例子，尽管至今仍然悬而未决。
但是很多历史悠久的数论问题和更高次的丢番图问题，都可以转化为椭圆曲线这个三次不定方程的问题。
正是由于这一普遍性和它的解集的一个深刻结构深深地吸引着我们锲而不舍的研究它。”
“在某种意义上可以说这是一个跨越了两千多年的问题，在今天，我想我们可以大声的告诉那些数学先辈，这个问题有一个具体的结果了。”
说道这里，无数人心情汹涌澎湃，见证历史的时刻或许就在今天。
绵延千年的古老数论问题，就在今日！
在场之人全部表情肃穆，大气都不敢喘一下，不敢发出一点响声。縂
这是数学精神！
这是数学文化！
这是数学传承！
这是数学的神圣与庄严！
当空中的视屏播放完毕之后，周易的论文很快就缓缓的浮现了出来。
“从论文发表至今，已经过去了一个多月，相信很多的朋友都已经阅读完毕，并且有着深厚的理解，
所以一些简单的基础的问题我们在这里不再赘述。”縂
周易的声音洪亮，不急不慢的说道，仿佛在叙述一件微不足道的小事情。
此刻台下针落可闻，寂静无比。
所有的人都在侧耳倾听，生怕错过某一点细节导致听不懂后面的内容，跟不上进度。
“我们也许可以用Galois上同调的语言给出一个新的定义Selmer群。”
【Sel_K（Q_pZ_p）:=Ker{H^1（K，QpZp）→∏_v（H^1（K_v，Q_pZ_p）（H^1）_f（K_v，Q_pZ_p））}。】
周易话音刚落，空中就浮现出了这几行蓝色的光幕。
无数人看得是一清二楚。縂
“这里v跑遍所有K的素理想;H^1是一阶Galois上同调;Q_pZ_p上的Galois群作用定义为平凡作用;
定义: