[论文解读] A note on Euclidean cyclic cubic fields

Srinivas Kotyada, Subramani Muthukrishnan|arXiv (Cornell University)|Jun 15, 2017

Mathematical Dynamics and Fractals参考文献 5被引用 4

一句话总结

该论文证明了所有导子在 73 到 11,971 之间且类数为 1 的循环三次数域均为欧几里得域，采用基于可接受素数与非 Wieferich 素数的判别准则。研究结果表明，若此类数域的类数为 1，则其为欧几里得域，从而将 Smith（1969 年）关于导子不超过 67 的范数欧几里得循环三次域的结果进一步拓展。

ABSTRACT

Let $K$ be a cyclic cubic field and $\mathcal{O}_K$ be its ring of integers. In this note we prove that all cyclic cubic number fields with conductors in the interval $ [73, 11971]$ and with class number one are Euclidean.

研究动机与目标

• 确定所有导子 f ∈ [73, 11971] 且类数为 1 的循环三次域是否为欧几里得域。
• 将已知的欧几里得循环三次域的范围扩展至 Smith（1969 年）关于导子不超过 67 的范数欧几里得结果之外。
• 提供一种计算算法，通过单位群结构与素理想条件验证此类域的欧几里得性质。
• 确认在此导子范围内，欧几里得性质恰好在类数为 1 时成立。

提出的方法

• 采用 Harper 与 Ram Murty 提出的判别准则：若一个类数为 1 的整数环存在一个大小为 s 的可接受素数集，且满足 r + s ≥ 3，则该整数环为欧几里得环。
• 通过识别一个范数为奇素数的素数 π，使得某个单位 ε 是模 π 的原根，且 π 对基 ε 为非 Wieferich 素数，从而构造出大小为 s = 1 的可接受素数集。
• 应用引理 1.3，以确保单位 ε 生成乘法群 (O_K / π²)^×，从而保证从单位群到 (O_K / π²)^× 的典范映射是满射。
• 利用循环三次域为 totally real 的性质，其单位秩 r = 2，因此 s = 1 即可满足 r + s ≥ 3 的条件。
• 应用如下条件：有理素数 p 在 K 中完全分裂当且仅当 p 是模 f 的三次剩余，即 p^{(f−1)/3} ≡ 1 (mod f)。
• 采用计算算法，验证在每个导子 f ∈ [73, 11971] 且类数为 1 的循环三次域中，均存在满足条件的素数 π 与单位 ε。

实验结果

研究问题

• RQ1 所有导子 f ∈ [73, 11971] 且类数为 1 的循环三次域是否均为欧几里得域？
• RQ2 类数为 1 的循环三次域的欧几里得性质是否可扩展至 Smith（1969 年）所确定的范数欧几里得范围（导子 ≤ 67）之外？
• RQ3 能否通过存在一个具有特定性质（即原根与非 Wieferich）的单个可接受素数来证明此类域的欧几里得性质？
• RQ4 当 r = 2 且 s = 1 时，条件 r + s ≥ 3 是否足以推出整数环为欧几里得环？
• RQ5 能否系统性地应用算法方法，验证给定导子范围内所有此类域的欧几里得性质？

主要发现

• 所有导子 f ∈ [73, 11971] 且类数为 1 的循环三次域均为欧几里得域，该结论通过 Harper-Ram Murty 判别准则得到证明。
• 证明的关键在于构造一个范数为奇素数的可接受素数 π，使得某个单位 ε 是模 π 的原根，且 π 对基 ε 为非 Wieferich 素数。
• 对每个此类域，此类素数 π 的存在性确保了从单位群到 (O_K / π²)^× 的典范映射是满射，从而满足可接受性条件。
• 论文中开发的算法成功验证了所有 114 个已知的类数为 1 且导子在指定范围内的循环三次域的欧几里得性质。
• 论文确认，在此导子区间内，欧几里得性质与类数为 1 完全等价，从而扩展了先前的研究结果。
• 论文中算法的 Sage 代码已公开发布，可供未来数据库中新增域的验证使用。