[论文解读] The Probability that k Ideals in a Ring of Algebraic Integers are m-wise Relatively Prime

Ryan D. DeMoss, Brian D. Sittinger|arXiv (Cornell University)|Mar 25, 2018

Analytic Number Theory Research被引用 2

一句话总结

本文推导出在固定代数整数环中，k个理想满足m重互素（即任意m个理想均无共同的素理想因子）的概率的精确公式。通过ζ函数技巧与算术密度论证，作者建立了闭式表达式，将经典成对互素概率推广至代数数域中的高阶相对互素条件。

ABSTRACT

We say that k ideals of algebraic integers in a fixed number ring are m-wise relatively prime if any m of them are relatively prime. In this article, we provide an exact formula for the probability that $k$ ideals of algebraic integers in a fixed number ring are m-wise relatively prime.

研究动机与目标

• 将成对互素的概念推广至数环中k个理想之间的m重相对互素。
• 确定在固定代数整数环中，k个理想构成m重互素的自然密度。
• 利用代数数论与zeta函数工具，推导该概率的闭式解析表达式。

提出的方法

• 利用数域的理想类群与Dedekind zeta函数建模问题。
• 将m重相对互素定义为：k元组中任意m个不同理想的最大公因式为平凡理想。
• 通过分析素理想上的Euler乘积，计算此类k元组的自然密度。
• 在理想构型上运用乘法数论函数与容斥原理。
• 推导出关于素理想的有限乘积公式，将概率表示为局部密度的乘积。
• 验证当m = 2（即成对互素）时与已知结果的一致性，并推广至一般m ≥ 2。

实验结果

研究问题

• RQ1 对于一般m与k，在固定代数整数环中，k个理想构成m重互素的自然密度是多少？
• RQ2 m重相对互素的概率如何依赖于理想群结构与数域的zeta函数？
• RQ3 经典成对互素概率能否作为该广义m重条件的特例被恢复？
• RQ4 当m > 2且k > m时，密度公式的函数形式是什么？
• RQ5 素理想处的局部密度如何组合，以得到m重相对互素的全局概率？

主要发现

• 本文建立了k个理想在固定代数整数环中m重互素的概率的闭式公式。
• 该概率由素理想上的Euler乘积给出，每个局部因子依赖于二项式系数C(m-1, k-1)与剩余域大小。
• 当m = 2时，该公式退化为已知的成对互素概率，确认与先前结果的一致性。
• 对于所有m ≥ 2与k ≥ m，该概率严格为正且远离零，反映出m重互素的普遍性。
• 该结果将经典概率数论推广至代数数域中更高阶的理想互素条件。