数论概论读书笔记 22.二次互反律

数论概论读书笔记 22.二次互反律二次互反律对于一个给定的数 aaa 我们要确定哪些素数 ppp 以 aaa 为二次剩余 在前一章中解决了 a 1a 1a 1 和 a 2a 2a 2 时的问题 这个时候我们可以通过查看 p mp mp m 的一些结果得出 aaa 是否是 QRQRQR 或 NRNRNR 且 mmm 较小 为 444 和 888 下面要解决的是其他 aaa 值的勒让德符号 ap ap frac a p 的计算问题 例如 假设要计算

二次互反律

对于一个给定的数 a a ,我们要确定哪些素数 p ” role=”presentation”> p a a 为二次剩余。在前一章中解决了 a = 1 ” role=”presentation”> a = 1 a=2 a = 2 时的问题。

这个时候我们可以通过查看 p%m p % m 的一些结果得出 a a 是否是 Q R ” role=”presentation”> Q R NR N R ,且 m m 较小,为 4 ” role=”presentation”> 4 8 8

下面要解决的是其他 a ” role=”presentation”> a 值的勒让德符号 (ap) ( a p ) 的计算问题。

例如,假设要计算 (70p) ( 70 p ) ,由前面的二次剩余乘法法则知, (70p)=(2p)(5p)(7p) ( 70 p ) = ( 2 p ) ( 5 p ) ( 7 p )

怎么计算 (5p) ( 5 p ) (7p) ( 7 p ) 呢?

概括来说,怎么计算 (qp) ( q p ) 呢?其中 q q 也为素数。因为由乘法法则知,素数可以解决后,整数都可以解决。(这是素数的精美之处)

通过打表观察后(此处略去500字……)

可以得到对于一些 p , q ” role=”presentation”> p , q (qp)=(pq) ( q p ) = ( p q )

但有些不是,但不是的竟然都是 (qp)=(pq) ( q p ) = − ( p q )

这其中有没有模式呢?

有的。

定理 二次互反律 p,q p , q 是不同的奇素数,则

img

证明 前两部分已经证明,最后的部分见下一节

高斯( 17771855 1777 ∼ 1855 )19岁的时候,独立发现了二次互反律,且其一生中给出了7种不同的证明方法

19世纪,数学家们又提出了三次和四次互反律

再后来这些都包括在类域论中。

在20世纪60年代和70年代,大批数学家提出了对类域论推广的一些猜想。今天称之为朗兰兹( Langlands L a n g l a n d s )纲领。

二次互反律不仅很美,也很实用。

它使我们可以翻转勒让德符号 (qp) ( q p ) ,用 ±(pq) ± ( p q ) 来替代它,然后可以模 q q 化简 p ” role=”presentation”> p ,并不断重复此过程。

这样会使 p,q p , q 急剧下降。

下面是计算的一个例子:

img

因此,55是模179的二次非剩余。

当然,也可以应用等式 (pq)=(pqq) ( p q ) = ( p − q q )

二次互反律的时间复杂度大约等于 O(log p) O ( l o g   p )

所以,计算勒让德符号的困难之处不是二次互反律的使用,而是对数字的因式分解。这一块时间复杂度是 O(n) O ( n )

但是! 你可能会问,如果不分解,继续做下去呗,这样答案是否正确?

正确! 也就是说对于 (qp) ( q p ) ,之前是 p,q p , q 为素数,现在是对任意的整数 a a 和正奇数 b ” role=”presentation”> b ,可以给勒让德符号 (ab) ( a b ) 指定一个值,反复使用广义二次互反定律来计算结果。这种广义勒让德符号常称作雅克比符号

定理 广义二次互反律 a,b a , b 为正奇数,则

img

img

让人惊奇的是,其可以得到正确的结果!

需要注意的是,我们只允许当 a a 是正奇数的时候翻转 a , b ” role=”presentation”> a , b ,这一点极为重要。

a a 是偶数时,可以分解出因子2;当 a ” role=”presentation”> a 是负数时,可以分解出因子 1 − 1

下面是一个计算的例子:

img

结果为1,所以同余式 x237603 (mod 48611) x 2 ≡ 37603   ( m o d   48611 ) 有解。

但上面的方法并不能指出解具体是多少。

广义二次互反律第一部分的证明

b b 是正奇数。而不是狭义的素数。

img

img

版权声明:本文内容由互联网用户自发贡献,该文观点仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请联系我们举报,一经查实,本站将立刻删除。

发布者:全栈程序员-站长,转载请注明出处:https://javaforall.net/203482.html原文链接:https://javaforall.net

(0)
上一篇 2026年3月19日 下午9:44
下一篇 2026年3月19日 下午9:45


相关推荐

  • 字符串常量池概述[通俗易懂]

    字符串常量池概述[通俗易懂]字符串常量池概述常量池表(Constant_Pooltable)Class文件中存储所有常量(包括字符串)的table。这是Class文件中的内容,还不是运行时的内容,不要理解它是个池子,其实就是Class文件中的字节码指令。运行时常量池(RuntimeConstantPool)JVM内存中方法区的一部分,这是运行时的内容。这部分内容(绝大部分)是随着JVM运行时候,从常量池转化而来,每个Class对应一个运行时常量池。上一句中说绝大部分是因为:除了Class中常量池内容,还可能包括

    2022年7月28日
    12
  • flask框架菜鸟教程_flask框架是用来干什么的

    flask框架菜鸟教程_flask框架是用来干什么的文章目录前言Flask基础概念和安装Flask快速入门小应用Flask之模板的使用后续,待更新。。。。前言最近开始学习flask框架,本文用于flask框架的基础入门学习,版本使用的是py3.7,学习内容相对比较简单,后续再扩充高级知识。Flask基础概念和安装首先我们得清楚,flask具体是个什么东东?我们学了flask有啥用?这里给出维基百科的解释:Flask是一个使…

    2022年8月29日
    8
  • docker-compose 2.10.2 解决transport: Error while dialing unable to upgrade to h2c, received 404报错

    docker-compose 2.10.2 解决transport: Error while dialing unable to upgrade to h2c, received 404报错docker-compose2.10.2解决listingworkersforBuild:failedtolistworkers:Unavailable:connectionerror:desc=”transport:Errorwhiledialingunabletoupgradetoh2c,received404″

    2025年6月13日
    5
  • Easyui Datagrid相同连续列合Demo之三

    Easyui Datagrid相同连续列合Demo之三

    2022年2月21日
    45
  • IJ快捷键

    IJ快捷键ctrl+shift+alt:多行操作psvm:生成main()方法;fori:生成for循环;Ctrl+Alt+v:自动补齐返回值类型ctrl+o:覆写方法ctrl+i:实现接口中的方法ctrl+shift+u:大小写转换CTRL+SHIFT+Z:取消撤销Alt+Insert:生成构造方法、getter、setterctrl+y:删除当前行Ctrl+Shift+J:将选中的行合并成一行ctrl+g:定位到某一行Ctrl+Shitft+向下箭头:将光标所在的代码块向下整体移动Ct.

    2022年6月27日
    118
  • 在虚拟机上安装使用LoadRunner教程

    在虚拟机上安装使用LoadRunner教程记录一下我的安装LoadRunner血泪史1.LoadRunner11在win10上使用总是出问题,后来看到只能在win7在用,就在VMware建了个win7镜像,在msdn(https://msdn.itellyou.cn/)上下了win7的cn_windows_7_enterprise_x64_dvd_x15-70741.iso,后来安装VMwareTools的时候会报“安装程序无法继续。本程序需要您将此虚拟机上安装的操作系统更新到SP1”这个才是能用的镜像:cn_windows_7_enter

    2022年5月23日
    93

发表回复

您的邮箱地址不会被公开。 必填项已用 * 标注

关注全栈程序员社区公众号