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

Zsigmondy定理:从分圆多项式开始 (6-1)

Zsigmondy定理 . α>b≥1为互素的正整数,对n≥2,存在素数p整除αⁿ−bⁿ,但p∤αᵏ−bᵏ,1≤k<n . 除去以下情况均成立:

( 1 ) n=2,α+b为2的方幂

( 2 ) n=6,α=2,b=1

PART0 . 约定

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

此处我们不加证明地给出几个引理 .

LTE引理 . p为素数,x,y∈Z,m≥1,满足x≡y≢0(mod p) .

( 1 ) 若p≥3,则

υₚ(xᵐ−yᵐ)=υₚ(x−y)+υₚ(m)

( 2 ) 若p=2,则

υ₂(xᵐ−yᵐ) m

{υ₂(x²−y²)+υₚ(─)2∣m

= n

{υ₂(x−y) 2 ∤ m

引理1 . f(x),g(x)∈𝔽[x],f(x)为不可约多项式,𝔽¯⊃𝔽 为扩域,则有

( 1 ) f(x),g(x)在𝔽¯上有公共根 ⟺f(x)∣g(x)

( 2 ) f(x),g(x)在F¯上无公共根 ⟺(f(x),g(x))=1

PART1 . 分圆多项式及其部分性质

2πi

定义1 . ε=e ──为n次单位根,分圆多项式

n

Φₙ(x)=∏ (x−εᵏ)=φ(n)

1≤k≤n(k,n)=1 ∏(x−εₖ)

k=1

其中εₖ=εᵏ(k,n)=1为n次本原单位根 .

等价定义1 . 1 xⁿ−1=∏d∣ₙ Φd(x)

证明:

xⁿ−1=∏ (x−εᵏ)

k=1

=∏ ∏ (x−εᵏ) n

d∣n (k,n)=─)=)

d

=∏ Φd(x)

d∣n

再用Mobius逆变换可以得到

等价定义1 . 2 Φₙ=∏d∣n (xᵈ−1)μ(n)=∏d∣n(xn−1)μ⁽ᵈ⁾ ─

─ d

d

性质1 . Φₙ(x)为首一整系数多项式

性质2 . Φₙ(x)在ℤ[x]上不可约

性质3 . 若d为n的真因子,则有

Φₙ(x)∣xⁿ−1

───

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

相关小说

历史是一群喵(星座) 连载中
历史是一群喵(星座)
我叫水饺
历史是一颗喵穿越到了另一个世界
0.5万字4个月前
我们的高中时代!!! 连载中
我们的高中时代!!!
安吹的小号啦
自己看看吧
0.0万字4个月前
星座:最终救赎者 连载中
星座:最终救赎者
凤落临
「持续码字中……」血雨下,末日临。天地变,危难临。异能现,守护力。人性变,心中想。世界苍生,为我独立。世界的最终会是如何是毁灭还是新生?——......
3.2万字4个月前
在云朵上打盹 连载中
在云朵上打盹
云裳珺
——是个文案管
14.6万字4个月前
水仙不开花 连载中
水仙不开花
香菜水饺
作为一株不开花的水仙,钟梓只想说:
6.0万字4个月前
走过奈何桥去地狱 连载中
走过奈何桥去地狱
白画眉
奈何桥就像一条黑蟒,在白色阴泠的雾里,时隐时现,十分的诡异。孟婆说:“你们必须分开,还要喝下这碗忘忧汤。”秦雨和方佳佳互相凝视,牵手跳下奈何......
11.1万字4个月前