数学联邦政治世界观
超小超大

Lifting the exponent:LTE引理 (2-2)

当2∤n时,由引理2即证 .

注 . 若又有α≡b(mod 4),则υ₂(αⁿ−bⁿ)=υ₂(α−b)+υ₂(n)

应用 . p为奇素数,α>1,已知模p的原根存在,求证pα存在原根 .

证明: 设g为模p原根,(g,p)=1,gᵖ⁻¹≡1(mod p) .

若gᵖ⁻¹≢1(mod p²),则令r=g .

若gᵖ⁻¹≡1(mod p²),则令r=g+p,从而

rᵖ⁻¹≡gᵖ⁻¹+(p−1)pgᵖ⁻²≡1−pgᵖ⁻²≢1(mod p²)

即r为模p原根,且υₚ(rᵖ⁻¹−1)=1 . 下证r为模pα原根 .

设δ=δpα(r),rδ≡1(mod pα)⟹rδ≡1(mod p) . 从而p−1∣δ . 又因为δ∣φ(pα)=pα⁻¹(p−1),可设δ=pβ(p−1),(0≤β≤α−1),由LTE引理有

α≤υₚ(rδ−1)=υₚ (rᵖβ⁽ᵖ⁻¹⁾−1)=υₚ(rᵖ⁻¹−1)+β=1+β

故β=α−1,即r为模pα原根 .

参考资料.

Lifting-the-exponent lemma - Wikipedia

Lifting the exponent | Complex Projective 4-Space ()

升幂定理大练兵 ()

浅谈升幂(LTE)引理 ()

Lifting The Exponent | Brilliant Math & Science Wiki

数学联邦政治世界观提示您:看后求收藏(同人小说网http://tongren.me),接着再看更方便。

相关小说

星之守护者, 连载中
星之守护者,
_600869716
0.1万字9个月前
你明白你是谁了吗? 连载中
你明白你是谁了吗?
意小芸
求鲜花作者在改文章具体是什么呢?我也不知道看一下就好了,第一次尝试写这种
0.2万字9个月前
执潜cp(作者:潜光) 连载中
执潜cp(作者:潜光)
潜光大大呀
潜执的爱情故事(有副cp)
1.9万字9个月前
血之海 连载中
血之海
笔墨sty
台风之爱恨,两界之种种事--水与火,可以相容
3.5万字8个月前
推书,推书,推书 连载中
推书,推书,推书
神经病K
推文
0.7万字8个月前
相思辞 连载中
相思辞
多啦米
此书修订中不定时更新,请谅解。勿催更,请谅解。【本文已签约】慕修寒:“阿辞,这一世,我定会护你一生一世。”南辞:“师父,我不记得我们前世有什......
9.8万字8个月前