引言

总该需要记录一点学习进度了,虽然说在过去这段时间内已经简单的过了一遍陈景润的”1+2”定理,对其用到的Selberg筛法以及加权的思想也有了那么一点点的理解与认识了.但是张益唐的工作,我应该还是得开始看原始论文才行.

目前Halberstam的第一章也还在进行中,其中当然也涉及到了一些初等数论的知识,这倒不是什么大问题,遇到的最大阻碍还是文章风格方面的不适应,感觉Serre写的都是友善的了.

但是一些初等数论的知识我也还是需要记录一下,一方面也是为了准备初等数论的考试,当然另一方面就是因为我确实对初等数论的知识不够了解与熟练.🤡

以下都是关于同余式的解的存在性以及数量问题.实际上,由算术基本定理和中国剩余定理(CRT)可知,的问题通通可以化为,其中是素数,是大于0的整数的问题.

需要注意的是,以下说的解的数量(简称解数),都是在中的解数,也就是一个完全剩余系中的解数.没注意到的取消一周的抹茶巴菲!

Chinese Reminder Theorem

两个重要的工具.一个是算术基本定理,也就是素因数唯一分解定理,这个小学二年级就已经知道了.另一个就是中国剩余定理,这个还可以简单介绍一下:

定理0(CRT):

设是个两两互素的正整数,,则对于同余方程式组

有唯一解.记: ,设 ,则唯一解可表示为:

证明:

这个还只是数,如果将其换为多项式的情况,那么这就是一道经典到不能再经典的高代题了.

当然,以上两种情况用抽代的思想都可以很快地理解和构造这个唯一解的结构.

因此!证明过程!PASS!

上面都要求模数两两互素,那能否放宽呢?废话,当然是可以的.那就是不断地用下面这个只关于两个模数的定理:

定理0(Plus版):

一次同余式组

可解的充要条件是,且此时对模数有唯一解.

证明:

必要性:

记,假设(1)有解,则:

两式相减即有:.因此必要性得证.

充分性:

假设,且(1)前一式的解可写为:,代入后一式有:

因此可知上式也有解.故而充分性得证.

解的唯一性:

假设是(1.1)其对模数的唯一解.

即(1.1)的解为:

再将其代入到便可得到(1)的解为:

其中.即(1)对模数而言是唯一的.

一次同余式

对于同余式而言,我们当然是先从一元一次同余方程开始动刀,那么有以下这个很好理解的定理(至少从抽代方面是显然的了):

定理1(基础版):

设,则同余式

恰好有一个解.即:

其中是Euler函数.

证明:

这个的证明还是比较轻松的,尤其是从抽代的角度出发,更是直接得出.(Anon都能证明!),所以直接略过此处的证明.

因此对于一般的一元一次同余式而言,有:

定理1(Pro版):

设,则同余式:

有解的充分必要条件为:.此时恰有个解.

证明:

同样的,利用抽代知识也可以很容易的得到有解时的充要条件.

同时在有解的情况下,可得到下面的同余式:

其在中有唯一解.因此在中有个解.

比较麻烦一点的是多元一次的同余方程式,但是也有以下定理给出了它解存在的情况以及数量:

定理2:

设,同余式

有解的充要条件为

且此时的解数为.

证明:

用归纳法可以证明解数公式.以下只是简单的证明思路:

由同余式可知:

而括号里边可以生成一个理想.因此便可以化为以下两个同余式:

而(2)的解数在中为:.

而(3)的解数直接由归纳假设得到为:.

最后注意到:(这个就算是Anon也真的能注意到了),于是可以证明解数公式成立.

高次同余式

高次同余式的解数

根据CRT便能得到一个很重要的结论,那就是:同一个高次同余式的解数关于模数是一个积性函数(multiplicative formula).严谨表达为:

定理3:

若是个两两互素的正整数,,则同余式:

有解(解数记为)的充要条件为同余式

都有解(解数记为).

且.

证明:

当然是用CRT直接推出来就可以了.因此直接省略!

而该定理也在Halberstam的第一章中出现了,并且这个积性的性质起了非常重要的作用,否则的构造就出大问题了.

模数是素数的情况

一次同余式的要点基本上已经探索完毕了,接下来马上赶到战场的是—-高次同余式(当然得是整系数的多项式).

接下来设,并且其中.

那么就有如下Lagrange定理:

定理4(Lagrange’s Theorem):

是一个素数,并且有,则

最多只有个解.

证明:

该定理的证明实际上便是对次数进行归纳.

反证,假设同余式有个解:.

那么可知:

即可得到次多项式有个解,与归纳假设矛盾.从而证得Lagrange定理.

当然Lagrange定理也有其他的表示形式,例如:

定理4.1(反面形式拉格朗日):

是素数,如果同余式

有大于个解,那么可得:

是的一个fixed divisor.或者说:.

以及以下形式,出现在Halberstam的第一章中:

定理4.2(一般形式拉格朗日):

对于任意的一个次整系数多项式,可知:

的解数要么为,要么就不会超过个.

模数是素数幂的情况

最后只需考虑模数为素数幂的情况,那么最后一块拼图也顺利完成!而在这情况下,与其说是一个定理,更像是一个算法.因为它就是从模数为的解里慢慢筛选出来的.具体的表述如下:

定理5:

设是以下同余式的解:

且,则下面同余式的解:

蕴含在前一式的解中.即:

证明:

略了略了~

以下直接给出一个例子,跟着算一遍就知道是怎么一回事了,还是很simple的,就是稍微complex了一点(迫真).

例如:

要算以下同余式的解:

那么我们就要逐步地对模数为开始处理.

首先可知:的解只有一个,即.

且有(如果枚举的话感觉不需要?).

因此对于同余式的解可能为.

筛选得到的唯一解为.

且有(如果枚举的话感觉不需要?).

因此对于同余式的解可能为.

筛选得到的唯一解为.

总结

目前我看到的Halberstam第一章主要用到的初等数论知识就是以上这些了.而下一项该更新的就是Halberstam第一章的内容,接下来是对Latex代码水平的一次巨大考验了.

下次目标—-Halberstam第一章,趁势杀之,片甲不留!!!

以及张益唐的论文也该看了.😵我打算看完Halberstam第二章后,这个也该步入正题才行了.

总之,杀杀杀!!!不过接下来先爽适几天,回来之后继续更新!😋

参考资料

[1] 柯召, 孙琦. 数论讲义, 上册, 第二版[M]. 高等教育出版社, 2001.

[2] 潘承洞, 潘承彪. 初等数论, 第三版[M]. 北京大学出版社, 2013.