等等，群论？！
即，若α和p互素，由Euler定理有α^φ（p）≡1（modp），但φ（p）=p-1，故α^（p-1）≡1（modp），两边乘以α便可得结论：当α是天然数，p是素数时，有α^p≡α（modp）。
这段时候里，陆舟在思虑波利尼亚克猜想证明的时候，思路一向在如何对筛法的拓扑学道理停止弥补上，如何将K=1情势推行到无穷大的天然数上，却没有考虑过应用其他的数学体例……
这条定理有很多中证明体例，此中公认最简练证明体例，便是用群论证明的。
将“750GeV”的事情临时放在了一边，陆舟二话不说从抽屉里扯出来一张极新的A4纸，顺着这条新思路，开端当真研讨了起来……
而让陆舟感受烦躁的，不但仅是他所处置的这个课题所面对的窘境，全部实际物理学界的窘境都在这里。
哪怕步队里有着一名诺贝尔奖大佬，也没法用必定的语气，给他画出一条可靠的途径。无数种体例摆在面前，他们能做的也只是比较能够性的大小。
如果这些事情一旦产生，必然会有很多人，问他们一句扎心的话――“你们这半个世纪，究竟都在干些甚么？”
实际的生长与尝试远远摆脱，构建这座大厦乃至并不是甚么松散的尝试数据，而是一条条没有颠末尝试查验、乃至是几十年内底子没法查验的东西。
比如，任何根本数论的教员，在第一或者第二堂课上都会提到的一个很典范的典范――费马小定理。
关于暗物质的猜测，陆舟也不晓得本身的猜测究竟是否精确。
如果这群论的题目和数论一样简朴就好了……固然数论也不算简朴。
群论……
“忽视了……这条思路，说不准还真行得通！”
不过用欧拉定理，还是能够用群论的体例处理，并且全数证明过程用不了半页纸。
两线作战仿佛是个弊端的挑选，一边是数论，一边是泛函阐发和群论，每一个题目都让人头大
从椅子上一把坐了起来，陆舟手中转着笔，大脑转得缓慢。
踌躇了一下，陆舟搁在键盘上的双手终究动了，敲下了一行字。
能够是因为他并没有体味过那种在量子天下的迷宫中，几十年如一日的研讨的感受，以是并没有培养出一名实际物理学家在面对未解之谜时必须具有的诙谐精力。
两种实际都有建立的能够性，但得出的结论倒是天差地别，如果他有确实的证据能将对方的实际驳斥，他必然会毫不踌躇地拿出来，压服弗兰克先生，但很可惜他没有。
盯着电脑中的文件看了好久，又看了眼中间那叠几近写满的A4纸，他双手抓着头发，满脸都是暴躁。
不像他研讨的那些数学题目，错的就是错的，对的就是对的。审稿能够需求时候，但终究必然能为他的尽力画下一个句号。
但是，连陆舟本身都没有想到，本身竟然从一个毫不相干的物理课题中获得了开导。
并且这还不是最难受的，最难受的是弗兰克先生在对称场外引入分外维的操纵，实在是贫乏数学上的美感，明显遵循他的那套观点，从暗物质的角度来处理这个题目，很多在数学上解释不通的题目都能够制止。
如果从暗物质的角度解缆，每一个Z/PZ的天生元都能被映照到exp（2pi・i/p）如许的函数上，庞特里亚金对偶题目也能够获得妥当的处理……大抵？
如果实际物理学像消息一样就好了。
是的，这个课题带给他的便是这类感受。