正是由于这一普遍性和它的解集的一个深刻结构深深地吸引着我们锲而不舍的研究它。”
“在某种意义上可以说这是一个跨越了两千多年的问题,在今天,我想我们可以大声的告诉那些数学先辈,这个问题有一个具体的结果了。”
说道这里,无数人心情汹涌澎湃,见证历史的时刻或许就在今天。
绵延千年的古老数论问题,就在今日!
在场之人全部表情肃穆,大气都不敢喘一下,不敢发出一点响声。縂<span>
这是数学精神!
这是数学文化!
这是数学传承!
这是数学的神圣与庄严!
当空中的视屏播放完毕之后,周易的论文很快就缓缓的浮现了出来。
“从论文发表至今,已经过去了一个多月,相信很多的朋友都已经阅读完毕,并且有着深厚的理解,
所以一些简单的基础的问题我们在这里不再赘述。”縂<span>
周易的声音洪亮,不急不慢的说道,仿佛在叙述一件微不足道的小事情。
此刻台下针落可闻,寂静无比。
所有的人都在侧耳倾听,生怕错过某一点细节导致听不懂后面的内容,跟不上进度。
“我们也许可以用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))}。】
周易话音刚落,空中就浮现出了这几行蓝色的光幕。
无数人看得是一清二楚。縂<span>
“这里v跑遍所有K的素理想;
H^1是一阶Galois上同调;
Q_pZ_p上的
Galois群作用定义为平凡作用;
定义:
(H^1)_f
(K,Q_pZ_p):=
Ker{H^1(K_v,Q_pZ_p)→
H^1
(I_v,
Q_pZ_p)},”
其中I_v为v的惰性子群。
根据类域论的基本定理,容易看出上述定义的Selmer群典则同构于理想类群的p-部分的对偶。
在全息技术的辅助下,周易不急不慢的坐在讲台上说着,
甚至都不需要动手指,十分的怡然自得。縂<span>
前面部分是Selmer群,是当初田野以及其合伙人的部分内容,这里被周易给引用,
。。。
周易缓缓叙述,不急不慢,与以前还要在白板上写不一样,
在白板上写板书十分的累,一行行的公式与计算步骤十分多,