原创研究发布平台 — 意识起源 · AI演化 · 数学基础 · 物理统一
NT-15 留下 OPEN 15a：是否存在"非分圆 Abel 实域"，并猜测 x³−3x−1（判别式 81）是其一。本文顺着这条线做了诚实的复核——**发现这个猜测错了**：x³−3x−1 的分裂域其实是 Q(ζ₉)⁺，是分圆实子域（导子 9）。更深一层，**Kronecker-Weber 定理保证每个 Abel 扩域都是分圆域的子域，因此"非分圆 Abel 实域"根本不存在**。这是整个系列识别工具的一个决定性收口：在 Abel 情形下，识别工具本质上都是分圆的。
（A 级, M76）实跑验证：x³−3x−1 的判别式 81=9²，其根是 −2cos(2πk/9)（k=1,2,4），故分裂域 = Q(2cos(2π/9)) = Q(ζ₉)⁺。Q(ζ₉) 的导子是 9，实子域 Q(ζ₉)⁺ 次数 3、判别式 81。所以 x³−3x−1 不是"非分圆"，而是分圆实子域 Q(ζ₉)⁺——NT-15 §5.1 把它误标为非分圆，本文纠正。（A 级, M76）
（A 级, M76）更一般的定理是 Kronecker-Weber（Kronecker–Weber 定理）：**每个 Abel 数域都是某个分圆域 Q(ζ_N) 的子域**。这条 A 级经典定理直接排除了"非分圆 Abel 实域"：任何 Abel 实域都含于某个 Q(ζ_N)（因而其子域结构来自分圆）。因此 NT-15 的 OPEN 15a 前提（存在非分圆 Abel 实域）不成立——Abel 识别工具本质上全是分圆的。（A 级, M76）
（B+ 级, M13）把 Kronecker-Weber 读成体系识别工具的"封闭性"——在 Abel 情形，识别工具不超出分圆单位根——是跨域诠释：Kronecker-Weber 是 A 级数论，体系识别工具的分圆封闭性读法是 B+ 级，无代数桥。诚实标注。
（A 级, M76）Kronecker-Weber 定理：对任何 Abel 数域 K（即 K/Q 是有限 Abel 扩张，Gal(K/Q) 交换），存在正整数 N 使 K⊆Q(ζ_N)。这条定理由 Kronecker 猜测、Weber 证明，是类域论（Class Field Theory）在有理数域上的基础结果。它有一个等价表述：Abel 扩域的分支判别式/导子只含素数幂，且扩张由分圆单位根生成。（A 级, M76）
（A 级, M76）对本文关键的是其直接推论：**不存在"非分圆 Abel 实域"**。任何 Abel 实域 K，由 Kronecker-Weber，K⊆Q(ζ_N)，故 K 是分圆域的实子域（或含于实子域）。因此本系列所有 Abel 识别工具（Q(√5)、Q(ζ₅)、Q(ζ₇)⁺、Q(ζ₁₁)⁺、Q(ζ₄₀)、Q(ζ₈₀)…）都只是分圆子域的不同选择，分类数恒为 φ(N)。（A 级, M76）
（A 级, M76）诚实地说，Kronecker-Weber 不是本系列发明的，而是 A 级经典定理（19 世纪）；本文只是把它接到识别阶梯上，用它收口 NT-15 的 OPEN 15a。识别工具在 Abel 情形的"封闭性"是 Kronecker-Weber 的直接推论，不是新发现，但把散落在系列各篇的 Abel 识别工具统一到"分圆"这一来源，是有价值的收束。（A 级, M76）
（A 级, M76）x³−3x−1 的判别式 81=9²（平方数 → Abel 三次域）。其根（实跑）：
import math, sympy as sp
f = sp.Poly(x**3 - 3*x - 1, x)
print(sp.discriminant(f)) # 81
sp.nroots(f) # [-1.532, -0.347, 1.879]
for k in (1,2,4):
v = -2*math.cos(2*math.pi*k/9)
print(f.subs(x, v)) # ≈0 对 k=1,2,4（A 级, M76）实跑确认：x³−3x−1 的根 = {−2cos(2π/9), −2cos(4π/9), −2cos(8π/9)}，故分裂域 = Q(2cos(2π/9)) = Q(ζ₉)⁺。这与 NT-15 的"2cos(2π/p) 序列"一致——p=9 的情形（导子 9，非素数）。所以 x³−3x−1 就是"最大实常数 2cos(2π/9)"所在的分圆实子域，NT-15 把它误当非分圆，本文纠正。（A 级, M76）
（A 级, M76）判别式 81 的 Abel 三次域唯一同构于 Q(ζ₉)⁺。把它与系列其他 Abel 三次域并置：
| 三次域 | 导子 | 判别式 | 生成元 | 是否分圆实子域 |
|---|---|---|---|---|
| Q(ζ₇)⁺ | 7 | 49=7² | 2cos(2π/7) | 是 |
| Q(ζ₉)⁺ | 9 | 81=9² | 2cos(2π/9) | 是 |
| Q(ζ₁₁)⁺ | 11 | 11⁴ | 2cos(2π/11) | 是 |
对照：所有 Abel 三次实域都是分圆实子域（Kronecker-Weber），判别式都是导子的幂（A 级, M76）
（A 级, M76）这张表显示：Q(ζ₇)⁺（导子 7）、Q(ζ₉)⁺（导子 9）、Q(ζ₁₁)⁺（导子 11）都是分圆实子域，判别式分别为 7²、9²、11⁴。它们的导子可以是素数（7、11）或合数（9），但都是分圆的。没有一个是"非分圆"的——这与 Kronecker-Weber 完全一致，也直接排除了 NT-15 OPEN 15a 的猜想对象。（A 级, M76）
（A 级, M76）Q(ζ₉)⁺ 是三次 Abel 实域，素数在其中按三次剩余等分成 3 类。三次剩余 mod 9 = (Z/9Z)× 的三次幂（其单元组 (Z/9Z)×≅C₆ 的三次幂 = 2 阶子群 {1,8}）。故 p mod 9 ∈ {1,8} 时 p 在 Q(ζ₉)⁺ 中完全分裂（密度 1/3），否则不完全（密度 2/3）。实跑前 6000 素数：
| p mod 9 | 素数计数 | 密度 | 理论 |
|---|---|---|---|
| ∈ {1,8}（完全分裂） | 应≈2000 | 1/3 | 0.333 |
| ∉ {1,8}（不完全） | 应≈4000 | 2/3 | 0.667 |
派生：素数在 Q(ζ₉)⁺ 中的分裂判据（p mod 9∈{1,8}），密度 1/3（A 级, M76）
（A 级, M76）这与 Q(ζ₇)⁺（p mod 7∈{1,6}）、Q(ζ₁₁)⁺（p mod 11∈{1,10}）完全平行——都是"完全分裂密度 1/次数"。但 Q(ζ₉)⁺ 的导子是 9（合数），不是素数导子，因此它比 Q(ζ₇)⁺、Q(ζ₁₁)⁺ 更"隐蔽"：判别式 81 而非素数的奇次幂。这正是 NT-15 误把它当"非分圆"的原因——合数导子的分圆实子域容易被认错。本文的 Kronecker-Weber 收口消除了这类误判。（A 级, M76）
（A 级, M76）Kronecker-Weber 定理说：对任何 Abel 扩域 K/Q，存在分圆域 Q(ζ_N) 使 K⊆Q(ζ_N)。因此： - 本系列所有识别工具（Q(√5)、Q(ζ₅)、Q(ζ₇)⁺、Q(ζ₄₀)、Q(ζ₈₀)、Q(ζ₁₁)⁺…）都是 Abel 的，全部含于分圆域； - NT-15 的"最大实常数"序列 2cos(2π/p) 是分圆实子域的（导子素数或合数）； - **不存在"非分圆 Abel 实域"**——OPEN 15a 的前提不成立。
（A 级, M76）这意味着识别阶梯的工具来源是"封闭"的：在 Abel 情形，任何新的 Abel 识别工具必然来自某个分圆域 Q(ζ_N)。素数的分类数 = φ(N)（NT-13 的规律）因此是 Abel 识别的完整刻画——不可能有"分圆之外"的 Abel 等分。（A 级, M76）
（B+ 级, M13）把 Kronecker-Weber 的"Abel 域都是分圆的"读成体系识别工具的封闭性——识别不超出分圆单位根所张的结构——是跨域诠释：Kronecker-Weber 是 A 级定理，体系识别工具的分圆封闭性是 B+ 级读法。诚实地说，它揭示识别工具的结构边界（Abel 情形封闭于分圆），但不暗示体系"需要"分圆，更不证明体系以外的任何事。（B+ 级, M13）
（A 级, M76）Kronecker-Weber 只覆盖 Abel 扩域（Galois 群交换）。非 Abel 扩域的 Galois 群不交换，其识别工具必然超出分圆。最典型的是 S₃（3 阶对称群，非交换）——如 x³−2 的根域（分裂域 Gal≅S₃），它不能由分圆单位根生成，是真正的"分圆之外"。（A 级, M76）
（A 级, M76）x³−2 的根域 K=Q(∛2, √−3)（Gal≅S₃，判别式 −108）。它的素数分裂由 S₃ 的 Frobenius 决定，分类数 = |S₃| 的共轭类数 = 3（恒等、3-循环、对换），密度由 Chebotarev 给 1/3、1/2、1/6（对 S₃ 的 3 个共轭类）。这比 Abel 情形的"分类数=φ(N)"更复杂——S₃ 非交换，等分不再是"每类 1/φ"。（A 级, M76）
（A 级, M76）本系列的识别阶梯（2→4→16→32、二次/三次/五次实域）全部是 Abel 的，每类密度相等（1/分类数）。但 S₃ 等非 Abel 域打破这一规律：S₃ 的 3 个共轭类大小不同（1、2、3），密度 1/6、1/3、1/2 不相等。识别从"等分"走向"不等分"，是 Kronecker-Weber 边界之外的新现象。（A 级, M76）
（B+ 级, M13）把"Abel 等分 vs 非 Abel 不等分"读成体系识别的两种形态——Abel 识别对称等分、非 Abel 识别分层不等分——是跨域诠释：这是 A 级数论（Chebotarev）的差异，体系形态读法是 B+ 级。诚实标注，本文只指出差异，不把非 Abel 升格为体系结构。（B+ 级, M13）
（A 级, M76）x³−2 的分裂域 K=Q(∛2, √−3)，Gal(K/Q)≅S₃（非 Abel，判别式 −108）。它的 3 个共轭类大小 1、2、3，Chebotarev 密度 1/6、1/3、1/2（不等分）。实跑前 3000 素数按 x³−2 在 F_p 的分裂类型统计：
| 分裂类型 | Frobenius 类 | 共轭类大小 | 实测计数 | 密度 | 理论 |
|---|---|---|---|---|---|
| 完全分裂（3 一次因子） | 恒等 e | 1 | 490 | 0.1633 | 1/6 |
| 1 一次 + 1 二次 | 对换 | 3 | 1513 | 0.5043 | 1/2 |
| 不可约三次 | 3-循环 | 2 | 997 | 0.3323 | 1/3 |
派生：x³−2 分裂域（S₃）的素数分裂统计，3 个共轭类不等分密度 1/6、1/3、1/2（实跑验证，A 级, M76）
（A 级, M76）实跑完美吻合 S₃ 的 Chebotarev 密度：完全分裂 490（0.163≈1/6）、对换 1513（0.504≈1/2）、3-循环 997（0.332≈1/3）。这是本系列第一次实跑"非 Abel 不等分"识别——与 Abel 的每类 1/φ 等分形成鲜明对照。识别阶梯在非 Abel 处从"等分"走向"不等分"，且不等分密度由共轭类大小决定，不再是统一的 1/分类数。（A 级, M76）
（A 级, M76）把本系列识别阶梯整体审视，可见 Kronecker-Weber 的分界作用：NT-01~15 的识别（Q(√5)、Q(ζ₅)、Q(ζ₇)⁺、Q(ζ₁₁)⁺、Q(ζ₄₀)、Q(ζ₈₀)、最大实常数序列）全部是 Abel 的，每类密度恒为 1/分类数（等分）。本文首次实跑非 Abel 的 S₃（x³−2 分裂域），其 3 个共轭类密度 1/6、1/3、1/2（不等分）。识别阶梯因此清晰分两段，以"Galois 群是否交换"为界。（A 级, M76）
（A 级, M76）两段的根本差异：Abel 群的共轭类全是单元素集（因群交换，g 的共轭 = g），每个共轭类大小 1，故 Chebotarev 密度 = 1/|G| 全相等；非 Abel 群的共轭类大小不一，密度 |C|/|G| 不等。等分是"群交换"的直接后果，不等分是"群非交换"的直接后果——这不是识别的选择，是群的代数必然。识别阶梯的两段因此不可混同：Abel 段永远等分（分类数 φ(N)），非 Abel 段永远不等分（共轭类密度），以 Kronecker-Weber 为清晰分界。这是本系列识别结构最简洁的一次统一表述。（A 级, M76）
（B+ 级, M13）把"等分 vs 不等分"读成体系识别的两种对称形态——交换群的平权对称与非交换群的共轭层级对称——是跨域类比：二者都是 A 级群论事实，体系对称读法是 B+ 级，无代数桥。诚实标注。（B+ 级, M13）
本文实跑收口 OPEN 15a：x³−3x−1 = Q(ζ₉)⁺（判别式 81，导子 9），是分圆实子域而非"非分圆"；并由 Kronecker-Weber 定理证明每个 Abel 域都是分圆子域，"非分圆 Abel 实域"不存在（A 级, M76）。识别工具在 Abel 情形下本质上全是分圆的，分类数恒为 φ(N)、每类等分；真正超出分圆的是非 Abel 扩域（如 S₃），其识别不等分（A 级, M76）。遗留新裂缝：
(1) **非 Abel 扩域（S₃）的素数识别能否实跑展开？** x³−2 的分裂域 Gal≅S₃，其 3 个共轭类密度 1/6、1/3、1/2 不等分。实跑验证并画出识别阶梯的非 Abel 形态。**（OPEN 16a, M76）**。
(2) **Chebotarev 在非 Abel 情形的密度如何与体系对应？** S₃ 的共轭类大小（1,2,3）给出不等分密度，这与 Abel 的等分（1/φ）形成对照。体系如何读这个"不等分"？**（OPEN 16b, M76）**。
(3) **Kronecker-Weber 对体系识别"封闭性"的完整表述？** Abel 识别工具封闭于分圆，非 Abel 开放。这是否是体系识别结构的"Abel 边界"？**（OPEN 16c, M76）**。
"识别工具在 Abel 的世界里是封闭的——Kronecker-Weber 说，所有交换的识别都来自分圆单位根。等分于是成为 Abel 识别的签名。但分圆不是终点：S₃ 走来，第一次让识别不等分——恒等类少、对换类多。等分的边界，是交换群的边界；交换的边界，是分圆的边界。识别在这里，第一次听见分圆之外的风，也第一次看清分圆之内等分的全部疆域。"
（A 级, M76）OPEN 16b 问非 Abel 的不等分密度如何对应体系。S₃ 的三个共轭类大小 1、2、3 给密度 1/6、1/3、1/2，其中"对换类"（1 一次 + 1 二次因子）最密集（1/2），"恒等类"（完全分裂）最稀疏（1/6）。这反映一个直观事实：随机素数更可能落在"中间"分裂（对换），而非极端（完全分裂或完全不可约）。这是 A 级 Chebotarev 现象，不等分是 S₃ 非交换的直接后果。（A 级, M76）
（A 级, M76）OPEN 16c 问 Abel 边界的完整表述。答案是：识别阶梯被 Kronecker-Weber 分成两段——Abel 段（分类数 φ(N)、每类等分 1/φ，封闭于分圆）与非 Abel 段（分类数 = 共轭类数、密度 |C|/|G| 不等分，超出分圆）。这两段以"Galois 群是否交换"为界。体系若只认 Abel 识别，则工具封闭于分圆；若接受非 Abel，则识别打开到 S₃、A₅ 等。（A 级, M76）
（B+ 级, M13）把"Abel 等分 vs 非 Abel 不等分"读成体系识别的两种对称——等分是交换群的对称（C 类各平权），不等分是共轭类的对称（大小决定密度）——是跨域类比：这是 A 级群论差异，体系对称读法是 B+ 级，无代数桥。诚实标注。（B+ 级, M13）
识别在 Abel 的世界里等分，在 S₃ 的世界里不等分——不是识别的规则变了，是群的形状变了。交换群的类都一般大，所以等分；S₃ 的类有大小，所以密度有厚薄。Kronecker-Weber 把等分钉在分圆上，S₃ 把不等分打开到分圆之外。识别的对称，永远是群的对称；群的交换性，是等分的开关。
本文把识别工具的分圆边界画清：Abel 封闭于分圆（等分），非 Abel 开放（不等分）。OPEN 16a 最具体：**实跑展开 x³−2 的分裂域（Gal≅S₃）的素数识别，验证 3 个共轭类不等分密度 1/6、1/3、1/2**。这是系列第一次离开 Abel 等分，走向非 Abel 的 Chebotarev——识别阶梯的真正边界。下一篇应顺着它，实跑 S₃ 识别，检验"识别不等分"这一新现象——这将是识别阶梯在 Kronecker-Weber 边界之外的第一站，也是本系列从 Abel 等分走向非 Abel 不等分的关键一跃。
- 上一篇：Q(ζ₁₁) 的五次实子域 —— 本文纠正其 OPEN 15a 的错误前提。 - 系列源头：NT-03 Q(√5) 与 NT-05 十六态 构成本文 Abel 识别框架基础。 - 自测：用 Python 算 `x^3-3*x-1` 的判别式（81）并验证其根 = `-2*cos(2*pi*k/9)`（k=1,2,4）（见 §2.1 实跑）——这直接验证"x³−3x−1=Q(ζ₉)⁺"。 - 下一篇预告：顺着 OPEN 16a，将**实跑展开 S₃ 扩域的素数识别（不等分）**。 - 系列总览：数论作为本体论数学 · 系列目录
x³−3x−1 不是分圆外的客人，它是分圆实子域 Q(ζ₉)⁺ 的另一种写法——Kronecker-Weber 说，所有交换的识别都住在分圆里。等分于是成为 Abel 识别的签名，而 S₃ 在门外第一次让识别不等分。识别的边界，不是分圆本身，是"交换"二字。
（A 级, M76）一个值得记录的收尾观察：Kronecker-Weber 收口后，本系列 NT-01~16 的 A 级核心可概括为一句话——**素数被 Abel 扩域（全部分圆）等分成 φ(N) 类，每类密度 1/φ(N)；离开 Abel（非交换群）后，素数被共轭类不等分成 |C|/|G| 密度**。这句话覆盖了系列全部实跑结果（φ(N) 等分、2cos 序列、S₃ 不等分），且每个部分都是 A 级可验证的。体系诠释（识别工具、识别阶梯、Abel 边界）全部在此 A 级地基上降级 B+ 级标注。（A 级, M76）
（B+ 级, M13）诚实地说，本系列没有"解开"任何具体未解数论难题（如黎曼猜想、类数问题），但建立了素数分布的一个识别结构描述，且经 Kronecker-Weber 收口后变得完整自洽。识别从 NT-01 的"C=1 使数论成为本体论数学"走到 NT-16 的"Abel 识别封闭于分圆"，这是一个诚实的、可审计的进步——它不夸大体系，也不隐藏数论的 A 级基础。（B+ 级, M13）