数论概论读书笔记 28.幂模p与原根

幂模p与原根

如果ap互素,费马小定理告诉我们,ap11 (mod p)

辣么这个指数p1是唯一的使得结果为1的嘛

我们选一些ap看一下

对于a=3,p=7 :指数只有为6时才取到1。

数论概论读书笔记 28.幂模p与原根

模p余1的a的最小次幂:

数论概论读书笔记 28.幂模p与原根

从表中可以看出,似乎有这样的性质:

  • 最小指数e似乎整除p1
  • 总有一些指数需要到指数p1

为了方便,我们定义apep(a)=[使ae1(mod p)e]

ap要是互素的。

规定ep(a)1 显然ep(a)p1

次数整除性质 设a是不被素数p整除的整数,假设an1 (mod p),则次数ep(a)整除n,特别地ep(a)总整除p1

证明: 次数ep(a)的定义告诉我们

aep(a)1 (mod p)

假设an1( mod p)

G=gcd(ep(a),n)

并设(u,v)是方程ep(a)unv=G的正整数解。(可知一定有解)

现在有两种不同的方法计算aep(a)u

aep(a)u=(aep(a))u1 (mod p)aep(a)u=anv+GaG (mod p)

这表明aG1( mod p) ,所以必有ep(a)G

另一方面G | ep(a),所以G=ep(a) | n

证毕。

下一个任务是观察具有最大可能次数,即ep(a)=p1的数a

如果a是这样的数,则幂

a1,a2,a3,...,ap2,ap1( mod p)

必须都是模p不同的。[如果幂不是全不相同,则对某指数1i<jp1aiaj (mod p),由于a,p互质,则有1aji (mod p),由于ji<p1,则矛盾]。这p1个不同的数取遍了[1,p1]

这样的数很重要,为了方便,我们称这样的数g为模p的原根,即ep(g)=p1

回顾前面的那张表,5的原根是2,3, 7的原根是3,5 ,11的原根是2,6,7,8

可见原根可以不止一个,辣到底有多少个?所有素数都有原根吗?

原根定理 每个素数p都有原根。更精确地,有恰好φ(p1)个模p的原根。

神奇!尽管原根定理没有指出求p的原根的具体方法,但一旦能求得一个原根,就可以容易得求出其他原根(后面介绍)。求原根的常用方法是从小到大枚举正整数a=2,3,5,6……。因为原根的分布比较广。(思考为什么没有4)。

为啥没4?因为4(p1)22p11 (mod p),即4一定不是原根。(可见2的高次幂都不是)

证明:1p1之间的每个数aep(a) | (p1) ,所以,对整数p1的每个因子d,我们可能会问,有多少个ep(a)等于d,由于要用,我们记这个数ψ(d),1a<p

ψ(p1)为模p原根个数

n是整除p1的任何数,比如说p1=nk,则可将多项式Xp11分解成Xnk1=(Xn)k1=(Xn1)((Xn)k1+(Xn)k2+...+(Xn)2+Xn+1)

我们数一下这些多项式模p有多少个根。

首先,Xp110 (mod p)恰好有p1个解,即[1,p1]这些。

另一方面,(Xn1)0 (mod p)至多有n个解,且

(Xn)k1+(Xn)k2+...+(Xn)2+Xn+10 (mod p)

至多有nkn个解。

因此我们得到:

数论概论读书笔记 28.幂模p与原根

如果上式成立,则Xn1p恰有n个根。这就证明了下述重要事实。

如果n | p1,则同余式Xn10 (mod p)恰好有n个根满足0X<p

现在再用另一种计数方法计数上面同余式的解的个数。

如果X=a是一个解,则an1 (mod p),因此ep(a) | n,即ep(a)对应n的一个因子d

从这个角度,Xn10 (mod p)解的个数等于

d|nψ(d)=ψ(d1)+ψ(d2)+...+ψ(dr)

综合上面两个角度,我们得到一个结论:

n整除p1,则d|nψ(d)=n

这个公式和欧拉函数的形式一样!

实际上这里ψ就是φ

首先,φ(1)=1,而ψ(1)=1

下面证明当n=q为素数时,ψ(n)=φ(n)

q的因数是1和q,所以ψ(q)+ψ(1)=q=φ(q)+φ(1)

由于ψ(1)=φ(1),则ψ(q)=φ(q)

n=q2n=q1q2也可以类似证明

通过从小的n值到较大的n的值的研究,说明了对每个n证明φ(n)=ψ(n)的思路。

更正式地,可以给出归纳证明,这里不展示了。

综上,我们已证明对整除p1的每个整数n,恰好有φ(n)个数a使得ep(a)=n,取n=p1,则φ(p1)为原根个数。显然,每个素数至少有一个原根。

阿廷猜想 有无穷多个素数p使得2是模p的原根。

广义阿廷猜想 设整数a不是完全平方也不等于1,则有无穷多个素数p使得a是模p的原根。

一个题目

数论概论读书笔记 28.幂模p与原根

答案是0

一个拓展

数论概论读书笔记 28.幂模p与原根