本论文的内容是在研究数论中的莫比乌斯反演函数时,由分圆多项式的性质以及分圆多项式与欧拉函数的对应关系所引发的一系列遐想。此文仅为展现其精妙的结构,实际作用暂无。
数论函数群在数论多项式生成函数集上的作用
导言:本论文的内容是在研究数论中的莫比乌斯反演函数时,由分圆多项式的性质以及分圆多项式与欧拉函数的对应关系所引发的一系列遐想。此文仅为展现其精妙的结构,实际作用暂无。
§1.定义
【定义1.1】数论函数群
数论函数群 f 意味着集合:
f={f|f:N∗→Z}
以及其上的运算 ∗ (狄利克雷卷积):
(f∗g)(n)=∑d∣nf(d)g(nd)=∑d∣nf(nd)g(d)f,g∈f,n∈N∗
容易验证这是一个交换群。单位元为函数 e :
e(n)={1n=10n≠1
【定义1.2】数论多项式生成函数
称集合 F :
F={F|F:N∗→Z[x]}
为数论多项式生成函数集。其中的元素 F∈F 称为数论多项式生成函数。
【定义1.3】(幺半)群作用^定义1.3 1.4 出处
设 X 为集合, M 为(幺半)群。M 在 X 上的作用定义为一个映射
a:M×X→X
称为作用映射,它必须满足以下性质:
(i) 对所有 g,g′∈M 和 x∈X ,有 a(g′,a(g,x))=a(g′g,x) (结合律),
(ii) 对所有 x∈X ,有 a(1,x)=x 。
带有 M 作用的集合称为 M-集。
习惯将 M-集带有的作用映射略去,并将 a(m,x) 写成 m⋅x 或 mx ,如此作用映射的条件即:
m′(mx)=(m′m)x1⋅x=x
【定义1.4】等变映射^定义1.3 1.4 出处
对于(幺半)群 M , M 对集合 X,Y 分别有作用映射 a:M×X→X 和 b:M×Y→Y 。若两 M-集间的映射 f:X→Y 满足:
f(a(m,x))=b(m,f(x))m∈M,x∈X
则称为 M-等变映射。若将 a(m,x) 写成 mx ,b(m,y) 写成 m×y,这定义也就是:
f(mx)=m×f(x)
§2.作用
—1.证明
【定义2.1】数论函数群在数论多项式生成函数集上的作用
定义 f 对 F 的作用映射 a:f×F→F (简记做 ⋅ )如下:
(f⋅F)(n)=∏d∣nF(d)f(nd)=∏d∣nF(nd)f(d)f∈f,F∈F,n∈N∗
下面证明其良定。
对于【定义1.3】(ii) ,显然对任意 F∈F :
(e⋅F)(n)=∏d∣nF(nd)e(d)=F(n)1⋅∏d∣n,d≠1F(nd)0=F(n)
满足条件。
对于【定义1.3】(i) ,取 f,g∈f , F∈F ,定义:
G=g⋅(f⋅F)G′=(g∗f)⋅F
下证 G=G′ 。根据定义,展开 G 和 G′ :
G(n)=(g⋅(f⋅F))(n)=∏d∣n(f⋅F)(nd)g(d)=∏d∣n⎛⎜⎝∏k∣ndF(k)f(ndk)⎞⎟⎠g(d)=∏d∣n∏k∣ndF(k)f(ndk)g(d)
G′(n)=((g∗f)⋅F)=∏k∣nF(k)(g∗f)(nk)=∏k∣nF(k)∑d∣nkf(ndk)g(d)=∏k∣n∏d∣nkF(k)f(ndk)g(d)
由 d∣n,k∣nd 当且仅当 k∣n,d∣nk ,故上下两式的两层枚举效果相同,所以 G=G′ ,满足条件。
综上,我们定义了数论函数群 f 在数论多项式生成函数集 F 上的作用。
—2.应用
定义三个数论多项式生成函数 Σ,ID,Φ∈F 如下:
Σ(n)=∏d∣n(xd−1)ID(n)=xn−1Φ(n)=n阶分圆多项式=∏d<n,gcd(d,n)=1(x−edn2πi)
以及四个个数论函数(恒一函数、约数个数函数、莫比乌斯反演函数、莫比乌斯函数的自卷积):
i(n)=1d(n)=(i∗i)(n)=∑d∣n1μ(n)={0n有非平凡平方因子(−1)kn的质因子个数为km(n)=(μ∗μ)(n)={0n有非平凡立方因子(−2)kn的非平方质因子个数为k
其中 i∗μ=e , d∗m=e ,也就是其间有两对互逆关系。
我们有连等式(上下两式由如上两对互逆关系的存在而等价):
Σ=i⋅ID=i⋅(i⋅Φ)=(i∗i)⋅Φ=d⋅ΦΦ=μ⋅ID=μ⋅(μ⋅Σ)=(μ∗μ)⋅Σ=m⋅Σ
这实则是分圆多项式的性质:
xn−1=∏d∣nΦd(x) , Φn(x)=∏d∣n(xd−1)μ(nd)
对于三个数论多项式生成函数 Σ,ID,Φ∈F ,可以发现分别与之对应的三个数论函数 σ,id,φ∈f (约数和函数,恒等函数,欧拉函数):
σ(n)=∏d∣ndid(n)=nφ(n)=∏d<n,gcd(d,n)=11
它们满足近似的连等式:
σ=i ∗id=i∗i∗φ=d∗φφ=μ∗id=μ∗μ∗σ=m∗σ
如果将 f 上的运算看作 f 在自身上的作用(容易验证这个作用良定),并定义一个 f-等变映射 χ:f→F ,那么如上的两组连等式相当于说:
χ(σ)=Σ , χ(id)=ID , χ(φ)=Φ
§3.映射
现在细观所定义的 f-等变映射 χ:f→F ,由【定义1.4】:
χ(g∗f)=g⋅χ(f)f,g∈f
令其中的 f=e ,则对任意 g∈f ,有:
χ(g)=χ(g∗f)=g⋅χ(e)
也就是说,如果定义了 χ(e) ,就可以由上式定义出任意 g∈f 的 χ(g)∈F 。
反之,对于给定的一组互不矛盾的:
Fi=χ(fi){fi}∈f,{Fi}∈F
总能解出合适的 χ(e)=f−1i⋅Fi 使其满足上述一切条件。下面简单说明其对任意 i 的一致性:若对于 fi,fj∈f ,有 fi=g∗fj (g∈F) ,则 f−1j=f−1i∗g ,那么:
χ(e)=f−1i⋅Fi=f−1i⋅χ(g∗fj)=f−1i⋅(g⋅χ(fj))=(f−1i∗g)⋅Fj=f−1j⋅Fj
无矛盾。故 χ(e)=f−1i⋅Fi 良定。
由上,我们就可以根据所需,选取合适的 E=χ(e)∈F ,从而导出一整套 f 到 F 的对应。例如基于 χ(id)=ID ,定义:
E(n)=χ(e)(n)=(id−1⋅ID)(n)=∏d∣n(xnd−1)dμ(d)
则容易验证 §2.—1. 中的 Φ=χ(φ)=φ⋅χ(e) , Σ=χ(σ)=σ⋅χ(e) 。
§4.推广
—1.作用
由于对群作用的证明中只使用了数论函数定义域为自然数这一性质,我们可以自然地做出推广。
【定义4.1】广义数论函数群
广义数论函数群 F 意味着集合(其中 R 为交换环,加、乘法幺元为 0,1 ):
F={f|f:N∗→R}
以及其上的运算 ∗ :
(f∗g)(n)=∑d∣nf(d)g(nd)=∑d∣nf(nd)g(d)
容易验证这是一个交换群。其单位元为 ef :
ef(n)={1n=10n≠1
【定义4.2】广义数论生成函数
称集合 F (其中 G 为交换群):
F={F|F:N∗→G}
为广义数论生成函数集。其中的元素 F∈F 称为广义数论多生成函数。
【定义4.3】模^定义4.3 出处
对于交换环 R (其运算为 + 和 ⋅ ,乘法幺元为 1R )和交换群 G (其运算为 × ),定义映射 a:R×M→M ,满足( r,r1,r2∈R;m,m1,m2∈M ):
a(r,m1×m2)=a(r,m1)×a(r,m2)a(r1,m)×a(r2,m)=a(r1+r2,m)a(r2,a(r1,m))=a(r2r1,m)a(1R,m)=m
则称 M 为 R-模。
【定义4.4】广义数论函数群在广义数论生成函数集上的作用:
对于一个广义数论函数群 F :
F={f|f:N∗→R}
和一个广义数论生成函数集 F :
F={F|F:N∗→M}
若 M 为 R-模(记 a(r,m) 为 mr ),定义 F 对 F 的作用映射 F×F→F (简记做 ⋅ )如下:
(f⋅F)(n)=∏d∣nF(d)f(nd)=∏d∣nF(nd)f(d)f∈F,F∈F
【定义4.4】的良定性可同 §2.—1. 证明。
—2.对应
如果我们定义 F 上的显然加法:
(f+g)(n)=f(n)+g(n)f,g∈F,n∈N∗
以及 F 上的显然交换乘法:
(F×G)(n)=F(n)×G(n)F,G∈F,n∈N∗
此时 F 称为交换环而 F 成为交换群,那么可以验证 F 是 F-模(模定义中的映射即为作用映射, f,g∈F;F,G∈F ):
f⋅(F×G)=(f⋅F)×(f⋅G)(f⋅F)×(g⋅F)=(f+g)⋅Fg⋅(f⋅F)=(g∗f)⋅Fef⋅F=F
验证这些仅需展开作用的定义式,并套用模的运算法则即可。
如果我们定义如下映射来表示这些对象间的关系:
N:X→(N∗→X)X∈SetMod:R→MR∈CRing,M∈R-Mod
那么就能得到下图( N 在此语境下是环同态和模同态):
RMod−−−−−−→M⏐⏐
⏐
⏐
⏐
⏐↓N(1)(2)(3)⏐⏐
⏐
⏐
⏐
⏐↓NFMod−−−−−−→F
这何尝不是又一种奇妙的对应呢。
§5.问题
- 此结构有何作用?是否有更多此结构的有意义的(非为了构造而构造的)实例?
- N:X→(N∗→X) 中的 N∗ 能否换成其他集合?换言之是 N∗ 的什么结构保证了群作用?
- 文末的交换图应用什么结构加以描述?
作者才疏学浅,对如上问题(以及可能存在的更多问题)尚无明确的认知和解答。望有志于此的同人能给出答案或建设性的观点。
Square−Circle:2021.10.15∼2021.12.12
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】凌霞软件回馈社区,博客园 & 1Panel & Halo 联合会员上线
【推荐】抖音旗下AI助手豆包,你的智能百科全书,全免费不限次数
【推荐】博客园社区专享云产品让利特惠,阿里云新客6.5折上折
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步
· 浏览器原生「磁吸」效果!Anchor Positioning 锚点定位神器解析
· 没有源码,如何修改代码逻辑?
· 一个奇形怪状的面试题:Bean中的CHM要不要加volatile?
· [.NET]调用本地 Deepseek 模型
· 一个费力不讨好的项目,让我损失了近一半的绩效!
· 微软正式发布.NET 10 Preview 1:开启下一代开发框架新篇章
· 没有源码,如何修改代码逻辑?
· PowerShell开发游戏 · 打蜜蜂
· 在鹅厂做java开发是什么体验
· WPF到Web的无缝过渡:英雄联盟客户端的OpenSilver迁移实战