91学术服务平台

您好,欢迎来到91学术官网!站长邮箱:91xszz@sina.com

发布论文

论文咨询

关于连续原根的分布研究

  2020-06-28    417  上传者:管理员

摘要:设p为素数,f(x)∈Fp[x]的次数为D≥1。设整数k≥2,l1,l2,…,lk是Fp中互不相同的元素.假设下列条件至少满足一个:(i)f(x)不可约;(ii)f(x)在F珔p没有重根,D<p以及k=2;(iii)f(x)在F珔p没有重根,以及(4k)D<p。文中证明对任意素数p>max{e23k,(kD)27},都存在n∈Fp,使得f(n+l1),f(n+l2),…,f(n+lk)都是模p的原根。

  • 关键词:
  • 分布
  • 原根
  • 多项式
  • 数论
  • 特征和
  • 连续原根
  • 加入收藏

设p>2为素数,Gp表示模p的原根的集合。许多学者研究过模p的原根的分布性质及相关问题[1-8]。例如Vegh[3]证明了当时,存在模p的两个连续的原根,其中φ表示Euler函数。Szalay[9]推广了Vegh的结果,并考虑了l个连续原根的情况。

命题1(Szalay)设p为素数,并定义

则有

其中d(p-1)表示p-1的正因数的个数。

Tanti和Thangadurai[10]改进了上面的结论。

命题2(Tanti和Thangadurai)设l≥2为正整数。则对任意素数p≥e25.54l,都存在模p的l个连续原根。

此外,设表示I中使得对所有a∈A都有n+a∈Gp,以及对所有b∈B都有n+bGp的n的个数。Cobeli和Zaharescu[11]证明了

Cohen等人还考虑了在一般有限域中的情形[12,13,14,15,16]。


1、主要结论


本文将给出上述结果的一些推广。主要结论如下。

定理1设p为素数,f(x)∈Fp[x]的次数为D≥1。l1,l2,…,lk是Fp中互不相同的元素。定义

表达式

假设下列条件至少满足一个:

(i)f(x)不可约;

(ii)f(x)在没有重根,D<p以及k=2;

(iii)f(x)在没有重根,以及(4k)D<p。则有

表达式

其中ω(q)表示q的不同素因子的个数。

推论1设p为素数,f(x)∈Fp[x]的次数为D≥1。设整数k≥2,并设l1,l2,…,lk是Fp中互不相同的元素。假设下列条件至少满足一个:

(i)f(x)不可约;

(ii)f(x)在没有重根,D<p以及k=2;

(iii)f(x)在没有重根,以及(4k)D<p。则对任意素数p>max{e23k,(kD)27},都存在n∈Fp,使得

表达式

都是模p的原根。

定理2设p为素数,的次数为D≥1。设N(A,B,I,f;p)表示I中使得对所有a∈A都有f(n+a)∈Gp,以及对所有b∈B都有f(n+b)Gp的n的个数。假设下列条件至少满足一个:

(i)f(x)不可约;

(ii)f(x)在没有重根,D<|I|以及A∪B=2;

(iii)f(x)在中没有重根,以及(4|A∪B|)D<p,

则有

表达式


2、多项式特征和的估计


我们需要下面的一些引理。

引理1设,且f(x)在其分裂域内有t个不同的根。则有

证明见文献[17]第43页。

引理2设p是一个素数,χ是模p的d阶非主特征。设f(x)∈Fp[x]且f(x)≠a·hd(x),其中a∈Fp,h(x)∈Fp[x]。设s表示f(x)在其分裂域内不同根的个数,实数X,Y满足0<Y≤p,则有

证明见文献[17]第51页。

引理3设p为素数,l1,l2,…,lk是Fp中互不相同的元素。设f(x)∈Fp[x],deg(f)>0,且在没有重根。设1≤δ1,…,δk≤d-1,并定义多项式

假设下列条件至少满足一个:

(i)deg(f)<p以及k=2;

(ii)(4k)deg(f)<p,

则h(x)不能表为任何多项式的d次幂的常数倍。

证明参阅文献[18]。


3、定理1和推论1的证明


注意到

公式1

其中表示对模p的所有d阶特征χ求和。则有

公式2

容易证明

公式3

另一方面,设ψ为模p的特征群的生成元,可得

公式4

情形1假设f(x)不可约。显然

是p-1次幂的常数倍当且仅当

由于d1…dk>1,因此上式不成立。则由引理1,有

公式5

情形2假设f(x)在没有重根,并设下列条件至少成立一个:

(i)D<p以及k=2;

表达式

则由引理3可知

表达式

不可能是p-1次幂的常数倍。再由引理1可得

公式6

现在结合式(2)~(6)立得

表达式

这就证明了定理1。

接下来证明推论1。根据定理1,有

表达式

此外由文献[19]中的167页可知,对所有素数p≥5都满足

表达式

设p>max{e23k,(kD)27}。容易证明

表达式

上式成立,从而证明了推论1。


4、定理2的证明


现在证明定理2。首先考虑特殊情形B=,此时A不为空集。记A={a1,…,as},则有

公式7

容易证明

公式8

另一方面,设ψ为模p的特征群的生成元,可得

表达式

由引理3可知

表达式

不可能是p-1次幂的常数倍。再由引理2可得

公式9

现在考虑一般的B。记

表达式

可得

公式10

再由式(8),有

公式11

另一方面,由式(9)可得

公式12

因此,

公式13

此外还有

公式14

结合式(13)和(14)立即可得

公式15

定理2证毕。


参考文献:

[6]张国佗,刘华宁.关于整数的非负最小剩余与Fermat商的差[J].陕西师范大学学报(自然科学版),2017,45(04):11-13.

[7]王辉,胡志兴,高丽.关于模n的原根的分布及推广[J].西北大学学报(自然科学版),1997,27(3):190-194.

[8]王辉,高丽,胡志兴.关于模q的原根中D.H.Lehmer数与逆的差的分布[J].西北大学学报(自然科学版),1996,26(4):281-284.

[16]祁兰,张文鹏.关于Golomb猜想的一般化[J].西北大学学报(自然科学版),2015,45(2):199-206.

[20]张文鹏.关于模p的一类同余方程解的个数[J].西北大学学报(自然科学版),2016,46(3):313-316.


刘华宁,景梦谣.关于连续原根的分布[J].西北大学学报(自然科学版),2019,49(05):711-715.

基金:国家自然科学基金资助项目(11571277);陕西省工业科技攻关项目(2016GY-077,2016GY-080)

分享:

91学术论文范文

相关论文

推荐期刊

网友评论

加载更多

我要评论

数学的实践与认识

期刊名称:数学的实践与认识

期刊人气:2783

期刊详情

主管单位:中国科学院

主办单位:中国科学院数学与系统科学研究院

出版地方:北京

专业分类:科学

国际刊号:1000-0984

国内刊号:11-2018/O1

邮发代号:2-809

创刊时间:1971年

发行周期:半月刊

期刊开本:16开

见刊时间:1年以上

论文导航

查看更多

相关期刊

热门论文

【91学术】(www.91xueshu.com)属于综合性学术交流平台,信息来自源互联网共享,如有版权协议请告知删除,ICP备案:冀ICP备19018493号

微信咨询

返回顶部

发布论文

上传文件

发布论文

上传文件

发布论文

您的论文已提交,我们会尽快联系您,请耐心等待!

知 道 了

登录

点击换一张
点击换一张
已经有账号?立即登录
已经有账号?立即登录

找回密码

找回密码

你的密码已发送到您的邮箱,请查看!

确 定