日韩性视频-久久久蜜桃-www中文字幕-在线中文字幕av-亚洲欧美一区二区三区四区-撸久久-香蕉视频一区-久久无码精品丰满人妻-国产高潮av-激情福利社-日韩av网址大全-国产精品久久999-日本五十路在线-性欧美在线-久久99精品波多结衣一区-男女午夜免费视频-黑人极品ⅴideos精品欧美棵-人人妻人人澡人人爽精品欧美一区-日韩一区在线看-欧美a级在线免费观看

歡迎訪問 生活随笔!

生活随笔

當前位置: 首頁 > 编程资源 > 编程问答 >内容正文

编程问答

初等数论--原根--阶的计算

發布時間:2025/3/21 编程问答 18 豆豆
生活随笔 收集整理的這篇文章主要介紹了 初等数论--原根--阶的计算 小編覺得挺不錯的,現在分享給大家,幫大家做個參考.

初等數論--原根--階的計算

博主是初學初等數論(整除+同余+原根),本意是想整理一些較難理解的定理、算法,加深記憶也方便日后查找;如果有錯,歡迎指正。
我整理成一個系列:初等數論,方便檢索。

有兩個定理。

  • m=p1l1p2l2……psls,m=p_1^{l_1}p_2^{l_2}……p_s^{l_s},m=p1l1??p2l2??psls??,其中pip_ipi?為素數,lil_ili?為大于1的正整數,ordpili(a)=di,ordm(a)=dord_{p_i^{l_i}}(a)=d_i,ord_m(a)=dordpili???(a)=di?,ordm?(a)=d,則d=[d1,d2,……ds]。d=[d_1,d_2,……d_s]。d=[d1?,d2?,ds?]

證明:設t=[d1,d2,……ds],t=[d_1,d_2,……d_s],t=[d1?,d2?,ds?],現在只要證t∣dt\mid dtdd∣t。d\mid t。dt
(1)證:d∣td\mid tdt
已知ordm(a)=d,ord_m(a)=d,ordm?(a)=d,要證d∣t,d\mid t,dt,即證at≡1(modm)a^t\equiv 1(mod m)at1(modm)
我們已知adi≡1(modpili)→a[d1,d2……ds]≡1(modpili)→at≡1(modpili)→at≡1(modp1l1?p2l2……psls)→at≡1(modm)a^{d_i}\equiv 1(mod p_i^{l_i})\\ \rightarrow a^{[d_1,d_2……d_s]}\equiv 1(mod p_i^{l_i})\\ \rightarrow a^t\equiv 1(mod p_i^{l_i})\\ \rightarrow a^t\equiv 1(mod p_1^{l_1}·p_2^{l_2}……p_s^{l_s})\\ \rightarrow a^t\equiv 1(mod m)adi?1(modpili??)a[d1?,d2?ds?]1(modpili??)at1(modpili??)at1(modp1l1???p2l2??psls??)at1(modm),證畢。

(2)證:t∣dt\mid dtd
已知ordpili(a)=di,ord_{p_i^{l_i}}(a)=d_i,ordpili???(a)=di?,adi≡1(modpili)a^{d_i}\equiv 1(mod p_i^{l_i})adi?1(modpili??)
我們要證t∣d,t\mid d,td,[d1,d2……ds]∣d[d_1,d_2……d_s]\mid d[d1?,d2?ds?]d,只需證di∣dd_i\mid ddi?d即可,即證ad≡1(modpili)a^d\equiv 1(mod p_i^{l_i})ad1(modpili??)
ad≡1(modm)→ad≡1(modpili)a^d\equiv 1(mod m)\rightarrow a^d\equiv 1(mod p_i^{l_i})ad1(modm)ad1(modpili??),證畢。

  • ppp是一個素數,a≠±1,(a,p)=1,ordpja=dj,a\neq\pm1,(a,p)=1,ord_{p^j}a=d_j,a?=±1,(a,p)=1,ordpj?a=dj?,dj+1=djd_{j+1}=d_jdj+1?=dj?dj+1=pdjd_{j+1}=pd_jdj+1?=pdj?

要證dj+1=djd_{j+1}=d_jdj+1?=dj?dj+1=pdjd_{j+1}=pd_jdj+1?=pdj?,因為ppp是素數,即證dj∣dj+1d_j\mid d_{j+1}dj?dj+1?dj+1∣pdj。d_{j+1}\mid pd_j。dj+1?pdj?

(1)證dj∣dj+1d_j\mid d_{j+1}dj?dj+1?
我們已知ordpja=dj,ord_{p^j}a=d^j,ordpj?a=dj,要證dj∣dj+1,d_j\mid d_{j+1},dj?dj+1?,只要證adj+1≡1(modpj)a^{d^{j+1}}\equiv 1(mod p^j)adj+11(modpj)
我們已知ordpj+1a=dj+1,→adj+1≡1(modpj+1)→adj+1≡1(modpj)ord_{p^{j+1}}a=d^{j+1},\rightarrow a^{d^{j+1}}\equiv 1(mod p^{j+1})\rightarrow a^{d^{j+1}}\equiv 1(mod p^j)ordpj+1?a=dj+1,adj+11(modpj+1)adj+11(modpj),證畢。

(2)證dj+1∣pdjd_{j+1}\mid pd_jdj+1?pdj?
我們已知ordpj+1a=dj+1ord_{p^{j+1}}a=d^{j+1}ordpj+1?a=dj+1,要證dj+1∣pdjd_{j+1}\mid pd_jdj+1?pdj?,只要證apdj≡1(modpj+1)a^{pd^j}\equiv 1(mod p^{j+1})apdj1(modpj+1)

  • 我們已知ordpja=dj→adj≡1(modpj)→pj∣adj?1ord_{p^j}a=d^j\rightarrow a^{d^j}\equiv 1(mod p^j)\rightarrow p^j\mid a^{d^j}-1ordpj?a=djadj1(modpj)pjadj?1 (1)
  • 現在要證apdj≡1(modpj+1)a^{pd^j}\equiv 1(mod p^{j+1})apdj1(modpj+1),即pj+1∣apdj?1p^{j+1}\mid a^{pd^j}-1pj+1apdj?1 (2)
  • 考慮apdj?1a^{pd^j}-1apdj?1adj?1a^{d^j}-1adj?1間的關系

apdj?1=(adj?1)(a(p?1)dj+a(p?2)dj+……+a0)a^{pd^j}-1=(a^{d^j}-1)(a^{(p-1)d^j}+a^{(p-2)d^j}+……+a^0)apdj?1=(adj?1)(a(p?1)dj+a(p?2)dj++a0) (3)
對比**(1),(2),(3)**,現在只要證p∣a(p?1)dj+a(p?2)dj+……+a0p\mid a^{(p-1)d^j}+a^{(p-2)d^j}+……+a^0pa(p?1)dj+a(p?2)dj++a0

我們知道adj≡1(modpj)→adj≡1(modp)a^{d^j}\equiv 1(mod p^j)\rightarrow a^{d^j}\equiv 1(mod p)adj1(modpj)adj1(modp),即a(p?1)dj≡1p?1≡1(modp),a(p?2)dj≡1p?2≡1(modp),……a^{(p-1)d^j}\equiv 1^{p-1}\equiv 1(mod p),a^{(p-2)d^j}\equiv 1^{p-2}\equiv 1(mod p),……a(p?1)dj1p?11(modp),a(p?2)dj1p?21(modp),所以a(p?1)dj+a(p?2)dj+……+a0(modp)≡1+1+……+1≡p≡0(modp)a^{(p-1)d^j}+a^{(p-2)d^j}+……+a^0(mod p)\equiv 1+1+……+1\equiv p\equiv 0(mod p)a(p?1)dj+a(p?2)dj++a0(modp)1+1++1p0(modp),即p∣a(p?1)dj+a(p?2)dj+……+a0p\mid a^{(p-1)d^j}+a^{(p-2)d^j}+……+a^0pa(p?1)dj+a(p?2)dj++a0

總結

以上是生活随笔為你收集整理的初等数论--原根--阶的计算的全部內容,希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯,歡迎將生活随笔推薦給好友。