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

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

记号 . υₚ(α)为α的标准分解式中素数p的次数;δₚ(α)为满足αᵏ≡1(mod p)的最小正整数k;φ(n)为Euler函数.

LTE引理 . p为素数,α,b∈ℤ,n≥1,满足p∣α−b,(p,αb)=1 .

( 1 ) 若p≥3,则

υₚ(αⁿ−bⁿ)=υₚ(α−b)+υₚ(n)

( 2 ) 若p=2,则

υ₂(αⁿ−bⁿ)

n

={υ₂(α²−b²)+υₚ(─)2∣n

2

{υ₂(α−b) 2 ∤ n

推论 .p为奇素数,α,b∈ℤ,n 为正奇数,满足p∣α+b,(p,αb)=1 . 则

υₚ(αⁿ+bⁿ)=υₚ(α+b)+υₚ(n)

引理1 . p为素数,α,b∈ℤ,n≥1,满足p∣α−b,(p,αb)=1,且(n,p)=1,则有

υₚ(αⁿ−bⁿ)=υₚ(α−b)

证明: 有展开式αⁿ−bⁿ=(α−b)(αⁿ⁻¹+αⁿ⁻²b+⋯bⁿ⁻¹) . 其中

αⁿ⁻¹+αⁿ⁻²b+⋯bⁿ⁻¹≡nαⁿ⁻¹≢0(mod p)

故υₚ(αⁿ⁻¹+αⁿ⁻²b+⋯bⁿ⁻¹)=0,即证 .

引理2 . p为素数,α,b∈ℤ,满足p∣α−b,(p,αb)=1 . 若p≥3 或p=2且4∣α−b,则有

υₚ(αᵖ−bᵖ)=υₚ(α−b)+1

证明: 若p≥3,有展开式αᵖ−bᵖ=(α−b)(αᵖ⁻¹+αᵖ⁻²b+⋯bᵖ⁻¹).

由于α≡b(mod p),设b=α+pl,则

αᵖ⁻¹+αᵖ⁻²b+⋯bᵖ⁻¹≡pαᵖ⁻¹+plαᵖ⁻²(1+2+⋯+p−1)≡pαᵖ⁻¹+p²lαᵖ⁻² p−1

───

2

≢0(mod p²)

于是p ‖ αᵖ⁻¹+αᵖ⁻²b+⋯bᵖ⁻¹,即υₚ(αᵖ⁻¹+αᵖ⁻²b+⋯bᵖ⁻¹)=1,即证 .

而当p=2且4∣α−b,则2∣l,同样有α+b≡2α+2l≢0(mod 4) .

LTE引理的证明: 设n=pᵏm,(p,m)=1,则υₚ(n)=k .

( 1 ) 若p≥3,则

υₚ(αⁿ−bⁿ)=υₚ(αᵖᵏᵐ−bᵖᵏᵐ)

=υₚ(αᵖᵏ−bᵖᵏ)

=υₚ(α−b)+k

=υₚ(α−b)+υₚ(n)

( 2 ) 若p=2,则α,b均为奇数,α²≡b²(mod 4),故当2∣n时,

υ₂(αⁿ−bⁿ)=υ₂(α²−b²)+k−1=υ₂(α²−b²)+υ₂

(n)

(2)

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

相关小说

猫武士闲大杂烩 连载中
猫武士闲大杂烩
沁雨微露
猫武士群聊啦,校园文啦,都写。
2.7万字4个月前
快穿:绿茶宿主软又娇 连载中
快穿:绿茶宿主软又娇
盛祈
【快穿】女主渣且三观略不正,不喜勿入南音自认,二十四年的人生无处不茶,无时不渣,结果遭了报应,去钓鱼时出了车祸。虽说身死,但南音的绿茶本质还......
6.1万字4个月前
凹凸全员看无人知晓的另一个世界(私设) 连载中
凹凸全员看无人知晓的另一个世界(私设)
情为毒蛊
凹凸全员看无人知晓中,另一个快要崩溃的世界。CP只有安雷,我是原创谢谢。
0.9万字4个月前
鬼尊独宠俏美人 连载中
鬼尊独宠俏美人
雨夜看星辰
她,将军府掌上明珠,含在嘴里怕化了,捧在手心怕碎了,却因一场劫杀,坠入悬崖;他,鬼谷尊主,杀伐果断,冷若冰霜,江湖上人提人怕,因仇家下毒寻名......
52.9万字4个月前
爱留恋一世 连载中
爱留恋一世
倾倾墨秦
爱情
0.2万字4个月前
快穿:咸鱼宿主要翻身 连载中
快穿:咸鱼宿主要翻身
七海三江
[已签约2022.12.11](已完结)傲娇哭包白切黑(尹月)vs腹黑偏执主神(顾羽)位面:1.秦王的小奶包✓2.小画家在外逃亡✓3.野狐狸......
8.6万字4个月前