初等数论--原根--阶的计算
初等數論--原根--階的計算
博主是初學初等數論(整除+同余+原根),本意是想整理一些較難理解的定理、算法,加深記憶也方便日后查找;如果有錯,歡迎指正。
我整理成一個系列:初等數論,方便檢索。
有兩個定理。
- 設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 dt∣d且d∣t。d\mid t。d∣t。
(1)證:d∣td\mid td∣t
已知ordm(a)=d,ord_m(a)=d,ordm?(a)=d,要證d∣t,d\mid t,d∣t,即證at≡1(modm)a^t\equiv 1(mod m)at≡1(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??)→at≡1(modpili??)→at≡1(modp1l1???p2l2??……psls??)→at≡1(modm),證畢。
(2)證:t∣dt\mid dt∣d
已知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,t∣d,即[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})ad≡1(modpili??)
ad≡1(modm)→ad≡1(modpili)a^d\equiv 1(mod m)\rightarrow a^d\equiv 1(mod p_i^{l_i})ad≡1(modm)→ad≡1(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+1≡1(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+1≡1(modpj+1)→adj+1≡1(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})apdj≡1(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=dj→adj≡1(modpj)→pj∣adj?1 (1)
- 現在要證apdj≡1(modpj+1)a^{pd^j}\equiv 1(mod p^{j+1})apdj≡1(modpj+1),即pj+1∣apdj?1p^{j+1}\mid a^{pd^j}-1pj+1∣apdj?1 (2)
- 考慮apdj?1a^{pd^j}-1apdj?1和adj?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^0p∣a(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)adj≡1(modpj)→adj≡1(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)dj≡1p?1≡1(modp),a(p?2)dj≡1p?2≡1(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+……+1≡p≡0(modp),即p∣a(p?1)dj+a(p?2)dj+……+a0p\mid a^{(p-1)d^j}+a^{(p-2)d^j}+……+a^0p∣a(p?1)dj+a(p?2)dj+……+a0。
總結
以上是生活随笔為你收集整理的初等数论--原根--阶的计算的全部內容,希望文章能夠幫你解決所遇到的問題。
- 上一篇: 初等数论--原根--原根间的关系,原根个
- 下一篇: 近世代数--循环群--怎么判断是不是循环