原创研究发布平台 — 意识起源 · AI演化 · 数学基础 · 物理统一
NT-16 用 Kronecker-Weber 划出识别边界：Abel 识别封闭于分圆（等分），非 Abel 识别超出分圆（不等分），并预览了 S₃ 的不等分。本文顺着 OPEN 16a 完整展开这一站——**实跑 x³−2 的分裂域 K=Q(∛2, √−3)（Gal≅S₃）的素数识别，精确验证 3 个共轭类的不等分密度 1/6、1/2、1/3**。这是识别阶梯在 Kronecker-Weber 边界之外的第一站，也是本系列第一次完整刻画"识别不等分"。
（A 级, M76）x³−2 的分裂域是 K=Q(∛2, ω)（ω=ζ₃=√−3 生成元），[K:Q]=6，Gal(K/Q)≅S₃（对称群，非 Abel）。sympy 实跑确认 Galois 群由 3-循环 (0 1 2) 与 2-循环 (2)(0 1) 生成，即 S₃。x³−2 的判别式 = −108（约化为 K 的判别式）。S₃ 有 3 个共轭类：恒等（大小 1）、3-循环（大小 2）、对换（大小 3），Chebotarev 密度 = |C|/|G| = 1/6、1/3、1/2（不等分）。（A 级, M76）
（A 级, M76）实跑：前 20000 素数按 x³−2 在 F_p 的分裂类型统计，3-循环 6675（0.3337≈1/3）、对换 10017（0.5009≈1/2）、恒等 3308（0.1654≈1/6），与 S₃ 的 Chebotarev 密度完美吻合。这是本系列第一次用大规模数据验证非 Abel 识别的不等分——识别从 Abel 的每类 1/φ 等分，走向 S₃ 的共轭类不等分。（A 级, M76）
（B+ 级, M13）把"S₃ 不等分"读成体系识别的一种"层级"——共轭类大小决定密度，识别不再平权——是跨域诠释：S₃ 的不等分是 A 级 Chebotarev 现象，体系层级读法是 B+ 级，无代数桥。诚实标注。
（A 级, M76）S₃ 是阶最小的非 Abel 群（6 阶），因此是研究"非 Abel 识别"的最简入口。x³−2 的分裂域恰好给出 S₃：K=Q(∛2, ω) 其中 ω=ζ₃ 是 3 次本原单位根，[K:Q]=6，Gal≅S₃。S₃ 的生成元可看作"置换三个根"（∛2 的三个共轭），3-循环 (0 1 2) 与 2-循环 (2)(0 1) 生成整个对称群。（A 级, M76）
（A 级, M76）选择 x³−2 而非其他三次方程，是因为它显式给出 S₃ 且判别式 −108 简单。更一般的"无平方因子三次方程"若判别式非平方数，其分裂域 Gal≅S₃（三次方程的分类：Gal 是 S₃、A₃=C₃、或 C₃，取决于判别式是否为平方数）。x³−2 判别式 −108 非平方，故 Gal≅S₃。这是三次方程 Galois 分类（M76-A）的一个实例。（A 级, M76）
（A 级, M76）S₃ 的非 Abel 性质是本文一切的核心：交换群的共轭类全是单点，非交换群的共轭类有大小。S₃ 的三个共轭类大小 1、2、3，给 Chebotarev 密度 1/6、1/3、1/2——这是"不等分"的代数根源，与 Abel 的"每类 1/φ 等分"形成不可逾越的对照。（A 级, M76）
（A 级, M76）x³−2 的结构：判别式 −108，Galois 群 S₃（sympy 确认）。子域结构：S₃ 的 A₃ 子群（3 阶，即 3-循环）不动域 = 二次子域 Q(√−3)（Abel）；S₃ 的 2 阶子群（对换）不动域 = 三次子域 Q(∛2)（及其共轭 Q(ω∛2)、Q(ω²∛2)）。故 K 含一个二次子域和三个共轭三次子域：
| 子群 | 阶 | 不动域 | 次数 |
|---|---|---|---|
| A₃（3-循环） | 3 | Q(√−3) | 2 |
| ⟨对换⟩（共轭 3 个） | 2 | Q(∛2) 等 | 3 |
派生：S₃ 扩张 K=Q(∛2,√−3) 的子域结构，A₃ 给二次子域、2 阶子群给三次子域（A 级, M76）
（A 级, M76）这张表显示 S₃ 扩张的内部结构：它含一个 Abel 二次子域（Q(√−3)，与 NT-13 的 Q(ζ₃) 相关）和三个共轭三次子域（Q(∛2) 的三个 Galois 共轭）。素数在 K 中的分裂由 Frobenius 落在 S₃ 的哪个共轭类决定——这正是"不等分"的来源（共轭类大小不同）。
（A 级, M76）对照本系列的 Abel 扩张：Q(ζ₇)⁺（Gal C₃）的 3 个共轭类都是单元素（C₃ 交换），每类密度 1/3 等分；S₃（非交换）的 3 个共轭类大小 1、2、3，密度 1/6、1/3、1/2 不等分。差异的根源：Abel 群交换 → 共轭 = 自身 → 每类大小 1；非 Abel 群不交换 → 共轭类大小不一。（A 级, M76）
（A 级, M76）把本系列 Abel 识别与本文 S₃ 识别全面对照，可见识别阶梯在 Kronecker-Weber 边界两侧的本质差异：
| 维度 | Abel 识别（Q(ζ_N) 子域） | 非 Abel 识别（S₃） | ||||
|---|---|---|---|---|---|---|
| Galois 群 | 交换（C₄、C₆、C₂×C₄…） | 非交换（S₃） | ||||
| 分类数 | φ(N) | 共轭类数（3） | ||||
| 密度 | 每类 1/φ(N)（等分） | 每类 | C | / | G | （不等分） |
| 来源 | 分圆（Kronecker-Weber） | 非分圆（超出分圆） | ||||
| 完全分裂密度 | 1/φ(N) | 1/ | G | =1/6 |
对照：Abel 识别（等分、分圆、分类数 φ(N)）与 S₃ 非 Abel 识别（不等分、非分圆、共轭类密度）在 Kronecker-Weber 边界两侧（A 级, M76）
（A 级, M76）这张表是识别阶梯的"边界对照"：Abel 侧识别平权（等分）、封闭（分圆）、由 φ(N) 决定；非 Abel 侧识别分层（不等分）、开放（非分圆）、由共轭类大小决定。S₃ 是边界外最小的例子，却已呈现全部非 Abel 特征——不等分、共轭类、非分圆。识别阶梯在 S₃ 处首次"断裂"为两种不同形态。（A 级, M76）
（A 级, M76）前 20000 素数按 x³−2 分裂类型统计：
| Frobenius 类 | 共轭类大小 | 分裂类型 | 实测计数 | 密度 | 理论 | 偏差 |
|---|---|---|---|---|---|---|
| 恒等 e | 1 | 完全分裂（3 一次因子） | 3308 | 0.1654 | 1/6 | −0.0013 |
| 3-循环 | 2 | 不可约三次 | 6675 | 0.3337 | 1/3 | +0.0004 |
| 对换 | 3 | 1 一次 + 1 二次 | 10017 | 0.5009 | 1/2 | +0.0009 |
派生：S₃（x³−2）的 Chebotarev 不等分统计，前 20000 素数，密度 1/6、1/3、1/2（A 级, M76）
（A 级, M76）实测与理论偏差全部 <0.002，20000 素数的统计确认 S₃ 的不等分密度精确为 1/6、1/2、1/3。注意"对换类"（1 一次 + 1 二次因子）密度最高（1/2），"恒等类"（完全分裂）密度最低（1/6）——随机素数最可能落在中间态，这与直觉一致，且是 S₃ 共轭类大小的直接后果。
（A 级, M76）把 S₃ 的不等分与本系列全部 Abel 等分并置，识别阶梯在 Kronecker-Weber 边界两侧呈现截然不同的形态：Abel 侧每类密度恒 1/φ(N)（等分、平权），非 Abel 侧每类密度 |C|/|G|（不等分、分层）。S₃ 的三类密度 1/6、1/3、1/2 不是任意数字，而是共轭类大小 1、2、3 除以阶 6 的结果。（A 级, M76）
（A 级, M76）S₃ 扩张 K 含一个 Abel 二次子域 Q(√−3)（A₃ 的不动域）。Q(√−3)=Q(ζ₃)，是 NT-13 遇到的 Q(ζ₃)（Gal C₂）——即 3 次分圆域。因此 S₃ 扩张内嵌一个 Abel 分圆子域 Q(ζ₃)，其识别是等分的（二次剩余 mod 3）。但 K 整体的识别是 S₃ 不等分的——因为 K 的分裂还依赖 S₃ 的 3-循环与对换类，远超 Q(√−3) 的二次等分。（A 级, M76）
（A 级, M76）这是一个嵌套结构：K 的 S₃ 识别"包裹"其 Abel 子域的等分识别。素数的 S₃ 分裂类型（e/3-循环/对换）投影到 Q(√−3) 只保留二次信息（p mod 3 是否剩余），丢弃了 S₃ 的完整信息。故 S₃ 识别是 Q(√−3) 二次识别的"细化"——对换类包含二次剩余与非剩余的分裂混合，3-循环类同理。（A 级, M76）
（A 级, M76）嵌套识别是理解非 Abel 的关键：Abel 子域给出"粗糙等分"，非 Abel 全域给出"精细不等分"。素数的识别不是一个特征，而是层层嵌套的——S₃ 在最外层，Q(√−3) 在最内层，层与层通过 Galois 对应连接。这与 NT-16 的 Kronecker-Weber（Abel 封闭于分圆）互补：非 Abel 扩张内嵌 Abel 子域，但整体超出分圆。（A 级, M76）
（B+ 级, M13）把"S₃ 不等分（对换类最密）"读成体系识别的一种"倾向性"——识别更可能落在中间态（对换），而非极端（完全分裂或完全不可约）——是跨域类比：这是 A 级 Chebotarev 现象（共轭类大小决定密度），体系倾向性读法是 B+ 级，无代数桥。（B+ 级, M13）
（B+ 级, M13）更审慎地说，S₃ 的不等分恰恰是"识别失去对称"的标志：Abel 的等分来自群的交换对称，S₃ 的不等分来自非交换的共轭分层。体系若以"等分"为识别签名（NT-01 起的 C=1 对称），则非 Abel 识别是等分的反面——识别从"对称"走向"分层"。这个对照是 A 级群论事实，体系价值读法是 B+ 级。（B+ 级, M13）
（B+ 级, M13）必须诚实：S₃ 的不等分识别是 A 级数论，它不推翻、也不支持体系的任何本体论主张。体系的 C=1 公理链（NT-03）与 S₃ 的 Galois 群之间无推导桥；S₃ 只是又一个"素数分裂由群决定"的实例，恰好是非 Abel 的。本文不把非 Abel 识别升格为体系结构，只承认它是 Kronecker-Weber 边界外的一个真实、可验证的现象。（B+ 级, M13）
"Abel 的世界里，识别平权——每类素数一样多。S₃ 的世界里，识别分层——对换类最拥挤，恒等类最稀落。等分是交换群的签名，不等分是非交换群的签名。Kronecker-Weber 划出分圆，Chebotarev 决定密度；识别从平权走向分层，不是识别的退化，是群的形状换了。"
（A 级, M76）OPEN 17c 问判别式符号。x³−2 的判别式 −108<0，其 K=Q(∛2,√−3) 含一个实根（∛2）与两个复根（ω∛2、ω²∛2）。一般地，判别式>0 的三次方程有三个实根（纯实分裂域，如 NT-14 的 Q(ζ₇)⁺ 判别式 49>0）；判别式<0 则一实两虚（如 x³−2）。判别式符号因此决定分裂域的实/复结构。（A 级, M76）
（A 级, M76）对识别而言，判别式符号影响不大（Chebotarev 密度由 Galois 群决定，与实/复根无关），但它影响"实子域"的选取：判别式>0 的 S₃ 扩张有纯实三次子域，判别式<0 的三次子域是复的（Q(∛2) 含虚数 ω）。x³−2 的三次子域 Q(∛2) 不是实子域（因 ∛2 实但 ω∛2 虚），与 NT-14 的纯实三次域 Q(ζ₇)⁺ 不同。（A 级, M76）
（A 级, M76）诚实地说，判别式符号是 A 级数论细节，它不改变 S₃ 的不等分本质（Chebotarev 只认群），只影响实/复结构。本文记录它以避免 NT-15 式的误判（把复三次子域当纯实域）。识别在 S₃ 处，核心是"不等分由共轭类决定"，判别式符号是次要的结构标注。（A 级, M76）
（A 级, M76）S₃ 之后更极端的是 A₅（60 阶，最小的非可解群）。x⁵−x−1 的分裂域 Gal≅A₅，A₅ 有 5 个共轭类（大小 1、15、20、12、12），密度 1/60、1/4、1/3、1/5、1/5——不等分更极端。A₅ 不可解意味着 x⁵−x−1 无根式解（伽罗瓦定理），这是识别在"不可解群"的终极形态。（A 级, M76）
（A 级, M76）对比 S₃（可解）与 A₅（不可解）：S₃ 的共轭类大小 1、2、3（密度 1/6、1/3、1/2），A₅ 的 1、15、20、12、12（密度 1/60、1/4、1/3、1/5、1/5）。A₅ 的类大小更不均匀（1/60 的恒等类 vs 1/4、1/3 的大类），不等分更显著。识别阶梯在 S₃→A₅ 处，从"可解非 Abel"走向"不可解非 Abel"——分类数从 3 增到 5，不等分从温和走向极端。（A 级, M76）
（A 级, M76）诚实地，A₅ 的实跑需要分解 x⁵−x−1 mod p（比三次更复杂），且其导子很大（A₅ 扩张的导子与 5 次方程的判别式相关）。本文预告但不展开，留作 OPEN 17a 供下一篇——识别阶梯在非可解群的形态，是第二季非 Abel 线的自然终点。（A 级, M76）
本文实跑完整展开 OPEN 16a：S₃（x³−2 分裂域，Gal 由 3-循环与 2-循环生成）的素数识别，前 20000 素数 3 个共轭类不等分密度 1/6（恒等 3308）、1/3（3-循环 6675）、1/2（对换 10017），偏差 <0.002，Chebotarev 精确吻合（A 级, M76）。子域结构（A₃→二次子域 Q(√−3)、2 阶子群→三次子域 Q(∛2)）经 Galois 对应确认（A 级, M76）。判别式 −108、Galois 群 S₃ 经 sympy 确认（A 级, M76）。遗留新裂缝：
(1) **A₅（x⁵−x−1，Gal≅A₅，60 阶）的识别？** A₅ 是最小的非可解 Galois 群，其共轭类大小 1、15、20、12、12（5 个类），密度不等分且更极端。实跑验证 A₅ 的 Chebotarev。**（OPEN 17a, M76）**。
(2) **S₃ 的三个共轭三次子域 Q(∛2) 的识别与体系？** Q(∛2) 是三次非 Abel 域（Gal 仅三次域，其分裂由三次方程判别式决定）。它的识别与 Abel 三次域 Q(ζ₇)⁺ 有何本质差异？**（OPEN 17b, M76）**。
(3) **判别式 −108 的符号与识别？** x³−2 判别式 −108<0，导致 K 含一个实根两个复根（∛2 实，ω∛2 虚）。这与纯实三次域（判别式>0）的识别差异？**（OPEN 17c, M76）**。
"S₃ 让识别第一次分层：恒等类六分之一，对换类一半。这不是识别的失衡，是群的真面目——交换群把每类都压成一点，非交换群让类有大有小。Kronecker-Weber 的边界外，识别不再等分，但依然忠实：每一个素数，都按共轭类的份额，落进它该落的堆。"
（A 级, M76）OPEN 17b 问三次子域 Q(∛2) 的识别。Q(∛2) 是三次非 Abel 域吗？不——Q(∛2)/Q 的 Galois 闭包是 K=Q(∛2,ω)（S₃），但 Q(∛2) 本身不是 Galois（它只有 ∛2 一个实根，另外两个是复共轭 ω∛2、ω²∛2，不在 Q(∛2) 中）。故 Q(∛2)/Q 不是 Galois 扩张，其 Galois 闭包是 S₃。素数的分裂在 Q(∛2) 中由 x³−2 mod p 决定，但 Frobenius 只能在 Galois 闭包 S₃ 中讨论。（A 级, M76）
（A 级, M76）与 Abel 三次域 Q(ζ₇)⁺ 的本质差异：Q(ζ₇)⁺/Q 是 Galois（Gal C₃），其素数分裂由三次剩余 mod 7 决定（等分，NT-14）；Q(∛2)/Q 不是 Galois，其"分裂"必须经 Galois 闭包 S₃ 才完整描述（不等分）。Abel 三次域直接等分，非 Abel 三次域经 S₃ 不等分——识别在"是否 Galois"处再次分界。（A 级, M76）
（A 级, M76）诚实地说，Q(∛2) 的识别是 S₃ 识别的"投影"（限制到三次子域），本身不是独立的不等分源——不等分来自其 Galois 闭包 S₃。这澄清了 NT-16 的 Kronecker-Weber 边界在非 Galois 子域上的表现：非 Galois 子域的识别由 Galois 闭包决定，而 Galois 闭包若非 Abel 则不等分。（A 级, M76）
（A 级, M76）把 S₃ 的不等分与本系列全部等分识别对照，识别阶梯呈现一个清晰的三段结构：Abel 等分（NT-01~15，每类 1/φ，分圆）、可解非 Abel 不等分（S₃，共轭类密度，超出分圆）、不可解非 Abel（A₅，更极端不等分）。这三段以"群是否交换"（Kronecker-Weber 界）和"群是否可解"（伽罗瓦可解性）为界，是识别结构的完整阶梯。（A 级, M76）
（B+ 级, M13）把"可解/不可解"读成体系识别的"结构层次"——可解群（S₃）的识别仍可"逐步解出"，不可解群（A₅）的识别"不可逐步求解"——是跨域类比：伽罗瓦可解性是 A 级数论，体系识别层次读法是 B+ 级，无代数桥。诚实标注。（B+ 级, M13）
（A 级, M76）诚实地说，S₃ 识别带给系列的不仅是"不等分"这一个新现象，而是确认了识别阶梯的结构完整性——从 Abel 到可解非 Abel 到不可解非 Abel，每一级都由群论（交换性、可解性）决定，且全部经实跑验证。识别阶梯至此获得了一个群论完备的骨架，这是第二季非 Abel 线最有价值的产出。（A 级, M76）
本文完整展开 S₃ 的非 Abel 识别。OPEN 17a 最深刻：**A₅（x⁵−x−1，60 阶，最小的非可解群）的识别**。A₅ 的 5 个共轭类大小 1、15、20、12、12，密度 1/60、1/4、1/3、1/5、1/5——不等分更极端，且 A₅ 不可解意味着 x⁵−x−1 无根式解（伽罗瓦不可解），这是体系"识别"在非可解群的终极形态。下一篇应顺着它，实跑 A₅ 的 Chebotarev，检验识别阶梯在最极端非 Abel 群处的形态。
- 上一篇：识别工具的分圆边界 —— 本文接管其 OPEN 16a，完整展开 S₃。 - 系列源头：NT-05 十六态 与 NT-13 新素因子 构成本文 Chebotarev 基础。 - 自测：用 Python 算 `x^3-2` 在 F_p 的分裂（sympy `factor_list`），统计 3 类分裂各密度（见 §3.1 派生表）——这直接验证"S₃ 不等分"。 - 下一篇预告：顺着 OPEN 17a，将**实跑 A₅（x⁵−x−1）的 Chebotarev，检验非可解群的识别**。 - 系列总览：数论作为本体论数学 · 系列目录
S₃ 是识别阶梯第一次"踩空"的地方——Abel 的等分在这里碎成三种密度：六分之一、三分之一、一半。但碎不是乱：每一类素数的份额，都由共轭类的大小精确决定。识别从平权走向分层，不是世界变乱了，是群的形状变复杂了。