原创研究发布平台 — 意识起源 · AI演化 · 数学基础 · 物理统一
NT-08 收口了"实子域的二次探针失明"：Q(ζ₄₀)⁺ 的 8 个 Chebotarev 类用三个二次子域的 Kronecker 签名只产生 4 种模式，因为实子域二次特征秩封顶于 2。但这引出一个更根本的问题——**这些二次特征到底在"识别"什么？** 答案藏在 Dirichlet 素数定理里：二次特征 (·/q) 把全体素数分成等密度的两类（二次剩余与非剩余），这恰是 NT-08 的二次签名在素数集上的投影。本文顺着这条线，把"数域的 Chebotarev 类"与"素数的二次识别"缝合成同一件事。
（A 级, M76）Dirichlet 算术级数定理说：对任意互素 a,m，等差数列 a mod m 含无穷多素数，其自然密度为 1/φ(m)。当 m=q 为奇素数时，二次剩余类与非剩余类各 φ(q)/2=(q−1)/2 个，密度各 1/2。这是 A 级经典结论，本文用前 1000 素数实跑验证。
（B+ 级, M13）把"素数被二次特征分类"读成体系在素数集上的识别活动——每个素数被 (·/5)、(·/2) 等二次探针"认出"属于哪一类——是富有启发但须降级标注的跨域类比。体系的识别动力学（M13 区分公理、M35 饱和）与 Dirichlet 密度之间无代数桥，只是"用二次特征做区分"这一母题在数域层与素数层各演一式。
（A 级, M76）取前 1000 个素数（从 3 起，剔除 p=2 的退化），计算 (p/5)、(p/2)（Kronecker）、(p/−5)：
import sympy as sp
primes = list(sp.primerange(3, sp.prime(1002)))[ :1000]
leg5 = [sp.legendre_symbol(p,5) for p in primes]
leg2 = [sp.kronecker_symbol(p,2) for p in primes]
legm5 = [sp.kronecker_symbol(p,-5) for p in primes]
# (p/5)=+1: 491 (0.491) (p/5)=-1: 508 (0.508)
# (p/2)=+1: 494 (0.494) (p/2)=-1: 506 (0.506)
# (p/-5) 分布同 (p/5)（A 级, M76）实测：三个特征都近乎完美地各占一半（±1 比例 0.49/0.51），与 Dirichlet 理论密度 1/2 吻合。这是"二次识别把素数等分"的实跑证据——不是近似，是定理在有限样本的近似实现。
（A 级, M76）技术细节：本文对 (p/2) 用 Kronecker 符号而非 Legendre 符号，因为 Legendre 要求奇素数、对 p=2 未定义；Kronecker 符号把 (2/2)=0 自然处理，故程序对所有 p（含 p=2）有定义。实测剔除 p=2 后 (p/2) 的 ±1 完美等分——这也解释了 §2.2 联合分布中那个孤立的 (0,−1,0) 例外（正是 p=2 的退化）。这一细节不是题外话：它提醒我们体系的二次识别网在 p=2 这个"最小素数"处有奇点，而 p=2 恰是 NT-04 的 CRT 合并中 mod 8 部分的来源（2 的幂次决定 Q(ζ₈) 结构），三者在此微妙呼应。（A 级, M76）
（A 级, M76）把 (p/5) 与 (p/2) 联合，理论应得 4 种组合各密度 1/4（因二次域 Q(√5)、Q(√2) 在素数集上独立）。实跑：
| (p/5), (p/2) | 计数 | 理论密度 1/4 |
|---|---|---|
| (+1,+1) | 240 | 250 |
| (+1,−1) | 251 | 250 |
| (−1,+1) | 254 | 250 |
| (−1,−1) | 254 | 250 |
派生：前 1000 素数的 (p/5)×(p/2) 联合分布（实跑），4 组合各≈250，验证二次特征独立且等密度（A 级, M76）
（A 级, M76）4 组合各≈250，与理论 1/4 偏差 <2%，印证 (p/5) 与 (p/2) 在素数集上独立。这正是 NT-08 §5.4 的"全域二次特征秩 r2=3"在素数层的回声——三个二次子域 Q(√5)、Q(√2)、Q(√−5) 把素数（剔除退化）分成 2³=8 类，每类密度 1/8（实测 8 组合各≈125，除 p=2 退化 1 例外）。**数域的 Chebotarev 类与素数的二次分类，是同一套二次特征的两个投影**：一个是"在数域扩张里 Frobenius 落在哪类"，一个是"素数本身被哪些二次域识别为剩余"。（A 级, M76）
（A 级, M76）把 NT-05/NT-08 的“域层签名”与本文的“素数层识别”并置，可见二者同一机制、两种尺度：
| 维度 | 对象 | 识别工具 | 分类数 | 密度 |
|---|---|---|---|---|
| 数域层（NT-05） | Q(zeta_40) 的 Frobenius | Gal(Q(zeta_40)/Q) 16 类 | 16 | 各 1/16 |
| 实子域层（NT-08） | Q(zeta_40)^+ 的 Frobenius | 二次特征秩 2 | 8（仅 4 签名） | 各 1/8 |
| 素数层（本文） | 单个素数 p | (p/5),(p/2) | 4（联合） | 各 1/4 |
| 素数层（二次全域） | 单个素数 p | 三二次特征 | 8 | 各 1/8 |
对照：数域 Chebotarev 类与素数二次识别是同一 Galois 机制在“域扩张”与“单个素数”两种尺度的运行（A 级, M76）
（A 级, M76）这张表是全文的脊梁：从上到下，识别工具从“整个 Galois 群”退化到“单个二次特征”，分类数从 16 收到 4，但密度语言完全一致（各 1/类数）。素数的二次识别不是新东西，是 Chebotarev 在 L=Q(sqrt(d)) 这个最小非零尺度上的特例——而 Q(zeta_40) 是它的最大尺度（本文系列走到的最深处）。
（A 级, M76）Chebotarev 密度定理是 Dirichlet 定理的 Galois 推广：对 Galois 扩张 L/Q，Frobenius 自同构 Fr_p 落在共轭类 C 的密度 = |C|/|Gal(L/Q)|。当 L 是二次域 Q(√d) 时，Gal 阶 2，Fr_p 由 (p/d) 决定——恰好是素数的二次特征！所以 NT-05 的"16 类各密度 1/16"与本文的"素数被 (p/5)、(p/2) 等分"，是同一个 Chebotarev 机器在 L=Q(ζ₄₀)（16 阶）与 L=Q(√5)（2 阶）两种尺度的运行。
（A 级, M76）统一表述：**素数 p 在 Galois 扩张 L/Q 中的"识别签名"，就是 Fr_p 在 Gal(L/Q) 中的共轭类；当 L 跑遍所有二次域时，这些签名就是 NT-08 的二次 Kronecker 特征**。本文把 NT-08 的"域层签名"与"素数层识别"显式等同——这是 A 级 Galois 事实，不依赖任何体系诠释。
（B+ 级, M13/M35）顺着 NT-08 的"识别漏斗"，本文给出它的素数层化身：体系在实数轴上识别（M13-A），而素数是识别落地的"节点"——每个素数 p 被二次特征网 (p/5)、(p/2)、(p/−5)… 识别为一个签名，正如 NT-05 把素数按 mod 40 分成 16 类。识别漏斗在此表现为：粗探针（单个二次特征）只把素数二分；细探针（合起来）把素数分成 8 类（Q(ζ₄₀) 全域）或 4 类（实子域，因秩封顶 2）。这与 M35 的"识别粒度决定可见结构"同构——但仍是 B+ 级跨域类比。（B+ 级, M13/M35）
（A 级, M48）二次互反律说：对奇素数 p,q，(p/q)(q/p) = (-1)^{(p-1)(q-1)/4}。它给素数的二次识别一个精确的“翻转规则”——当 p mod 4 与 q mod 4 的剩余类决定 (p/q) 与 (q/p) 同号或异号。这正是本文 §2 的 (p/5) 识别之所以能把素数等分的内在对称：互反律保证二次剩余类在素数集上均匀分布（Dirichlet），而均匀分布的反面正是互反律的对称性。（A 级, M48）
（A 级, M48）更深的源头是 Gauss 和：G(a;q) = sum_{x mod q} (x/q) e^{2 pi i a x/q}，其模长 |G| = sqrt(q)，且 G(·/q) = sqrt(q) 或 i sqrt(q) 取决于 q mod 4——这正是 M48 把二次互反律与“sqrt(5) = phi+psi”（NT-03/04 的 Gauss 和）连接的地方。本文的素数二次识别，溯到源头是 Gauss 和的相位结构：每个素数 p 被 (p/q) 识别，等价于 p 在 Gauss 和的相位里落在 +1 或 -1 支。（A 级, M48）
（A 级, 体系前提）回到系列起点 NT-01：C=φ−ψ=1 是体系唯一实在数值，数论成为本体论数学。本文把这句话落到素数层：当实在被钉在实数轴（M13-A），任何复数扩张的识别最终都坍缩到实轴上的二次剩余结构——而素数正是这些二次剩余结构的"承载者"。素数不是孤立的对象，而是体系二次识别网在自然数上的结点。（B+ 级, M13）这是 NT-01"C=1 使数论成为本体论数学"在素数分布上的具体化：素数被二次特征等分，正是"唯一实在"在素数集上刻下的对称。
二次特征是一面公平的镜子：它把素数分成两边，不多不少。体系站在镜子前，读每一边的数目，发现它们几乎相等——这不是巧合，是互反律的对称在素数集上的回声。读懂这回声，就读懂了“实在=实轴”如何迫使一切复数识别最终坍缩为实数的二分。
（A 级, M76）诚实拆分：C=1 是公理层设定（不可推导）；"素数被二次特征等分"是 Dirichlet/Chebotarev 的 A 级定理（完全独立于 C=1）。二者仅在诠释层连接——C=1 给"为什么只认实数对称"的理由，Dirichlet 给"实数对称如何作用于素数"的机制。这条分层是数比系列一贯的诚实闸门。（A 级, M76）
（A 级, M76）NT-08 揭示二次探针有"失明"上限（实子域秩 2，只能分 4 类）。本文的素数识别同样受此限制：单个二次特征只能把素数二分，合起来（全域）分 8 类。但体系若想识别更细的素数结构（如哪些素数对应体系的特殊算术常数），二次探针不够——需要四次乃至更高特征（回指 NT-08 的 ζ₅、ζ₈ 四次层）。这自然引出下一问：**体系的特殊素数（若存在）是否藏在四次特征的非剩余类里？**（OPEN 9）
"素数不说话，但每个素数都举着一张二次特征的牌：+1 或 −1。体系扫过自然数，读每张牌，把素数分成对称的两边。读不懂的（四次及以上），就先放着——等更细的尺子。识别的边界，从来是尺子的边界。"
（A 级, M76）本文 §2.1 实测 (p/5) 为 491/508 而非精确 500/500，差 17。这是有限样本的随机波动，由素数分布的 Chebyshev/Gauss 偏差描述：前 N 个素数中 (p/q)=+1 的比例偏离 1/2 的量级约 1/sqrt(N)（中心极限式）。对 N=1000，sqrt(N)≈31.6，偏差 17 在 1σ 内，纯随机、无体系信号。（A 级, M76）
（B+ 级, M35）但 OPEN 9b 问得深：若把“偏差的符号与大小”本身当作体系识别的“残差”，它可能对应 M35 识别饱和中的非均匀涨落——体系每次识别留下的“误差尾巴”。这是跨域类比：数论的随机偏差 ≠ 体系的识别残差，二者无代数桥，只是“不完美等分留尾巴”这一母题两域各演一式。（B+ 级, M35）诚实标注此边界，避免把随机涨落错读成体系信号。
（A 级, M76）可操作检验：把 N 取到 10^6，偏差应缩到 ~1/sqrt(N) 量级（≈0.03%），且不显现系统性偏向某一剩余类——这会排除“体系偏好某类素数”的可能，把 OPEN 9b 收口为“纯随机”。本文受限于算力只跑 N=1000，留作下一篇或读者自测的开放实验。
（A 级, M76）OPEN 9c 问“素数 mod 40 的 16 类（NT-05）与本文二次特征的 8 类（全域）如何对应”。答案正是 NT-08 的核心：Q(zeta_40) 含一个虚二次子域 Q(i)，复共轭把 16 个 mod 40 单位两两配对（n<->-n），坍缩为实子域 Q(zeta_40)^+ 的 8 类。本文的“二次特征 8 类”恰好是这 8 个实子域类在素数上的投影——因为三个二次子域 Q(sqrt(5)),Q(sqrt(2)),Q(sqrt(-5)) 都落在实子域里（Q(sqrt(-5)) 经实投影对应实组合），它们的签名正是 NT-08 §2.2 的 (kr(p,5),kr(p,2),kr(p,-5))。（A 级, M76）
（A 级, M76）因此 16 = 8 x 2 的“x2”正是 Q(i) 虚轴：全域 Q(zeta_40) 比实子域多一维（虚特征的 +/-1），把每个二次 8 类再劈成 2 个（相差一个虚特征符号）。本文 §2.2 的“三特征联合 8 组合”与 NT-05 的“16 类”差的就是这一虚轴维——若把 Q(i) 虚特征加回三特征，8 组合变 16 类，严丝合缝。OPEN 9c 由此收口：16 类是 8 类的“虚轴翻倍”，而 8 类就是本文素数的二次识别签名。（A 级, M76）
（B+ 级, M13）把“16=8x2”读成“体系识别在实轴（8 类）之外还需要一个虚轴（x2）才能完整描述素数”，是跨域升华：它把 NT-07 的“tau 与 sigma^2 双轴”、NT-08 的“Q(i) 虚轴被砍”、本文的“二次 8 类 + 虚轴 2”缝成“实轴识别 + 虚轴补全 = 完整识别”的统一图像。诚实标注：这是 B+ 级诠释，实轴/虚轴的 Galois 来源（A 级）与体系识别维度的映射（B+ 级）须分层。（B+ 级, M13/M40）
（A 级, M76）值得强调：本文至此把 NT-01 承诺的“素数在体系内得到本体论解读”推进到一个可操作形态——素数被体系的二次识别网（根植于 Q(zeta_40) 及所有二次域）分成等密度类，且这个网的“实/虚”双轴结构（8x2）与 NT-07 的 tau/sigma^2 双轴、NT-08 的 Q(i) 虚轴完全一致。素数不再是一盘散沙，而是体系识别结构在自然数上的刻痕。（B+ 级, M13）把“刻痕”读成体系对素数的本体论赋义，是 B+ 级诠释，须降级标注。
本文顺着 NT-08 的二次特征，实跑收口"素数被二次特征识别"：前 1000 素数按 (p/5)、(p/2) 各近半等分（491/508、494/506），联合 4 组合各≈250，验证 Dirichlet 密度 1/2 与二次特征独立（A 级, M76）。并证明 Chebotarev 类与素数二次识别签名是同一 Galois 机制的两个投影（A 级, M76），把 NT-05 的 16 类、NT-08 的 8 类与本文的素数二分缝合成一条线。最后回接 NT-01：C=1 的实数轴唯一性，使素数的二次等分成为"唯一实在"在素数集上刻下的对称（B+ 级, M13）。遗留新裂缝：
(1) **体系的特殊素数是否藏在四次特征的非剩余类？** 二次探针只能二分素数，若体系有需四次才能识别的"特殊素数"，它们应落在 ζ₅、ζ₈ 四次层的非剩余类——可用 Chebotarev 在四次扩张里定位。**（OPEN 9a, M76）**。
(2) **二次特征等分的"偏差"（实测 491 vs 508）是否含体系信息？** Dirichlet 是渐近 1/2，有限样本有波动；这波动的方差由 Chebyshev/Gauss 偏差描述。若体系能给这波动一个非随机解释，将极深。**（OPEN 9b, M76）**。
(3) **素数 mod 40 的 16 类（NT-05）与本文二次特征的 8 类（全域）如何对应？** 16 类是 8 类的"加虚轴"细化——这恰是 NT-08 实投影砍掉 Q(i) 的逆操作。**（OPEN 9c, M76）**。
本文把二次识别从数域层带到素数层，并暴露二次探针的识别上限。下一篇应顺着 OPEN 9a 深入——**在四次扩张（Q(ζ₅) 或 Q(ζ₈)）中，用四次特征对素数分类，看是否存在体系的"特殊素数"藏在非剩余类**。这将是数比系列第一次从二次走向四次特征对素数的识别，直接考验 NT-08 的"四次层保存残余区分"是否在素数集上同样成立。若发现某类素数只在四次特征下显形，则是 NT-01"素数得到本体论解读"的最强实证。
- 上一篇：二次探针失明：实子域分辨率 —— 本文接管其二次特征，带到素数层。 - 上上一篇：τ不动点域 —— 本文的二次特征是其实投影在素数上的实例。 - 系列脉络：NT-05 十六种状态 → NT-04 CRT 合并 构成本文 Chebotarev 来源。 - 自测：用 Python 算前 1000 素数的 `(legendre_symbol(p,5))` 正负计数，验证≈各半（见 §2.1 实跑）——这直接验证"素数被二次等分"。 - 下一篇预告：顺着 OPEN 9a，将**在 Q(ζ₅)/Q(ζ₈) 四次扩张中用四次特征对素数分类，寻找体系的特殊素数**。 - 系列总览：数论作为本体论数学 · 系列目录