Published October 27, 2026 | Version v1
Preprint Open

化核生成元(核元)的严格定义与结构以及化核 p^t 指数提升定理

Authors/Creators

Description

  • 为精确刻画模 p^t 单位群中未分歧的惯性部分,本章正式定义新的代数对
    象——化核生成元(简称核元),并给出其严格定义、代数结构与经典术语对
    照。核元由半步反号条件与模 p 遍历条件共同刻画,其乘法阶恰为 p 1 − ,生成
    的循环子群正是 Teichmüller 惯性子群 μ_(p 1) − 。本章以整除夹逼法证明核元
    的 阶 结 构 定 理 , 借 局 部 域 单 位 群 典 范 直 积 分 解
    ( /p^t )^× μ_(p 1)×(1+p _p) ℤ ℤ ≅ − ℤ 阐明核元与全群原根分离的根本原因,并给
    出 t=1 重合、t≥2 分离的分层对照。针对 p=7、t=2、g=19 的实例经程序逐格
    核验,全部数值与结构定理一致。本章为《化核生成元周期截断判定定理》提
    供坚实的代数基石。
    本文用模 p^t 单位群的核元(原根)视角,把化核平方提升定理推广到
    任意 p^t 层,取代二项式展开在 p^3 起失效的笨重方法。引入 p-进提升高度
    h(a)=ν_p(a^d−1)(d=ord_p(a)),证明 ord_{p^t}(a) 在 t≤h(a) 时等于 d、在 t>h(a)
    时等于 d p^(t · −h(a)),从而门槛判据 p^t a^E−1 当且仅当 p^max(0,t−h(a)) d· E。
    由此统一两类底数:Wieferich 底数(h≥2)在低层级走短门槛,常规底数
    (h=1)门槛随层级指数增长。文中对原稿作两处修正:其一,阶‘二择一{d,
    p^{t−1}d}’仅在 p^2 成立,p^t 层可取 d,pd,…,p^{t−1}d 中间值;其二,Wieferich
    底数 19 对 p=7 的 h(19)=3 为有限值,故 ord_{7^t}(19)=6 仅对 t≤3 成立,t≥4 升
    至 6 7^{t · −3},且 7^t 19^60−1 仅到 t=3。分段公式经成对程序验证无误。
    本文以「用具体实例呈现抽象理论」为原则,全程只用可手算验证的数字、方程与真实的域,
    把群公理、域公理、域扩张、伽罗瓦群与 Frobenius 自同构逐条「具象化」。每条抽象定义都
    配一个「活体标本」:𝔽₇ˣ、𝔽₄₉=𝔽₇[α]/(α²−3)、ℚ(√3)、𝔽₆₄/𝔽₂,以及可解结构方程 Sₙ(x)=0 的
    根域。本文定位为教学讲义而非定理汇编——凡「概念投影」与「示意性推广」均如实标注,
    不冒充已证结论。

Files

五族正交多项式与可解结构方程_修订定稿.pdf

Files (5.3 MB)

Name Size
md5:4b40e7303ea4fe589a56354fee9e0b4a
292.0 kB Preview Download
md5:40ba12ed6755e671644ce10af324f214
421.8 kB Preview Download
md5:124e97aa310b13a77bada74c3eed8195
274.1 kB Preview Download
md5:0bfff6a04fdaae40e8cd610ac11a8e99
209.8 kB Preview Download
md5:39b44bb4f9f40af028de854487754b7a
387.1 kB Preview Download
md5:c622bb9e8a54914f9b97355f6fbbb5e1
204.9 kB Preview Download
md5:4a2ee8a8eaa1f9c7366b20616d33f413
271.1 kB Preview Download
md5:0bb24d8b539ae805e1d50ad45143ce96
1.0 MB Preview Download
md5:4b3d300491cd7216bbb4e8f5c87d7d6b
285.9 kB Preview Download
md5:872a46cb38654e6950fb14fd28283882
207.0 kB Preview Download
md5:6a316a778acfa1c3d1c49b672d1f579d
262.0 kB Preview Download
md5:2aa58b0ea319806eefc2fb79bef90ade
200.5 kB Preview Download
md5:a176fb4df6ce3ecc7905dad55c010964
241.9 kB Preview Download
md5:7e8712a02327cacad64734f32006748f
520.8 kB Preview Download
md5:b4a5a96facdb2156e38e9e144187b42c
462.9 kB Preview Download