[論文レビュー] 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-wise relatively primeである確率の正確な公式を導出する。ゼータ関数の技法と算術的密度の議論を用いて、代数的数体における高次元の相対的素性条件への古典的対ごとの素性確率の一般化である閉形式の表現を確立する。

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-wise相対的素性に一般化すること。
• 固定された代数的整数環において、k個のイデアルがm-wise relatively primeであるものの自然密度を特定すること。
• 代数的数論およびゼータ関数の道具を用いて、この確率の閉形式の解析的表現を導出すること。

提案手法

• 数体のイデアル類群とデデキンドゼータ関数を用いて問題をモデル化する。
• m-wise相対的素性を、k-タプルに属する任意のm個の異なるイデアルが自明な最大公約数を持つという条件として定義する。
• 素イデアル上のオイラー積を分析することで、このようなk-タプルの自然密度を計算する。
• イデアル構成における乗法的算術関数と包含除算法則を用いる。
• 局所的密度の積として確率を表す、素イデアル上の有限積の公式を導出する。
• m = 2（対ごとの素性）の場合の既知の結果と整合性を検証し、一般のm ≥ 2に拡張する。

実験結果

リサーチクエスチョン

• RQ1 一般のmおよびkに対して、固定された代数的整数環においてk個のイデアルがm-wise relatively primeであるものの自然密度は何か？
• RQ2 m-wise相対的素性の確率は、イデアル群の構造と数体のゼータ関数にどのように依存するか？
• RQ3 古典的対ごとの素性確率は、この一般化されたm-wise条件の特殊ケースとして回復可能か？
• RQ4 m > 2およびk > mの場合、密度公式の関数的形は何か？
• RQ5 素イデアルにおける局所的密度は、どのようにしてm-wise相対的素性のグローバル確率を生成するか？

主な発見

• この論文は、固定された代数的整数環におけるk個のイデアルがm-wise relatively primeである確率の閉形式の公式を確立する。
• 確率は、各局所的因子が二項係数C(m-1, k-1)と残渣体のサイズに依存する素イデアル上のオイラー積として与えられる。
• m = 2のとき、この公式は既知の対ごとの素性確率に簡約され、先行研究と整合性が確認される。
• すべてのm ≥ 2およびk ≥ mに対して、確率は正でありゼロから離れているため、m-wise素性は一般的な性質を示す。
• この結果は、代数的数体における高次元のイデアル素性条件への古典的確率的整数論の拡張を実現する。