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

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),接着再看更方便。

相关小说

寒风刺骨(妈了个巴子的不会起名) 连载中
寒风刺骨(妈了个巴子的不会起名)
一只走地蛾
[异能/暂无cp/世界和平/应该算大世界观?]会有多国家人物出场;会对国家带有恶意,但不会对人物带有恶意;请不要在我的评论里面发出任何一个对......
0.4万字9个月前
无聊的修真界败类群聊 连载中
无聊的修真界败类群聊
愿君梦有所得
内容不限种类,更新不定时间,人物多为群像欢迎收看我的黑历史作品,别嫌弃啊,我心理很脆弱的,有什么意见可以提,但你不能骂我哟,你不喜欢你可以走......
0.1万字8个月前
妖骨天香 连载中
妖骨天香
萌阿呆
埋骨何须桑梓地,人生无处不青山。桑青本是不信天命之人,可自从遇见了他,那个错误的开始再经历一段坎坷的过程。  再入轮回,往昔种种记上心头,忘......
22.1万字8个月前
开心超人之回音壁 连载中
开心超人之回音壁
冷瞳.紫藤花开
主写cp开甜、伽小、花粗,以及他们为了复仇不断修炼,创建了自己的组织“罂影
2.5万字8个月前
绝世妖孽:倾世废材要逆天! 连载中
绝世妖孽:倾世废材要逆天!
我想嗑瓜子
 【已签约】 金牌异能者夏璃在一次任务之下意外穿越,夏璃穿成了丞相府的废材六小姐,不受宠,还是一个痴儿。且看她如何扮男装,收萌宠,炼神器,扮......
6.4万字8个月前
幽冥花开梦终醒 连载中
幽冥花开梦终醒
雪落琴扬
无数时空的寻找,终于,找到你了……
13.6万字8个月前